NPの通信後問題はありますか？

12

Sipserの著書「通信後問題に関する計算理論入門」のいくつかのページを読んだばかりで、PCPは実際にはNPにあると考えています。認証者は、次のとおりパイルの入力構成のための連結を文字列として、を連結する

（ t_{1} / b_{1} 、 t_{2} / b_{2} 、 。 。 。 t_{n} / b_{n} ）

$(t_1/b_1, t_2/b_2,...t_n/b_n)$

t_{1}, t_{2}, . . ., t_{n}

$t_1, t_2,...,t_n$

t

$t$

b_{1}, b_{2}, . . ., b_{n}

$b_1, b_2, ..., b_n$

b

$b$

t

$t$

b

$b$

— フアン
ソース

2

a / この問題の限定バージョン/バリアントはNP完全です。例えば、有界PCP NP完了 / 理論的コンピューターサイエンス

— vzn

19

Post通信の問題は決定不能であり、特にNP にはありません。あなたの考えがうまくいかない理由は、証人が必ずしも多項式サイズではないということです（実際、あなたはそれを証明しただけです）。つまり、認証者がPost通信問題がNPにあることを証明するには、（PCP インスタンスのサイズに関して）多項式時間で実行する必要があります。この場合、問題が解決可能であっても、常に多項式サイズの解が存在するとは限りません。実際、潜在的なソリューションのサイズに計算可能な限界はありません。さもないと、問題は決定可能になります。

— ユヴァル・フィルマス
ソース

11

証人は、入力のサイズではなく、解のサイズの多項式です。潜在的なソリューションの長さを制限する方法はありません。あなたの証明は、PCPが再帰的に列挙可能であることを示しています。

— phs
ソース