、ウ、ホ・レ。シ・ク、、マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、爨マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ 、ウ、ホ・レ。シ・ク、livedoor ・ッ・・テ・ラ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、瀝ivedoor ・ッ・・テ・ラ

フワシ。

ハクヒ。

。。ハクヒ。、ネ、マ(N,ヲイ,P,S)、ホ4、ト、ホチネ、ヌトオチ、オ、、ニ、ェ、遙「チエ、ニ、ホハクサホ、ホスクケ躓*、ホノハャスクケ蹲。ハ「セT*。ヒ、ネナイチ、ヌ、「、。」

。ヲヲイ、マスェテシオュケ譯ハTerminal symbol。ヒ、ホスクケ遉ヌ、「、。」、ウ、、マテアク、ネニアー、ネケヘ、ィ、ニ、隍、。」

。ヲN、マネスェテシオュケ譯ハNon-terminal symbol。ヒ、ホスクケ遉ヌ、「、。」ネスェテシオュケ讀ネ、マスェテシオュケ讀ヌ、ハ、、ナャタレ、ハオュケ讀ホ、ウ、ネ、ヌ、「、。」、ウ、、マフセサ。「キチヘニサカ陦「ノサタ皃ハ、ノハクヒ。ナェ、ハ・ォ・ニ・エ・遙シ、ネケヘ、ィ、ニ、隍、。」

。ヲP、マタクタョオャツァ。ハProduction rule。ヒ、ホスクケ遉ヌ、「、。」ハクヒ。オャツァ、ネ、篋ニ、ミ、、。」

。ヲS、マウォサマオュケ讀ヌ、「、。」セ、ヒS「コN、ネ、ハ、。」

・ェ。シ・ネ・゙・ネ・ヘマタ

。。・ェ。シ・ネ・゙・ネ・ヘマタ、ネ、マ。「キラササオ。、ホソウリナェ、ハ・筵ヌ・、ヌ、「、・ェ。シ・ネ・゙・ネ・。ハautomaton。「ハ」ソキチ、マautomata。ハ・ェ。シ・ネ・゙・ソ。ヒ。ヒ、ヒエリ、ケ、ヘマタ、テオオ皃ケ、ウリフ萸ホー隍ヌ、「、。」。。

。。、ス、ホ・ェ。シ・ネ・゙・ネ・、ネ、マ。「キラササオ。、ヒ、隍フ萃イキ霈ス遑ハ・「・・エ・・コ・。ヒ、。「ソウリナェ、ハサナタ、ォ、鬣筵ヌ・・・ー、キ、ニトシーイス、キ、ソ、筅ホ、ヌ、「、。」

フ萃

。。フ萃熙ヒ、マ、筅チ、、ナ、ィ、ャ、「、。」、ス、ホナ、ィ、ホシホ爨ヒ、隍テ、ニ。「フ萃熙ホ・ソ・、・ラ、ャハャホ爨ヌ、ュ、。」、ス、ホツ衙スホ网ャシ。、ホ2、ト、ヌ、「、。」

  • ネストフ萃
    • ナ、ィ、ャYES/NO、キ、ォ、ハ、、。」
      • 。ヨYES。ラ、。ヨ1。ラ,。ヨNO。ラ、。ヨ0。ラ、ヒツミアノユ、ア、、ネ。「ネストフ萃熙ホナ、ィ、マ。ヨ0 or 1。ラ、ヒ、ハ、。」
  • テオコフ萃
    • ナ、ィ、ヒYES/NOーハウー、オ、オ、、ニ、、、。」
      • 。ヨイソ、篆ミホマ、キ、ハ、、、ウ、ネ。ラ、。ヨ「ン。ラ、ヒツミアノユ、ア、、ネ。「テオコフ萃熙ホナ、ィ、マ。ヨナ、ィ、ス、ホ、筅ホ or 「ン。ラ、ヒ、ハ、。」

ホ1。ァ。ヨ15、マチヌソ、ォ、ノ、ヲ、ォ。ゥ。ラ、ネ、、、ヲフ萃熙マネストフ萃熙ヌ、「、。」YES、ォNO、キ、ォシ隍熙ィ、ハ、、、ォ、鬢タ。ハナ、ィ、マNO、ヌ、「、。ヒ。」

ホ2。ァ。ヨ100、ャ・サ・テ・ネ、オ、、ソヌロホ、ホヘラチヌ、マ。ゥ。ラ、ネ、、、ヲフ萃熙ホセケ遑「・サ・テ・ネ、オ、、ソヌロホ、ャ、「、、ミ、ス、ホヌロホ、ホヘラチヌ、ャスミホマ、オ、。「・サ・テ・ネ、オ、、ソヌロホ、ャツクコ゚、キ、ハ、ア、、ミイソ、篆ミホマ、オ、、ハ、、。」、ウ、ヲ、キ、ソフ萃熙マ。「YES/NOーハウー、ホナ、ィ、ャ、「、、ホ、ヌ。「テオコフ萃熙ネ、、、ヲ、ウ、ネ、ヒ、ハ、*1。」

[ハ荵ヨ]ク蠖メ、ケ、・ッ・鬣ケP、膀P、マ。「ネストフ萃熙ホ・ッ・鬣ケ、ヌ、「、。」

キ霪ノヤイトヌス

。。ツソケ狆ーサエヨニ筅ヌイ、ア、フ萃熙マ。「シ熙エ、、ハ・オ・、・コ、ホニホマ、ヒ、ト、、、ニイ、ッ、ウ、ネ、ャトフセイトヌス、ヌ、「、、ソ、癸「ーキ、、、荀ケ、、。ハtractable。ヒ、ネクニ、ヨ。」ツソケ狆ーナェサエヨ、ヌチネソ・ナェ、ヒイ、ニタ、鬢、ハ、、フ萃熙マ。「ーキ、、、ヒ、ッ、、。ハintractable。ヒ、「、、、、マテア、ヒクヌ、、、ネクニ、ヨ。」、ハ、シ、ハ、鬢ミ。「ニホマ、ホ・オ・、・コ、ャチ、ケ、ヒ、ト、、ニ。「コヌケ篦ョ、ホ・ウ・・ヤ・蝪シ・ソ、サ、テ、ニ、キ、ニ、箚、ニタ、、ウ、ネ、ャヒセ、゙、、ハ、ッ、ハ、、ォ、鬢ヌ、「、。」

[トヘ]。ハTuring。ヒ
、「、シ、ホフ萃熙マカヒ、皃ニクヌ、ッ。「、ス、、イ、ッ、ソ、皃ホ・「・・エ・・コ・爨ス、ッ、ウ、ネ、ャノヤイトヌス、ヌ、「、。」
、ウ、、キ霪ノヤイトヌスタュ。ハundecidable。ヒ、ネ、、、ヲ。」

[トヘ]。ハTuring。ヒ
ニテ、ヒタヘムTM。ハ、゙、ソ、マ・ラ・・ー・鬣爍ヒ、ャト莉゚、ケ、、ォ、ノ、ヲ、ォ、キ霪熙ケ、フ萃熙マ。「キ霪ノヤイトヌス、ヌ、「、。」

[トヘ]
、筅キイ、ャイトヌス、ヌ、「、、ネ、ケ、、ミ。「ト莉゚フ萃熙簇アヘヘ、ヒイ、ア、、ウ、ネ、セレフタ、ケ、、ウ、ネ、ヒ、隍テ、ニ。「ツソ、ッ、ホフ萃熙ャキ霪ノヤイトヌス、ヌ、「、。」

クナナオナェキラササホフ・ッ・鬣ケ

クナナオナェキラササホフ・ッ・鬣ケトセエムナェーユフ」カツホホ
P。ハ、゙、ソ、マPTIME。ヒツソケ狆ーサエヨ。ァ・「・・エ・・コ・爨ホシツケヤサエヨ、マ。「コヌーュ、ホセケ遑「ニホマ・オ・、・コ、ホツソケ狆ー、ネ、ハ、。」P、ヒツー、ケ、、ケ、ル、ニ、ホネストフ萃熙マシ熙ヒノ鬢ィ、。」セ霆サ
NPネキ霪タュツソケ狆ーサエヨ。ァネストフ萃熙ホナ、ィ、ホクハ荀ホタオ、キ、オ、ャツソケ狆ーサエヨニ筅ヒク。ココ、ヌ、ュ、。」ケ鄲ョソ、ホーソハャイ
NPエーチエチク゚、ヒツソケ狆ーサエヨ、ヌシフチ、ヌ、ュ、、隍ヲ、ハ。「NP、ヒツー、ケ、フ萃熙ホスクケ遑」、筅キ。「、ウ、ホ・ッ・鬣ケ、ヒツー、ケ、フ萃熙ャ、メ、ネ、ト、ヌ、箴熙ヒノ鬢ィ、、ウ、ネ、ャシィ、オ、、、ミ。「、ウ、、鬢ホフ萃熙マ、ケ、ル、ニシ熙ヒ、ェ、ィ、、ウ、ネ、ヒ、ハ、。」。ヲ・ケ・ア・ク・蝪シ・・・ー
。ヲスシツュイトヌスタュネスト
。ヲス茣・サ。シ・・ケ・゙・フ萃
ZPPハソカムツソケ狆ーサエヨニ筅ヒ。「PTM、ヒ、隍テ、ニウホホィ1、ヌイ、ア、。」
BPPウホホィ2/3、隍ツ遉ュ、ッ。「PTM、ヒ、隍ツソケ狆ーサエヨニ筅ヒイ、ア、。」タョクウホホィ、マ。「・「・・エ・・コ・爨イソイ、ォキォ、ハヨ、ケ、ウ、ネ、ヒ、隍遙「、、、ッ、鬢ヌ、1、ヒカ皃ナ、ア、、ウ、ネ、ャ、ヌ、ュ、。」BPP、ヒツー、ケ、フ萃熙マシ熙ヒノ鬢ィ、。」

キチシークタク、ホ・ッ・鬣ケ

。。キチシークタク、ホツ衙スナェ、ハ・ッ・鬣ケ、マシ。、ホ4、ト、ヌ、「、。」

