Pertanyaan yang diberi tag «counting-complexity»

Seberapa sulit menghitung jumlah solusi?

1
Apa kompleksitas penghitungan 2-SAT acak?
Apakah ada pekerjaan yang telah dilakukan tentang bagaimana kompleksitas kejadian acak # 2-SAT bervariasi dengan kepadatan klausa? Yaitu: bagaimana kesulitan menghitung solusi yang memuaskan untuk contoh 2-SAT yang dihasilkan secara acak bervariasi, karena kepadatan klausa bervariasi? Secara khusus, apakah ada hasil yang diketahui melibatkan melibatkan ambang kritis? Tentu saja, karena …
1
Apa subfamili # P-lengkap dari # 2-SAT?
Versi pendek. Bukti asli bahwa # 2-SAT adalah #P -lengkap menunjukkan, pada kenyataannya, bahwa contoh-contoh dari # 2-SAT yang keduanya monoton (tidak melibatkan negasi dari variabel apa pun) dan bipartit (grafik yang dibentuk oleh klausa di atas variabel adalah grafik bipartit) adalah #P -hard . Jadi, dua kasus khusus # …
1
Perkiraan untuk menghitung jumlah jalur - sederhana dalam grafik umum
Saya telah diberitahu bahwa ada beberapa waktu algoritma polinomial baik untuk mendekati jumlah jalur sederhana dalam grafik diarahkan dari yang diberikan mulai vertex untuk diberikan berakhir vertex . Adakah yang tahu referensi yang bagus tentang hal ini?sssttt Latar belakang: menghitung jumlah persis jalur dalam grafik umum adalah # P-complete tetapi …
2
Persamaan linear diophantine dalam bilangan bulat non-negatif
Hanya ada sedikit informasi yang dapat saya temukan pada masalah NP-lengkap untuk menyelesaikan persamaan linear diophantine dalam bilangan bulat non-negatif. Artinya, apakah ada solusi dalam non-negatif dengan persamaan , di mana semua konstanta positif? Satu-satunya penyebutan penting dari masalah ini yang saya ketahui adalah dalam Teori Pemrograman Linear dan Integer …
1
Dekomposisi grafik untuk menggabungkan fungsi "lokal" dari pelabelan titik
∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Di mana maks atau jumlah diambil alih semua pelabelan , produk diambil dari semua sisi untuk grafik G = \ {V, E \} dan f adalah fungsi arbitrer. Kuantitas ini mudah ditemukan untuk grafik lebar pohon yang dibatasi dan pada umumnya …
3
Menghitung jumlah siklus Hamiltonian dalam grafik Hamilton kubik?
Adalah -hard untuk menemukan perkiraan faktor konstan dari siklus terpanjang dalam grafik Hamiltonian kubik. Grafik Hamilton Hamilton memiliki setidaknya dua siklus Hamilton.NPNPNP Apa batas atas dan batas bawah paling dikenal pada jumlah siklus Hamilton dalam grafik Hamilton kubik? Diberikan grafik Hamiltonian kubik, Apa kompleksitas menemukan jumlah siklus Hamiltonian? Apakah itu …
1
Dapatkah seseorang secara efisien sampel tetangga simpul dalam grafik polytope?
Saya memiliki polytope didefinisikan oleh .PPP{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Pertanyaan: Diberikan simpul dari , apakah ada algoritma waktu polinomial untuk sampel seragam dari tetangga dalam grafik ? (Polinomial dalam dimensi, jumlah persamaan, dan representasi . Saya dapat mengasumsikan bahwa jumlah persamaan adalah polinomial dalam dimensi.)vvvPPPvvvPPPbbb …
1
Sampling tugas memuaskan acak seragam
Masalah: Diberikan diwakili oleh sirkuit boolean, menghasilkan secara acak yang seragam sedemikian rupa sehingga (atau output jika ada). ϕ : { 0 , 1 }n→ { 0 , 1 }ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { 0 , 1 }nx∈{0,1}nx \in \{0,1\}^nϕ ( x ) = 1ϕ(x)=1\phi(x)=1⊥⊥\perpxxx Jelas masalah ini …
2
Di atas # P dan menghitung masalah pencarian
Saya sedang membaca artikel wikipedia tentang masalah delapan ratu. Dinyatakan bahwa, tidak ada formula yang diketahui untuk jumlah pasti solusi. Setelah beberapa pencarian, saya menemukan sebuah makalah bernama "Pada kesulitan menghitung masalah pemetaan lengkap". Dalam tulisan ini ada masalah, terbukti paling keras seperti #queens, yang melampaui #P. Melihat sekilas jumlah …
4
Apakah eta-equivalence untuk fungsi-fungsi yang kompatibel dengan operasi seq Haskell?
Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: …
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.