- masalah lengkap dengan kuasi polinomial terikat pada sejumlah solusi

FewP adalah kelas $NP$ -masalah dengan polinom terikat pada jumlah solusi (dalam ukuran input). Tidak ada dikenal $NP$ masalah -Lengkap di $fewP$ . Saya tertarik pada seberapa jauh kita dapat memperluas pengamatan ini.

Apakah ada alam $NP$ masalah -Lengkap dengan kuasi-polinomial atas terikat pada jumlah solusi (saksi)? Apakah ada dugaan yang diterima secara luas yang akan mengesampingkan kemungkinan seperti itu?

Alami berarti bahwa masalahnya bukan masalah buatan yang dibuat-buat untuk menjawab pertanyaan (atau yang serupa) dan orang-orang tertarik pada masalah secara mandiri (sebagaimana didefinisikan oleh Kaveh).

EDIT: karunia tersebut akan diberikan kepada alam seperti $NP$ masalah -Lengkap atau argumen yang masuk akal mengesampingkan adanya masalah seperti (menggunakan diterima secara luas dugaan kompleksitas-teori).

Motivasi: intuisi saya adalah bahwa $NP$ -completeness Menyebabkan super-polinomial (atau bahkan eksponensial) batas bawah pada jumlah saksi.

cc.complexity-theory np

— Mohammad Al-Turkistany
sumber

Masalah janji UniqueSAT adalah dalam

(tidak sama dengan

), yang merupakan subset dari

(tidak sama dengan

) . PromiseUP $\mathsf{PromiseUP}$

UP $\mathsf{UP}$

PromiseFewP $\mathsf{PromiseFewP}$

FewP $\mathsf{FewP}$

— Joshua Grochow

Akankah padding SAT menjawab pertanyaan Anda?

— Kaveh

Itulah intinya - bukan; ukuran input adalah jumlah bit dalam input, dan (jarang) instance 3-sat memiliki ukuran

. Jumlah variabel hanya satu aspek (parameter) dari input, jadi untuk masalah lain (katakanlah masalah grafik) kita harus menentukan apa yang diukur jumlah saksi dalam hal. Misalnya untuk memotong maksimum grafik input dapat memiliki

tepi, dan sekali lagi hanya ada

saksi (yang subeksponensial dalam ukuran input ). Tapi kami benar-benar ingin mengukur dalam hal

. Namun tidak jelas bahwa #vertices adalah ukuran yang tepat. mlogn $m \log n$

n2 $n^2$

2n $2^n$

n $n$

— daniello

@ Kaveh Ya, jadi Anda harus berasumsi bahwa Mohammad memikirkan yang masuk akal dalam pertanyaannya. Juga, seperti yang Anda lihat, kompleksitas kebun binatang setuju dengan definisi saya. Secara umum, dalam kelas kompleksitas yang menarik, definisi tidak boleh berubah jika Anda memasukkan input dengan polinomial.

— domotorp

@ downvoters Mengapa orang downvot pertanyaan ini? Maksud saya setidaknya seseorang dapat memberikan alasan untuk itu ...

— domotorp

Ini pertanyaan yang sangat menarik.

Pertama, komentar klarifikasi. Perhatikan bahwa "batas atas jumlah saksi" bukanlah properti dari masalah komputasi semata, tetapi dari verifier tertentu yang digunakan untuk memutuskan $NP$ , sama seperti "batas atas jumlah negara" tidak akan menjadi milik masalah tetapi dari mesin Turing yang memutuskannya. Jadi mengatakan " masalah dengan batas atas jumlah solusi" tidak cukup akurat, dan jika maka setiap masalah memiliki verifier dengan sejumlah solusi yang diinginkan (termasuk nol, dan termasuk semua string mungkin) . $NP$ $P = NP$ $NP$

Jadi kami harus membuat definisi, untuk menjawab pertanyaan Anda. Untuk , katakanlah masalah "memiliki paling solusi" jika untuk beberapa konstan ada waktu verifier seperti itu, untuk setiap panjang input dan untuk setiap dengan panjang , ada yang berbeda $s : {\mathbb N} \rightarrow {\mathbb N}$ $NP$ $L$ $s(n)$ $c$ $O(n^c)$ $V$ $n$ $x \in L$ $n$ panjang sehinggamenerima untuk semua, danmenolak semuadengan panjang . $y_1,\ldots,y_{s(n)}$ $n^c$ $V(x,y_i)$ $i$ $V(x,y)$ $y$ $n^c$

Yang saya pikir bisa saya katakan saat ini adalah ini:

Setiap masalah lengkap yang saya tahu (didefinisikan oleh beberapa verifier alami) memiliki versi penghitungan -complete yang jelas (dengan verifier yang sama ). $NP$ $\#P$
Untuk masalah -lengkap yang didefinisikan dengan verifier yang memiliki paling banyak solusi (atau bahkan ) versi penghitungan yang sesuai mungkin bukan -lengkap. $NP$ $poly(n)$ $2^{n^{o(1)}}$ $\#P$

Lebih detail: Misalkan adalah -complete, dengan verifier yang memiliki paling banyak solusi . Kemudian menghitung "keputusan" versi , yang kami definisikan sebagai $L$ $NP$ $V$ $O(n^c)$ $L$

$Count_L(x) := \text{the number of $y$ such that $V(x,y)$ accepts}$

adalah dihitung di , yaitu, fungsi polytime dengan query ke . Itu karena memutuskan apakah jumlah solusi untuk paling banyak adalah dalam : saksi, jika ada, hanyalah jumlah membuat menerima, yang kita tahu paling banyak $FP^{NP[O(\log n)]}$ $O(\log n)$ $NP$ $x$ $k$ $NP$ $y_i$ $V$ $O(n^c)$ . Kemudian kita dapat Binary Search menggunakan ini masalah untuk menghitung jumlah pasti solusi untuk . $NP$ $L$

Oleh karena itu, masalah -lengkap seperti ini tidak dapat diperluas ke masalah -lengkap dengan cara biasa, kecuali . Ini terlihat tidak mungkin; seluruh hierarki waktu polinomial pada dasarnya akan runtuh ke . $NP$ $\#P$ $\#P \subseteq FP^{NP[O(\log n)]}$ $P^{NP[O(\log n)]}$

Jika Anda menganggap di atas, Anda masih akan mendapatkan konsekuensi yang tidak mungkin. Anda akan menunjukkan bahwa dapat dihitung dalam kali dengan oracle Itu lebih dari cukup untuk membuktikan, misalnya, bahwa dan selanjutnya $s(n) = 2^{n^{o(1)}}$ $\#P$ $2^{n^{o(1)}}$ $NP$ $EXP^{NP} \neq PP$ $EXP^{NP} \not\subset P/poly$ . Not that those separations are unlikely, but it seems unlikely they'd be proved by giving a subexp time $NP$ -oracle algorithm for the Permanent.

By the way, I have said nothing too insightful here. There is almost certainly an argument like this in the literature.

— Ryan Williams
sumber

Indeed it is insightful answer.

— Mohammad Al-Turkistany