ファイル置き場 Sendai Logic Homepage UGent2012 1

❆ ◆♦t❡ ♦♥ ❙❡♠✐♥❛r ▲♦❣✐❝ ❛♥❞ ❆♥❛❧②s✐s

❆ ◆♦♥st❛♥❞❛r❞ ❍✐❡r❛r❝❤② ❈♦♠♣❛r✐s♦♥

❚❤❡♦r❡♠ ❢♦r t❤❡ ❙❧♦✇ ❛♥❞ ❋❛st ●r♦✇✐♥❣

❍✐❡r❛r❝❤② ^❸

✭❙♣❡❛❦❡r✿ ❆♥❞r❡❛s ❲❡✐❡r♠❛♥♥✳ ❋r✐❞❛② ✻ ❆♣r✐❧✱ ✷✵✶✷✮

◆❛♦❤✐ ❊❣✉❝❤✐

▼❛t❤❡♠❛t✐❝❛❧ ■♥st✐t✉t❡❚♦❤♦❦✉ ❯♥✐✈❡rs✐t②✱ ❏❛♣❛♥

❡❣✉❝❤✐❅♠❛t❤✳t♦❤♦❦✉✳❛❝✳❥♣

❆♣r✐❧ ✶✵✱ ✷✵✶✷

❉❡✜♥✐t✐♦♥ ✶ ✭❚r❡❡ ♦r❞✐♥❛❧s✮✳ ▲❡t m ❃ N✳

✶✳ ❛✮ 0 ❃ ❖m✳

❜✮ ■❢ α ❃ ❖m✱ t❤❡♥ α ✔ 1 ❃ ❖m✳

❝✮ ■❢ n ❅ m ❛♥❞ αξ❃ ❖m ❢♦r ❛❧❧ ξ ❃ ❖n✱ t❤❡♥ ❼αξ➁ξ_❃❖n ❃ ❖m✳

✷✳ Ωm ❼ξ➁ξ_❃❖^m✳

✸✳ ❚ ✣^m❖m✳

✹✳ ❛✮ ❙0❙ 0✳

❜✮ ❙α ✔ 1❙ ❙α❙ ✔ 1✳

❝✮ ❙❼αξ➁ξ_❃❖m_{❙ supξ❃❖}m❼❙αξ❙ ✔ 1➁✳

Pr♦♣♦s✐t✐♦♥ ✷✳ ❉❡✜♥❡ 2n❼α➁ ❜② 2^{0 α} ❛♥❞ 2n_✔1❼α➁ 2^2n❼α➁✳ ❚❤❡♥ ❙❼2n❼Ω⁰✔ 1➁➁n_❃N❙ ε⁰✳

❉❡✜♥✐t✐♦♥ ✸ ✭❈♦❧❧❛♣s✐♥❣ ♦♣❡r❛t♦rs ❉m✂ ❚ ❖m_✔1✮✳ ▲❡t m ❃ N✳

✶✳ ❉m^{0 Ω}m✳

✷✳ ❉m❼α ✔ 1➁ ❉m^α✔ 1✳

❻❙❡♠✐♥❛r ▲♦❣✐❝ ❛♥❞ ❆♥❛❧②s✐s ✲ ●❤❡♥t ❯♥✐✈❡rs✐t②✿ ❤tt♣✿✴✴❝❛❣❡✳✉❣❡♥t✳❜❡✴③✇❝✴❧♦❣❛♥s❡♠✐♥❛r✳❡♥✳❤t♠❧

❸❚❤❡ t✐t❧❡ ♦❢ t❤✐s t❛❧❦ ✇❛s ❣✐✈❡♥ ❜② ◆✳ ❊❣✉❝❤✐✳

✶

✸✳ ❉m❼❼αξ➁ξ_❃Ωn➁ ➐ ^❼❉_❉ ^{mαξ➁ξ❃Ωn ✐❢ n ❇ m,}

m❼α_❉ⁿ_✏1α_Ωn✏1➁ ✐❢ n ❆ m. Pr♦♣♦s✐t✐♦♥ ✹ ✭❬✷❪✮✳ ❙❉⁰❼Ωl➁l_❃Ω0❙ ω²✳

❘❡♠❛r❦ ✺✳ ❉❡✜♥❡ ❛♥♦t❤❡r ♦♣❡r❛t♦r ❉m^➐ ✂ ❚ ❖m_✔1 ❜② r❡♣❧❛❝✐♥❣ ❉❡✜♥✐t✐♦♥ ✸✳✷ ❜② ❉^➐m❼α ✔ 1_{➁ ❉}^➐_mα_{✔ ❉m}^➐ α✳ ❚❤❡♥ t❤❡ ❢♦❧❧♦✇✐♥❣ ❤♦❧❞✱ ❝❢✳ ❬✶❪✳

✶✳ ❙ID_❅ω❙ ❙❼Π¹1✏ CA➁⁰❙ ❉^➐0❼Ωl➁l_❃Ω0✳

✷✳ ❙IDω❙ ❙❼Π¹1✏ CA➁ ✔ BI❙ ❉^➐0❼2m❼❼Ωl➁l_❃Ω0➁➁m_❃N✳