ヌスホマハクヒ。。ハ・ッ・鬣ケフセ。ヒP。ハシヘヌスホマ、ャニア、ク。ヒ・ェ。シ・ネ・゙・ネ・
カ郢スツ、クタク。ハ0キソ。ヒ\alpha,\beta,\gamma~\in~\bigl(N~\cup~T\bigr)^\ast~,~A~\in~N~;~\alpha~A~\beta~\to~\gamma・チ・蝪シ・・・ー・゙・キ・。ハTuring Machine。ァTM。ヒ
ハクフョーヘツククタク。ハ1キソ。ヒ\alpha,\beta,\gamma~\in~\bigl(N~\cup~T~\bigr)^\ast~,~A~\in~N~;[~\alpha~A~\beta~\to~\gamma]~\wedge~[\mid~\alpha~A~\beta~\mid~\le~\mid~\gamma~\mid]タキチヘュクツ・ェ。シ・ネ・゙・ネ・。ハLBA。ヒ
ハクフョシォヘウクタク。ハ2キソ。ヒ\alpha~\in~\bigl(N~\cup~T~\bigr)^\ast~,~A~\in~N~;~A~\to~\alpha・ラ・テ・キ・螂タ・ヲ・・ェ。シ・ネ・゙・ネ・。ハPDA。ヒ
タオオャクタク。ハ3キソ。ヒ\alpha~\in~\bigl(T~\cup~NT~\bigr)~,~A~\in~N~;~A~\to~\alphaヘュクツセツヨ・ェ。シ・ネ・゙・ネ・。ハFSA。ヒ

サネヘム、オ、、キチシークタク、マ。ゥ

。。・チ・蝪シ・・・ー・゙・キ・、ホト莉゚フ萃熙ャ、「、、ォ、鬘「0キソハクヒ。、マイタマ、ャノヤイトヌス、ハセケ遉ャ、「、。」、隍テ、ニ。「シツコン、ホクタク・筵ヌ・、ネ、キ、ニ、マ、ロ、ネ、、ノサネ、、、ハ、、。」、ソ、タ、キ。「・ウ・・ヤ・蝪シ・ソ、ホ・筵ヌ・、ネ、キ、ニ、マサネ、、、。」

。。ーハ。「1キソハクヒ。。ハハクフョーヘツクハクヒ。。ヒ、マイタマイトヌス、ヌ、「、、ウ、ネ、ャセレフタ、オ、、ニ、、、、ャ。「イタマ、ケ、、ソ、皃ホ・ケ・ニ・テ・ラソ。ハキラササホフ。ヒ、ャニホマ、ホトケ、オ、ヒツミ、キ、ニ。「サリソ・ェ。シ・タ。シ、ヒ、ハ、テ、ニ、キ、゙、ヲ。」、隍テ、ニ。「シツコン、ホクタク・筵ヌ・、ネ、キ、ニ、マ、ロ、ネ、、ノサネ、、、ハ、、。」

。。、ト、゙、遙「シツコン、ヒヘム、、、鬢、クタク・筵ヌ・、マハクフョシォヘウハクヒ。、ネタオオャハクヒ。、タ、ア、ヒ、ハ、。」

  • ハクフョシォヘウハクヒ。「ヘイタマ、ホキラササホフO(n3)
  • タオオャハクヒ。「ヘイタマ、ホキラササホフO(n)

カ郢スツ、ハクヒ。。ハ0キソクタク。ヒ

。。カ郢スツ、ハクヒ。G。ハgrammer。ヒ、マ。「シ。、ホ、隍ヲ、ハ」エ、ト、ホケ爨ホチネ、゚ケ遉、サ、ネ、キ、ニトオチ、ヌ、ュ、。」

G=(N,T,P,S)

N。ァネスェテシオュケ讀ホスクケ遑ヲ。ヲ。ヲタクタョ、オ、、ハク、ホ、ウ、ネ。」

T。ァスェテシオュケ讀ホスクケ遑ヲ。ヲ。ヲハク、ケスタョ、ケ、クト。ケ、ホオュケ譯ヲハクサ、ホ、ウ、ネ。」

P。ァス、ュエケ、ィオャツァ、ホチネ。ヲ。ヲ。ヲタゥフ、ハ、キ。」カ郢スハクケスツ、ハクヒ。、ヌ、「、、ソ、癸」

S:ウォサマオュケ譯ヲ。ヲ。ヲコヌス鬢ホネスェテシオュケ讀ホ、ウ、ネ。」

ホ罍ァ・「・・ユ・。・ル・テ・ネツ醋クサ、ネソサ、ネ、ヌノス、ケハムソフセ、ホ、ト、アハ、ホオャツァ、マシ。、ホ、隍ヲ、ヒ、ハ、。」

N={<フセチー>,<ハクサ>,<ソサ>}「タT

T={A,B,磁磁磁,Z,0,1,磁磁磁,9}

P={<フセチー>「ェ<フセチー><ハクサ>,

フセチー>「ェ<ハクサ>,

フセチー>「ェ<ソサ>,

ハクサ>「ェA,<ハクサ>「ェB,磁磁磁,<ハクサ>「ェZ,

ソサ>「ェ0,<ソサ>「ェ1,磁磁磁,<ソサ>「ェ9}

