Pの定義は、多項式時間アルゴリズムによって決定できる言語です。P / polyの定義は、多項式サイズの回路によって決定できる言語を意味すると解釈できます(http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdfを参照)。さて、なぜ多項式サイズの回路を多項式時間でシミュレーションできないのでしょうか?
4
P / polyは、決定不可能な言語(演習)を計算できます。
—
Yuval Filmus
ありがとう、しかし私の議論の何が問題になっています-多項式サイズの回路が多項式時間でシミュレーションできるということですか?
—
dcw
それは間違っています。異なる入力長の多項式サイズの回路は根本的に異なる可能性があるため、単一のチューリングマシンですべてを説明することはできません。
—
Yuval Filmus
ありがとうございます。ただし、Pの定義のどこに、単一のチューリングマシンに制限されていると記載されていますか?私が見たすべての定義は、mathworld.wolfram.com
—
PolynomialTime.htmlの
言語@dcwであるPが存在する場合、このような...そのチューリングマシン
—
デビッドRicherby