ヒトが生成する置換の統計的性質
永田誠
1), 武井由智
2)Statistical properties of human - generated permutations
Makoto NAGATA, Yoshinori TAKEI
1)Osaka University of Pharmaceutical Sciences, 4-20-1, Nasahara, Takatsuki-shi, Osaka 569-1094, Japan 2)National Institute of Technology, Akita College, 1-1, Iijimabunkyocho, Akita-shi, Akita 011-8511, Japan
– Article –
ώτ͕ੜ͢Δஔͷ౷ܭతੑ࣭
Ӭా ,Ҫ ༝ஐ
Statistical properties of human-generated permutations Makoto NAGATA1), YoshinoriTAKEI2)
ɹ1)Osaka University of Pharmaceutical Sciences, 4-20-1, Nasahara, Takatsuki-shi, Osaka 569-1094, Japan
ɹ2)National Institute of Technology, Akita College, 1-1, Iijimabunkyocho, Akita-shi, Akita 011-8511, Japan ɹ
(Received October 30, 2018; Accepted December 4, 2018)
Abstract We study statistical properties of human-generated permutations via a questionnaire investigation which was conducted at Osaka University of Pharmaceutical Sciences. There is a natural expectation that it is impossible to look upon human-generated permutations as random samples from the symmetric group. However, we find both evidences for and against this expectation.
Key words — Fourier analysis; human-generated; Kullback-Leibler divergence; permutation; power spectral density; symmetric group; total variation distance; uniform distribution;
1
͡Ίʹ
ਓؒཚͱݺΕΔώτ͕ੜ͢Δཚྻ Λ ѻͬͨ ௐ ࠪ ݚ ڀ ຊ Ͱ ͍ ͘ ͭ ͔ ใ ࠂ ͞ Ε͓ͯΓ,ۙͰ[1]͕͋Δ. ώτ͕ੜ͢ Δཚྻͱ,ਅͷ(·ͨܭࢉػ͕ൃੜ͢Δ)ཚ ྻͱͷࠩΛ௨ͯ͡ਓؒΛཧղ͠Α͏ͱ͍͏ ͷ͕,ਓؒཚͷݚڀͷͻͱͭͷಈػͱͳͬͯ ͍Δ. ϥϯμ Ϝͳ , ͢ͳΘ ͪཚ , αΠί ϩ ϧ ʔ Ϩοτ, · ͨ ܭ ࢉ ػ Ͱ ੜ Ͱ ͖, Ϊϟϯ ϒϧͳͲͷήʔϜ,ՊֶͰͷγϡϛ ϨʔγϣϯͰ͓ೃછΈͰ͋Ζ͏. Ұํ,ཚͱ ผʹʮϥϯμϜͳஔʯͱ͍͏ͷ͕͋Δ. ஔͱߴߍֶͰֶͿॱྻ,͢ͳΘͪʮฒͼ ସ ͑ ʯͷ ͜ ͱ Ͱ ͋ Δ. ୯ ͳ Δ ཚ ྻ Ͱ ͳ ͘, ͜ͷϥϯμϜͳஔΑ͘ΈΒΕΔ. ྫ͑, τϥϯϓͷΧʔυήʔϜΛߦ͏߹,Χʔυ ͷฒͼํʹنଇੑ͕͋Δͱ,ͦͷήʔϜෆެ ฏͰ໘നΈ͕͚ܽΔͷʹͳΔͩΖ͏. ެฏͳ ήʔϜͷҝʹ,Χʔυ͕نଇͳ͘ແ࡞ҝʹฒ ΜͰ͍Δ͜ͱ͕҉ͷલఏͱͳ͍ͬͯΔ. ͢ͳ Θͪ,ΧʔυશମϥϯμϜͳஔʹͳ͍ͬͯ Δ͜ͱ͕ٻΊΒΕ, ͦͷͨΊʹΧʔυΛγϟο ϑϧ͢ΔͷͰ͋Δ. ͜ͷΑ͏ͳنଇ͕ͳ͍ແ࡞ ҝͷฒͼସ͑(ϥϯμϜͳஔ),Χʔυήʔ ϜҎ֎ʹۀσβΠϯͳͲͰऔΓೖΕΒ Ε͍ͯΔ. ϥϯμϜͳஔ,Χʔυͷγϟοϑ ϧҎ֎ʹ, ͋Έͩ͘͡,ۄͷඇ෮ݩແ࡞ҝந ग़, ܭ ࢉ ػ Ͱ ͷFisher-YatesΞ ϧ ΰ Ϧ ζ Ϝ Λ ༻͍ͯੜ͢Δ͜ͱ͕Ͱ͖Δ͕, ʮฒͼସ͑ʯ ʹͳ͍ͬͯΔඞཁ͕͋ΔͨΊ,ਓ͕ؒϥϯμϜ ஔΛੜ͢Δʹ(୯ͳΔཚྻͷੜͰ͋ Δ)ਓؒཚ΄Ͳ୯७ͳ࡞ۀͰͳ͍. ͜ͷΑ ͏ͳཧ༝͔͋ͬͯ,ώτ͕ੜ͢ΔϥϯμϜ ஔ,୯ʹϥϯμϜͳΛੜ͍ͯ͘͠ͱ ͍͏ਓؒཚ΄Ͳݚڀ͞Ε͍ͯͳ͍. ͜ͷΑ ͏ͳ ώτ͕ ੜ ͢Δ ϥϯ μϜஔ ͷ จใࠂʹ[2]͕͋Δ. ͦ͜Ͱ20ਓͷஉࢠֶੜʹ1,2,3,4,5ͷฒͼସ͑ΛҰਓ͋ͨΓ60ݸੜ͞ ͤ1, ͦͷղੳΛߦ͍ͬͯΔ. ͢ͳΘͪʮҰਓͷ ਓ͕ؒੜ͢Δ60ݸͷϥϯμϜͳஔʯͷಛ Λ20ਓͷαϯϓϧ͔Β୳Δͱ͍͏,ಉҰඃ ݧऀ͕ଟੜͨ͠ஔͷͷղੳͰ͋Δ. ͔͠͠ΓҰਓͷਓ͕ؒ60ݸͷஔΛ࿈ଓ ͯ͠ੜ͢Δ͜ͱඇৗతͳߦҝͰ͋Γ,ࣄ ࣮[2]Ͱ,࿈ଓͯ͠60ݸϥϯμϜͳஔʹੜ ͢Δ͜ͱࠔͷΑ͏ͩͱ͍͏ओࢫͷ͜ͱ ͕ॻ͔Ε͍ͯΔ. ͦ͜Ͱզʑʮ(࡞ۀʹΑΔ) ݸਓ͕ ͻͱ ͭͷ ํ๏Ͱ ଟ ੜ ͢Δஔ ʯͰ ͳ͘ʮ(ΞϯέʔτʹΑΔ)ଟͷਓ͕͍ͭ͘ ͔ͷํ ๏Ͱ ͦΕ ͧΕ࠷ ॳʹ ੜ ͢Δஔ ʯʹ ண͢Δ͜ͱʹͨ͠. ͜ΕͳΒ,ΑΓৗʹ ͍ۙঢ়ଶͰͷώτͷ(ूஂͱͯ͠ͷ)ಛͷղੳ ͕ظͰ͖Δ. ࠓճ,զʑஔ͕ରশ܈Λͳ ͢ͱ͍͏ֶతߏར༻ͯ͠,͜ͷώτͷू ஂ͕ੜ͢ΔஔͷղੳΛߦͬͨ.
2
ه๏
nΛࣗવͱ͢Δͱ͖,ू߹{1, 2, . . . , n}Λ[n] Ͱද͢. ຊߘͰ ༻͍ Δͦ ͷଞͷ ه๏ ඪ ४తͰ ͋Δ ͷͰ,جຊతͳͷ͚ͩΛड़͓ͯ͘. n࣍ରশ܈,͢ͳΘͪ[n]͔Β[n]ͷશ୯ࣹࣸ ૾શମʹ, ೋ߲ԋࢉ(ҎԼೋ߲ԋࢉࢠ ◦Λ༻͍, Ҏ Լ ͜ Ε Λ ੵ ͱ ݺ Ϳ)Λ ࣸ ૾ ͷ ߹ ͱ ͠ ͨ ܈, ΛSnͰද͢. Snͷ୯ҐݩΛidͰද͢. Snͷཁૉ Λn࣍ͷஔͱݺͿ. จ຺͔Β࣍n͕Θ͔Δ ߹࣍ʹڵຯ͕ͳ͍߹୯ʹஔͱݺ Ϳ. ஔσ∈ Sn, [n]͔Β[n]ͷશ୯ࣹࣸ૾Ͱ ͋Δ͜ͱʹҙͯ͠,ஔσ͕iΛj(i, j∈ [n])ʹ ࣸࣸ͢૾Ͱ͋Δ͜ͱΛσ(i) = jͰද͢. σ ∈ Sn i = 1, . . . , nͷߦ͖ઌ σ(1), . . . , σ(n)Ͱܾఆ͢ Δ͕,͜ΕΛ௨ৗͷه๏Ͱ σ = ( 1 2 · · · n σ(1) σ(2) · · · σ(n) ) ͋Δ͍୯ʹσ = (σ(1)σ(2)· · · σ(n))Ͱද͢. ྫ ͑ ( 1 2 3 4 5 6 6 5 4 3 2 1 ) Λ(654321)Ͱද͢. ͜ͷه๏Ͱ6࣍ରশ܈S6ͷ ୯Ґݩid(123456)ͱද͞ΕΔ. ·ͨ,ࢦࣔؔΛද͢ه߸ʹ1Λ͏. ͦͷఆ ٛਅِΛ͑Δ໋ཧࣜXʹରͯ͠ 1[X] = { 1 if X ͕ਅ 0 if X ِ͕ ͱ͢Δ.3
Ξϯέʔτͷ֓ཁ
ࠓճ༻͍ͨΞϯέʔτڠྗऀ(ඃݧऀ)͕ճ Λ༻ࢴʹهೖ͢Δ༷ࣜͰ͋Δ. ࣮ࡍʹ༻͍ͨ ͷΛAʹ͢. Ξϯέʔτͷදࢴͷ1ท ʹ,ຊௐࠪʹؔ͢Δ੍ݶࣄ߲Λهࡌ͠, ͞ ΒʹΞϯέʔτͷڠྗΛґཔ͢Δࡍʹ,ݸਓ Λಛఆ͠ͳ͍ແه໊Ͱ͋Δ͜ͱ,ڠྗ͢Δ͠ͳ ͍ࣗ༝ʹબͰ͖Δ͜ͱ,Ξϯέʔτͷత ͱར༻ํ๏,ΞϯέʔτͷճߨٛͷධՁ ٴͼֶʹ͓͚ΔཱʹӨڹΛ༩͑ͳ͍ͷ ࢫΛޱ಄Ͱઆ໌ͨ͠. ௐࠪํ๏,ٳΈ࣌ؒʹ ߨٛࣨʹ͍ΔֶੜʹΞϯέʔτ༻ࢴΛ,֤ ֶੜ͕ճͨ͠༻ࢴΛఏग़͢Δͱ͍͏ܗࣜͱ ͨ͠2. ༻ࢴ͔Βఏग़·Ͱͷ࣌ؒٳΈ࣌ ؒͷ10ҎͰ͋Δ. ฏ306݄1͔Βಉ14ʹ͔͚ͯ,େࡕༀ Պେֶͷ5࣍ੜΛআ͘શֶ෦ੜΛରʹΞϯ έʔτௐࠪΛ࣮ࢪͨ͠. 5࣍ੜΛআ֎ͨ͠ͷ ,͜ͷ࣌ظͷଟ͘ͷ5࣍ੜֶ֎࣮श(පӃ ࣮ ࣮ श,ༀ ہ ࣮ ࣮ श)ظ ؒ த Ͱ ͋ Γ ଟ ͷ 5࣍ੜ͕ΩϟϯύεʹෆࡏͰ͋Δͱ͍͏ཧ༝ ͔ΒͰ͋Δ. େࡕༀՊେֶͷ5࣍ੜΛআֶ͘෦ࡏ੶ֶੜ 1609໊(ฏ305݄1ݱࡏ[3])Ͱ͋Γ,Ξ ϯέʔτͷճऩ૯1040෦Ͱ͋ͬͨ3. 1̍ ͭ ͷ ฒ ͼ ସ ͑ Λ10ඵ Ҏ Ͱ ࡞ Δ ͱ ͍ ͏ ݅ ͷ Լ Ͱ,͜ Ε Λ60ճ ܁ Γ ฦ ͠ ߦ ͏. 2ಉ Ұ ֶ ੜ ʹ ෳ ճ Ξ ϯ έ ʔ τ ڠ ྗ Λ ґ པ ͠ ͳ ͍ Α ͏ ֤ ֶ Ͱ ࣌ ߨ ٛ ࣨ Λ બ Μ Ͱ ௐ ࠪ Λ ߦͬͨ ͕,ಉ Ұ ֶ ੜ ͔ ΒͷॏෳճͷՄೳੑ͕͋Δ͜ͱΛશʹ൱ఆ͢Δ͜ͱͰ͖ͳ͍ͱࢥΘΕΔ. ͔͠͠౷ܭֶతʹ෮ݩநग़ͱԾఆ ͢ Δ ͷ ͕ Ұ ൠ త Ͱ ͋ Δ ͜ ͱ Λ ߟ ྀ ͢ Ε ,͜ ͷ ܗ ࣜ ࣗ વ ͳ ௐ ࠪ ํ ๏ Ͱ ͋ Ζ ͏. 31044ຕ Λ ճ ऩ ͠ ͨ ͕ ͦ ͷ ͏ ͪ ͷ4ຕ ͕ ന ࢴ Ͱ ͋ͬͨ ͨ Ί,ճ ऩ ૯ Λ1040෦ ͱ ͠ ͨ.ʹ1,2,3,4,5ͷฒͼସ͑ΛҰਓ͋ͨΓ60ݸੜ͞ ͤ1,ͦͷղੳΛߦ͍ͬͯΔ. ͢ͳΘͪʮҰਓͷ ਓ͕ؒੜ͢Δ60ݸͷϥϯμϜͳஔʯͷಛ Λ20ਓͷαϯϓϧ͔Β୳Δͱ͍͏,ಉҰඃ ݧऀ͕ଟੜͨ͠ஔͷͷղੳͰ͋Δ. ͔͠͠ΓҰਓͷਓ͕ؒ60ݸͷஔΛ࿈ଓ ͯ͠ੜ͢Δ͜ͱඇৗతͳߦҝͰ͋Γ,ࣄ ࣮[2]Ͱ,࿈ଓͯ͠60ݸϥϯμϜͳஔʹੜ ͢Δ͜ͱࠔͷΑ͏ͩͱ͍͏ओࢫͷ͜ͱ ͕ॻ͔Ε͍ͯΔ. ͦ͜Ͱզʑʮ(࡞ۀʹΑΔ) ݸਓ͕ ͻͱ ͭͷ ํ๏Ͱ ଟ ੜ ͢Δஔ ʯͰ ͳ͘ʮ(ΞϯέʔτʹΑΔ)ଟͷਓ͕͍ͭ͘ ͔ͷํ ๏Ͱ ͦΕ ͧΕ࠷ ॳʹ ੜ ͢Δஔ ʯʹ ண͢Δ͜ͱʹͨ͠. ͜ΕͳΒ,ΑΓৗʹ ͍ۙঢ়ଶͰͷώτͷ(ूஂͱͯ͠ͷ)ಛͷղੳ ͕ظͰ͖Δ. ࠓճ, զʑஔ͕ରশ܈Λͳ ͢ͱ͍͏ֶతߏར༻ͯ͠,͜ͷώτͷू ஂ͕ੜ͢ΔஔͷղੳΛߦͬͨ.
2
ه๏
nΛࣗવͱ͢Δͱ͖,ू߹{1, 2, . . . , n}Λ[n] Ͱද͢. ຊߘͰ ༻͍ Δͦ ͷଞͷ ه๏ ඪ ४తͰ ͋Δ ͷͰ,جຊతͳͷ͚ͩΛड़͓ͯ͘. n࣍ରশ܈,͢ͳΘͪ[n]͔Β[n]ͷશ୯ࣹࣸ ૾શମʹ, ೋ߲ԋࢉ(ҎԼೋ߲ԋࢉࢠ ◦Λ༻͍, Ҏ Լ ͜ Ε Λ ੵ ͱ ݺ Ϳ)Λ ࣸ ૾ ͷ ߹ ͱ ͠ ͨ ܈, ΛSnͰද͢. Snͷ୯ҐݩΛidͰද͢. Snͷཁૉ Λn࣍ͷஔͱݺͿ. จ຺͔Β࣍n͕Θ͔Δ ߹࣍ʹڵຯ͕ͳ͍߹୯ʹஔͱݺ Ϳ. ஔσ∈ Sn, [n]͔Β[n]ͷશ୯ࣹࣸ૾Ͱ ͋Δ͜ͱʹҙͯ͠,ஔσ͕iΛj(i, j∈ [n])ʹ ࣸࣸ͢૾Ͱ͋Δ͜ͱΛσ(i) = jͰද͢. σ ∈ Sn i = 1, . . . , nͷߦ͖ઌ σ(1), . . . , σ(n)Ͱܾఆ͢ Δ͕,͜ΕΛ௨ৗͷه๏Ͱ σ = ( 1 2 · · · n σ(1) σ(2) · · · σ(n) ) ͋Δ͍୯ʹσ = (σ(1)σ(2)· · · σ(n))Ͱද͢. ྫ ͑ ( 1 2 3 4 5 6 6 5 4 3 2 1 ) Λ(654321)Ͱද͢. ͜ͷه๏Ͱ6࣍ରশ܈S6ͷ ୯Ґݩid(123456)ͱද͞ΕΔ. ·ͨ,ࢦࣔؔΛද͢ه߸ʹ1Λ͏. ͦͷఆ ٛਅِΛ͑Δ໋ཧࣜXʹରͯ͠ 1[X] = { 1 if X ͕ਅ 0 if X ِ͕ ͱ͢Δ.3
Ξϯέʔτͷ֓ཁ
ࠓճ༻͍ͨΞϯέʔτڠྗऀ(ඃݧऀ)͕ճ Λ༻ࢴʹهೖ͢Δ༷ࣜͰ͋Δ. ࣮ࡍʹ༻͍ͨ ͷΛAʹ͢. Ξϯέʔτͷදࢴͷ1ท ʹ,ຊௐࠪʹؔ͢Δ੍ݶࣄ߲Λهࡌ͠,͞ ΒʹΞϯέʔτͷڠྗΛґཔ͢Δࡍʹ,ݸਓ Λಛఆ͠ͳ͍ແه໊Ͱ͋Δ͜ͱ,ڠྗ͢Δ͠ͳ ͍ࣗ༝ʹબͰ͖Δ͜ͱ,Ξϯέʔτͷత ͱར༻ํ๏,ΞϯέʔτͷճߨٛͷධՁ ٴͼֶʹ͓͚ΔཱʹӨڹΛ༩͑ͳ͍ͷ ࢫΛޱ಄Ͱઆ໌ͨ͠. ௐࠪํ๏,ٳΈ࣌ؒʹ ߨٛࣨʹ͍ΔֶੜʹΞϯέʔτ༻ࢴΛ,֤ ֶੜ͕ճͨ͠༻ࢴΛఏग़͢Δͱ͍͏ܗࣜͱ ͨ͠2. ༻ࢴ͔Βఏग़·Ͱͷ࣌ؒٳΈ࣌ ؒͷ10ҎͰ͋Δ. ฏ306݄1͔Βಉ14ʹ͔͚ͯ,େࡕༀ Պେֶͷ5࣍ੜΛআ͘શֶ෦ੜΛରʹΞϯ έʔτௐࠪΛ࣮ࢪͨ͠. 5࣍ੜΛআ֎ͨ͠ͷ ,͜ͷ࣌ظͷଟ͘ͷ5࣍ੜֶ֎࣮श(පӃ ࣮ ࣮ श,ༀ ہ ࣮ ࣮ श)ظ ؒ த Ͱ ͋ Γ ଟ ͷ 5࣍ੜ͕ΩϟϯύεʹෆࡏͰ͋Δͱ͍͏ཧ༝ ͔ΒͰ͋Δ. େࡕༀՊେֶͷ5࣍ੜΛআֶ͘෦ࡏ੶ֶੜ 1609໊(ฏ305݄1ݱࡏ[3])Ͱ͋Γ,Ξ ϯέʔτͷճऩ૯1040෦Ͱ͋ͬͨ3. 1̍ ͭ ͷ ฒ ͼ ସ ͑ Λ10ඵ Ҏ Ͱ ࡞ Δ ͱ ͍ ͏ ݅ ͷ Լ Ͱ,͜ Ε Λ60ճ ܁ Γ ฦ ͠ ߦ ͏. 2ಉ Ұ ֶ ੜ ʹ ෳ ճ Ξ ϯ έ ʔ τ ڠ ྗ Λ ґ པ ͠ ͳ ͍ Α ͏ ֤ ֶ Ͱ ࣌ ߨ ٛ ࣨ Λ બ Μ Ͱ ௐ ࠪ Λ ߦͬͨ ͕,ಉ Ұ ֶ ੜ ͔ ΒͷॏෳճͷՄೳੑ͕͋Δ͜ͱΛશʹ൱ఆ͢Δ͜ͱͰ͖ͳ͍ͱࢥΘΕΔ. ͔͠͠౷ܭֶతʹ෮ݩநग़ͱԾఆ ͢ Δ ͷ ͕ Ұ ൠ త Ͱ ͋ Δ ͜ ͱ Λ ߟ ྀ ͢ Ε ,͜ ͷ ܗ ࣜ ࣗ વ ͳ ௐ ࠪ ํ ๏ Ͱ ͋ Ζ ͏. 31044ຕ Λ ճ ऩ ͠ ͨ ͕ ͦ ͷ ͏ ͪ ͷ4ຕ ͕ ന ࢴ Ͱ ͋ͬͨ ͨ Ί,ճ ऩ ૯ Λ1040෦ ͱ ͠ ͨ. ༻͍ͨΞϯέʔτ(A)ͷ֤ઃΛ؆୯ʹ આ໌͓ͯ͘͠. ઃI,ʮ1,2,3,4,5,6ʯͷ6ͭͷ ࣈΛʮϥϯμϜʹฒͼସ͑Δʯͱ͍͏ͷͰ ͋Γ, ࣈ͕ 1,2,3,4,5,6ͷॱͰҰྻͰهࡌ͞Ε ͍ͯΔԼʹ͜ΕΒͷࣈΛهೖ͢Δͱ͍͏ͷ Ͱ͋Δ. ઃII,ʮ˓,ʴ,˚,˘,ˑ,˞ʯͷ6ͭͷ ه߸ΛʮϥϯμϜʹฒͼସ͑Δʯͱ͍͏ͷͰ ͋Γ,ه߸͕˓,ʴ,˚,˘,ˑ,˞ͷॱͰҰྻʹهࡌ ͞Ε͍ͯΔԼʹ͜ΕΒͷه߸Λهೖ͢Δͱ͍ ͏ͷͰ͋Δ. ઃIII, Iͱಉ༷,ʮ1,2,3,4,5,6ʯ ͷ6ͭͷࣈΛʮϥϯμϜʹฒͼସ͑Δʯͱ͍ ͏ͷͰ͋Δ͕,ࠨଆʹࣈ͕1,2,3,4,5,6 ͷॱ Ͱ࣌ܭճΓʹهࡌ͞Ε͓ͯΓ,ͦͷਤͷӈͷཝ ʹ͜ΕΒͷࣈΛهೖ͢Δͱ͍͏ͷͰ͋Δ. ઃIV,ॎԣ6× 6ͷՕॴʹʮ֤ߦʹʷҹ 1 ͚ͭͩ, ֤ྻʹʷҹ 1͚ͭͩʯͱ͍͏ϧʔ ϧʹैͬͯʮϥϯμϜʯʹ6ͭͷʷҹΛ͚ͭΔ ͱ͍͏ͷͰ͋Δ. ઃV, ճऀͷֶͱ ੑผͰ͋Δ. Ξϯέ ʔτ Ͱ ϥϯμ Ϝͱ ͍͏ ޠΛ༻ ͍ͯ ͍Δ͕,ϥϯμϜ͕ԿΛҙຯ͢Δ͔ݸʑͷճ ऀͷղऍʹͤΔ͜ͱͱ͠,ຊߘͰϥϯμ Ϝͱ͍͏༻ޠ͕ͲͷΑ͏ʹղऍ͞Ε͍ͯΔ͔ ͷߟߦΘͳ͍4. ྫ͑,Ξϯέʔτͷճ ,ϥϯμϜʹͱࢦࣔ͞Εͨͱ͖ͷճ,ͱ ߟ͑Δ. ͪͳΈʹ,Ξϯέʔτ࣮ࢪ࣌,ٴͼ࣮ࢪ ޙʹճऀ͔Βͷઃ༻ޠʹؔ͢Δ࣭ ͳ͔ͬͨ.3.1
Ξϯέʔτͷճͷղऍ
ઃ I, II, III, IVͷ ճ , Ͳ Ε 6࣍ ͷ ஔ (ҟͳΔ6ͭͷͷͷฒͼସ͑,͢ͳΘͪ6࣍ ର শ ܈S6ͷ ཁ ૉ)Λ ද ͢ ͱ ղ ऍ Ͱ ͖ Δ. Ҏ Լ, i, j = 1, 2, 3, 4, 5, 6ͱͯ͠, ຊߘʹ͓͚Δ֤ઃ ͷղऍΛड़Δ. Iͷճ,ਖ਼ʹ6࣍ͷஔͦ ͷ ͷ Ͱ ͋ Δ. ࣈiͷ Լ ʹ ࣈj͕ ॻ ͔ Ε ͯ ͍Ε, σ(i) = jͷஔσͱߟ͑Δ. IIͷճ ˓,ʴ,˚,˘,ˑ,˞Λॱʹ1, 2, 3, 4, 5, 6ʹஔ͖͑ Ε, Iͱಉ༷ʹ6࣍ͷஔͱͳΔ. IIIIͱಉ༷ Ͱ, ࠨଆͷਤͷi͕ҹࣈ͞Ε͍ͯΔॴͷରԠ ͢Δཝʹjͱॻ͍͍ͯΕ, σ(i) = jͱ͍͏ஔ σ ∈ S6Λද͍ͯ͠Δ. IVͷஔσ ∈ S6, iߦj ྻʹʷҹ͕͋Ε σ(i) = jͱ͢Δ. ͜ͷΑ͏ʹΞϯέʔτͰ,ઃ͝ͱʹ6࣍ͷ ஔ͕,ϥϯμϜʹͱࢦࣔ͞ΕͯબΕΔͷͰ ͋Δ͕,ຊߘͰ͜ΕΛ࣍ͷΑ͏ʹղऍ͢Δɿ 1040෦ͷճʹ1͔Β1040·Ͱͷճऀ൪߸ Λ ͭ ͚ Δ. ճ ऀ ൪ ߸i(i = 1, 2, . . . , 1040)ͷI, II, III, IVͷճΛͦΕͧΕσiI,σiII,σIIIi ,σiIVͱ͠, (σiI, σIIi , σiIII, σIVi )Λʮώτͷूஂͱ͍͏ஔʯ͔ Βੜ͞Εͨஔͷ4ͭͱΈͳ͢. ͜ ͷ ղ ऍ Λ ༻ ޠ Λ ͬͯ ݴ ͍ ͑ Δ ͱ ࣍ ͷ Α ͏ ʹ ͳ Ζ ͏. ͦ Ε ͧ ΕXi, Yi, Zi, Wi(i = 1, . . . , 1040) Λ S6 ʹ ʹ ͱ Δ ֬ ม ͨ ͪ ͱ ͠, 1040 ͷ ֬ ม ͷ 4 ͭ (X1, Y1, Z1, W1), . . . , (X1040, Y1040, Z1040, W1040) Λߟ͑Δ. ͜ΕΒ4ͭͱͯ͠ಠཱಉ ͷ4มྔ֬มͰ͋Δ. ͢ͳΘͪ1040ͷ4ͭ (X1, Y1, Z1, W1), . . . , (X1040, Y1040, Z1040, W1040) ಠཱͰ͋ΔͱԾఆ͢Δͷ͕ͩ,ݻఆͨ͠iʹର ͠ ͯXi, Yi, Zi, Wiͷ4ͭ ಠ ཱ Ͱ ͋ Δ ͱ Ծ ఆ ͠ ͳ͍. ͦͯ͠Ξϯέʔτͷճ(σI i, σiII, σiIII, σiIV) (i = 1, . . . , 1040)Λ͜ΕΒ(Xi, Yi, Zi, Wi)ͷඪຊ 5ͱ͢Δ. ͜ͷ(Xi, Yi, Zi, Wi)͕ै͏֬ʮώτͷ ूஂͱ͍͏ஔʯ͕ੜ͢ΔS6×S6×S6×S6(Ҏ ԼS4 6ͱ ه ͢)্ ͷ ֬ ͱ ߟ ͑ Β Ε Α ͏ ͕, ݫີʹ͜ΕΒS64্ͷ֬Ͱͳ͍. ͳ ͥ ͳ Β , Ξ ϯ έ ʔ τ ճ ʹ ʮ6࣍ ͷ ஔ Ͱ ͳ͍ճʯ͋Δ͔Βͩ. ҎԼ, 6࣍ͷஔͰͳ ͍ճΛʮແޮճʯͱݺͼ,ه߸∅Ͱදͦ͏. ͜ͷه๏ͷԼͰʮ(S6⊔ {∅})4্ͷ֬ʯͱ هड़͢Δͷ͕దͩΖ͏. ҰํͰ,ແޮճͷ ∅Λແࢹ͠, 6࣍ͷஔͰ͋Δճ͚ͩʹண ͍ͨ͜͠ͱଟ͍. ͦ͜Ͱ,ྫ͑ʮઃIͷ֬ ʯͱʮແޮճ∅Λ͍ͯ͠ͳ͍ճऀ ൪߸iͷ֬มXi͕ै͏S6্ͷ֬ʯͷ ҙຯͱ͢Δ. ܁Γฦ͠ʹͳΔ͕,͜ͷS6্ͷ֬ ճऀ൪߸iʹґଘ͠ͳ͍ͱԾఆ͢Δ. ຊߘͷత, 1040෦ͷΞϯέʔτͷճΛ ʮώτͷूஂͱ͍͏ஔʯ͕ੜͨ͠1040ͷ 4ͭ ͷ σ ʔ λ(ඪ ຊ )ͱ Έ ͳ ͠, ͦ ͷ σ ʔ λ Λղੳ ͢Δ ͜ͱʹ ΑΓʮ ώτ ͷू ஂͱ͍ ͏ 4ϥ ϯ μ Ϝ ͕ ࢦ ͠ ࣔ ͢ ͷ Կ Ͱ ͋ Δ ͔ ͷ ٞ ,ຊ Ξ ϯ έ ʔ τ ௐ ࠪ ͷ ओ ࢫ ͱ ҟ ͳ Δ ͱ ߟ ͑ Δ. 5ਪ ଌ ౷ ܭ Λ ར ༻ ͢ Δ ͱ ͖ ,෮ ݩ ແ ࡞ ҝ ඪ ຊ ͷ ඪ ຊ Ͱ ͋ Δ ͱ Ծ ఆ ͢ Δ.ஔʯͷಛΛ୳Δ͜ͱͰ͋Δ.
4
ղੳ݁Ռ
4.1
౷ܭతͳ݁Ռ
4.1.1 ֶͱੑผͷ౷ܭ VͷճʹΑΔֶͱੑผͷΛ࣍ͷදʹ· ͱΊ͓ͯ͘. ֶͷແޮճແͱ͠,ੑผ ͷແޮճੑແͱͯ͠ܭ্͍ͯ͠Δ. ֶͱੑผ உ ঁ ੑແ ܭ 1 92 189 2 283 2 60 144 1 205 3 48 138 0 186 4 47 147 0 194 6 47 113 0 160 ແ 0 1 11 12 ܭ 294 732 14 1040 3 ࣍ ͱ4 ࣍ Ͱ ٯ స ͕ ͋ Δ ͕, ͓ Α ͦ ֶ ਐߦʹैͬͯճऩ͕ݮ͍ͬͯΔ. ֶ֤Ͱͷ ࡏ੶ਓͱ͕ؔ͋ΔͩΖ͏͕,ֶਐߦʹ ैͬͯճऩ͕ݮΔͷ(तۀΛ୲͍ͯ͠Δ ڭһͳΒ)૾ʹ͘ͳ͍. 4.1.2 ແޮճ∅ͷ౷ܭ ճऩ૯1040෦ͷ͏ͪ, I, II, III, IVͷ4͢ ͯͷճ͕6࣍ͷஔͰ͋Δ෦875෦, I, II, III, IVͷ1Ͱճ͕6࣍ͷஔͰͳ͍(͜ Ε Λ ແ ޮ ճ ∅Ͱ ද ͢)෦ 165෦ Ͱ ͋ͬͨ. ͦͷ༁, I, II, III, IVͷ4ͷ͏ͪ, 1͚ͩ ແޮճͷͷ͕151෦, 2ແޮճͷͷ͕ 13෦, 3ແޮճͷͷͳ͠, 4ͱແޮ ճͷͷ1෦Ͱ͋ͬͨ. 2Ҏ্ແޮճΛ ͍ͯ͠Δͯ͢ͰIV͕ແޮճͰ͋ͬͨ. I, II, III, IVͷ ແ ޮ ճ ͷ , ٴ ͼ, શ ମ1040෦ ʹ ର ͢Δׂ߹(ແޮ)Λ࣍ͷදͰࣔ͢. ແޮճͱແޮ ઃ ແޮճ ແޮ(%) I 7 0.6731 II 52 5.000 III 12 1.154 IV 110 10.58 IVͷແޮͷେཱ͖͕ͭ͞. ʮ2ͭͷൺ ͷࠩͷzݕఆ(ରԠͷ͋Δॏෳσʔλ)ʯ([4]ͷ ୈ6ষ6.19)Ͱ,ؼແԾઆʮઃaͱઃbͷແޮ ͠ ͍ ʯ(a, b =I, II, III, IV, a ̸= b)ͷ Ծ આ ݕ ఆ6Ͱ ͷp (a, b) = (I,III)Ͱ0.2249Ͱ ͋ͬ ͨ ͕, ଞ ͷ2ͭ ͷ ઃ ͷ Έ ߹ Θ ͤ Ͱ ͷp ͕
1.209× 10−6ΑΓେ͖͍ͷͳ͔ͬͨ. ແޮճ
ͱ͍͏ࢹͰ,{I,III}ͱ{II}ͱ{IV}ͱ͍
͏ઃͷάϧʔϓ͚͕Ͱ͖ΔͷͩΖ͏. ࣍ͷද֤ઃͰΈͨͱ͖ͷແޮճΛͨ͠ உঁͷͰ͋Δ. ੑผVͷճʹΑΔͷͰ ͋Γ,දதͷଞVͰͷແޮճΛද͢. உ/ঁ (உͷ)/(ঁͷ)ͷΛද͢. ແޮճͷஉঁ ઃ உ ঁ ଞ உ/ঁ I 5 2 0 2.500 II 17 34 1 0.5000 III 3 8 1 0.3650 IV 27 80 3 0.3375 ઃIͷஉ/ঁ͕ଞͷઃͱେ͖͘ҟͳ͍ͬͯ Δ͜ͱ͕Θ͔Δ7. 4.1.3 ਓؾͷ͋Δஔͨͪ ֤ઃ ͝ͱ ʹਓ ؾͷ͋ Δஔ Λ ·ͱΊ ͓ͯ ͘. idS6ͷ୯Ґݩ(123456)Λҙຯ͓ͯ͠Γ,· ͨແޮճ∅͜͜Ͱͷର͔Β֎͢. දதͷ ॏෳͱ,ͦͷஔΛճ͍ͯ͠ΔਓΛҙ ຯ͢Δ. ࣍ͷද্Ґ5Ґ·ͰͷஔͰ͋Δ. ઃIͷਓؾஔ ஔ ॏෳ ॱҐ id 47 1 (654321) 41 2 (246135) 16 3 (135246) 12 4 (123465) 9 5 ઃIIͷਓؾஔ ஔ ॏෳ ॱҐ id 37 1 (654321) 21 2 (214365) 16 3 (234561) 15 4 (134526) 13 4 ઃIIIͷਓؾஔ ஔ ॏෳ ॱҐ id 27 1 (165432) 15 2 (234561) 14 3 (352641) 12 4 (425631) 11 5 (654321) 11 5 6ຊ ߘ Ͱ ͷ Ծ આ ݕ ఆ ͢ ͯ ྆ ଆ ݕ ఆ Ͱ ͋ Δ. 7Iͷ ແ ޮ খ ͞ ͍ ͷ Ͱ Ծ આ ݕ ఆ ʹ Α Δ ਪ ଌ ͠ ͳ ͍ ͜ ͱ ʹ ͢ Δ.
ஔʯͷಛΛ୳Δ͜ͱͰ͋Δ.
4
ղੳ݁Ռ
4.1
౷ܭతͳ݁Ռ
4.1.1 ֶͱੑผͷ౷ܭ VͷճʹΑΔֶͱੑผͷΛ࣍ͷදʹ· ͱΊ͓ͯ͘. ֶͷແޮճແͱ͠,ੑผ ͷແޮճੑແͱͯ͠ܭ্͍ͯ͠Δ. ֶͱੑผ உ ঁ ੑແ ܭ 1 92 189 2 283 2 60 144 1 205 3 48 138 0 186 4 47 147 0 194 6 47 113 0 160 ແ 0 1 11 12 ܭ 294 732 14 1040 3 ࣍ ͱ4 ࣍ Ͱ ٯ స ͕ ͋ Δ ͕, ͓ Α ͦ ֶ ਐߦʹैͬͯճऩ͕ݮ͍ͬͯΔ. ֶ֤Ͱͷ ࡏ੶ਓͱ͕ؔ͋ΔͩΖ͏͕,ֶਐߦʹ ैͬͯճऩ͕ݮΔͷ(तۀΛ୲͍ͯ͠Δ ڭһͳΒ)૾ʹ͘ͳ͍. 4.1.2 ແޮճ∅ͷ౷ܭ ճऩ૯1040෦ͷ͏ͪ, I, II, III, IVͷ4͢ ͯͷճ͕6࣍ͷஔͰ͋Δ෦875෦, I, II, III, IVͷ1Ͱճ͕6࣍ͷஔͰͳ͍(͜ Ε Λ ແ ޮ ճ ∅Ͱ ද ͢)෦ 165෦ Ͱ ͋ͬͨ. ͦͷ༁, I, II, III, IVͷ4ͷ͏ͪ, 1͚ͩ ແޮճͷͷ͕151෦, 2ແޮճͷͷ͕ 13෦, 3ແޮճͷͷͳ͠, 4ͱແޮ ճͷͷ1෦Ͱ͋ͬͨ. 2Ҏ্ແޮճΛ ͍ͯ͠Δͯ͢ͰIV͕ແޮճͰ͋ͬͨ. I, II, III, IVͷ ແ ޮ ճ ͷ , ٴ ͼ, શ ମ1040෦ ʹ ର ͢Δׂ߹(ແޮ)Λ࣍ͷදͰࣔ͢. ແޮճͱແޮ ઃ ແޮճ ແޮ(%) I 7 0.6731 II 52 5.000 III 12 1.154 IV 110 10.58 IVͷແޮͷେཱ͖͕ͭ͞. ʮ2ͭͷൺ ͷࠩͷzݕఆ(ରԠͷ͋Δॏෳσʔλ)ʯ([4]ͷ ୈ6ষ6.19)Ͱ,ؼແԾઆʮઃaͱઃbͷແޮ ͠ ͍ ʯ(a, b =I, II, III, IV, a ̸= b)ͷ Ծ આ ݕ ఆ6Ͱ ͷp (a, b) = (I,III)Ͱ0.2249Ͱ ͋ͬ ͨ ͕, ଞ ͷ2ͭ ͷ ઃ ͷ Έ ߹ Θ ͤ Ͱ ͷp ͕
1.209× 10−6ΑΓେ͖͍ͷͳ͔ͬͨ. ແޮճ
ͱ͍͏ࢹͰ,{I,III}ͱ{II}ͱ{IV}ͱ͍
͏ઃͷάϧʔϓ͚͕Ͱ͖ΔͷͩΖ͏. ࣍ͷද֤ઃͰΈͨͱ͖ͷແޮճΛͨ͠ உঁͷͰ͋Δ. ੑผVͷճʹΑΔͷͰ ͋Γ,දதͷଞVͰͷແޮճΛද͢. உ/ঁ (உͷ)/(ঁͷ)ͷΛද͢. ແޮճͷஉঁ ઃ உ ঁ ଞ உ/ঁ I 5 2 0 2.500 II 17 34 1 0.5000 III 3 8 1 0.3650 IV 27 80 3 0.3375 ઃIͷஉ/ঁ͕ଞͷઃͱେ͖͘ҟͳ͍ͬͯ Δ͜ͱ͕Θ͔Δ7. 4.1.3 ਓؾͷ͋Δஔͨͪ ֤ઃ ͝ͱ ʹਓ ؾͷ͋ Δஔ Λ ·ͱΊ ͓ͯ ͘. idS6ͷ୯Ґݩ(123456)Λҙຯ͓ͯ͠Γ,· ͨແޮճ∅͜͜Ͱͷର͔Β֎͢. දதͷ ॏෳͱ,ͦͷஔΛճ͍ͯ͠ΔਓΛҙ ຯ͢Δ. ࣍ͷද্Ґ5Ґ·ͰͷஔͰ͋Δ. ઃIͷਓؾஔ ஔ ॏෳ ॱҐ id 47 1 (654321) 41 2 (246135) 16 3 (135246) 12 4 (123465) 9 5 ઃIIͷਓؾஔ ஔ ॏෳ ॱҐ id 37 1 (654321) 21 2 (214365) 16 3 (234561) 15 4 (134526) 13 4 ઃIIIͷਓؾஔ ஔ ॏෳ ॱҐ id 27 1 (165432) 15 2 (234561) 14 3 (352641) 12 4 (425631) 11 5 (654321) 11 5 6ຊ ߘ Ͱ ͷ Ծ આ ݕ ఆ ͢ ͯ ྆ ଆ ݕ ఆ Ͱ ͋ Δ. 7Iͷ ແ ޮ খ ͞ ͍ ͷ Ͱ Ծ આ ݕ ఆ ʹ Α Δ ਪ ଌ ͠ ͳ ͍ ͜ ͱ ʹ ͢ Δ. ઃIVͷਓؾஔ ஔ ॏෳ ॱҐ id 180 1 (654321) 20 2 (132546) 19 3 (132456) 18 4 (132465) 14 5 શ ͯ ͷ ઃ Ͱid͕ Ұ ൪ ਓ ؾ Ͱ ͋ Δ. I, II, III ͱਐΜͰ͍͘ͱidͷॏෳ͕ݮ͍͕ͬͯ͘, IV Ͱ ٸ ܹ ʹ ૿ ͑180ͱ ͳ Δ. 180 શ ମ1040෦ ͷ 17.31%ΛΊ͓ͯΓʹ͢Δ. ୯Ґݩ(id) ճʹ͍ͭͯͷ౷ܭ͜ͷޙʹٞ͢Δ. ೋ൪ਓؾʹ͍ͭͯ, I, II, IV͕ಉҰͷ(654321) Ͱ͋Δ. III͚͕ͩ(165432)͕2ҐͰ͋Γ, (654321) 5ҐͰ͋Δ. ͔͠͠2Ґͱ5ҐͷॏෳʹͦΕ ΄ Ͳ େ ͖ ͳ ࠩ Έ Β Ε ͳ ͍. · ͨIVͰ , 2Ґ ͷ(654321)ͱ3Ґͷ(132546)ॏෳ1ͷ͔ࠩ͠ ͳ͍. ҙͰ͋Δ͕,ແޮճ∅͕IIʹ52ݸ͋Δ. ैͬͯਓؾͷ͋ΔʮճʯͰ͋ΔͳΒIIͷਓ ؾճ∅͕1ҐͰ͋Δ. ಉ༷ʹ, IIIͰ∅ಉ ண4Ґ, IVͰ∅2Ґ,্ͷද͔ΒΘ͔Βͳ ͍͕IͰ∅ಉண8ҐͰ͋Δ. ֶผ͋Δ͍ੑผͰΈΔͱ,ඞͣ͠୯Ґ ݩ ͷid͕ Ұ ൪ ਓ ؾ ͱ ݶ Β ͳ ͍. ֶ ผ Ͱ , 1࣍ͰIͱIIͰҰ൪ਓؾ(654321)Ͱ͋Γid 2Ґ Ͱ ͋ Δ. 4 ࣍ Ͱ IͰid(654321)ͱ ಉ ண1ҐͰ͋Δ. ੑผͰ,உͰIͰҰ൪ਓؾͳ ͷ (654321)Ͱ ͋ Δ. ঁ Ͱ IIIͰ Ұ ൪ ਓ ؾ (352641)Ͱ͋Δ. ҼΈʹ͜ͷ(352641)IIIͰશ ෦Ͱ12ਓ͍Δ͕ͦͷ͏ͪͷ11ਓ͕ঁͰ͋Δ. ͜ΕΒਓؾͷ͋Δஔͨͪ,·ͨਓؾͷͳ ͍ஔͨͪʹ͍ͭͯ,ผͷػձʹ͍ٞͨ͠. 4.1.4 ୯Ґݩ(id)ճͷ౷ܭ ୯Ґݩ(id)ճͷֶผ, உঁผͷ༁ΛԼ ʹه͢. ઃIͷidճ உ ঁ ੑແ ܭ 1 3 5 0 8 2 7 5 0 12 3 3 6 0 9 4 7 4 0 11 6 2 4 0 6 ແ 0 0 1 1 ܭ 22 24 1 47 ઃIIͷidճ உ ঁ ੑແ ܭ 1 6 2 0 8 2 3 4 0 7 3 3 5 0 8 4 4 4 0 8 6 3 2 0 5 ແ 0 0 1 1 ܭ 19 17 1 37 ઃIIIͷidճ உ ঁ ੑແ ܭ 1 5 2 0 7 2 2 1 0 3 3 3 3 0 6 4 5 2 0 7 6 1 2 0 3 ແ 0 0 1 1 ܭ 16 10 1 27 ઃIVͷidճ உ ঁ ੑແ ܭ 1 22 41 1 64 2 6 27 1 34 3 11 15 0 26 4 10 21 0 31 6 5 19 0 24 ແ 0 0 1 1 ܭ 54 123 3 180 I, II, IIIͰֶผͰΈͨͱ͖ͷ͕খ͍͞ ͨΊԾઆݕఆʹΑΔਪଌආ͚Δ. IVͰ, ଞͷֶ͔Βൺͯ1࣍ͷ͕ଟ͍. ͦ͜Ͱ ԾઆݕఆΛߦ͍͍ͨͷ͕ͩ, 1࣍ଞͷֶ ͔ΒൺͯશମͰͷճਓଟ͍ͨΊ, idճ Ͱͳ͘idճͰߟ͑Δ. IVͰͷֶผ Ͱͷ୯Ґݩ(id)ճͷද࣍Ͱ͋Δ. ઃIVͷidճ idճ શମ ׂ߹(%) 1 64 283 22.61 2 34 205 16.59 3 26 186 13.98 4 31 194 15.98 6 24 160 15.00 ແ 1 12 8.333 ʮ2ͭͷൺͷࠩͷzݕఆ(ରԠͷͳ͍σʔ λ)ʯ([4]ͷ ୈ6ষ6.17)Ͱ ؼ ແ Ծ આʮ1 ࣍ ͱk ࣍(k = 2, 3, 4, 6)Ͱ ͷIVͰ ͷidճ ͕ ͠ ͍ʯͷԾઆݕఆͰͷp, k = 2, 3, 4, 6ͷॱʹ 0.1008,0.02016,0.07467,0.05366Ͱ͋ͬͨ. ݁ͱ ͯ͠ʮଞͷֶʹൺͯ, IVͷ1࣍ͷidճ ͕ߴ͍͕ݟΒΕΔ͕, 3࣍ͱͷൺֱΛ
আ͖,༗ҙࠩΈΒΕͳ͔ͬͨʯͱ͍͏͜ͱʹ ͳΖ͏. ੑ ผ Ͱ Έ ͨ ͱ ͖I, II, IIIͱIVͰ େ ͖ ͳ ҧ ͍ ͕ ͋ Δ ͜ ͱ ʹ ؾ ͘. ઌ ͣ શ ମ1040෦ Ͱ ͷ உ ͷ ׂ ߹ 28.27%, ঁ ͷ ׂ ߹70.38%(ੑ ผ ແ ޮ 1.346%)Ͱ͋Δ. Ұํ, idճ, I, II, III, IVͷ ॱͰஉͷׂ߹(%)48.81, 51.35, 59.26, 30.00, ঁ ͷׂ߹51.06, 45.95, 37.04, 68.33Ͱ͋Δ. ʮ ൺͷൺֱͱͷࠩͷzݕఆʯ([4]ͷୈ6ষ6.15)8
ͰؼແԾઆʮઃa(a =I, II, III, IV)Ͱͷidճ
ͷஉͷׂ߹,શମ1040෦Ͱͷஉͷׂ߹28.27%
ͱ͍͠ʯͷԾઆݕఆͰͷp, a =I, II, III,
IVͷ ॱ ʹ0.004767, 0.001822, 0.0003491, 0.6063 Ͱ͋ͬͨ. ैͬͯI, II, IIIͰidճͷஉͷൺ ߴ͍ͱਪଌ͞ΕΔ.
4.2
ஔରশ܈ͷߏΛར༻ͨ͠ղੳ
4.2.1 ۮஔͱحஔ ۮݸͷޓͷੵͰ͋ΔஔΛۮஔ,ح ݸͷޓͷੵͰ͋ΔஔΛحஔͱ͍͏. ࣍ͷ ද,֤ઃ͝ͱͷۮஔͱحஔͷݸͰ͋ Δ(ແޮճ∅আ͘). ∅Λআ֎ I II III IV ۮஔ 504 487 519 546 حஔ 529 501 509 384 ۮ/ح 0.9527 0.9721 1.020 1.422 ͜͜Ͱۮ/حͱ, (ۮஔͷ)/(حஔͷ) ͷΛද͢. IVۮஔ͕ѹతʹଟ͍ͷ͕Θ ͔Δ. ͦͦରশ܈ʹۮஔͱحஔ͕ಉ ͋Δ. ͦ͜Ͱʮൺͷൺֱͱͷࠩͷzݕ ఆʯ([4]ͷୈ6ষ6.15)ͰؼແԾઆʮઃa (a =I,II, III, IV)ͷۮஔͷൺ1/2ͱ͍͠ʯͰ
ԾઆݕఆΛͨ͠ͱ͜Ζ, pI, II, III, IVͷॱ ʹ0.4367, 0.6560, 0.7551, 1.083× 10−7ͱͳͬͨ. IVʹͷΈ,ݦஶͳ༗ҙ͕ࠩΈΒΕΔ͜ͱʹͳΔ. Ұํ, IVͰ୯Ґݩ(id)ճ͕180͋Δ. id ۮ ஔ Ͱ ͋ Δ ͜ ͱ Λ ߟ ྀ ͠ ͯ, (∅ͱ)idΛ আ ֎ͯ͠ݸΛ͑ͨ. ࣍ͷද͕ͦͷͰ͋Δ. idআ֎ I II III IV ۮஔ 457 450 492 366 حஔ 529 501 509 384 ۮ/ح 0.8639 0.8982 0.9666 0.9531 ͜ ͷ ද ͷ ͔ Βʮ ൺ ͷ ൺ ֱ ͱ ͷ ࠩ ͷzݕఆʯ([4]ͷୈ6ষ6.15)ͰؼແԾઆʮઃa
(a =I, II, III, IV)ͷ ۮ ஔ ͷ ൺ 1/2Ͱ ͋
ΔʯͰԾઆݕఆ͢Δͱ, pI, II, III, IVͷॱ ʹ0.02185, 0.09817, 0.5910, 0.5110ͱͳͬͨ9. ༗ ҙਫ४0.05ͰIʹ༗ҙ͕ࠩΈΒΕΔͷͷ,༗ ҙ ਫ ४0.01Ͱ ͢ ͯ ͷ ઃ ʹ ༗ ҙ ࠩ ͕ ͳ ͍ ͜ͱʹͳΔ. ͜ͷ྆ऀͷҧ͍ʮ୯Ґݩ(id)ճͷଟ͕͞ ଞͷಛΛӅͯ͠͠·͏ʯϚεΩϯάݱΛࣔ ͍ࠦͯ͠ΔͱࢥΘΕΔ. ैͬͯ, ஔΛߟ͢ Δ ࡍ ʮ ແ ޮ ճ ∅Λ আ ͍ ͨ ͷ(∅Λ আ ֎)ʯ ͱʮ∅ͱ ୯ Ґ ݩ(id)ճ Λ আ ͍ ͨ ͷ(id আ ֎)ʯͷ2छྨΛରͱ͢Δ. 4.2.2 స ஔσ∈ S6ʹରͯ͠, σ(i) > σ(i + 1)Λຬͨ͢ i (i = 1, . . . , 5) ͷݸ(descentͷݸ)ΛຊߘͰ σͷసͱݺͿ͜ͱʹ͢Δ. ྫ͑,୯Ґݩ idͷస0Ͱ͋Γ, (654321)Ͱ5Ͱ͋Δ. S6 ͷஔͷసʹΑΔྨస0,1,2,3,4,5 ͦΕͧΕ͕1ݸ, 57ݸ, 302ݸ, 302ݸ, 57ݸ, 1ݸ͋ Δ. S6ͷసʹΑΔώετάϥϜ( ͷάϥϑ)ΛDͷਤ4-1ʹࣔ͢. ·ͨʮ∅Λ আ֎ʯ͠ ֤ͨ ઃ ͷస ͷ ώε τάϥ ϜΛ I, II, III, IVͷॱʹDͷਤ4-2͔Βਤ4-5ʹࣔ ͢. స0ͷஔ୯ҐݩidͷΈͰ͋ΔͷͰ, స0ͷݸidճͷͱҰக͢Δ. ैͬ ͯస0ͷՕॴΛऔΓআ͚,ͦΕΒ͕ʮid আ֎ʯͨ͠I, II, III, IVͷసͷώετάϥ ϜͱͳΔ. ʮidআ֎ʯͷਤলུ͢Δ. ਤΛΈΔͱI(ਤ4-2)ͱII(ਤ4-3)ͷసͷ ࣅ͍ͯΔ. ʮ∅Λআ֎ʯͰͷσʔλͰʮಠ ཱੑͷχ2ݕఆ(m× nද)ʯ([4]ͷୈ6ষ6.24)Ͱؼ 8IIIඪຊͷେ͖͕͞27Ͱ͋ΔͷͰʮൺͷൺֱͱͷࠩͷFݕఆʯ([4]ͷୈ6ষ6.16)ͰؼແԾઆʮIIͰͷidճ ͷ உ ͷ ׂ ߹ ,શ ମ1040෦ Ͱ ͷ உ ͷ ׂ ߹28.27%ͱ ͠ ͍ ʯͷ Ծ આ ݕ ఆ Λ ߦ ͏ ͱ,ͦ ͷp 0.001485Ͱ ͋ Δ. 9S6ͷཁૉidΛআ͘ͱ૯719ݸͰ͋Γ,ۮஔ359ݸ,حஔ360ݸͰ͋Δ. Αͬͯಉ͡σʔλͰؼແԾઆʮઃ
a (a =I, II, III, IV)ͷۮஔͷൺ359/719Ͱ͋ΔʯͰԾઆݕఆ͢Δͱ, pI, II, III, IVͷॱʹ0.02449, 0.1072,
আ͖,༗ҙࠩΈΒΕͳ͔ͬͨʯͱ͍͏͜ͱʹ ͳΖ͏. ੑ ผ Ͱ Έ ͨ ͱ ͖I, II, IIIͱIVͰ େ ͖ ͳ ҧ ͍ ͕ ͋ Δ ͜ ͱ ʹ ؾ ͘. ઌ ͣ શ ମ1040෦ Ͱ ͷ உ ͷ ׂ ߹ 28.27%, ঁ ͷ ׂ ߹70.38%(ੑ ผ ແ ޮ 1.346%)Ͱ͋Δ. Ұํ, idճ, I, II, III, IVͷ ॱͰஉͷׂ߹(%)48.81, 51.35, 59.26, 30.00, ঁ ͷׂ߹51.06, 45.95, 37.04, 68.33Ͱ͋Δ. ʮ ൺͷൺֱͱͷࠩͷzݕఆʯ([4]ͷୈ6ষ6.15)8
ͰؼແԾઆʮઃa(a =I, II, III, IV)Ͱͷidճ
ͷஉͷׂ߹,શମ1040෦Ͱͷஉͷׂ߹28.27%
ͱ͍͠ʯͷԾઆݕఆͰͷp, a =I, II, III,
IVͷ ॱ ʹ0.004767, 0.001822, 0.0003491, 0.6063 Ͱ͋ͬͨ. ैͬͯI, II, IIIͰidճͷஉͷൺ ߴ͍ͱਪଌ͞ΕΔ.
4.2
ஔରশ܈ͷߏΛར༻ͨ͠ղੳ
4.2.1 ۮஔͱحஔ ۮݸͷޓͷੵͰ͋ΔஔΛۮஔ,ح ݸͷޓͷੵͰ͋ΔஔΛحஔͱ͍͏. ࣍ͷ ද,֤ઃ͝ͱͷۮஔͱحஔͷݸͰ͋ Δ(ແޮճ∅আ͘). ∅Λআ֎ I II III IV ۮஔ 504 487 519 546 حஔ 529 501 509 384 ۮ/ح 0.9527 0.9721 1.020 1.422 ͜͜Ͱۮ/حͱ, (ۮஔͷ)/(حஔͷ) ͷΛද͢. IVۮஔ͕ѹతʹଟ͍ͷ͕Θ ͔Δ. ͦͦରশ܈ʹۮஔͱحஔ͕ಉ ͋Δ. ͦ͜Ͱʮൺͷൺֱͱͷࠩͷzݕ ఆʯ([4]ͷୈ6ষ6.15)ͰؼແԾઆʮઃa (a =I,II, III, IV)ͷۮஔͷൺ1/2ͱ͍͠ʯͰ
ԾઆݕఆΛͨ͠ͱ͜Ζ, pI, II, III, IVͷॱ ʹ0.4367, 0.6560, 0.7551, 1.083× 10−7ͱͳͬͨ. IVʹͷΈ,ݦஶͳ༗ҙ͕ࠩΈΒΕΔ͜ͱʹͳΔ. Ұํ, IVͰ୯Ґݩ(id)ճ͕180͋Δ. id ۮ ஔ Ͱ ͋ Δ ͜ ͱ Λ ߟ ྀ ͠ ͯ, (∅ͱ)idΛ আ ֎ͯ͠ݸΛ͑ͨ. ࣍ͷද͕ͦͷͰ͋Δ. idআ֎ I II III IV ۮஔ 457 450 492 366 حஔ 529 501 509 384 ۮ/ح 0.8639 0.8982 0.9666 0.9531 ͜ ͷ ද ͷ ͔ Βʮ ൺ ͷ ൺ ֱ ͱ ͷ ࠩ ͷzݕఆʯ([4]ͷୈ6ষ6.15)ͰؼແԾઆʮઃa
(a =I, II, III, IV)ͷ ۮ ஔ ͷ ൺ 1/2Ͱ ͋
ΔʯͰԾઆݕఆ͢Δͱ, pI, II, III, IVͷॱ ʹ0.02185, 0.09817, 0.5910, 0.5110ͱͳͬͨ9. ༗ ҙਫ४0.05ͰIʹ༗ҙ͕ࠩΈΒΕΔͷͷ,༗ ҙ ਫ ४0.01Ͱ ͢ ͯ ͷ ઃ ʹ ༗ ҙ ࠩ ͕ ͳ ͍ ͜ͱʹͳΔ. ͜ͷ྆ऀͷҧ͍ʮ୯Ґݩ(id)ճͷଟ͕͞ ଞͷಛΛӅͯ͠͠·͏ʯϚεΩϯάݱΛࣔ ͍ࠦͯ͠ΔͱࢥΘΕΔ. ैͬͯ, ஔΛߟ͢ Δ ࡍ ʮ ແ ޮ ճ ∅Λ আ ͍ ͨ ͷ(∅Λ আ ֎)ʯ ͱʮ∅ͱ ୯ Ґ ݩ(id)ճ Λ আ ͍ ͨ ͷ(id আ ֎)ʯͷ2छྨΛରͱ͢Δ. 4.2.2 స ஔσ∈ S6ʹରͯ͠, σ(i) > σ(i + 1)Λຬͨ͢ i (i = 1, . . . , 5) ͷݸ(descentͷݸ)ΛຊߘͰ σͷసͱݺͿ͜ͱʹ͢Δ. ྫ͑,୯Ґݩ idͷస0Ͱ͋Γ, (654321)Ͱ5Ͱ͋Δ. S6 ͷஔͷసʹΑΔྨస0,1,2,3,4,5 ͦΕͧΕ͕1ݸ, 57ݸ, 302ݸ, 302ݸ, 57ݸ, 1ݸ͋ Δ. S6ͷసʹΑΔώετάϥϜ( ͷάϥϑ)ΛDͷਤ4-1ʹࣔ͢. ·ͨʮ∅Λ আ֎ʯ͠ ֤ͨ ઃ ͷస ͷ ώε τάϥ ϜΛ I, II, III, IVͷॱʹDͷਤ4-2͔Βਤ4-5ʹࣔ ͢. స0ͷஔ୯ҐݩidͷΈͰ͋ΔͷͰ, స0ͷݸidճͷͱҰக͢Δ. ैͬ ͯస0ͷՕॴΛऔΓআ͚,ͦΕΒ͕ʮid আ֎ʯͨ͠I, II, III, IVͷసͷώετάϥ ϜͱͳΔ. ʮidআ֎ʯͷਤলུ͢Δ. ਤΛΈΔͱI(ਤ4-2)ͱII(ਤ4-3)ͷసͷ ࣅ͍ͯΔ. ʮ∅Λআ֎ʯͰͷσʔλͰʮಠ ཱੑͷχ2ݕఆ(m× nද)ʯ([4]ͷୈ6ষ6.24)Ͱؼ 8IIIඪຊͷେ͖͕͞27Ͱ͋ΔͷͰʮൺͷൺֱͱͷࠩͷFݕఆʯ([4]ͷୈ6ষ6.16)ͰؼແԾઆʮIIͰͷidճ ͷ உ ͷ ׂ ߹ ,શ ମ1040෦ Ͱ ͷ உ ͷ ׂ ߹28.27%ͱ ͠ ͍ ʯͷ Ծ આ ݕ ఆ Λ ߦ ͏ ͱ,ͦ ͷp 0.001485Ͱ ͋ Δ. 9S6ͷཁૉidΛআ͘ͱ૯719ݸͰ͋Γ,ۮஔ359ݸ,حஔ360ݸͰ͋Δ.Αͬͯಉ͡σʔλͰؼແԾઆʮઃ
a (a =I, II, III, IV)ͷۮஔͷൺ359/719Ͱ͋ΔʯͰԾઆݕఆ͢Δͱ, pI, II, III, IVͷॱʹ0.02449, 0.1072,
0.6218, 0.5258ͱ ͳ Δ.
ແ Ծ આʮ ઃ aͱ ઃ bͰ, స ઃ ͷ ҧ ͍ ͱ ಠ ཱ Ͱ ͋ Δ ʯ(a, b =I, II, III, IV,a ̸= b)
ͷ Ծ આ ݕ ఆ ͠ ͨ ͱ ͜ Ζ, ͦ Ε ͧ Ε ͷp (a, b)=(I,II),(I,III),(I,IV),(II,III),(II,IV),(III,IV) ͷ ॱ Ͱ 0.1327, 2.107 × 10−8, 0.0, 4.810 × 10−5, 0.0, 0.0 Ͱ ͋ͬͨ. · ͨ, ʮid আ ֎ ʯͷ σ ʔ λ Ͱ ͷ Ծ આ ݕ ఆ Ͱ p (a, b)=(I,II),(I,III),(I,IV),(II,III),(II,IV),(III,IV) ͷ ॱ Ͱ0.1059, 8.043 × 10−8, 2.293 × 10−4, 4.306 × 10−5, 2.365 × 10−5, 5.044 × 10−13 Ͱ ͋ͬͨ. ʮ∅Λআ֎ʯͰʮidআ֎ʯͰIͱ IIͷ Έ ߹ Θ ͤ Ͱ ༗ ҙ ਫ ४0.10Ͱ ؼ ແ Ծ આ غ٫͞Εͳ͍͜ͱʹͳΔ. Γ, IͱIIͷ సͷࣅ͓ͯΓ,ଞͷઃͷΈ߹Θͤ ࣅ͍ͯͳ͍Α͏Ͱ͋Δ. సͷࢹͰ,
{I,II}ͱ{III}ͱ{IV}ͱ͍͏ઃͷάϧʔϓ͚
͕Ͱ͖ΔͷͩΖ͏10. 4.2.3 ࠷ॳͷ IͰ ಘ Β Ε Δ ஔ ΛσI, IIͰ ಘ Β Ε Δ ஔ Λ σIIͱ͢Δ. ΞϯέʔτͷIͰ, 1ͷԼͷཝʹ ॻ͔ΕͨΛσI(1), 2ͷԼʹॻ͔ΕͨΛσI(2) ͱද͞ΕΔ͜ͱʹͳΓ. ·ͨ, IIͰ,ه߸˓ ͷԼʹॻ͔Εͨه߸ͷԽΛσII(1), ه߸ʴ ͷԼʹॻ͔Εͨه߸ͷԽΛσII(2)Ͱද͞ Ε Δ ͜ ͱ ʹ ͳ Δ. Ҏ ޙ, Iͷ ࠷ ॳ ͷ ࣈ σI(1) Ͱ͋Γ, IIͷ࠷ॳͷࣈσII(1)Ͱ͋Δ,ͷྨ͍ ͷදݱΛ͏͜ͱʹ͢Δ. ͜͜Ͱ࠷ॳͷࣈ ͕ͲͷΑ͏ͳΛ͍ͯ͠Δͷ͔Λߟ͢Δ. S6Ͱ, i = 1, . . . , 6ʹରͯ͠ σ(1) = iͱͳΔ ஔσ֤iͰ120ݸ͋Δ. ࣗ໌ͳਤͰ͋Δ͕ ଞͱͷൺֱͷͨΊ, S6Ͱͷ࠷ॳͷࣈͷώετ άϥϜΛDͷਤ4-6ʹࣔ͢. I, II, III, IVͷॱʹʮ∅Λআ֎ʯͨ͠σʔλͰ ࠷ॳͷࣈͷώετάϥϜ(Dͷਤ4-7͔Β ਤ4-10)Λࣔ͢. ਤ4-6ؚΊͯ͜ΕΒΛൺֱ͢ Δͱ, S6(ਤ4-6)ͱIII(ਤ4-9)͕ࣅ͍ͯΔ. ਤ4-6͔ Βਤ4-10ͷ5ͭͷσʔλͰసͷઅͰ༻͍ͨ Ծ આ ݕ ఆ Λ ͠ ͨ ͱ ͜ Ζ, p ͕0.01Ҏ ্ ͷ Έ ߹Θͤਤ4-6(S6)ͱਤ4-9(III)ͷΈͰ͋Δ(ͦͷ p0.2347). ಉ༷ ʹʮidআ ֎ ʯͨ͠ σ ʔ λ Ͱ࠷ॳͷࣈͷώετάϥϜ(Dͷਤ4-11 ͔Βਤ4-14)Λࣔ͢. ͜Εʹؔͯ͠,ਤ4-6ؚ Ίͯൺֱ͢Δͱ, S6(ਤ4-6)ͱIII(ਤ4-13)͕ࣅͯ ͍Δ. ಉ༷ͷԾઆݕఆΛߦ͏ͱ,ͪ͜Βp͕ 0.01Ҏ্ͷΈ߹ΘͤS6(ਤ4-6)ͱIII(ਤ4-13) ͷΈͰ͋Γ,ͦͷp0.4966Ͱ͋Δ11. ैͬͯ, ࠷ॳͷࣈ,ͱ͍͏ࢹͰ, S6ͱIII͕ࣅ͍ͯ Δ(ଞͷΈ߹Θͤࣅ͍ͯͳ͍)ͱ͍͏͜ͱʹ ͳΔͩΖ͏. 4.2.4 ࠷ޙͷ ಉ༷ʹʮ࠷ޙͷʯ(σ(6)ͷ)ͷه͢. S6ͷਤ4-6ͱಉ͡ͷ ʹͳΔ. Dͷ ਤ4-15͔Βਤ4-18ॱʹʮ∅Λআ֎ʯͨ͠I, II, III, IVͷ ࠷ ޙ ͷ ͷ Ͱ ͋ Δ. III1͕, IV 6͕ѹతʹଟ͍. ·ͨIͰ, 2͔Β6·Ͱ͕ ୯ௐʹ૿Ճ͍ͯ͠Δ͜ͱ͕Θ͔Δ. ·ͨ, ʮid আ֎ʯͨ͠I, II, III, IVͷ࠷ޙͷͷώετ άϥϜΛॱʹDͷਤ4-19͔Βਤ4-22ʹه͢. ਤ ͔ Βʮ∅Λ আ ֎ ʯͱ ಉ ͡ ͕ ݟ ͯ औ Ε Δ. ʮ࠷ॳͷʯͱಉ༷ͷԾઆݕఆΛߦͬͨͱ͜Ζ, p͕0.01ΑΓେ͖͍ͷS6ͱIIͷΈ߹Θͤ Ͱ͋Δ(pʮ∅Λআ֎ʯͰ0.03569, ʮidআ ֎ʯ12Ͱ0.05053). p͕େ͖͘ͳ͍ͷͰਪଌ͕ ͍͕͠,࠷ॳͷͱ࠷ޙͷͰࣅ͍ͯΔ Έ߹Θ͕ͤҟͳΔΑ͏Ͱ͋Δ. 4.2.5 k൪ͷ ࠷ॳͷ,࠷ޙͷ͚ͩͰͳ͘, k = 2, 3, 4, 5 ʹରͯ͠k൪ͷ(σ(k)ͷ)ڵຯ͕͋Ζ͏. ʮ∅Λআ֎ʯͷσʔλͰͷώετάϥϜΛ(k = 2
ͷI, II, III, IV, k = 3ͷI, II, III, IVͷॱͰ) Dͷਤ4-23͔Βਤ4-38ʹ,ʮidআ֎ʯͷσʔ λͰಉ͡ॱͰਤ4-39͔Βਤ4-54ʹࣔ͢. ڵຯਂ 10S6ͷ ώ ε τ ά ϥ Ϝ ͷ ਤ4-1 ؚ Ί ͨ ਤ4-1͔ Β ਤ4-5ͷ ൺ ֱ ߟ ͑ Β Ε Δ ͕,ਤ4-1Ͱ 720ݸ த1ݸ ͱ ͍ ͏ ଐ ੑ ͕ ͋ Δ. ਤ4-1Λ ؚ Ί ͨ Ծ આ ݕ ఆ ʹ Α Δ ਪ ଌ ߦ Θ ͳ ͍. 11୯ҐݩidΛআ֎ͨ͠S6Ͱ࠷ॳͷ͕1ͱͳΔஔ120ݸͰͳ͘119ݸͰ͋ΔͷͰ,ਤ4-6ͷ1͕120ͷΘΓʹ 119Ͱಉ༷ͷԾઆݕఆΛߦ͏ͱ,ͦͷp0.4873Ͱಉ݁͡ՌͱͳΔ(p͕0.01Ҏ্ͷΈ߹Θͤਤ4-6(ͷ1͕119൛) ͱ ਤ4-13(III)ͷ Έ Ͱ ͋ Δ). 12ઌ ͱ ಉ ༷ ʹ ࠷ ޙ ͷ ͕6ͱ ͳ Δ ஔ 119ݸ ͳ ͷ Ͱ,ਤ4-6ͷ6͕120ͷ Θ Γ ʹ119Ͱ ಉ ༷ ͷ Ծ આ ݕ ఆ Λ ߦͬͨ ͱ ͖ ͷp 0.05194Ͱ ͋ Δ.
͍, IIIͰͷ3൪ͷσ(3)ʹ1͚͕ͩಛʹ গ ͳ ͍, ͱ, IIͰ ͷ5൪ ͷ σ(5)ʹ6ͩ ͚ ͕ ଟ ͍, Ͱ͋Ζ͏͔. ʹͳΔͷͰྨࣅੑʹؔ͢ ΔԾઆݕఆলུ͢Δ. 4.2.6 ࠷ॳͷͱ2൪ͷͷ ஔ σ ∈ S6ͷ ࠷ ॳ ͷ ͱ2൪ ͷ ͷ (σ(1), σ(2))ͷΛߟ͢Δ. ͜Ε[2]Ͱใࠂ ͞Εͨͷͱ͕ؔ͋ΔࣄฑͰ͋Γڵຯਂ ͍. (σ(1), σ(2))(i, j), i, j = 1, . . . , 6, i̸= jΛ ͱΔͷͰ,͜ΕΒΛࣙॻࣜͰॻ͚(1, 2), (1, 3), . . ., (1, 6), (2, 1), (2, 3), . . ., (2, 6), (3, 1), . . ., (6, 5) ͷ30௨Γ͋Δ. ʮ∅Λআ֎ʯͨ͠σʔλͷώε τάϥϜΛI, II, III, IVͷॱʹDͷਤ4-55͔ Βਤ4-58ʹࣔ͢. ֤άϥϑͷԣ࣠ࠨ͔Βॱʹ (i, j)ͷࣙॻࣜʹฒͨͷͰ͋Δ(Ұ൪ࠨͷॎ ͕(1, 2), Ұ൪ӈͷॎ͕(6, 5)). ʮidআ֎ʯ ͷ σ ʔ λ ͷ ώ ε τ ά ϥ Ϝ Ұ ൪ ࠨ ͔ Βidͷ ݸ ΛҾ͍ͨͷͳͷͰলུ͢Δ. S6ͷͲ ͷ(i, j)24ݸͰ͋Δ. ࢀߟʹʮ1͔Β30·Ͱͷ ΛͱΔҰ༷͔Β1040ݸͷαϯϓϦϯά ͨ͠ώετάϥϜʯͷҰྫΛDͷਤ4-59ʹ ࣔ͢. ͜ͷਤ͔ΒΘ͔ΔΑ͏ʹҰ༷͔Βͷ ग़ྗ(ਤ4-59)Ͱ͋ΔఔͷΒ͖͕ͭݟΒΕ Δ. ͔ͦ͠͠ͷΒ͖ͭਤ4-55͔Βਤ4-58· ͰͷΑ͏ͳେ͖ͳͷͰͳ͍. Β͖ͭํʹنଇੑ͕ΈΒΕͳ͍ͷͰ,ͦΕ ͧΕਤ4-55͔Βਤ4-58ٴͼਤ4-59ͷͷখ͞ ͍ॱʹฒͼସ͑ͯΈͨͷ͕Dͷਤ4-60͔Β ਤ4-64Ͱ͋Δ. ਤ4-60͔Βਤ4-63ॱʹI, II, III, IVͰ͋Γ,ਤ4-64͕Ұ༷͔Βͷग़ྗͰ͋Δ. ਤ4-64ͷߴ͕ࠩগͳ͍͜ͱ͕Θ͔Δ. ࣍ʹߴ ͕ࠩগͳ͍ͷਤ4-63(III)ͩΖ͏͔. ຊߘͰͷରώτͷूஂ͕ੜ͢Δ6࣍ͷ ஔͰ͋Γ, [2]͕ରͱ͍ͯ͠Δݸਓ͕ଟੜ ͢Δ5࣍ͷஔͱҟͳΔͷͰ͋Δ͕, [2]ͷ Table 1ʹΈΒΕΔΑ͏ͳಛ13,ࠓճͷΞϯ έʔτͷͲͷઃͰ؍Ͱ͖ͳ͔ͬͨ. ͜͜Ͱड़ͨ,࠷ॳͷ(અ4.2.3)͔Β࠷ॳͷ ͱ2൪ͷͷ(અ4.2.6)ͷ,ޙͷ અ4.4(ϑʔϦΤղੳ)Ͱ͞Βʹৄࡉʹݕ౼͢Δ. ͜͜Ͱճͷ͕ࣅ͍ͯΔͱࢥΘΕΔ(S6 ؚΊͯ)ઃ൪߸Λ·ͱΊ͓ͯ͘. ۮஔͱحஔͰʮ∅Λআ֎ʯ͕S6ͱͦΕ ͧΕI, II, III͕,ʮidআ֎ʯ͕S6ͱͦΕͧΕI, II, III, IV͕ࣅ͍ͯΔ14ͱࢥΘΕΔ. సͰ,ʮ∅Λআ֎ʯͱʮidআ֎ʯͰ, I ͱII͕ࣅ͍ͯΔͱࢥΘΕΔ. ࠷ॳͷͰ,ʮ∅Λআ֎ʯͱʮidআ֎ʯͰ, S6ͱIII͕ࣅ͍ͯΔͱࢥΘΕΔ. ͜ ͷ Α ͏ ʹ స Β ࠷ ॳ ͷ ͳ Ͳ ͷʮ ಛ ఆͷࢹ ʯͰ ࣅͯ ͍Δ ͱࢥ ΘΕ Δઃ ͷ ͕͋Δ͕,͔͠͠ଞͷࢹͰࣅ͍ͯͳ͍. ૯ ߹ త ͳ ࢹ Ͱ ߟ ͑ Δ ͳ Β , S6(͢ ͳ Θ ͪ Ұ ༷ )ͱ ͷ ൺ ֱ ؚ Ί ͯ, Ͳ ͷ ઃ ͷ ࣅ ͍ͯͳ͍ͱ͍͏݁ʹͳΖ͏.
4.3
ஔͷੵ
ʮਓؒʹบ͕͋Γ,ώτͷूஂͱ͍͏ஔ ϥϯμϜͳஔΛग़ྗ͠ͳ͍ͩΖ͏ʯ15ͱظ ͢ΔͷࣗવͩΖ͏. ࣮ࡍ,લઅ·Ͱʹड़ ͨղੳͰ,ಛఆͷࢹͰS6্ͷҰ༷ͱ ࣅ ͯ ͍ Δ ͷ(ۮ ஔ ͱ ح ஔ , ࠷ ॳ ͷ Ͱ ͷ ઃIII)͋Δ͕,ͦΕΒΛ૯߹త,ٴͼҎԼ ͷઅ4.3.3͔Β, ֤I, II, III, IVͦΕͧΕ, S6্ ͷҰ༷,ٴͼͦΕ͔Βͷग़ྗͱࢥ͑ͳ͍. ͜ͷҙຯͰ͜ͷظਖ਼͍͠ͱ͍͏͜ͱʹ ͳΔ. ͔͠͠ ͳ͕Β,ஔͷ ੵ, ۩ମత ʹ ճऀ ൪߸i (i = 1, . . . .1040) ͷIͷճσiIͱIIIͷճ σiIIIͷੵ16ͷσiI◦ σIII i ͨͪ,S6্ͷҰ༷͔ Βͷग़ྗʹ͍ۙ. ಛʹʮidআ͘ʯͷέʔεͰ Ұ ༷ ͷ ग़ ྗ ͱ ࢥ ͑ Δ ఔ Ͱ ͋ Δ. ৄ ࡉ ҎԼͰड़Δ͕,͜ͷࣄ࣮ʮώτͷूஂͱ͍ ͏ஔϥϯμϜͳஔΛग़ྗ͠ͳ͍ͩΖ͏ʯ 13σ(1) + 1 = σ(2)ͱͳΔ(σ(1), σ(2))ͷग़ݱগͳ͍,ͱ͍͏ಛ. զʑͷέʔεͰ(1, 2)(Dͷਤ4-55͔Βਤ4-58 ͷ ͦ Ε ͧ Ε1൪ ࠨ), (2, 3)(ࠨ ͔ Β7൪ ), (3, 4)(ಉ13൪ ), (4, 5)(ಉ19൪ ), (5, 6)(ಉ25൪ )ͷ ग़ ݱ গ ͳ ͍ ͱ ͍ ͏ ͜ ͱ ʹ ͳ Δ. গ ͳ ͍ ͋ Δ ͷ ͩ ͕,Ұ ํ Ͱ ଟ ͍ ͋ Γ,͜ ͷ Α ͏ ͳ ಛ ͳ ͍ Α ͏ Ͱ ͋ Δ. 14༗ ҙ ਫ ४0.01Ͱ ͷ Ծ આ ݕ ఆ Λ ͱ ʹ ͠ ͨ. p ͕ খ ͞ ͍ ͷ ͋ Δ ͜ ͱ ʹ ҙ ͠ ͨ ͍. 15͜͜ͰʮϥϯμϜͳग़ྗʯͱʮूஂ͕Ұ༷Ͱ͋Δूஂ͔Βͷ෮ݩແ࡞ҝඪຊʯͷ͜ͱͱղऍ͢Δ. 16ʮσI͍, IIIͰͷ3൪ͷσ(3)ʹ1͚͕ͩಛʹ গ ͳ ͍, ͱ, IIͰ ͷ5൪ ͷ σ(5)ʹ6ͩ ͚ ͕ ଟ ͍, Ͱ͋Ζ͏͔. ʹͳΔͷͰྨࣅੑʹؔ͢ ΔԾઆݕఆলུ͢Δ. 4.2.6 ࠷ॳͷͱ2൪ͷͷ ஔ σ ∈ S6ͷ ࠷ ॳ ͷ ͱ2൪ ͷ ͷ (σ(1), σ(2))ͷΛߟ͢Δ. ͜Ε[2]Ͱใࠂ ͞Εͨͷͱ͕ؔ͋ΔࣄฑͰ͋Γڵຯਂ ͍. (σ(1), σ(2))(i, j), i, j = 1, . . . , 6, i̸= jΛ ͱΔͷͰ,͜ΕΒΛࣙॻࣜͰॻ͚(1, 2), (1, 3), . . ., (1, 6), (2, 1), (2, 3), . . ., (2, 6), (3, 1), . . ., (6, 5) ͷ30௨Γ͋Δ. ʮ∅Λআ֎ʯͨ͠σʔλͷώε τάϥϜΛI, II, III, IVͷॱʹDͷਤ4-55͔ Βਤ4-58ʹࣔ͢. ֤άϥϑͷԣ࣠ࠨ͔Βॱʹ (i, j)ͷࣙॻࣜʹฒͨͷͰ͋Δ(Ұ൪ࠨͷॎ ͕(1, 2), Ұ൪ӈͷॎ͕(6, 5)). ʮidআ֎ʯ ͷ σ ʔ λ ͷ ώ ε τ ά ϥ Ϝ Ұ ൪ ࠨ ͔ Βidͷ ݸ ΛҾ͍ͨͷͳͷͰলུ͢Δ. S6ͷͲ ͷ(i, j)24ݸͰ͋Δ. ࢀߟʹʮ1͔Β30·Ͱͷ ΛͱΔҰ༷͔Β1040ݸͷαϯϓϦϯά ͨ͠ώετάϥϜʯͷҰྫΛDͷਤ4-59ʹ ࣔ͢. ͜ͷਤ͔ΒΘ͔ΔΑ͏ʹҰ༷͔Βͷ ग़ྗ(ਤ4-59)Ͱ͋ΔఔͷΒ͖͕ͭݟΒΕ Δ. ͔ͦ͠͠ͷΒ͖ͭਤ4-55͔Βਤ4-58· ͰͷΑ͏ͳେ͖ͳͷͰͳ͍. Β͖ͭํʹنଇੑ͕ΈΒΕͳ͍ͷͰ,ͦΕ ͧΕਤ4-55͔Βਤ4-58ٴͼਤ4-59ͷͷখ͞ ͍ॱʹฒͼସ͑ͯΈͨͷ͕Dͷਤ4-60͔Β ਤ4-64Ͱ͋Δ. ਤ4-60͔Βਤ4-63ॱʹI, II, III, IVͰ͋Γ,ਤ4-64͕Ұ༷͔Βͷग़ྗͰ͋Δ. ਤ4-64ͷߴ͕ࠩগͳ͍͜ͱ͕Θ͔Δ. ࣍ʹߴ ͕ࠩগͳ͍ͷਤ4-63(III)ͩΖ͏͔. ຊߘͰͷରώτͷूஂ͕ੜ͢Δ6࣍ͷ ஔͰ͋Γ, [2]͕ରͱ͍ͯ͠Δݸਓ͕ଟੜ ͢Δ5࣍ͷஔͱҟͳΔͷͰ͋Δ͕, [2]ͷ Table 1ʹΈΒΕΔΑ͏ͳಛ13,ࠓճͷΞϯ έʔτͷͲͷઃͰ؍Ͱ͖ͳ͔ͬͨ. ͜͜Ͱड़ͨ, ࠷ॳͷ(અ4.2.3)͔Β࠷ॳͷ ͱ2൪ͷͷ(અ4.2.6)ͷ,ޙͷ અ4.4(ϑʔϦΤղੳ)Ͱ͞Βʹৄࡉʹݕ౼͢Δ. ͜͜Ͱճͷ͕ࣅ͍ͯΔͱࢥΘΕΔ(S6 ؚΊͯ)ઃ൪߸Λ·ͱΊ͓ͯ͘. ۮஔͱحஔͰʮ∅Λআ֎ʯ͕S6ͱͦΕ ͧΕI, II, III͕,ʮidআ֎ʯ͕S6ͱͦΕͧΕI, II, III, IV͕ࣅ͍ͯΔ14ͱࢥΘΕΔ. సͰ,ʮ∅Λআ֎ʯͱʮidআ֎ʯͰ, I ͱII͕ࣅ͍ͯΔͱࢥΘΕΔ. ࠷ॳͷͰ,ʮ∅Λআ֎ʯͱʮidআ֎ʯͰ, S6ͱIII͕ࣅ͍ͯΔͱࢥΘΕΔ. ͜ ͷ Α ͏ ʹ స Β ࠷ ॳ ͷ ͳ Ͳ ͷʮ ಛ ఆͷࢹ ʯͰ ࣅͯ ͍Δ ͱࢥ ΘΕ Δઃ ͷ ͕͋Δ͕,͔͠͠ଞͷࢹͰࣅ͍ͯͳ͍. ૯ ߹ త ͳ ࢹ Ͱ ߟ ͑ Δ ͳ Β , S6(͢ ͳ Θ ͪ Ұ ༷ )ͱ ͷ ൺ ֱ ؚ Ί ͯ, Ͳ ͷ ઃ ͷ ࣅ ͍ͯͳ͍ͱ͍͏݁ʹͳΖ͏.
4.3
ஔͷੵ
ʮਓؒʹบ͕͋Γ,ώτͷूஂͱ͍͏ஔ ϥϯμϜͳஔΛग़ྗ͠ͳ͍ͩΖ͏ʯ15ͱظ ͢ΔͷࣗવͩΖ͏. ࣮ࡍ,લઅ·Ͱʹड़ ͨղੳͰ,ಛఆͷࢹͰS6্ͷҰ༷ͱ ࣅ ͯ ͍ Δ ͷ(ۮ ஔ ͱ ح ஔ , ࠷ ॳ ͷ Ͱ ͷ ઃIII)͋Δ͕,ͦΕΒΛ૯߹త,ٴͼҎԼ ͷઅ4.3.3͔Β, ֤I, II, III, IVͦΕͧΕ, S6্ ͷҰ༷,ٴͼͦΕ͔Βͷग़ྗͱࢥ͑ͳ͍. ͜ͷҙຯͰ͜ͷظਖ਼͍͠ͱ͍͏͜ͱʹ ͳΔ. ͔͠͠ ͳ͕Β,ஔͷ ੵ, ۩ମత ʹ ճऀ ൪߸i (i = 1, . . . .1040) ͷIͷճσiIͱIIIͷճ σiIIIͷੵ16ͷσiI◦ σIII i ͨͪ,S6্ͷҰ༷͔ Βͷग़ྗʹ͍ۙ. ಛʹʮidআ͘ʯͷέʔεͰ Ұ ༷ ͷ ग़ ྗ ͱ ࢥ ͑ Δ ఔ Ͱ ͋ Δ. ৄ ࡉ ҎԼͰड़Δ͕,͜ͷࣄ࣮ʮώτͷूஂͱ͍ ͏ஔϥϯμϜͳஔΛग़ྗ͠ͳ͍ͩΖ͏ʯ 13σ(1) + 1 = σ(2)ͱͳΔ(σ(1), σ(2))ͷग़ݱগͳ͍,ͱ͍͏ಛ. զʑͷέʔεͰ(1, 2)(Dͷਤ4-55͔Βਤ4-58 ͷ ͦ Ε ͧ Ε1൪ ࠨ), (2, 3)(ࠨ ͔ Β7൪ ), (3, 4)(ಉ13൪ ), (4, 5)(ಉ19൪ ), (5, 6)(ಉ25൪ )ͷ ग़ ݱ গ ͳ ͍ ͱ ͍ ͏ ͜ ͱ ʹ ͳ Δ. গ ͳ ͍ ͋ Δ ͷ ͩ ͕,Ұ ํ Ͱ ଟ ͍ ͋ Γ,͜ ͷ Α ͏ ͳ ಛ ͳ ͍ Α ͏ Ͱ ͋ Δ. 14༗ ҙ ਫ ४0.01Ͱ ͷ Ծ આ ݕ ఆ Λ ͱ ʹ ͠ ͨ. p ͕ খ ͞ ͍ ͷ ͋ Δ ͜ ͱ ʹ ҙ ͠ ͨ ͍. 15͜͜ͰʮϥϯμϜͳग़ྗʯͱʮूஂ͕Ұ༷Ͱ͋Δूஂ͔Βͷ෮ݩແ࡞ҝඪຊʯͷ͜ͱͱղऍ͢Δ. 16ʮσIiͱσiIIIͷੵσIi◦ σIIIi ʯ,ઌͣू߹{1, 2, 3, 4, 5, 6}ʹσIIIi ͕࡞༻ͯ͠,ͦͷ࣍ʹσIi͕࡞༻͢Δͱ͍͏ҙຯͰ͋Δ.
ͱ͍͏ظΛ෴͢. ࠓճͷσʔλΛݟΔݶΓ, ώτͷूஂͱ͍͏ஔ,΄΅ϥϯμϜͳஔ Λग़ྗ͢Δ,บ͕ݟΒΕͳ͍Ұ༷ʹ͍ۙ ஔͱߟ͑Δ͜ͱՄೳͳͷͰ͋Δ. 4.3.1 શมಈڑͱΧϧόοΫ-ϥΠϒϥʔ ใྔ Ұ༷͔Βͷʮԕۙ͞͞ʯΛΈΔಓ۩ͱ͠ ͯ,શมಈڑthe total variation distance ͕Α
͘ΘΕ͍ͯΔ([5]). શมಈڑγϏΞͳ ࢦඪͱߟ͑ΒΕ͓ͯΓ,ݟ্͔͚۠ผͰ͖ͳ͞ ͦ͏ͳͷʹݦஶͳͰݱΕΔ. ۙͳͱ ͜ΖͰ, τϥϯϓͷγϟοϑϧͷճͷ݁Ռ ͕Α͘ΒΕ͍ͯΔ([5, 6]). 52ຕͷτϥϯϓͷ ΧʔυΛϦϑϧγϟοϑϧ17ͰࠞͥΔͱ͖, 4ճ ͘Β͍Ϧϑϧγϟοϑϧ͢Εͦͷτϥϯϓͷ Χʔυ͍ͦͦࠞͬͯ͜͜͟Δͱߟ͑ͯ͠·͏ ͩΖ͏. ৗͰߦ͏τϥϯϓͷήʔϜͰ௨ৗ 3,4ճγϟοϑϧ͢ΔఔͰ͋Ζ͏͠,ಛʹͦΕ ͰࠔΔ͜ͱͳ͍. ͔͠͠Ұ༷͔Βͷશม ಈڑ, 4ճଓ͚ͯϦϑϧγϟοϑϧ18Λߦͬ ͯ1.000(ཧ)ͳͷͰ͋Δ. શมಈڑ͕औ ΓಘΔ࠷େ1Ͱ͋Δ͔Β,͜ͷ1.000͕ ҙຯ͢Δ͜ͱ,શมಈڑΛ༻͍ͨఆͰ ʮ4ճͷϦϑϧγϟοϑϧͰ͍ࠞͬͯ͟Δͱ ౸ఈݴ͑ͳ͍ʯͱ͍͏͜ͱʹͳΔ. ͦͦࠞ͜͜ ͍ͬͯ͟ΔͩΖ͏ͱ͍͏զʑͷײ͔֮Β͢Ε, શมಈڑΓγϏΞͳࢦඪͱ͍͏͜ͱ ʹͳΖ͏. 1ճ͔Β4ճ·Ͱશͯ1.000, 5ճϦ ϑϧγϟοϑϧͯͬ͠ͱ1ΑΓখ͍͞0.924ͱ ͳΔ. 6ճʹٸܹʹ͕มԽ͢Δcut-offݱ ͕ ى ͖ ͯ ͦ ͷ 0.614. 7ճ Ͱ0.334ͱ ͳ Δ19. ݁ͱͯ͠7ճϦϑϧγϟοϑϧ͢Εे ͩͱ[6]ड़͍ͯΔ. શมಈڑͷҰൠతͳఆٛ[5]ʹ͋Δ͕,ຊ ߘͰ༻͍ΔͷS6্ͷҰ༷͔Βͷશมಈ ڑͰ͋Γ,ͦΕ 1 2 ∑ σ∈S6 |PD{σ} − PU{σ}| Ͱ༩͑ΒΕΔ. ͜ͷΛdTV(D)Ͱදͦ͏. ୠ͠, PDS6্ͷDͷ֬, PUS6্ͷҰ༷ ͷ֬ͱ͢Δ. ຊߘͰDΛσʔλ(S6ͷཁ ૉ͔ΒͳΔ༗ݶྻ)ͱߟ͑ΔͷͰ PD{σ} = Dͷσͷݸ Dͷཁૉͷ૯ PU{σ} = S6ͷσͷݸ S6ͷཁૉͷ૯ = 1 720 ͱͳΔ. Ұ༷͔Βͷԕۙ͞͞ΛଌΔಓ۩ͱͯ͠શ มಈڑͷΈΛ͏͜ͱ͕ଟ͍ͷͰ͋Δ͕,ຊ ߘͰશมಈڑͷଞʹ͏Ұͭ,ΧϧόοΫ -ϥ Π ϒ -ϥ ʔ ใ ྔ Kullback-Leibler divergence (ҎԼKLใྔͱུ͢)Λ༻͍ͯҰ༷ͱͷ ؔΛٞ͢Δ. ͦͷཧ༝, KLใྔͦͷ ໊ͷ௨Γʹώτͷूஂͱ͍͏ஔͷใΛ༩ ͑ Δ ྔ ͱ ߟ ͑ Β Ε, ͦ ͷ Α ͏ ͳ(શ ม ಈ ڑ Ҏ ֎ͷ)ಓ۩Λ͏͜ͱͰ݁ՌΛ͞ΒʹڧݻʹͰ ͖Δͱظ͢ΔͨΊͰ͋Δ. ຊߘͰ༻͍ΔS6্ͷҰ༷ʹର͢ΔKL ใྔ ∑ σ∈S6 PD{σ} log PD{σ} PU{σ} Ͱ༩͑ΒΕΔ. ͜ͷΛdKL(D)Ͱදͦ͏. ୠ͠, ͜ͷlogࣗવରͱ͠, Dઌͱಉ༷ʹσʔλ (S6ͷཁૉ͔ΒͳΔ༗ݶྻ), PD, PUͦΕͧΕ Dͷ֬,Ұ༷ͷ֬Ͱ͋Δ. 4.3.2 Ұ༷͔Βͷग़ྗͷཧ զʑͷ σ ʔ λ ʮ ώ τ ͷ ू ஂ ͱ ͍ ͏ ஔ ͔ Βͷ1040ݸͷग़ྗʯͰ͋Γ,ͦΕ͕ʮS6্ͷҰ ༷ ͔ Β ͷ ग़ ྗ ʯ͢ ͳ Θ ͪʮS6͔ Β ͷ ෮ ݩ ແ࡞ҝ ඪຊ ʯͱΈͳ ͤΔ ͔൱ ͔Λ Γͨ ͍ͷ Ͱ͋Δ. ैͬͯ(શมಈڑ, KLใྔڞʹ, σʔλDͱS6্ͷҰ༷ͱͷࠩҟΛද͢ࢦ ඪͰ͋Δͷ͕ͩ) શมಈڑKLใྔͷ ͕0ʹ͍͔ۙͲ͏͔ͷٞͰͳ͘, ʮS6্ͷ Ұ ༷ ͔ Β ͷ1040ݸ ͷ ग़ ྗ ʯͷ ͱ ͷ ൺ ֱ͕ٞͷରͱͳΔ. ͦ͜ͰʮS6্ͷҰ༷ 17τ ϥ ϯ ϓ ͷ Χ ʔ υ Λ ; ͨ ʹ Θ ͚,྆ ख Ͱ ύ ϥ ύ ϥ མ ͱ ͠ ͯ ࠞ ͥ Δ γϟοϑ ϧ. 18 ֶ త ʹ Ϟ σ ϧ Խ ͞ Ε ͨ Ϧ ϑ ϧ γϟοϑ ϧ. 19͜ Ε Β ͷ [5]͔ Β Ҿ ༻ ͠ ͨ.
͔ Β ͷNݸ ͷ ग़ ྗ ʯΛDUN(͜ Ε S6ͷ ཁ ૉ ͔ Β ͳ Δ ͞Nͷ ༗ ݶ ྻ)ͱ ͠ ͯ, શ ม ಈ ڑ dTV(DUN), KLใྔdKL(DNU)ͷΛΓ͍ͨͷ ͕ͩ,͜ͷαϯϓϦϯάͷͨͼʹ, ͢ͳΘ ͪʮS6্ͷҰ༷͔ΒͷNݸͷग़ྗʯΛಘΔ ͨͼʹҟͳΔ. ͦ͜Ͱ,ͦͷฏۉµTV,N, µKL,N, ٴͼඪ४ภࠩSDTV,N, SDKL,N (ཧ)Λߟ͑ Δ. Ұ༷͔ΒͷશมಈڑdTV(DUN)ͷฏۉ µTV,N,Ұ༷ʹର͢ΔKLใྔdKL(DUN)ͷ ฏۉµKL,NͧΕͧΕ 6! N ∑ k=0 ( N k ) ( 1 6! )k( 6!− 1 6! )N−k 1 2 � � � � k N − 1 6! � � � � 6! N ∑ k=1 ( N k ) ( 1 6! )k( 6!− 1 6! )N−k k N log ( k/N 1/6! ) Ͱ༩͑ΒΕΔ. ඪ४ภࠩͷฏํͰ͋Δࢄ ͍ࣜʹͳΔͷͰ͜͜Ͱলུ͢Δ͕,ͦΕΒͷ ࣜͱͦͷূ໌ΛBʹه͢. ͜ΕΒͷ͔ࣜΒ ΛٻΊΔͱ, NΛԣ࣠, µTV,NΛॎ࣠ͱͨ͠ άϥϑ 200 400 600 800 1000 0.2 0.4 0.6 0.8 1.0 µTV,Nͷάϥϑ Ͱ͋Γ,·ͨ,ॎ࣠ΛµKL,Nͱͨ͠άϥϑ 200 400 600 800 1000 0.5 1.0 1.5 2.0 2.5 3.0 µKL,Nͷάϥϑ Ͱ͋Δ. ͱʹN͕খ͍͞ͱ͕େ͖͍ͱ͍͏ ͜ͱ͕Θ͔Δ. ͍͔ͭ͘ͷ۩ମతͳNͰͷཧ Λ࣍ͷදͰࣔ͢. දதͷSDରԠ͢Δඪ४ ภࠩΛҙຯ͢Δ. ฏۉͱඪ४ภࠩ N µTV,N± SD µKL,N± SD 740 0.3675±0.01125 0.5586± 0.02140 840 0.3631± 0.009736 0.4956± 0.02003 940 0.3536± 0.008748 0.4439± 0.01878 1040 0.3405± 0.008181 0.4009± 0.01763 ྫ͑∅Λআ͍ͨզʑͷσʔλͰ, Nͷ ༗ ޮ ճ Ͱ ͋ Δ. ͦ Ε Β ͷ ͢ ͯ ͷ έʔεͰ1040ΑΓখ͘͞,ྫ͑IVͰ∅Λআ ͍ͨ༗ޮճ930Ͱ͋Δ. ҎԼ,͜ΕΒͷճ ʹରԠ͢ΔNͰͷµTV,NµKL,Nͷཧ ͱͷൺֱΛߦ͏. 4.3.3 ֤ઃͰͷ ֤ઃ ͝ͱ ͷҰ ༷ ͔Β ͷશ มಈڑ ͱ Ұ༷ʹର͢ΔKLใྔΛه͢. දͷN, ্Ͱઆ໌ͨ͠σʔλͷݸͰ͋Δ. ∅Λআ͘ ઃ N શมಈڑ KLใྔ I 1033 0.4557 0.8239 II 988 0.4502 0.7978 III 1028 0.4745 0.7999 IV 930 0.5730 1.633 idআ͘ ઃ N શมಈڑ KLใྔ I 986 0.4465 0.7434 II 951 0.4430 0.7389 III 1001 0.4701 0.7688 IV 750 0.5269 1.055 ͜ΕΒNͰͷཧµTV,N±SDµKL,N±SD Λ࣍ʹࣔ͢. શมಈڑͱKLใྔͷཧ N µTV,N ± SD µKL,N± SD 1033 0.3415± 0.008210 0.4037± 0.01771 988 0.3477± 0.008430 0.4223± 0.01821 1028 0.3422± 0.008231 0.4057± 0.01776 930 0.3548± 0.008826 0.4486± 0.01890 986 0.3480± 0.008441 0.4232± 0.01824 951 0.3523± 0.008667 0.4388± 0.01865 1001 0.3460± 0.008359 0.4168± 0.01807 750 0.3673± 0.01107 0.5516± 0.02126 ֤ઃ ͷ ͱฏ ۉͷཧ ͷൺ Λ·ͱ Ίͨ ͷ͕࣍ͷදͰ͋Δ. ∅Λআ͘ ઃ dTV/µTV,N dKL/µKL,N I 1.334 2.041 II 1.295 1.889 III 1.387 1.972 IV 1.615 3.640
͔ Β ͷNݸ ͷ ग़ ྗ ʯΛDNU(͜ Ε S6ͷ ཁ ૉ ͔ Β ͳ Δ ͞Nͷ ༗ ݶ ྻ)ͱ ͠ ͯ, શ ม ಈ ڑ dTV(DUN), KLใྔdKL(DNU)ͷΛΓ͍ͨͷ ͕ͩ,͜ͷαϯϓϦϯάͷͨͼʹ, ͢ͳΘ ͪʮS6্ͷҰ༷͔ΒͷNݸͷग़ྗʯΛಘΔ ͨͼʹҟͳΔ. ͦ͜Ͱ,ͦͷฏۉ µTV,N, µKL,N, ٴͼඪ४ภࠩSDTV,N, SDKL,N (ཧ)Λߟ͑ Δ. Ұ༷͔ΒͷશมಈڑdTV(DUN)ͷฏۉ µTV,N,Ұ༷ʹର͢ΔKLใྔdKL(DUN)ͷ ฏۉµKL,NͧΕͧΕ 6! N ∑ k=0 ( N k ) ( 1 6! )k( 6!− 1 6! )N−k 1 2 � � � � k N − 1 6! � � � � 6! N ∑ k=1 ( N k ) ( 1 6! )k( 6!− 1 6! )N−k k N log ( k/N 1/6! ) Ͱ༩͑ΒΕΔ. ඪ४ภࠩͷฏํͰ͋Δࢄ ͍ࣜʹͳΔͷͰ͜͜Ͱলུ͢Δ͕,ͦΕΒͷ ࣜͱͦͷূ໌ΛBʹه͢. ͜ΕΒͷ͔ࣜΒ ΛٻΊΔͱ, NΛԣ࣠, µTV,NΛॎ࣠ͱͨ͠ άϥϑ 200 400 600 800 1000 0.2 0.4 0.6 0.8 1.0 µTV,Nͷάϥϑ Ͱ͋Γ,·ͨ,ॎ࣠ΛµKL,Nͱͨ͠άϥϑ 200 400 600 800 1000 0.5 1.0 1.5 2.0 2.5 3.0 µKL,Nͷάϥϑ Ͱ͋Δ. ͱʹN͕খ͍͞ͱ͕େ͖͍ͱ͍͏ ͜ͱ͕Θ͔Δ. ͍͔ͭ͘ͷ۩ମతͳNͰͷཧ Λ࣍ͷදͰࣔ͢. දதͷSDରԠ͢Δඪ४ ภࠩΛҙຯ͢Δ. ฏۉͱඪ४ภࠩ N µTV,N± SD µKL,N± SD 740 0.3675±0.01125 0.5586± 0.02140 840 0.3631± 0.009736 0.4956± 0.02003 940 0.3536± 0.008748 0.4439± 0.01878 1040 0.3405± 0.008181 0.4009± 0.01763 ྫ͑∅Λআ͍ͨզʑͷσʔλͰ, Nͷ ༗ ޮ ճ Ͱ ͋ Δ. ͦ Ε Β ͷ ͢ ͯ ͷ έʔεͰ1040ΑΓখ͘͞,ྫ͑IVͰ∅Λআ ͍ͨ༗ޮճ930Ͱ͋Δ. ҎԼ,͜ΕΒͷճ ʹରԠ͢ΔNͰͷµTV,NµKL,Nͷཧ ͱͷൺֱΛߦ͏. 4.3.3 ֤ઃͰͷ ֤ઃ ͝ͱ ͷҰ ༷ ͔Β ͷશ มಈڑ ͱ Ұ༷ʹର͢ΔKLใྔΛه͢. දͷN, ্Ͱઆ໌ͨ͠σʔλͷݸͰ͋Δ. ∅Λআ͘ ઃ N શมಈڑ KLใྔ I 1033 0.4557 0.8239 II 988 0.4502 0.7978 III 1028 0.4745 0.7999 IV 930 0.5730 1.633 idআ͘ ઃ N શมಈڑ KLใྔ I 986 0.4465 0.7434 II 951 0.4430 0.7389 III 1001 0.4701 0.7688 IV 750 0.5269 1.055 ͜ΕΒNͰͷཧµTV,N±SDµKL,N±SD Λ࣍ʹࣔ͢. શมಈڑͱKLใྔͷཧ N µTV,N ± SD µKL,N± SD 1033 0.3415± 0.008210 0.4037± 0.01771 988 0.3477± 0.008430 0.4223± 0.01821 1028 0.3422± 0.008231 0.4057± 0.01776 930 0.3548± 0.008826 0.4486± 0.01890 986 0.3480± 0.008441 0.4232± 0.01824 951 0.3523± 0.008667 0.4388± 0.01865 1001 0.3460± 0.008359 0.4168± 0.01807 750 0.3673± 0.01107 0.5516± 0.02126 ֤ઃ ͷ ͱฏ ۉͷཧ ͷൺ Λ·ͱ Ίͨ ͷ͕࣍ͷදͰ͋Δ. ∅Λআ͘ ઃ dTV/µTV,N dKL/µKL,N I 1.334 2.041 II 1.295 1.889 III 1.387 1.972 IV 1.615 3.640 idআ͘ ઃ dTV/µTV,N dKL/µKL,N I 1.283 1.757 II 1.257 1.684 III 1.359 1.845 IV 1.435 1.913 શ ม ಈ ڑ , KL ใ ྔ ͱ ʹ ͦ ͷ ඪ ४ ภ ࠩͷখ͞͞Λߟྀ͢Ε,͜ͷ;ͨͭͷදͷൺ ͷཧ(ฏۉ)͔Βେ͖ͣ͘Ε͍ͯΔ͜ͱ Λ͍ࣔͯ͠Δ. ྫ͑ཧ(ฏۉ)͔Βͷִͨ Γ ͕ ඪ ४ ภ ࠩSDԿ ݸ ͔ ʹ ͭ ͍ ͯ , ൺ ͕ Ұ ൪খ͍͞IIͰ͑࣍͞ͷදͷΑ͏ʹେ͖ͳ20ʹ ͳΔ. ཧ(ฏۉ)͔ΒͷִͨΓ ઃII શมಈڑ KLใྔ ∅Λআ͘ 12.16SD 20.62SD idআ͘ 10.46SD 16.09SD ͜ ͷ Α ͏ ʹ, શ ม ಈ ڑ ٴ ͼKL ใ ྔ ͔ Β ͷ͔Βஅ͢Δͱ, I, II, III, IVͯ͢ʹͭ ͍ͯ, S6্ͷҰ༷͔Βͷग़ྗͱߟ͑Δʹ ແཧ͕͋Ζ͏. 4.3.4 ੵͰͷ
ઃaͱઃb (a, b =I, II, III, IV, a̸= b)ͷੵ
Λߟ͑Δ. σia, σibΛͦΕͧΕճऀ൪߸iͷઃ aͷճ,ઃbͷճͱ͠,༗ݶྻ Da,b= (σia◦ σib ; σai, σib ∈ S6)i=1,....1040 Λ ߟ ͑ Α ͏. ͜ ͷDa,b ແ ޮ ճ ∅Λ আ ͍ ͨ σʔλʹͳ͍ͬͯΔ. ҙͰ͋Δ͕,͜͜Ͱߟ͍͑ͯΔͷҟͳΔ ճऀͷҟͳΔઃʹ͓͚ΔஔͷੵͰͳ ͘,ಉ͡ճऀͷҟͳΔઃʹ͓͚Δஔͷੵ Ͱ ͋ Δ. ͢ ͳ Θ ͪDa,b ݸ ਓ ݸ ਓ ͕ ੜ ͠ ͨ ஔͷ༗ݶྻ(σʔλ)Ͱ͋Δ. ౷ܭ༻ޠΛ༻͍ Δ ͳ Β , ର Ԡ ͢ Δ σ ʔ λ Ͱ ੵ Λ ͱͬͨ, ͱ ͳ Ζ͏. ͜ ͷ σ ʔ λDa,bͰ ͷS 6্ ͷ Ұ ༷ ͔ Β ͷ શมಈڑdTV(Da,b)࣍ͷ௨ΓͰ͋Δ. ∅Λআ͘શมಈڑ b\a I II III IV I – 0.3830 0.3667 0.3769 II 0.3686 – 0.3785 0.3968 III 0.3594 0.3670 – 0.3908 IV 0.3923 0.4059 0.3807 – S6ඇՄ܈Ͱ͋ΔͷͰDa,bͱDb,aҰൠʹ ҟͳΔσʔλͰ͋Δ. ࣄ࣮, දͷର֯ઢର শʹͳ͍ͬͯͳ͍. ͦΕͧΕͷΛΈΔͱ,ઌ ͷ֤ ઃ ͝ͱ ͷ (0.4502∼ 0.5730)ΑΓ , ਵ ͱখ͘͞ͳ͍ͬͯΔ. ࠷খͷIͱIIIͷੵ DI,IIIͰͷ0.3594Ͱ͋Δ. ҎԼͷද, Nͷ(Da,bͷཁૉͷݸ,͢ͳ Θͪ༗ݶྻDa,bͷ͞)ͱ,ͦΕʹରԠ͢Δશม ಈڑͷཧͰ͋Δ. Nٴͼશมಈڑͷཧ (a, b) N µTV,N ± SD (I,II),(II,I) 982 0.3485± 0.008465 (I,III),(III,I) 1022 0.3431± 0.008257 (I,IV),(IV,I) 927 0.3551± 0.008850 (II,III),(III,II) 977 0.3491± 0.008495 (II,IV),(IV,II) 886 0.3593± 0.009222 (III,IV),(IV,III) 922 0.3556± 0.008892 ࣍ʹKLใྔΛߟ͑Δ. ҎԼͷදKLใ ྔdKL(Da,b)ͷͰ͋Δ. ∅Λআ͘KLใྔ b\a I II III IV I – 0.5801 0.4936 0.5586 II 0.5514 – 0.5298 0.5958 III 0.4832 0.5016 – 0.5641 IV 0.5867 0.6084 0.5447 – ͜ Ε DI,IIIͰ ͷ ͕ ࠷ খ Ͱ ͋ Δ. ର Ԡ ͢ Δ Nશมಈڑͷͷͱಉ͡Ͱ͋Δ. ҎԼͷද , Nͷ ͱ ͦ Ε ʹ ର Ԡ ͢ ΔKL ใ ྔ ͷ ཧ Ͱ͋Δ. NٴͼKLใྔͷཧ (a, b) N µKL,N± SD (I,II),(II,I) 982 0.4249± 0.01828 (I,III),(III,I) 1022 0.4081± 0.01783 (I,IV),(IV,I) 927 0.4501± 0.01893 (II,III),(III,II) 977 0.4271± 0.01834 (II,IV),(IV,II) 886 0.4706± 0.01944 (III,IV),(IV,III) 922 0.4525± 0.01900 ଓ͍ͯʮidআ͘ʯͷσʔλΛߟ͢Δ. ͜ ͜ͰidʮੵΛͱΔલʹʯআ͘. ͭ·Γ༗ݶྻ (σai ◦ σbi ; σia, σbi ∈ S6\ {id})i=1,...,1040 Λ σ ʔ λDa,bͱ ͠ ͯ ܭ ࢉ ͢ Δ. ͦ Ε ͧ Ε ͷ , ٴͼNͱͦͷཧ࣍ͷදͷ௨ΓͰ͋Δ. 20ද த ͷ ͷ ޙ ͷSDʮ ࣮ ࡍ ͷ ͔ Β ཧ (ฏ ۉ)Λ Ҿ ͍ ͨ ͷ Λ ඪ ४ ภ ࠩ Ͱ ׂͬͨ ʯΛ ҙ ຯ ͢ Δ. ྫ ͑ , 12.16 SDͱ , IIͷ Λ ༻ ͍ ͨ(0.4502− 0.3477)/0.008430͕12.16Ͱ ͋ Δ ͜ ͱ Λ ࣔ ͢.
idআ͘શมಈڑ b\a I II III IV I – 0.3756 0.3646 0.3636 II 0.3654 – 0.3725 0.3986 III 0.3542 0.3643 – 0.3775 IV 0.3746 0.4111 0.3681 – Nٴͼશมಈڑͷཧ (a, b) N µTV,N± SD (I,II),(II,I) 924 0.3554± 0.008875 (I,III),(III,I) 969 0.3501± 0.008545 (I,IV),(IV,I) 722 0.3676± 0.01158 (II,III),(III,II) 933 0.3544± 0.008802 (II,IV),(IV,II) 693 0.3817± 0.01153 (III,IV),(IV,III) 734 0.3676± 0.01136 idআ͘KLใྔ b\a I II III IV I – 0.5210 0.4649 0.5698 II 0.5000 – 0.4923 0.6424 III 0.4454 0.4694 – 0.5775 IV 0.5821 0.6465 0.5634 – NٴͼKLใྔͷཧ (a, b) N µKL,N± SD (I,II),(II,I) 924 0.4515± 0.01897 (I,III),(III,I) 969 0.4307± 0.01843 (I,IV),(IV,I) 722 0.5714± 0.02166 (II,III),(III,II) 933 0.4472± 0.01886 (II,IV),(IV,II) 693 0.5932± 0.02209 (III,IV),(IV,III) 734 0.5628± 0.02149 ͕ͬͱখ͍͞ͷͲΕIͱIIIͷੵͰ ͋ Δ. ࣍ ͷ ද , ͦ ͷ ཧ (ฏ ۉ)͔ Β ͷ ִ ͨ Γ͕ඪ४ภࠩSDԿݸ͔Λࣔͨ͠Ͱ͋Δ. ཧ(ฏۉ)͔ΒͷִͨΓ IͱIIIͷੵ શมಈڑ KLใྔ ∅Λআ͘ 1.974 SD 4.212 SD idআ͘ 0.4798 SD 0.7976 SD ʮ∅Λআ͘ʯͷσʔλͷKLใྔͷཧ ฏۉ͔ΒͷͣΕখ͍͞ͱݴ͑ͳ͍͕,ʮid আ ͘ ʯͷ σ ʔ λ Ͱ શ ม ಈ ڑ , KL ใ ྔ ڞʹඪ४ภࠩ1ͭͣΕ͓ͯΒͣ,ޡࠩͷൣ ғͱΈͳͤΔͰ͋Ζ͏. ҰൠͰ͋Δ͕,ྫ͑ۮஔͷ͔Βͷ ஔͱحஔͷ͔Βͷஔͷੵحஔ ʹͳΔ͜ͱ͔ΒΘ͔ΔΑ͏ʹ,ઃaͷճͱ ઃbͷճͷੵΛͱͬͨͷͷ͕Ұ༷ ʹ͍ۙ,ͱ͍͏ݱ͕ى͖ΔͨΊʹԿ͔͠ Βͷ͕݅ඞཁͰ͋Δ. ྫ͑, S6্ͷҰ༷ Uͱ, S6্ͷԿ͔͠ΒͷDͱͷΈࠐΈ Ұ༷ͱͳΔͷͰ͋Δ͕, ͔͠͠, ֤ઃ ಠཱͰҰ༷Ͱͳ͍ͷͰ͋ͬͨ. ͜Ε ʹؔ͢Δߟࠓޙͷ՝ͱͳΖ͏. Ҏ্2ͭͷઃͷճͷੵͷߟͰ͋Δ͕, ͦΕҎ֎ͷͷΛߟ͑Δ͜ͱͰ͖Δ. ྫ ͑, 2ͭͷҰํΛٯஔʹͨ͠ͱ͖ͷੵ,͋ Δ͍3ͭͷઃͷճͷੵ͕ߟ͑ΒΕΑ͏. ͜ΕΒʹؔͯ͠ผͷػձʹৡΔ͕,ڵຯਂ͍ ྫ͕͋ΔͷͰͻͱͭհ͍ͨ͠. ʮ∅Λআ͘ʯ σʔλͰ,ઃaͷճͱઃbͷճͷؒʹஔ τ ∈ S6ΛڬΜͩ༗ݶྻ (σai ◦ τ ◦ σib ; σia, σib∈ S6)i=1,...,1040
ΛDa,bτ Ͱ ද ͦ ͏. ͜ ͷ ͱ ͖, (a, b) = (I,III),
τ = (532641)ͰͷS6্ͷҰ༷͔Βͷશมಈ ڑdTV(D(532641)I,III )0.3307(ཧฏۉͱͷִ ͨΓ−1.502 SD) Ͱ͋Δ. ͭ·Γ,ؒʹదͳ ஔΛڬΜͩੵΛߟ͑Δͱ, S6্ͷҰ༷ͷ ग़ྗΑΓ,͞ΒʹҰ༷ʹ͍ۙΑ͏ʹΈ͑Δ. 4.3.5 ੵͰͷۮஔͱحஔ, సଞ ∅Λআ͍ͨσʔλ, ٴͼidআ͍ͨσʔλͰ ͷIͷճͱIIIͷճͷੵͰ,શมಈڑ, KL ใྔͱ͍͏ࠩ͠ͰҰ༷ͷग़ྗʹ͍ۙ ͜ͱલઅͰड़ͨ௨ΓͰ͋Δ͕,͞Βʹͦͷ લͷࢹͰΈͯΈΔ. ઌͣۮஔͱحஔ ͷݸͷදΛࣔ͢. IͱIIIͷੵͰͷۮஔͱحஔ ∅Λআ͘ idআ͘ ۮஔ 527 491 حஔ 495 478 ۮஔͱحஔͷݸ͕͍ۙʹͳ͍ͬͯΔ. ࣍ʹ,స, k൪ͷ(ॱʹ1൪͔Β6൪ ),࠷ॳͷͱ2൪ͷͷͷώετάϥϜ ٴͼͦΕΛখ͍͞ॱʹฒସ͑ͨͷΛ͜ͷ ॱͰʮ∅Λআ͘ʯΛ,࣍ʹಉ͡ॱͰʮidআ͘ʯ Λ͓ࣔͯ͘͠. ॱʹʮ∅Λআ͘ʯ͕Dͷਤ 4-65͔ Β ਤ4-73, ʮid আ ͘ ʯ͕ ਤ4-74͔ Β ਤ 4-82Ͱ͋Δ. ͜ΕΒͷਤ͔Β, IͷճͱIIIͷ ճͷੵҰ༷ͷग़ྗʹ͍ۙͱ͍͏ͷ͕ ૾Ͱ͖Δ.