❉❡✜♥✐t✐♦♥ ✻ ✭❙❧♦✇ ❛♥❞ ❢❛st ❣r♦✇✐♥❣ ❤✐❡r❛r❝❤②✮✳ G0_{❼m➁ 0✳} F0_{❼m➁ 0✳}

G_{α✔1❼m➁ Gα❼m➁ ✔ 1✳ Fα✔1❼m➁ Fα❼m➁ ✔ 1✳} G_{❼αl➁l❃Ω0❼n➁ G}αn_{❼n➁✳ F❼αl➁l❃Ω0❼n➁ F}α_Fαn❼n➁❼n➁✳

❚❤❡♦r❡♠ ✼ ✭◆♦♥st❛♥❞❛r❞ ❍✐❡r❛r❝❤② ❈♦♠♣❛r✐s♦♥ ❚❤❡♦r❡♠ ❬✷❪✮✳ F_❉0_✆❉nΩn_{✔1❼n➁ G❉}0_✆❉n_✔1Ωn_✔2❼n➁.

❘❡♠❛r❦ ✽ ✭❈❧❛ss✐❝❛❧ ❍✐❡r❛r❝❤② ❈♦♠♣❛r✐s♦♥ ❚❤❡♦r❡♠✮✳ F_❉➐

0✆❉^n➐Ωn✔1^{❼n➁ G}❉0^➐✆❉n^➐_✔1^Ωn✔2^❼n➁.

❉❡✜♥✐t✐♦♥ ✾✳ ✶✳ q❼0, k➁ k✳

✷✳ q❼m ✔ 1, k➁ 2^{q❼m,k➁✔1}✏ 1✳

▲❡♠♠❛ ✶✵✳ ✶✳ q❼m, 1➁ q❼m ✔ 1, 0➁✳

✷✳ q❼m, 2^k✔1✏ 1➁ ✔ 1 2^{q❼m,k➁✔1}✳ Pr♦♦❢✳ ❇② ✐♥❞✉❝t✐♦♥ ♦♥ m✳

▲❡♠♠❛ ✶✶✳ ✶✳ ■❢ β ❃ ❖n_✔1✱ t❤❡♥ ❉n❼α ✔ β➁ ❉n^α✔ β✳

✷✳ ❉n❼Ωn✔ 1 k➁ Ωn ❼2^k✔1✏ 1➁✳

✸✳ F^Ω0k❼x➁ x ❼2^k✔1✏ 1➁✳

✹✳ G^Ω0k❼x➁ x k✳

Pr♦♦❢✳ ✶✳ ❇② ✐♥❞✉❝t✐♦♥ ♦♥ ❙β❙✳ ✷✱ ✸ ❛♥❞ ✹✳ ❇② ✐♥❞✉❝t✐♦♥ ♦♥ k✳

▲❡♠♠❛ ✶✷✳ ❉⁰❉¹✆❉n❼Ωn_✔1 ^k➁ Ω^{0 q}❼n ✔ 1, k➁✳ Pr♦♦❢✳ ❇② ♠❛✐♥ ✐♥❞✉❝t✐♦♥ ♦♥ n ❛♥❞ s✐❞❡ ✐♥❞✉❝t✐♦♥ ♦♥ k✳ Pr♦♦❢ ♦❢ ❚❤❡♦r❡♠ ✼✳

G_❉0✆❉n_❼Ωn_✔1k_➁❼x➁ ^GΩ0q_{❼n✔1,k➁}❼x➁ ❜② ▲❡♠♠❛ ✶✷✱ x q_{❼n ✔ 1, k➁} ❜② ▲❡♠♠❛ ✶✶✳✹✳ F_{❉0✆❉n✏1❼Ω}n_k➁❼x➁ ^FΩ_0q❼n,k➁❼x➁ ❛❣❛✐♥ ❜② ▲❡♠♠❛ ✶✷✱

x 2^{q❼n,k➁✔1} ❜② ▲❡♠♠❛ ✶✶✳✸✱ x q_{❼n ✔ 1, k➁} ❜② ▲❡♠♠❛ ✶✵✳✷✳

✷

❘❡❢❡r❡♥❝❡s

❬✶❪ ❲✐❧❢r✐❡❞ ❇✉❝❤❤♦❧③✳ ❆♥ ■♥❞❡♣❡♥❞❡♥❝❡ ❘❡s✉❧t ❢♦r ❼Π¹1✏ CA➁ ✔ BI✳ ❆♥♥❛❧s ♦❢ P✉r❡ ❛♥❞

❆♣♣❧✐❡❞ ▲♦❣✐❝✱ ✸✸✿✶✸✶✕✶✺✺✱ ✶✾✽✼✳

❬✷❪ ❲✐❧❢r✐❡❞ ❇✉❝❤❤♦❧③ ❛♥❞ ❆♥❞r❡❛s ❲❡✐❡r♠❛♥♥✳ ❆ ◆♦♥st❛♥❞❛r❞ ❍✐❡r❛r❝❤② ❈♦♠♣❛r✐s♦♥ ❚❤❡✲

♦r❡♠ ❢♦r t❤❡ ❙❧♦✇ ❛♥❞ ❋❛st ●r♦✇✐♥❣ ❍✐❡r❛r❝❤②✳ ✐♥ ♣r❡♣❛r❛t✐♦♥✳

✸