Pertanyaan yang diberi tag «counting-complexity»

Misalkan . Kemudian argumen sederhana menunjukkan bahwa P H P P = N P . Bisakah kita melangkah lebih jauh dan mendapatkan P P P P = N P ? Argumen sederhananya adalahNP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NPPPPP= NPPPPP=NPPP^{PP}=NP Teorema Jika maka P H P P = N P .NP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NP Bukti …

8 cc.complexity-theory  counting-complexity  conditional-results 

Apakah #P pertama kali diperkenalkan di [1] ? [1] Valiant, Leslie G. "Kompleksitas komputasi yang permanen." Ilmu komputer teoretis 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

Saya mungkin kehilangan sesuatu yang jelas tetapi saya tidak dapat menemukan referensi tentang kompleksitas penghitungan pencocokan (bukan pencocokan sempurna) dalam grafik bipartit. Inilah masalah formal: Input: grafik bipartit denganG=(U,V,E)G=(U,V,E)G = (U, V, E)E⊆U×VE⊆U×VE \subseteq U \times V Output: jumlah matchings dari , di mana matchings adalah bagian sehingga tidak ada …

8 counting-complexity  matching  bipartite-graphs 

Menurut Handshaking Lemma: setiap grafik tidak berarah yang memiliki simpul yang derajatnya adalah bilangan ganjil harus memiliki beberapa simpul lain yang derajatnya adalah bilangan ganjil. Pengamatan ini berarti bahwa jika kita diberi grafik dan simpul derajat ganjil, dan kita diminta untuk menemukan beberapa simpul derajat ganjil lainnya, maka kita sedang …

8 complexity-classes  counting-complexity  ppad 

Dalam [1] dinyatakan bahwa "Ini masih menjadi pertanyaan terbuka apakah setiap fungsi di memiliki sirkuit T C 0 (meskipun setidaknya diketahui bahwa tidak semua fungsi # P memiliki sirkuit T C 0 DLogTime-uniform-uniform )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 sirkuit yang dihasilkan oleh fungsi DLogTime tidak mengandung # P . Kami tidak tahu apakah T …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

Apakah mungkin untuk menemukan pengurangan penghitungan dari #SAT ke #HornSAT? Saya belum menemukan pertanyaan ini diposting di sini, jadi memutuskan untuk memeriksa apakah ada yang punya jawaban untuk ini. Biarkan saya menjelaskan apa yang saya maksud dengan menghitung pengurangan. Misalkan adalah dua masalah penghitungan. Sebagai contoh, #SAT menanyakan berapa banyak …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

Algoritme / teknik matematika apa yang tersedia untuk persis / kira-kira menghitung jumlah set independen? Apakah / Apakah ada referensi yang baik / referensi yang baik tentang topik ini? Saya tertarik pada grafik reguler.

8 ds.algorithms  reference-request  graph-theory  approximation-algorithms  counting-complexity 

Biarkan menjadi matriks persegi yang diberikan. Apakah ada bukti bahwa mengalahkan batas bawah kuadratik untuk B sehingga det ( B ) = per ( A ) bisa sulit?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) Adakah dugaan masuk akal yang menyiratkan bahwa membuktikan batas bawah itu sulit? Adakah bukti yang membuktikan bahwa baris (atau kolom) …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent