Pertanyaan yang diberi tag «cc.complexity-theory»

Saya tertarik pada pertanyaan apakah NP sama dengan coNP atau tidak. Saya sangat menghargai saran tentang publikasi yang bagus untuk membaca topik ini. Sebagai catatan, saya tahu bahwa pertanyaan ini terkait erat dengan pertanyaan apakah P sama dengan NP atau tidak (sehingga jika NP! = CoNP maka P! = NP). …

11 cc.complexity-theory  reference-request  p-vs-np 

Teorema hierarki macam apa yang ada untuk kedalaman rangkaian? Pernyataan seperti jika dan maka .g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

Mari kita rilekskan sedikit pewarnaan, yaitu, kita memungkinkan sejumlah kecil simpul yang berdekatan diberi warna yang sama. Komponen monokromatik didefinisikan sebagai komponen yang terhubung dalam subgraph yang disebabkan oleh set simpul yang menerima warna yang sama, dan pertanyaannya adalah untuk menanyakan jumlah minimum warna yang diperlukan untuk mewarnai grafik sehingga …

11 cc.complexity-theory  graph-theory  graph-colouring  planar-graphs 

Dipercaya secara luas bahwa beberapa masalah komputasi seperti grafik isomorfisme tidak dapat NP-lengkap karena tidak memiliki struktur atau redundansi yang cukup untuk menjadi komputasi yang sulit (NP-hard). Saya tertarik pada gagasan formal yang berbeda untuk struktur masalah komputasi dan langkah-langkah redundansi. Apa hasil utama yang diketahui tentang gagasan formal untuk …

11 cc.complexity-theory  graph-isomorphism 

Dalam sebuah makalah tentang merelatifkan perhitungan logspace, Ladner dan Lynch membangun sebuah oracle relatif terhadap yang . Ada beberapa contoh yang lebih patologis dalam hal ini dalam literatur. Saya telah membaca beberapa makalah tentang kelas ruang kecil yang direlatifikasi, dan salah satu alat utama di bidang ini adalah mekanisme akses …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Teorema produk langsung, secara informal, mengatakan bahwa komputasi contoh fungsi f lebih sulit daripada komputasi f satu kali.kkkffffff Teorema produk langsung khas (misalnya, XOR Lemma Yao) melihat kompleksitas kasus rata-rata , dan berdebat (sangat kasar) bahwa tidak dapat dihitung oleh sirkuit ukuran s dengan probabilitas lebih baik dari p , …

11 cc.complexity-theory  circuit-complexity  average-case-complexity 

Ini mirip dengan SAT, kecuali bahwa kita tahu penugasan masing-masing variabel, tetapi tidak tahu penugasan operator boolean apa pun. Dalam hal itu, apakah menemukan penugasan masing-masing operator sehingga ekspresi mengevaluasi nilai boolean yang diberikan masalah NPC? Sebenarnya, saya bertanya-tanya apakah menemukan penugasan operator aritmatika untuk memenuhi ekspresi aritmatika integer (misalnya, …

11 cc.complexity-theory  np-hardness 

Itu ditunjukkan dalam makalah "Program Integer dengan Jumlah Variabel Tetap" bahwa program integer dengan jumlah konstan kendala (atau variabel) dapat dipecahkan secara polinomi. Apakah ini berlaku untuk pemrograman 0-1?

11 cc.complexity-theory  integer-programming 

Dana Angluin ( 1987 ; pdf ) mendefinisikan model pembelajaran dengan pertanyaan keanggotaan dan pertanyaan teori (berlawanan dengan contoh fungsi yang diusulkan). Dia menunjukkan bahwa bahasa reguler yang diwakili oleh DFA minimal negara dapat dipelajari dalam waktu polinomial (di mana fungsi yang diusulkan adalah DFA) dengan keanggotaan-kueri dan paling banyak …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

Masalah 3-Clique Partition adalah masalah menentukan apakah simpul dari sebuah grafik, misalnya , dapat dipartisi menjadi 3 klik. Masalah ini NP-hard dengan pengurangan sederhana dari masalah 3-colorability. Tidak sulit untuk melihat bahwa jawaban untuk masalah ini mudah ketika diam ( G ) = 1 atau diam ( G ) > …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Jawab: tidak dikenal Terima kasih banyak untuk semua yang membantu memperbaiki pertanyaan ini dan definisi yang terkait dengannya. Definisi wiki ini memberikan titik awal untuk wiki TCS yang lebih baru " Apakah P berisi bahasa yang keberadaannya tidak bergantung pada PA atau ZFC? (Wiki komunitas TCS) ". Wiki yang lebih …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Misalkan kita memiliki semigroup dengan elemen S = { s 1 , s 2 , ... , s n } . Tujuan kami adalah menghitung produk s i ∘ s i + 1 ∘ ⋯ ∘ s j .( S, ∘ )(S,∘)(S,\circ)S= { s1, s2, … , Sn}S={s1,s2,...,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracessaya∘ si …

11 cc.complexity-theory  graph-theory  ds.data-structures 

Dalam sistem kontrol versi terdistribusi (seperti Mercurial dan Git ) ada kebutuhan untuk secara efisien membandingkan grafik asiklik terarah (DAG). Saya adalah pengembang Mercurial, dan kami akan sangat tertarik untuk mendengar tentang karya teoretis yang membahas kompleksitas waktu dan jaringan membandingkan dua DAG. DAGs yang dimaksud dibentuk oleh revisi yang …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

Saya kira itu akan disebut # P-Space tetapi saya hanya menemukan satu artikel yang samar-samar menyebutkannya. Bagaimana dengan versi penghitungan masalah EXP-TIME-Complete, NEXP-Complete serta EXP-SPACE-Complete? Apakah ada karya sebelumnya yang dapat dikutip sehubungan dengan ini atau jenis inklusi atau pengecualian seperti Teorema Toda?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Apa yang diketahui tentang transisi fase dalam masalah # P-Complete? Secara khusus, apakah ada transisi fase yang berbeda untuk # DNF-k-SAT dan # CNF-k-SAT? Pembaruan: Seperti yang kita ketahui, ada fase transisi dalam Random k-SAT di mana penyelesaian masalah berubah dari yang mudah ke sulit dan kembali ke mudah lagi. …

11 cc.complexity-theory  counting-complexity  phase-transition