લఏ w ҰൠతͳసஔΠϯσοΫεΛఆ w λʔϜͱϙεςΟϯάϦετ͕อଘ͞Ε͍ͯΔ w ϙεςΟϯάϦετʹจॻ*%ʢιʔτࡁΈʣͷू߹͕ೖ͍ͬͯΔ w λʔϜ͝ͱͷ࠷େείΞͳͲͷิॿతͳσʔλ֨ೲͰ͖Δͱ͢Δ w ͜ͷݚڀͰԾఆ͢ΔείΞؔ w جຊతʹ#.Λఆ w ΫΤϦʹؚ·ΕΔ֤λʔϜͷߩݙͷ͠߹Θͤ
ΫΤϦॲཧ w EPDVNFOUBUBUJNF %""5 ʹΑΔΫΤϦॲཧΛఆ w λʔϜ͝ͱʹϙεςΟϯάϦετΛॲཧ͢ΔͷͰͳ ͘ɺෳͷϙεςΟϯάϦετΛಉ࣌ʹΧʔιϧͰॲཧ w ͯ͢ͷΧʔιϧΛҰ൪લʹηοτ͠ɺͦͷจॻͷΫΤ Ϧॲཧ͕ऴΘͬͨΒޙΖʹͣΒ͢ w ͯ͢ͷΧʔιϧ͕࠷ޙ·Ͱ͍ͬͨΒऴྃɺUPQLͷจ ॻू߹Λฦ͢
ಈతࢬמΓʹΑΔΫΤϦॲཧ w ΫΤϦॲཧதʹɺͦΕ·Ͱʹॲཧͨ͠จॻͷUPQLͷείΞ Λܭࢉɾอ࣋͢Δʢ੨ઢʣ w ࠷ऴతʹ ʹऩଋ͢Δ w จॻͷείΞͷVQQFSCPVOEΛܭࢉ͢Δ w λʔϜ͝ͱͷ࠷େείΞ NBYTDPSF ΛΠϯσοΫεʹอଘ͓ͯ͘͠ͳͲ w VQQFSCPVOE͕ᮢ ΑΓখ͍͞είΞͷจॻ҆શʹεΩοϓͰ͖Δ w ͜ͷํ๏ϩεϨεɺͭ·Γਖ਼֬ͳUPQLͷจॻ͕ಘΒΕΔ θ Θk θ
طଘͷಈతࢬמΓΞϧΰϦζϜ w ޮతͳΫΤϦॲཧͷํ๏ͱͯ͠.BY4DPSF
8"/%
#.8 CMPDLNBY8"/% ͕͋Δ w ͯ͢جຊతͳઓུલड़ͷಈతࢬמΓͱಉ͡ w 8"/%ݡ͍ΞϧΰϦζϜͰ.BY4DPSFΑΓͨ͘͞Μ εΩοϓͰ͖ΔΑ͏ʹ͍ͯ͠Δ w #.8 CMPDLNBY8"/% 8"/%ΛϒϩοΫԽ͠ɺ ֤ϒϩοΫʹ౷ܭใΛͭΑ͏ʹ͞Βʹվྑͨ͠ͷ
3FTFBSDI2VFTUJPOT w 32 w సஔΠϯσοΫεΛॲཧ࢝͠ΊΔલʹ ΛਪఆͰ͖Δ͔ʁ w 32 w ͠લͬͯ ΛਪఆͰ͖ΔͳΒɺͦͷࣄલࣝʹΑͬͯ ͲͷఔΫΤϦॲཧΛ͘Ͱ͖Δ͔ʁ w 32 w ͷࣄલࣝΛͬͯ.BY4DPSFɺ8"/%ɺ#.8ͷΑ͏ͳख๏ ΛվྑͰ͖Δ͔ʁ Θk (D, Q) Θk (D, Q) Θk (D, Q)
ΦϥΫϧʢਆୗʣΛ࣮ͬͨݧ w 32͠લͬͯ ΛਪఆͰ͖ΔͳΒɺͦͷࣄલࣝʹΑͬͯͲͷఔ ΫΤϦॲཧΛ͘Ͱ͖Δ͔ʁͷճ w ΛΫΤϦॲཧͷલʹܭࢉ͓͖ͯ͠ɺ֤ࢬמΓΞϧΰϦζϜʹᮢͱ͠ ͯͯ͠͠·͏ w ࠷దͳᮢ͕͔͍ͬͯΔঢ়ଶͰͷɺ."9ύϑΥʔϚϯεΛܭଌ w ࣮ݧ݅ w (PWσʔληοτɺ
ΫΤϦͰ࣮ߦ࣌ؒΛϛϦඵ୯ҐͰܭଌ w ࢬמΓΞϧΰϦζϜͱͯ͠.BY4DPSF
8"/%
#.8ͷͭΛͬͯൺֱ Θk (D, Q) Θk (D, Q)
3FTFBSDI2VFTUJPOT w 32 w సஔΠϯσοΫεΛॲཧ࢝͠ΊΔલʹ ΛਪఆͰ͖Δ͔ʁ w ˠώʔϓͷᮢ͕༧ଌՄೳͰ͋Δ͜ͱΛࣔͨ͠ w 32 w ͠લͬͯ ΛਪఆͰ͖ΔͳΒɺͦͷࣄલࣝʹΑͬͯ ͲͷఔΫΤϦॲཧΛ͘Ͱ͖Δ͔ʁ w ˠಈతࢬמΓΞϧΰϦζϜͷ͕Ҏ্վળ͢Δ͜ͱΛࣔͨ͠ w 32 w ͷࣄલࣝΛͬͯ.BY4DPSFɺ8"/%ɺ#.8ͷΑ͏ͳख๏ΛվྑͰ͖Δ͔ʁ w ˠͯ͢ͷख๏ͰΞϧΰϦζϜతͳվળ͕ՄೳͰ͋Δ͜ͱΛࣔͨ͠ Θk (D, Q) Θk (D, Q) Θk (D, Q)
ײ w ܾఆతͳํ๏ʢ Λ͏ϕʔεϥΠϯʣͰेͰʁ w 5BCMFΛΈΔͱɺϕʔεϥΠϯ͔ΒͷࠩͦΕ΄Ͳେ͖͘ͳ͍ w "MHPSJUINͰଟগվળ͢Δͱ͍͑ɺ͍͍ࠩͤͥఔ w ࢬמΓΞϧΰϦζϜͷࠩͷ΄͏͕େ͖͍ w Έ͕γϯϓϧͳ ͷ΄͏͕औΓճ͍͢͠ʢػցֶश͍Βͳ͍͠ʣ w ͬͱ͍͍ϞσϧΛ࡞ΕΔ༨͋Δ w ಛྔػցֶशΞϧΰϦζϜͷվળ͕Մೳ w ਅͷᮢʢΦϥΫϧʣʹ͚ۙͮͦΕͳΓʹ͘ͳΔ Qk Qk
w 63- w IUUQTEMBDNPSHDJUBUJPODGN JE w ઃఆ w ଐੑʹΑΔιʔτॱΛकΓͳ͕Β%$(ͷΑ͏ͳϝτϦοΫΛ࠷దԽ͢Δ w ͜ͷݚڀͷՌ w ߴʹ΄΅࠷దͳ݁ՌΛฦ͢ΞϧΰϦζϜΛఏҊ w ۙࣅʹΑΔΤϥʔͱ࠷ѱ࣌ؒܭࢉྔͷཧอূ͋Γ w ࣮ݧతʹߴੑͱΤϥʔͷόϥϯε͕Α͍͜ͱ͕ࣔ͞Εͨ
ઃఆ'JMUFSJOH!L w ௨ৗɺϢʔβ͕ݕࡧͰཉ͍͠ͷ SFMFWBODFΛ࠷େԽͨ͠4&31 w 8FCݕࡧɺ4/4ɺετϦʔϛϯά αʔϏεɺ&$αΠτͳͲ w ଟ͘ͷαʔϏεͰɺଐੑʢ࣌ؒՁ֨ ͳͲʣʹΑΔιʔτʹରԠ͍ͯ͠Δ w ͨͱ͑"NB[POͰJQIPOFͷݕࡧ݁ ՌΛՁ֨ͷ͍҆ॱʹ͢ΔͱSFMFWBODFͷ ͍ΞΠςϜ্͕ʹདྷΔͨΊɺϢʔβମ ݧΛଛͳ͏ BNB[PODPKQͰՁ֨ͷ͍҆ॱͰJQIPOFΛݕࡧ ʢՈిˍΧϝϥΧςΰϦʣ
ώϡʔϦεςΟΫεʹΑΔํ๏ w $VUP⒎015 w ͋Β͔͡ΊܾΊͨSFMFWBODFͷᮢͰϑΟϧλ͔ͯ͠Β015Ͱ͞ΒʹϑΟϧλ w ࠷ѱέʔεͰΤϥʔʢਫ਼ʣͷอূ͕ͳ͍ w ᮢͷઃఆʹΑΔͨΊ w ࣌ؒܭࢉྔվળͤͣ࠷ѱέʔεͰ w 5PQL015 w UPQLͷϦετΛٻΊɺͦΕΛ͞Βʹ015ͰϑΟϧλ͢Δ w LݸະຬͷϦετʹ͢Δ͜ͱͰϝτϦοΫΛ࠷େԽͰ͖Δ͜ͱ͋ΔͨΊ w PQUJNBMʢۙࣅʹΑΔΤϥʔ͕ʣͰ͋Δ͜ͱ͕ূ໌Ͱ͖Δ w ࣌ؒܭࢉྔ࠷ѱͰ Θ(nk) Θ(n log k + k2)
Џ'JMUFSJOH w $VUP⒎5PQLͳͲͷώϡʔϦεςΟΫεͰΤϥʔΛίϯτϩʔϧͰ͖ͳ͍ w Џ'JMUFSJOHΤϥʔΛЏҎԼʹอূͨۙ͠ࣅղΛɺ ࣌ؒܭࢉྔ Ͱݟ͚ͭΔʢ ʣ w Џ'JMUFSJOHҎԼͷεςοϓ͔ΒͳΔ w 3JHIUQSVOJOH w %JTDSFUJ[BUJPO w 5ISFTIPMEJOH w ֤ϑΣʔζͰى͜Γ͏Δ࠷ѱέʔεʹɺޙͷϑΣʔζͰରԠ͢Δ͜ͱͰ ܭࢉ࣌ؒΛ͍ͬͯ͘ Θ(n + k2 log(1−ϵ) (ϵ/k)) 0 < ϵ < 1