ຊൃදͷϞνϕʔγϣϯ w γεςϜͷӡ༻Λ͢ΔͨΊʹγεςϜͷཧղ͕ඞཁ w ͱ͜Ζ͕ɺγεςϜܧଓతʹ։ൃ͞ΕΔͷͰ͋ΓมԽ͢ΔͷͰ͋Δɻ·ͨɺ ͦͷมԽͷεϐʔυૣ͘ͳ͍ͬͯΔʢܧଓతͳཧղͷै͕ඞཁʣ w ·ͨɺγεςϜڊେͰෳࡶͳͷʹͳ͓ͬͯΓਓͰશͯΛཧղ͢Δͷݱ࣮తʹ ͘͠ͳ͖͍ͬͯͯΔʢޮతͳཧղ͕ඞཁʣ w ্هͷΑ͏ͳঢ়گͷதɺܧଓతʹγεςϜΛӡ༻͍ͯͨ͘͠ΊͷγεςϜཧղͷޮ తͳख๏Λಘ͍ͨ
ຊൃදͷλʔήοτ w طʹϢʔβʹػೳΛఏڙ͓ͯ͠Γӡ༻͕ඞཁͳγεςϜΛରͱ͢Δ w ৽ن։ൃͳͲͷઃܭஈ֊ͷγεςϜؚ·ͳ͍ w γεςϜΛཧղΛॿ͚Δख๏ͱͯ͘͠࠾༻͞ΕͯΔυΩϡϝϯτʹ͢Δ w ಛʹγεςϜͷΠϯϑϥͷΞʔΩςΫνϟΛఆ͍ͯ͠Δ w ߏਤʢίϯϙʔωϯτஔਤʣ w %BUB'MPX%JBHSBN
ྫਅʹਖ਼͍͠υΩϡϝϯτ w ਅʹਖ਼͍͠υΩϡϝϯτγεςϜͷγεςϜཁૉΛશͯઆ໌Ͱ͖͍ͯΔͨΊ ɹ ·ͨ ɹ w ͲͷΑ͏ͳͷ͔ʁ ͲͷγεςϜཁૉΛઆ໌͍ͯ͠Δ͔ΛࣔͤΔ ରͷγεςϜཁૉʹ͍ͭͯઆ໌Λ͍ͯ͠ΔʢΞϊςʔγϣϯͱݺͿʣ w ʢͳ͓ɺલఏͰड़͍ͯΔʮυΩϡϝϯτΛ௨͕ͯ͡ཧղ͍͢͠ʯ͜ͷΞϊςʔ γϣϯʹΑΓใྔ͕ଟ͍͜ͱ͕ཁҼͩͱߟ͍͑ͯΔʣ desc : S → D desc(S) = D desc()
w ຊϞσϧʹ͓͍ͯ ͷγεςϜཁૉͷมԽʹԠͯ͡ ͷཁૉ͕ैͰ͖Εྑ͍ɻ w खಈͰγεςϜʹมԽʹै͠ଓ͚Δͷ͍͠ɻͦ͜ͰυΩϡϝϯτͷࣗಈੜ ͕ߟ͑ΒΕΔɻ w ·ͣɺυΩϡϝϯτ Λੜ͢ΔؔΛ ͱͨ͠߹ɺ࣌ࠁ ʹԠͯ͡มԽ͢Δͱ͍ ͏͜ͱ ɹ w ͞Βʹͦͷ݁Ռ͕ ͱͳΕɺ ͷมԽʹैͰ͖Δͱ͍͑Δɻ ɹ S D D f() t D = f(t) desc(Stn ) Stn D = f(t) = desc(Stn ) γεςϜʹมԽʹैͰ͖ΔυΩϡϝϯτ
w ۙγεςϜڊେͰෳࡶͳͷʹͳ͓ͬͯΓਓͰશͯΛཧղ͢Δͷݱ࣮తʹ ͘͠ͳ͖͍ͬͯͯΔɻ w ຊൃදͰ্هΛຊϞσϧʹ͓͚ΔγεςϜཁૉͷͰ݅Խ͢Δɻ w ਓҰਓ͕࠷ऴతʹཧղͰ͖ΔཁૉͷΛ ͱ͢Δͱ ɹ Ͱ͋Δͱ͍͏͜ͱʹͳΔɻ w ·ͨɺਓҰਓ͕ҰʹཧղͰ͖ΔཁૉͷΛ ͱ͢Δͱ ɹ ͱͳΔɻ m m < n(S) k k < m < n(S) γεςϜͷཧղ
w υΩϡϝϯτ ͷ෦ू߹ͷ͚ํʹ͍ͭͯɺ͞Βʹཧղ͘͢͢͠ΔͨΊʹ ༷ʑͳΞϓϩʔν͕औΕΔɻ w ྫ͑αʔόҰཡωοτϫʔΫਤɺ֤ϚΠΫϩαʔϏε͝ͱɺॲཧ͝ͱɺɻ w ͜ΕΛ*40*&$*&&&ʹͳΒͬͯʮϏϡʔʯͱݺͿʢͨͩ͠ຊՈͷ ͦΕͱݫີʹఆ͕ٛҟͳΔʣɻ w ϏϡʔεςʔΫϗϧμʔʢͦͷυΩϡϝϯτͷରऀʣ͕ཧղ͖͢ίϯςΩε τʹԊͬͯهड़͞ΕΔɻ w ͋͘·ͰίϯςΩετʹΑׂͬͯ͢ΔͷͰɺ ʹؚ·ΕΔཁૉ͕ ʹؚ·ΕΔ ͜ͱ͋Δɻ w Αͬͯཧղ͢͠͞Λ࣋ͬͨυΩϡϝϯτͷಛͱͯ͠ҎԼͷΑ͏ʹͳΔ ɹ D D1 D2 D = D1 ∪ D2 ∪ D3 ∪ … ∪ Dn υΩϡϝϯτͷׂͷΞϓϩʔν
w IUUQTHJUIVCDPNL-P8OEJBH w ΠϯϑϥͷΞʔΩςΫνϟυΩϡϝϯτΛओ؟ʹஔ͍ͨυΩϡϝϯςʔγϣϯπʔϧ w γεςϜཁૉΛೖྗʢ:".-ʣͱͯ͠༩͑ΔͱɺͦΕͧΕʹରͯ݀͠ຒΊܗࣜͰΞϊ ςʔγϣϯΛهड़Ͱ͖Δ w ݅ΠϯϑϥΛߏ͢ΔγεςϜཁૉͷछྨ͕ଟ༷ͳͨΊ֎෦πʔϧ͔Βͷೖྗ Λఆ w ݀ຒΊܗࣜʹυΩϡϝϯτͷΧόϨοδ͕ग़ͤΔ w γεςϜཁૉΛҙͷάϧʔϓͰάϧʔϐϯά͢Δ͜ͱ͕Ͱ͖ɺͦͷάϧʔϓʹରͯ͠ υΩϡϝϯτΛهड़Ͱ͖Δ w ݅Λຬ͍ͨͯ͠Δ w άϧʔϐϯάͨ͠ཁૉͰߏਤʢίϯϙʔωϯτஔਤʣΛࣗಈੜ OEJBH
w γεςϜΛೖྗͱͨ͠υΩϡϝϯτͷࣗಈੜΛߟ͑Δʹ͋ͨͬͯɺೖྗπʔϧͱͯ͠༗ޮͳ ͷɺࡢࠓͷ0CTFSWBCJMJUZ4FSWJDF.BQࢄτϨʔγϯ グ पลͷٕज़͕༗ޮͩͱߟ͍͑ͯ Δ w ྫ͑IUUQTHJUIVCDPNZVVLJTIBXLαʔόؒͷωοτϫʔΫͱ͍͏γεςϜཁૉ ऩूʹ༗༻ w ্هʹՃ͑ͯࢲͷڵຯͷείʔϓʮγεςϜͷΞʔΩςΫνϟཧղʯʮΦϯϘʔσΟϯ άʯʹ͍ۙͷͰɺʮΞϊςʔγϣϯػೳʯඞਢͩͱߟ͍͑ͯΔ w υΩϡϝϯτͷʮཧղ͠қ͞ʯͱ͍͏ࢹͰͷղܾํ๏ͱͯ͠ຊൃදͰʮׂʯͱ͍͏Ξϓ ϩʔνΛఏҊ͕ͨ͠ଞʹԿ͔ΞΠσΞ͕͋ΕΓ͍ͨ w ʮཧղͷ͠қ͞ͷͨΊͷׂʯͱ͍͏ख๏݁ߏ༗༻ͩͱߟ͍͑ͯͯɺྫ͑োൃੜ࣌ ʹɺؔ͢ΔΞʔΩςΫνϟཁૉ͚ͩΛࣗಈྻڍͯ͠ਤυΩϡϝϯτͱͯࣔ͢͜͠ͱ͕Ͱ ͖Ε༗༻ͦ͏ ߟ
ΞϓϦέʔγϣϯίʔυͷυΩϡϝϯςʔγϣϯ w ͋͘·ͰΞΠσΞʢ͍ͦͯۙ͠͠ͷ͢Ͱʹ͋Δʣ w 1)1%PDʮܧଓతυΩϡϝϯςʔγϣϯʯ࣮ݱͰ͖͍ͯΔ͕ɺຊൃදʹ͓͚Δʮγ εςϜͷཧղΛॿ͚ΔʯΞϓϩʔνΛͱ͍ͬͯΔͱݴ͑ͳ͍ w γεςϜͷཧղΛॿ͚ΔγεςϜͷཧղʹҙຯͷ͋ΔෳͷΓޱͰͷάϧʔϐϯά w ͱ͜ΖͰզʑΞϓϦέʔγϣϯͷཧղΛͲͷΑ͏ͳ୯ҐͰੵΈॏͶ͍͔ͯ͘ 㲈ػೳ୯Ґ"1*ͷΤϯυϙΠϯτ୯Ґ ΞϓϦέʔγϣϯγεςϜͷཧղʹҙຯͷ͋Δάϧʔϐϯά͕͞ΕͨυΩϡϝϯτ ΛܧଓతʹੜͰ͖ΕγεςϜͷཧղΛॿ͚ΔͷͰͳ͍͔ͱ͍͏ΞΠσΞ
ΞΠσΞ w ΞϓϦέʔγϣϯίʔυͷ͋ΔϝιουʹʮελʔτʯΛࣔ͢ίʔυΞϊςʔ γϣϯΛՃʢ͘͠ઐ༻ͷςετέʔεΛ༻ҙʣ w ΞϓϦέʔγϣϯΛ࣮ߦͯ͠ελʔτͷϝιου͔ΒͷελοΫτϨʔεใΛ औಘ w ελοΫτϨʔεใ͔ΒҰ෦ෆඞཁͳใΛআ͍ͨҰ࿈ͷॲཧͷྲྀΕʹઆ໌จ ষΛՃ͢Δ͜ͱͰͭͷυΩϡϝϯτͱ͢ΔɻҰ࿈ͷྲྀΕʹग़ͯ͘Δϝιουͷ ίʔυΞϊςʔγϣϯͷใʢ1)1%PDͷใʣ߹Θͤͯදࣔ
ϝϦοτ w ΞϓϦέʔγϣϯʹ͓͚Δؔ৺ࣄ୯ҐͷυΩϡϝϯτΛ࣮ࡍͷίʔυͱରԠͤ͞ ͯ࡞Ͱ͖Δ w ίʔυͱͷ͕ࠩੜͨ͡߹ʹ$*ͳͲΛ௨ͯ͡ݕՄೳ w υΩϡϝϯτͷΧόϨοδܭଌՄೳ w ୯ମͰશମΛ၆ᛌͰ͖ͳ͍1)1%PDͷΑ͏ͳίʔυΞϊςʔγϣϯใͱɺͦ ͷ··ͩͱಡΈʹ͍͘ελοΫτϨʔεใΛ߹ΘͤΔͱ͍͏ɺطଘͷٕज़Ͱऔ ಘͰ͖ΔใΛͬͯΞϓϦέʔγϣϯΛཧղΛॿ͚ΔυΩϡϝϯτΛੜͰ͖ Δ
࣮ͷΞΠσΞ w ϓϩάϥϛϯάݴޠʹґଘ͠ͳ͍࣮ʹ͍ͨ͠ w ʮίʔυΞϊςʔγϣϯͷτϨʔεʯʮΞϓϦέʔγϣϯ࣮ߦͷτϨʔεʯݴޠ ґଘͰ࡞͠ɺͦΕΒͷग़ྗ͚ͩ౷Ұͯ͠ɺʮτϨʔεใ͔ΒͷυΩϡϝϯτ ੜʯ൚༻ੑΛ͍࣋ͨͤͨ w ۩ମతͳ࣮ྫ͑ɺ1)1Ͱ͋Ε w ίʔυΞϊςʔγϣϯͷτϨʔεˠ1)1%PDͷػೳͰ࣮ݱͰ͖ͦ͏ w ΞϓϦέʔγϣϯ࣮ߦͷτϨʔεˠελʔτ͔ΒͷEFCVH@USBDF ͚ͩΛύʔ ε͢ΔπʔϧͰे͔