Pertanyaan yang diberi tag «cc.complexity-theory»

Berat |x||x||x|dari string biner x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n adalah jumlah yang ada dalam string. Apa yang terjadi jika kita tertarik untuk menghitung fungsi monoton pada input dengan sedikit? Kita tahu bahwa memutuskan apakah sebuah grafik memiliki kkk -clique sulit untuk rangkaian monoton (lihat antara lain Alon Boppana, 1987), tetapi jika sebuah grafik memiliki …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Seperti diketahui, masalah optimasi NP-hard dapat memiliki banyak rasio pendekatan yang berbeda, mulai dari memiliki PTAS hingga tidak dapat diperkirakan dalam faktor apa pun. Di antaranya, kita memiliki berbagai konstanta, , p o l y ( n ) , dll.O ( logn )O(log⁡n)O(\log n)p o l y( n )poly(n)poly(n) Apa …

12 cc.complexity-theory  approximation-hardness 

Zoologi Kompleksitas oleh Greg Kuperberg menyatakan bahwa ada bahasa sehingga \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {\ Delta_2 \ mathsf {P}} ^ X - dengan kata lain, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - tetapi tidak memberikan …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

Apa masalah standar yang dapat kita kurangi untuk membuktikan batas bawah?Ω ( n logn )Ω(nlog⁡n)\Omega(n\log n) Tentu saja, nyatakan masalah selain penyortiran dan perbedaan elemen.

12 cc.complexity-theory  lower-bounds 

SAT unik adalah masalah yang terkenal: diberi rumus CNF , apakah benar F memiliki satu model?FFFFFF Saya tertarik pada masalah «Persis -SAT»: diberikan rumus CNF F dan integer m > 1 , apakah benar F memiliki model m persis ?mmmFFFm > 1m>1m>1FFFmmm Kedua masalah terlihat serupa. Jadi pertanyaan saya adalah: …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

adalah kelas konstan mendalam sirkuit polinomial-ukuran dengan TIDAK gerbang dan tak terbatas fan-in AND dan gerbang OR, di mana input dan gerbang juga memiliki fanout tak terbatas.AC0AC0AC^0 Sekarang pertimbangkan sebuah kelas baru, sebut saja yang seperti A C 0 tetapi input dan gatesnya paling banyak O ( 1 ) . …

12 cc.complexity-theory  circuit-complexity 

Diberikan urutan angka, dapatkah itu diurutkan dengan perbandingan O ( n ln n ) dan O ( n ) swap / gerakan? Setiap penunjuk ke publikasi tentang hal itu atau tandingan yang menunjukkan batas bawah Ω ( n ln n ) akan membantu.nnnO ( n lnn )O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln …

12 cc.complexity-theory  ds.algorithms 

Saya mencari logika modal, yang dixiomatiskan oleh serangkaian aksioma terbatas dari modal nesting depth one, dan yang masalah kelayakan / derabilitasnya tidak mungkin terjadi di PSPACE. Tanpa batasan pada modal nesting depth ini bukan masalah, lihat misalnya PDL. Tetapi tampaknya dalam membuktikan misalnya EXPTIME-hardness dengan mereduksi ke beberapa jenis masalah …

12 cc.complexity-theory  lo.logic  modal-logic 

Pertimbangkan masalah berikut, Mengingat satu set bilangan positif { a 1 , ... , a n } dimana k ≥ 3 adalah konstanta, kita ingin partisi set ke m himpunan bagian dari ukuran k sehingga produk dari jumlah setiap bagian dimaksimalkan.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Pertanyaan ini mirip dengan masalah NP-hard pada pohon : Ada sejumlah besar masalah NP-lengkap yang dapat ditelusuri pada cographs . Apakah ada masalah yang diketahui yang tetap melengkapi NP ketika dibatasi untuk cographs? Untuk lebih tepatnya saya tertarik pada contoh-contoh di mana input semata-mata terdiri dari tanda kutip, tidak tertimbang …

12 cc.complexity-theory  np-hardness  graph-algorithms 

Sudah banyak diketahui bahwa formula CNF dapat secara kasar dipartisi dalam 2 kelas besar: acak vs. terstruktur. Rumus CNF terstruktur, bertentangan dengan rumus CNF acak, menunjukkan semacam keteraturan, menunjukkan pola yang tidak mungkin terjadi secara kebetulan. Namun, orang dapat menemukan formula terstruktur yang menunjukkan tingkat keacakan (yaitu kelompok klausa tertentu …

12 cc.complexity-theory  sat  randomness  symmetry 

Ada 4 batasan berbeda yang bisa kita miliki ketika mendefinisikan K-SAT Acak. 1) Jumlah total literal dalam klausa tertentu persis K atau AT paling banyak K 2) Literal yang diberikan dapat digunakan dengan atau tanpa penggantian dalam klausa yang sama (A atau A atau A) 3) Variabel yang diberikan dapat …

12 cc.complexity-theory  sat  randomness  phase-transition 

Razborov membuktikan bahwa setiap rangkaian monoton yang menghitung fungsi pencocokan sempurna untuk grafik bipartit harus memiliki setidaknya gerbang (ia menyebutnya "permanen logis"). Apakah batas bawah yang lebih baik untuk masalah yang sama telah terbukti sejak saat itu? (katakanlah 2 n ϵ ?) Sejauh yang saya ingat masalah ini terbuka pada …

12 cc.complexity-theory  circuit-complexity  matching 

Pemrograman linier, tentu saja, saat ini sangat dipahami. Kami memiliki banyak pekerjaan yang mencirikan struktur solusi yang layak, dan struktur solusi optimal. Kami memiliki dualitas yang kuat, algoritma poli-waktu, dll. Tapi apa yang diketahui tentang solusi maksimal minimum piringan hitam? Atau, setara, solusi minimal maksimum? (Ini sebenarnya bukan pertanyaan penelitian, …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Saya baca di SP Yordania, D. Gosset, "PJ Cinta masalah -Lengkap untuk Hamiltonians stoquastic dan matriks MarkovQ MSEBUAHQMAQMA " bahwa tidak mungkin bahwa .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Saya terkejut dengan pernyataan ini. Jadi apa hubungan yang tepat antara dan A M ?Q MSEBUAHQMAQMAA M.AMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma