Sebuah penutup tepi adalah bagian dari tepi grafik sehingga setiap titik dari grafik berdekatan dengan setidaknya satu tepi penutup. Dua makalah berikut mengatakan bahwa menghitung penutup tepi adalah #P -lengkap : FPTAS Sederhana untuk Menghitung Penutup Tepi dan Menghasilkan Tepi Tepi dari Grafik...
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...
Biarkan menjadi digraf (tidak harus DAG) dan biarkan . Apa kompleksitas menghitung jumlah sederhana jalan di . GGGs , t ∈ V( G )s,t∈V(G)s,t \in V(G) s - ts-ts-tGGG Saya berharap masalahnya menjadi # -lengkap tetapi belum dapat menemukan referensi yang tepat. PP{\mathsf P} Juga perhatikan bahwa...
∑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...
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...
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...
Misalkan menjadi rumus CNF dengan n variabel dan klausa m . Misalkan t ∈ { 0 , 1 } n mewakili penugasan variabel dan f φ ( t ) ∈ { 0 , ... , m } menghitung jumlah klausa yang dipenuhi oleh penugasan variabel ke φ . Kemudian definisikan Median-SAT sebagai masalah perhitungan nilai median f φ ( t )...
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,...
Ada sejumlah masalah dalam teori representasi kombinatorial dan geometri aljabar yang tidak diketahui rumus positifnya. Ada beberapa contoh yang saya pikirkan, tetapi biarkan saya mengambil perhitungan koefisien Kronecker sebagai contoh saya. Biasanya, pengertian "formula positif" tidak...
1) Apakah mungkin untuk memiliki pengurangan parsimoni dari masalah # P-complete #A ke masalah penghitungan #B ketika (versi keputusan) A adalah NP-complete dan B berada di P? Misalnya, dapatkah ada pengurangan pelit dari #SAT ke #B, ketika B ada di P? 2) Jika B ada di P, apa saja kemungkinan...
Pertanyaan. Dalam makalah mereka Peningkatan simulasi sirkuit stabilizer , Aaronson dan Gottesman mengklaim bahwa mensimulasikan sirkuit CNOT adalah ⊕L -complete (di bawah pengurangan ruang log). Jelas bahwa itu terkandung dalam ⊕L ; bagaimana hasil kekerasan berlangsung? Secara ekuivalen: apakah...
Dalam kertas Ben-Dor / Halevi [1] itu diberikan bukti lain bahwa permanen -Lengkap. Di bagian akhir makalah ini, mereka menunjukkan rantai reduksi IntPerm ∝ NoNegPerm ∝ 2PowerPerm ∝ 0/1-Perm sementara nilai permanen dipertahankan di sepanjang rantai. Karena jumlah tugas pemisah dari formula 3SAT...
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 :: a -> b...
Pertimbangkan masalah # P-complete untuk menghitung jumlah penutup simpul dari grafik yang diberikan .G=(V,E)G=(V,E)G = (V, E) Saya ingin tahu apakah ada hasil yang menunjukkan bagaimana kekerasan masalah tersebut bervariasi dengan beberapa parameter (misalnya, ).GGGd=|E||V|d=|E||V|d =...
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...
Diberi dua CNF, jika mereka memiliki jumlah tugas yang sama untuk menjadikannya benar, jawab "Ya", jika tidak jawab "Tidak". Sangat mudah untuk melihatnya di , karena jika kita tahu jumlah pasti dari solusi untuk dua CNF ini, kita hanya campare mereka dan menjawab "Ya" atau
Masalah #SAT adalah masalah # -p diselesaikan kanonik. Ini masalah fungsi daripada masalah keputusan. Ia bertanya, diberi rumus boolean dalam logika proposisional, berapa banyak tugas memuaskan yang F miliki. Apa batas bawah terbaik di
Parity-L, juga dikenal sebagai L, adalah serangkaian bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara bilangan genap atau ganjil dari jalur "penerimaan". Pertanyaan terkait baru - baru ini diajukan oleh Niel de Beaudrap.⊕⊕\oplus Pertanyaan saya adalah...
Pertanyaan ini dimotivasi oleh pertanyaan MathOverflow oleh Peng Zhang . Valiant menunjukkan bahwa menghitung klik maksimal dalam grafik umum adalah # P-complete, tetapi bagaimana jika kita membatasi pada grafik yang tidak dapat dibandingkan (yaitu, kita ingin menghitung antichains maksimal dalam...
Rumus Monotone-2CNF adalah formula CNF di mana setiap klausa tersusun oleh tepat 2 literal positif. Sekarang, saya memiliki Monoton-2CNF rumus . Misalkan S adalah himpunan tugas F yang memuaskan. Saya juga memiliki oracle O yang dapat memberikan informasi berikut:FFFSSSFFFOOO Kardinalitas...