S=<フセチー>

ハクフョーヘツクハクヒ。。ハ1キソクタク。ヒ

。。ハクフョーヘツクハクヒ。、マ。「ス、ュエケ、ィオャツァ、ヒ、ェ、ア、タゥフ、AbC「ェABC、ネ、ケ、。」

。。、ウ、ウ、ヌ。「A、ネB、ネC、マスェテシオュケ讀ネネスェテシオュケ讀ホマツスクケ遉ホヘラチヌ、ヌ、「、遙「b、マネスェテシオュケ讀ホスクケ遉ホヘラチヌ、ヌ、「、。」

[ケヘサ。]ハクフョーヘツクハクヒ。、ヒ、ロ、ワカ皃、オャツァ、ヒエ、ックタク、ヒ。「シォチウクタク、ャ、「、イ、鬢、。」

ハクフョシォヘウハクヒ。

。。ハクフョシォヘウハクヒ。、マ。「ス、ュエケ、ィオャツァ、ヒ、ェ、ア、タゥフ、a「ェA、ネ、ケ、。」

。。、ウ、ウ、ヌ。「a、ネA、マスェテシオュケ讀ネネスェテシオュケ讀ホマツスクケ遉ホヘラチヌ、ヌ、「、。」

。。ハクフョーヘツクハクア、ホ、隍ヲ、ヒチーク螟ホハクフョ。ハチースメ、ホAbC「ェABC、ヒ、ェ、ア、ハクフョA、ネC。ヒ、ヒーヘツク、キ、ハ、、、ウ、ネ、ォ、鬘「、ウ、ホ、隍ヲ、ヒクニ、ミ、、ニ、、、。」

。。BNF。ハBackus-Naur Form。ヒオュヒ。、マ。「ハクフョシォヘウハクヒ。、ホノスオュヒ。、ホ、メ、ネ、ト、ヌ、「、。」1963ヌッ。「・ミ・テ・ォ・ケ。ハJ.Backus。ヒ、ャALGOL60、ネ、、、ヲ・ラ・・ー・鬣゚・・ークタク、トーニ、キ。「、ス、ホクタク、ヌサネ、、、ニ、、、ソオュヒ。、ヌ、「、。」、ス、ホ、ソ、癸「・ミ・テ・ォ・ケオュヒ。。ハBackus normal form。ヒ、゙、ソ、マ・ミ・テ・ォ・ケ。ヲ・ハ・ヲ・「オュヒ。。ハBackus Naur form。ヒ、ネ、篋ニ、ミ、、。」

BNFオュヒ。、ホキ隍゙、熙エ、ネ

。。BNFオュヒ。、ヌ、マ。「ハクサホ、ハ、ノ、ホトケ、オ、キ隍皃鬢、ハ、、ヘラチヌ、。「シ。、ヒシィ、ケ・皈ソオュケ譯ハmetasymbol。ヒ、ネクニ、ミ、、オュケ讀ヌスエケ、ィオャツァ、ノスクス、ケ、、ウ、ネ、ヌ。「エハキ鬢ヒオュスメ、ヌ、ュ、。」

。罍。。ウオヌー。。、ノス、ケ
::=コクハユ、ホオュケ讀ャ。「アヲハユ、ホオュケ讀ヌトオチ、オ、、、ウ、ネ、ノス、ケ
。テ。ヨ、゙、ソ、マ。ラ、ノス、ケ

ホ1。ァ。羈ムソサ。::=。羈ムサ。艚。譱サ。

ホ2。ァ。羈ムサ。::=a|b|c|。ト|x|y|z

ホ3。ァ。譱サ。::=0|1|2|。ト|8|9

エリマ「、ケ、トヘ

[トヘ]
・チ・逾爭ケ・ュ。シ、ホトーニ、キ、ソハクフョシォヘウハクヒ。、ネニア、クオュスメ、ヌ、ュ、。」

・ッ・鬣ケP。「RP。「coRP、ヒ、ト、、、ニ

{0,1}*。痣、ケ、ル、ニ、ホ・ミ・、・ハ・ハクサホ}

トケ、オ、ヒセ蟶ツ、マ、ハ、、。」ヘュクツトケ。」

{0,1}*「ソ「マL、クタク。ハlanguage。ヒ、ネクニ、ヨ。」

M。ァ・「・・エ・・コ・爍ハニホマ。ァbinary string。「スミホマ。ァaccept or reject。ヒ、ネ、ケ、。」

ウネト・BNFオュヒ。

。。a、ホ0イーハセ螟ホキォ、ハヨ、キ、{a}。「、「、テ、ニ、筅ハ、ッ、ニ、筅隍、・ェ・ラ・キ・逾、[b]、ホオュケ讀ヌノス、ケウネト・BNFオュヒ。、簣ム、、、鬢、。」

ケスハクゾシー

。。BNFオュヒ。、ヒツミア、ケ、サウミナェノスクス、ャ。「ケスハクゾシー、ヌ、「、。」

。。ケスハクゾシー、ヌ、マ。「ウオヌー、サヘウム。「ハクサオュケ讀エン。「、ト、ハ、ャ、熙ホオャツァ、フー、ヌノス、ケ。」

。。ケスハクゾシー、マ。「フー、ホホョ、、、ソ、ノ、テ、ニ。「ナモテ讀ヌトフイ皃ケ、ウオヌー、萍クサオュケ讀ニノ、、ヌ、、、ア、ミ、隍、。」

・ッ・鬣ケP

[トオチ]・ッ・鬣ケP。ハPolynomial time。ヒ
P~\overset{def}~{=}~\left\{A:\text{language}~~\middle|~\exists~M~:\text{(deterministic)~polynomial~time}\\x~\in~A~\Rightarrow~M(x)~=~accept~\right\}

。。、ト、゙、遙「ニホマ、ホ・オ・、・コn、ヒツミ、キ、ニ、「、トソk、ャツクコ゚、キ、ニO (nk)・ケ・ニ・テ・ラーハイシ、ヌイ、ッ・「・・エ・・コ・爨ャツクコ゚、ケ、ネストフ萃熙ホ・ッ・鬣ケ、ツソケ狆ーサエヨ、ネ、、、、。「P、ヌノス、ケ。」

[ハ荵ヨ](deterministic) polynomial time。癸ハキ霪ナェ。ヒツソケ狆ーサエヨ
キ霪ナェ、ネ、、、ヲ、ウ、ネ、マニ篷、ヌ・オ・、・ウ・、ソカ、鬢ハ、、。」

。。、ウ、、ヌ・ッ・鬣ケP、トオチ、キ、ソ。」

。。A「コP、ホ、ネ、ュ。「シ。、ホ、隍ヲ、ヒ、ハ、。」

ニホマxスミホマM(x)
\in~Aaccept
\not\in~Areject

・ッ・鬣ケRP

[トオチ]・ッ・鬣ケRP。ハRandom polynomial time。ヒ
RP~\overset{def}~{=}~\left\{A:\text{language}~~\middle|~\exists~M~:\text{probabilistic~polynomial~time}\\x~\in~A~\Rightarrow~\text{Pr[M(x):accept]}~\ge~\frac~12~\\x~\not\in~A~\Rightarrow~\text{Pr[M(x):accept]}~=~0~\right\}

[ハ荵ヨ]probabilistic polynomial time。盖ホホィナェツソケ狆ーサエヨ
ウホホィナェ、ネ、、、ヲ、ウ、ネ、マニ篷、ヌ・オ・、・ウ・、ソカ、。」

。。、ウ、、ヌ・ッ・鬣ケRP、トオチ、キ、ソ。」

。。A「コRP、ホ、ネ、ュ。「シ。、ホ、隍ヲ、ヒ、ハ、。」

ニホマxスミホマM(x)
\in~Aaccept or reject
\not\in~Areject

。。、ト、゙、遙「M、ャaccept、スミホマ、ケ、、ミ。「ノャ、コニホマx、マA、ヒニ、。ハx「コA。ヒ、ネ、、、ヲ、ウ、ネ、ヌ、「、。」

・ッ・鬣ケcoRP

[トオチ]・ッ・鬣ケcoRP
coRP~\overset{def}~{=}~\left\{A:\text{language}~~\middle|~\exists~M~:\text{probabilistic~polynomial~time}\\x~\in~A~\Rightarrow~\text{Pr[M(x):reject]}~\ge~\frac~12~\\x~\not\in~A~\Rightarrow~\text{Pr[M(x):reject]}~=~0~\right\}

。。、ウ、、ヌ・ッ・鬣ケcoRP、トオチ、キ、ソ。」

。。A「コcoRP、ホ、ネ、ュ。「シ。、ホ、隍ヲ、ヒ、ハ、。」

ニホマxスミホマM(x)
\not\in~Aaccept or reject
\in~Aaccept

。。、ト、゙、遙「M、ャreject、スミホマ、ケ、、ミ。「ノャ、コニホマx、マA、ヒニ、鬢ハ、、、ネ、、、ヲ、ウ、ネ、ヌ、「、。」

・ル・ゾ、ヒ、ェ、ア、P。「RP。「coRP、ホネ豕モ

benzu.jpg

ツソケ狆ーサエヨキラササイトヌスエリソ、ネツソケ狆ーサエヨエヤクオイトヌス

[トオチ]ハムエケオ。 キ霪タュキラササ・筵ヌ・、ネ、ス、ホセ螟ホ・ラ・・ー・鬣゚・・ークタクL'、チネ、ヒ、キ、ソ・サ・テ・ネ、ハムエケオ。、ネクニ、ヨ。」

。。、チ、ハ、゚、ヒ。「・ラ・・ー・鬣゚・・ークタクL'、マ。ミツ衄ハク。「whileハク。「ifハク。「ニホマハク。「スミホマハク。「haltハク。ム、ヌケスタョ、オ、、ニ、、、。」

[トオチ]ツソケ狆ーサエヨキラササイトヌスエリソ。ハpolynomial time computable function。ヒ
エリソf、ャニホマハクサホx、、ス、ホ・オ・、・コ、ホツソケ狆ー・ケ・ニ・テ・ラソ、ヌx、ホ・オ・、・コ、ホツソケ狆ー・オ・、・コーハイシ、ホf(x)、ヒハムエケ。ハハムエケオ。、トフ、ク、ニ。ヒ、キ、ニスミホマ、ケ、、ネ、ュ。「、ウ、ホエリソf、ツソケ狆ーサエヨキラササイトヌスエリソ、ネ、、、ヲ。」

[トオチ]ツソケ狆ーサエヨエヤクオイトヌス。ハpolynomial time reducible。ヒ フ萃鵞,B、ヒツミ、キ、ニ。「ツソケ狆ーサエヨキラササイトヌスエリソf、ャツクコ゚、キ、ニ。「ヌ、ーユ、ホニホマオュケ賽x、ヒツミ、キ、ニフ萃鵞、ャイ、ア、、ミフ萃鵤、ャf(x)、ヒツミ、キ、ニイ、ア。「オユ、ヒフ萃鵤、ャf(x)、ヒツミ、キ、ニイ、ア、、ミフ萃鵞、ャx、ヒツミ、キ、ニイ、ア、、ネ、ュ。「A、マB、ヒツソケ狆ーサエヨエヤクオイトヌス、ヌ、「、、ネ、、、ヲ。」

ツソケ狆ーサエヨ・「・・エ・・コ・爨ネサリソサエヨ・「・・エ・・コ・

。。・ヌ。シ・ソ、ャnクト、ホフ萃熙イ、ッ、ホ、ヒーハイシ、ホ2シホ爨ホ・「・・エ・・コ・爨ャツクコ゚、ケ、。」

ホ网ィ、ミ。「

  • ・「・・エ・・コ・漓、マ2、ホnセ雋、ホア鮟サ、ヘム、、、ニフ萃熙イ、ッ。」
  • ・「・・エ・・コ・滷、マn、ホ5セ隍ホ1000ヌワイ、ホア鮟サ、ヘム、、、ニフ萃熙イ、ッ。」

。。、ウ、ホ、ネ、ュ。「・「・・エ・・コ・漓、マサリソエリソサエヨ・「・・エ・・コ・、ネ、、、、。「・「・・エ・・コ・滷、マツソケ狆ーサエヨ・「・・エ・・コ・、ネ、、、ヲ。」

・ッ・鬣ケNP、ヒ、ト、、、ニ

・ッ・鬣ケNP

。。・ッ・鬣ケNP。ハネキ霪マタナェツソケ狆ーサエヨ。ヒ、マ。「ネキ霪マタナェTM。ハニ篷、ヌ・ウ・、・、ソカ、。ヒセ螟ヌツソケ狆ーサエヨニ筅ヒイ、ュ、ヲ、、ケ、ル、ニ、ホネストフ萃熙ォ、鮖スタョ、オ、、。」、ト、゙、遙「ネキ霪タュキラササ・筵ヌ・、ヒ、隍テ、ニ。「ツソケ狆ー・ケ・ニ・テ・ラ、ヌイ、ッ、ウ、ネ、ャイトヌス、ハネストフ萃熙ホ・ッ・鬣ケ、ホ、ウ、ネ、ヌ、「、。」、ウ、ホ、ウ、ネ、マ。「、筅キオ。ウ」、ャイ、ソ萃ャ、ケ、、ハ、鬢ミ。「、ス、ホタオ、キ、オ、ツソケ狆ーナェサエヨニ筅ヒ・チ・ァ・テ・ッ、ヌ、ュ、、ウ、ネ、ーユフ」、ケ、。」、ソ、タ、キ。「、筅チ、、、ウ、、マネストフ萃熙マソソ、ヒイ、、、ソ、ウ、ネ、ヒ、マ、ハ、鬢ハ、、。」、ハ、シ、ハ、鬢ミ。「オ。ウ」、ャタオ、キ、、ナ、ィ、ソ萃ャ、ケ、、ヌ、「、ハンセレ、マ、ハ、、、ォ、鬢ヌ、「、。」

[ハ荵ヨ]トセエムナェ、ヒ、、、ィ、ミ。「キ霪ナェTM、ヒ、隍ツソケ狆ーサエヨ、ヌイ、ア、ネストフ萃熙ャPフ萃遙」ネキ霪マタナェTM、ヒ、隍遙「、ソ、゙、ソ、゙ツソケ狆ーサエヨ、ヌイ、ア、セケ遉ャ、「、ネストフ萃熙ャNPフ萃熙ヌ、「、。」

ホ1。ァ、「、フ萃熙チネソ・ナェ。ハキ霪マタナェ。ヒ、ヒNPニ筅ヌ、ネ、ッ、ヒ、マ。「サリソナェサエヨ、ャノャヘラ、ヌ、「、、隍ヲ、ヒサラ、、、。」、ス、ホ、隍ヲ、ハフ萃熙ホホ网ネ、キ、ニ。「・ハ・テ・ラ・カ・テ・ッフ萃熙萢ツュイトヌスタュフ萃熙ハ、ノ、ャ、「、。」

ホ2。ァ・ー・鬣ユG、ャヘソ、ィ、鬢、ソ、ネ、ュ。「ウニナタ、、チ、遉ヲ、ノーイ、ナ、トトフ、・オ・、・ッ・。ハ・マ・゚・・ネ・ヒ・「・・オ・、・ッ・。ヒ、ャG、ヒツクコ゚、ケ、、ォ、ノ、ヲ、ォ、ネスト熙ケ、フ萃熙ケヘ、ィ、ニ、゚、隍ヲ。」、筅キ。「タオ、キ、、イ。ハ・オ・、・ッ・。ヒ、ャヘソ、ィ、鬢ソ、ネ、ケ、、ミ。「、ウ、、ャタオ、キ、、、ォ、ノ、ヲ、ォク。セレ、ケ、、ウ、ネ、マ。「ツソケ狆ーサエヨ、ヌ、ヌ、ュ、。」

[トヘ]
・ッ・鬣ケNP、マ・ッ・鬣ケP、エ゙、、ヌ、、、。」

[セレフタ]キ霪マタナェTMセ螟ヌツソケ狆ーナェイイトヌス、ハフ萃熙マ、ノ、、ヌ、「、テ、ニ、筍「ネキ霪マタナェTMセ螟ヌツソケ狆ーナェイイトヌス、ヌ、「、、ォ、鬢ヌ、「、。」

[トヘ]
、ケ、ル、ニ、ホNPフ萃熙ャ、筅キキ霪マタナェTMセ螟ヌツソケ狆ーナェイイトヌス、ヌ、「、、ハ、鬘「P。甎P、ヒ、ハ、。」

[ケヘサ。]NPニ筅ホツソ、ッ、ホフ萃熙マ。「Pニ筅ホフ萃熙隍熙マ、、ォ、ヒクヌ、、、隍ヲ、ヒクォ、ィ、、ャ。「P。祚P、マ、゙、タソウリナェ、ヒフ、イキ隍ヌ、「、。」

[トヘ]。ハCook。ヒ
NPニ筅ホツセ、ホ、「、鬢讀フ萃熙ツソケ狆ーナェサエヨニ筅ヌヒツュイトヌスタュフ萃熙ヒニウ、ッ、ネ、、、ヲニテタュ、。「ヒツュイトヌスタュフ萃熙ャサ、ト。」

[ケヘサ。]、ウ、ホトヘ、マ。「、筅キヒツュイトヌスタュフ萃熙ャツソケ狆ーナェイイトヌス、ヌ、「、、ミ。「NPニ筅ホ、「、鬢讀フ萃熙マツソケ狆ーナェイイトヌス、ヌ、「、遙「、ォ、ト、筅キNPニ筅ホ、「、シ、ホフ萃熙ャーキ、、、ヒ、ッ、ア、、ミ。「ヒツュイトヌスタュ、マニアヘヘ、ヒーキ、、、ヒ、ッ、、、筅ホ、ヌ、「、、ウ、ネ、ーユフ」、キ、ニ、、、。」

・ッ・鬣ケCoNP

。。・ッ・鬣ケCoNP、マ。「NPニ筅ホ、「、フ萃熙ホハ菫、ヌ、「、、隍ヲ、ハ、ケ、ル、ニ、ホフ萃熙ォ、鯊ョ、テ、ニ、、、。」トセエカナェ、ヒ。「NPニ筅ホフ萃熙マ。ヨイ、ャツクコ゚、ケ、、ォ、ノ、ヲ、ォキ霪熙ケ、。ラキチシー、ヌ、「、遙「、ス、、ヒネソ、キ、ニCoNPニ筅ホハ菫ナェフ萃熙マ。ヨイ、ャ、ハ、、、ウ、ネ、シィ、ケ。ラキチシー、ォ、鯊ョ、テ、ニ、、、。」

[フ、イキ鐓NP。瓩oNP

[ケヘサ。]、キ、ォ、キ。「NP「チCoNP、ヒヘ、チ、フ萃熙マツクコ゚、ケ、。」、ス、ホ、隍ヲ、ハフ萃熙ホホ网ネ、キ、ニ。「ネチヌソフ萃熙ャ、「、。」

・ッ・鬣ケPSPACE

。。・ッ・鬣ケPSPACE、マ。「ツソケ狆ーナェ・ケ・レ。シ・ケニ筅ヌイ、ア、、ャ。「ノャ、コ、キ、篦ソケ狆ーナェサエヨ、ヌイ、ア、、ネ、マクツ、鬢ハ、、フ萃熙ォ、鯊ョ、。」、ス、、マNP、ネCoNP、エ゙、爨ャ。「NP、ェ、隍モCoNPニ筅ホフ萃熙隍熙マクヌ、、、ネケヘ、ィ、鬢、フ萃熙ャPSPACEニ筅ヒ、マツクコ゚、ケ、。」

[トヘ]
PSPACEエーチエフ萃熙マ。「、筅キ、ス、、鬢ホテ讀ホ、メ、ネ、ト、ャNPニ筅ヒ、「、、ミPSPACE=NP、ヌ、「、遙「、筅キ、ノ、、ォ、ャPニ筅ヒ、「、、ミPSPACE=P、ネ、ハ、、隍ヲ、ハニテタュ、サ、ト。」

・ッ・鬣ケEXPTIME

。。、「、トソk、ャツクコ゚、キ、ニO\(2^{n^{k}}\)・ケ・ニ・テ・ラーハイシ、ヌイ、ッ・「・・エ・・コ・爨ャツクコ゚、ケ、フ萃熙ホ・ッ・鬣ケ、サリソサエヨ、ネ、、、、。「EXPTIME、ヌノス、ケ。」

。。サリソサエヨ、ォ、ォ、・「・・エ・・コ・爍ハツィ、チ。「EXPTIME。ヒ、マ。「クホィ、ャーュ、、。ハツィ、チ。「シツヘムナェ、ヌ、ハ、、。ヒ。」

[トヘ]
P。礒XPTIME

[トヘ]
EXPTIME、ヒ、マPSPACE、ャエ゙、゙、、。」

[トヘ]
・ハ・テ・ラ・カ・テ・ッフ萃熙ホ、隍ヲ、ヒシォチウソ、ーキ、ヲフ萃熙マ。「EXPTIME、ヒツー、ケ、。」

[セレフタ]
2nトフ、ケヘ、ィ、鬢、ホ。ミb1,b2,。ト,bn。ム、ホ、ケ、ル、ニ、ヒ、ト、、、ニ、ホS、ホテヘ、トエ、ル、ニイ、ッ、ウ、ネ、ャイトヌス、ヌ、「、、ォ、鬘「EXPTIME、ヒツー、ケ、。」

P、ネNP、ホエリキクタュ

ホフサメキラササホフ・ッ・鬣ケ

。。クナナオナェキラササホフ・ッ・鬣ケ、ャツクコ゚、ケ、、ホ、ネニア、ク、隍ヲ、ヒ。「ホフサメキラササホフ・ッ・鬣ケ、ャツクコ゚、ケ、。」QTM、マPTM、ホホフサメホマウリナェーネフイス、ハ、ホ、ヌ。「ホフサメキラササホフ・ッ・鬣ケ、マウホホィナェキラササホフ・ッ・鬣ケ、ヒサ、ニ、、、。」ナ、ィ、ャタオ、キ、、、ウ、ネ、ホウホ、ォ、鬢キ、オ、ネ。「ナ、ィ、ャ、「、サエヨクツウヲニ筅ヒニタ、鬢、、ウ、ネ、ホウホ、ォ、鬢キ、オ、ホホセハ、ニアサ、ヒイチア、ケ、、ウ、ネ、マ、ヌ、ュ、゙、サ、。」ニテ、ヒ。「クナナオナェ・ッ・鬣ケP。「ZPP。「BPP、マ。「、ス、、セ、ホフサメ・ッ・鬣ケ、ホQP。「ZQP。「BQP、ネ、ハ、。」

クナナオナェ・ッ・鬣ケホフサメ・ッ・鬣ケーユフ」クナナオナェキラササホフ・ッ・鬣ケ、ネ、ホエリキク。ハエテホ、ホ、ネ、ュ。ヒ
PQPQTM、ヒ、隍遙「ウホホィ1、ヌコヌーュツソケ狆ーサエヨ、ヌイ、ア、フ萃熙ホ・ッ・鬣ケP「セQP
ホフサメ・ウ・・ヤ・蝪シ・ソ、マ。「クナナオナェ・ウ・・ヤ・蝪シ・ソ、隍熙篦ソ、ッ、ホフ萃熙コヌーュツソケ狆ーサエヨニ筅ヒイ、ッ、ウ、ネ、ャ、ヌ、ュ、。」
ZPPZQPQTM、ヒ、隍遙「ウホホィ1、ヌハソカムツソケ狆ーサエヨ、ヌイ、ア、フ萃熙ホ・ッ・鬣ケBPP「シBQP「シPSPACE
QTM、ャPTM、隍熙筝ッホマ、ォネン、ォ、マテホ、鬢、ニ、、、ハ、、。」
Shor、マーソハャイ、ャBQP、ヒツー、ケ、、ウ、ネ、セレフタ、キ、ソ。」
BPPBQPQTM、ヒ、隍遙「2/3、隍ツ遉ュ、ハウホホィ、ヌコヌーュツソケ狆ーサエヨ、ヌイ、ア、フ萃熙ホ・ッ・鬣ケZPP「セZQP

サイケヘハクク・

  • ケヨオチ・ホ。シ・ネ
  • 。リ・ス・ユ・ネ・ヲ・ァ・「ウォネッオサスムシヤ。。ケ邉ハ・ィ・テ・サ・・キ・罕・マ・・ノ・ヨ・テ・ッ。ル
  • 。リーナケ讀ネ・ヌ。シ・ソ・サ・ュ・螂・ニ・」。ル。ハヌンノエロ。ヒ
  • 。リゾイサィウリ。。・ウ・・ヤ・蝪シ・ソイハウリ、ホエチテ。ル
  • 。リハソタョ16ヌッナル。レスゥエ。ロエヒワセハオサスムシヤケ邉ハカオヒワ。ル


*1 、ウ、ウ、ヌ、マ・ヌ。シ・ソ、テオコ、キ、ソ、ホ、ヌ。「・ヌ。シ・ソテオコフ萃熙ヌ、「、
ナコノユ・ユ・。・、・: filebenzu.jpg 2932キ [セワコル]