Pertanyaan yang diberi tag «counting-complexity»

Seberapa sulit menghitung jumlah solusi?

3
Algoritma mengejutkan untuk menghitung masalah
Ada beberapa masalah penghitungan yang melibatkan penghitungan banyak hal secara eksponensial (relatif terhadap ukuran input), namun memiliki algoritma deterministik tepat waktu polinomial waktu yang mengejutkan. Contohnya termasuk: Menghitung kecocokan sempurna dalam grafik planar ( algoritma FKT ), yang merupakan dasar untuk bagaimana algoritma holografik bekerja. Menghitung rentang pohon dalam grafik …
4
Apakah ?
Kita tahu bahwa level pertama dari hierarki polinomial (yaitu NP dan co-NP) adalah dalam PP, dan bahwa . Kita juga tahu dari Teorema Toda bahwa .PP⊆ P.SPA CEPP⊆PSPACEPP \subseteq PSPACEPH⊆ P.PPPH⊆PPPPH \subseteq P^{PP} Apakah kita tahu apakah ? Jika tidak, mengapa dengan lebih kuat dari ? Apakah mungkin dan PP …
2
Kapan "X is NP-complete" menyiratkan "#X is # P-complete"?
Biarkan menunjukkan masalah (keputusan) dalam NP dan biarkan # menunjukkan versi penghitungannya.XXXXXXX Dalam kondisi apa diketahui bahwa "X is NP-complete" "#X is # P-complete"?⟹⟹\implies Tentu saja keberadaan reduksi pelit adalah satu kondisi seperti itu, tetapi ini jelas dan satu-satunya kondisi yang saya sadari. Tujuan utamanya adalah untuk menunjukkan bahwa tidak …
2
Berapa banyak DFA menerima dua string yang diberikan?
Perbaiki bilangan bulat nnn dan alfabet Σ={0,1}Σ={0,1}\Sigma=\{0,1\} . Tentukan DFA(n)DFA(n)DFA(n) sebagai kumpulan semua automata kondisi terbatas pada nnn status dengan kondisi awal 1. Kami sedang mempertimbangkan semua DFA (tidak hanya yang terhubung, minimal, atau non-degenerasi); demikian, |DFA(n)|=n2n2n|DFA(n)|=n2n2n|DFA(n)| = n^{2n}2^n . Sekarang perhatikan dua string dan menentukan K ( x , …
3
Kapan santai menghitung keras?
Misalkan kita mengendurkan masalah penghitungan pewarnaan yang tepat dengan menghitung pewarnaan berbobot sebagai berikut: setiap pewarnaan yang tepat mendapat bobot 1 dan setiap pewarnaan yang tidak tepat mendapatkan bobot mana adalah konstan dan adalah jumlah tepi dengan titik akhir berwarna sama. Ketika pergi ke 0, ini mengurangi untuk menghitung pewarnaan …
2
Kompleksitas komputasi dari penghitungan subgraph yang diinduksi memiliki kecocokan sempurna
Mengingat sebuah grafik diarahkan dan tertimbang dan integer bahkan , apa yang kompleksitas komputasi penghitungan set simpul sehingga dan subgraf dari terbatas himpunan titik mengakui pasangan yang cocok? Apakah kompleksitas # P-selesai? Apakah ada referensi untuk masalah ini?k S ⊆ V | S | = K G SG=(V,E)G=(V,E)G=(V,E)kkkS⊆VS⊆VS\subseteq V|S|=k|S|=k|S|=kGGGSSS Perhatikan …
2
Apakah ada pengurangan langsung / alami untuk menghitung pencocokan sempurna non-bipartit menggunakan permanen?
Menghitung jumlah kecocokan sempurna dalam grafik bipartit segera dapat direduksi menjadi komputasi permanen. Karena menemukan pencocokan sempurna dalam grafik non-bipartit adalah dalam NP, terdapat beberapa pengurangan dari grafik non-bipartit menjadi permanen, tetapi mungkin melibatkan blowup polinomial yang buruk dengan menggunakan pengurangan Cook ke SAT dan kemudian teorema Valiant untuk mereduksi …
1
Apakah fungsi penghitungan prime # P-selesai?
Ingat jumlah bilangan prima adalah fungsi penghitungan utama . Dengan "PRIMES dalam P", komputasi ada di #P. Apakah masalahnya # P-selesai? Atau, mungkin, ada alasan kerumitan untuk percaya bahwa masalah ini bukan # P-complete? π(n)π(n)\pi(n)≤n≤n\le nπ(n)π(n)\pi(n) PS Saya menyadari ini agak naif karena seseorang pasti telah mempelajari masalahnya dan membuktikan …
5
Masalah mudah dengan versi penghitungan yang sulit
Wikipedia memberikan contoh masalah di mana versi penghitungannya sulit, sedangkan versi keputusannya mudah. Beberapa di antaranya menghitung kecocokan sempurna, menghitung jumlah solusi untuk -SAT dan jumlah penyortiran topologi.222 Apakah ada kelas penting lainnya (misalnya contoh dalam kisi, pohon, teori bilangan dan sebagainya)? Apakah ada ringkasan masalah seperti itu? Ada banyak …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.