Pertanyaan yang diberi tag «cc.complexity-theory»

Dua bagian TCS adalah algoritma dan kompleksitas. Saya secara sederhana akan mengatakan bahwa algoritma adalah studi tentang batas atas, menunjukkan bahwa Anda dapat melakukan sesuatu (dengan sumber daya yang diberikan terbatas), dan kompleksitas adalah tentang menunjukkan bahwa Anda tidak dapat melakukannya tanpa sumber daya minimal. Begitu sering masalah algoritmik dinyatakan …

14 cc.complexity-theory  sorting 

Pertimbangkan beberapa bahasa sedemikian rupa sehingga:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) dan jadi itu L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Dengan kata lain, mesin tercepat menghitung dalam waktu dan mesin paling efisien ruang menghitung saat menggunakan ruang .L O ( f ( n ) ) M ′ L O ( g …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

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 = \frac{|E|}{|V|} Sensasi saya adalah bahwa masalahnya harus lebih mudah baik ketika jarang dan ketika …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

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 …

14 cc.complexity-theory  complexity-classes  counting-complexity 

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 "Tidak".P#PP#PP^{\#P} Apa kompleksitas masalah ini?

14 cc.complexity-theory  complexity-classes  counting-complexity 

SACiSACiSAC^i adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit kedalaman dengan fanin tanpa-batas OR dan gerbang AND-fanin terikat. Negasi hanya diperbolehkan di level input. Diketahui bahwa untuk ditutup dengan komplemen dan tidak. Juga, dan karenanya memiliki karakterisasi mesin, karena LogCFL adalah sekumpulan bahasa yang diterima oleh ruang yang dibatasi …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

Apakah ada cara untuk menyandikan turunan dari Jumlah Subset atau Masalah Partisi Angka sehingga solusi (kecil) untuk hubungan bilangan bulat menghasilkan jawaban? Jika tidak pasti, maka dalam arti probabilistik? Saya tahu bahwa LLL (dan mungkin PSLQ) telah digunakan dengan keberhasilan sedang dalam memecahkan masalah Subset Sum di wilayah 'kepadatan rendah', …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

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 #SAT?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

Dua makalah yang akan saya sertakan adalah: D. Kozen, "Pengindeksan kelas subkursif" , STOC, 1978. R. Ladner, "Tentang Struktur Pengurangan Waktu Polinomial" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

Teorema Rice menyatakan bahwa setiap properti nontrivial dari set yang dikenali oleh beberapa mesin Turing tidak dapat diputuskan. Saya mencari teorema tipe-Beras kompleksitas-yang memberi tahu kita sifat nontrivial dari set NP mana yang tidak bisa dipraktikkan.

14 cc.complexity-theory  computability  np 

Jika Anda terbiasa dengan verifikasi program, Anda cenderung lebih suka membaca Pertanyaan sebelum Latar Belakang . Jika Anda tidak terbiasa dengan verifikasi program maka Anda mungkin masih dapat menjawab pertanyaan ini, tetapi Anda cenderung lebih suka membaca Latar Belakang terlebih dahulu. Latar Belakang Sering dinyatakan bahwa memeriksa kebenaran sebagian tidak …

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

Tampak bagi saya bahwa kebanyakan ahli teori kompleksitas umumnya percaya pada aturan filosofis berikut: Jika kita tidak tahu algoritma yang efisien untuk masalah , dan kita dapat mengurangi masalah A ke masalah B , maka ada mungkin tidak algoritma yang efisien untuk masalah B , baik.AAAAAABBBBBB Inilah sebabnya mengapa, misalnya, …

14 cc.complexity-theory  big-picture  reductions 

Saya telah melakukan beberapa pencarian tentang hal ini tetapi saya tidak dapat menemukan jawaban. Huck menjawabnya sepenuhnya. Terima kasih :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

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 …

14 cc.complexity-theory  sat  counting-complexity 

Itu adalah nama yang saya buat untuk masalah ini. Saya belum melihatnya dijelaskan di mana pun sebelumnya. Saya belum dapat menemukan bukti kelengkapan NP atau algoritma waktu polinomial untuk masalah ini. Ini bukan masalah pekerjaan rumah - ini terkait dengan masalah yang saya temui dalam pekerjaan saya. GIGI DISKRIMINASI TERTINGGI …

14 cc.complexity-theory  np-hardness