Pertanyaan yang diberi tag «cc.complexity-theory»

Saya baru-baru ini diingatkan tentang masalah vs. N P seperti dijelaskan oleh Stephen A. Cook di Clay Mathematics Institute.PP\mathsf{P}NPNP\mathsf{NP} Ini menarik minat saya dan saya ingin belajar lebih banyak tentang hal itu. Langkah pertama adalah mendapatkan pemahaman yang lebih dalam tentang masalah dan pemahaman tentang area secara umum. Bisakah Anda …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Biarkan G menjadi grafik yang terhubung. Apa kompleksitas penghitungan semua subgraph yang terhubung jika G dari tipe berikut? G bersifat umum. G adalah planar. G adalah bipartit. Saya tidak peduli dengan struktur atau ..., hanya perlu menghitung semua subgraph yang terhubung! Saya juga tertarik pada kompleksitas penghitungan semua subgraph yang …

12 cc.complexity-theory  graph-theory  counting-complexity 

Dengan menghitung argumen, orang dapat menunjukkan bahwa ada polinomial derajat n dalam 1 variabel (yaitu, sesuatu dari bentuk yang memiliki kompleksitas rangkaian n. Juga, seseorang dapat menunjukkan bahwa polinomial seperti x n memerlukan setidaknya log 2 n perkalian (Anda perlu itu hanya untuk mendapatkan gelar cukup tinggi). Apakah ada contoh …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

Saat bekerja pada proyek yang agak tidak terkait untuk Suresh I baru-baru ini menemukan beberapa pekerjaan yang dilakukan oleh Page dan Opper tentang sistem yang dapat dikomposisikan oleh Pengguna dan sebagian dari pekerjaan mereka secara singkat membahas masalah yang tidak dapat diverifikasi dalam waktu polinomial. Saya tidak dapat menemukan banyak …

12 cc.complexity-theory  complexity-classes 

Yang ingin saya tanyakan secara khusus adalah apakah ada kondisi yang menarik pada persentase penugasan yang memenuhi formula 3SAT untuk menjamin bahwa masalah tersebut dapat diselesaikan. Misalkan misalnya kelas masalah 3SAT yang dari 2 n kemungkinan penugasan memenuhi rumus boolean; dapatkah kita menemukan tugas yang memuaskan secara efisien? Untuk apa …

12 cc.complexity-theory  ds.algorithms  sat  np 

Hasil Baker-Gill-Solovay menunjukkan bahwa pertanyaan P = NP tidak relativize, dalam arti bahwa tidak ada bukti relativizing (tidak sensitif terhadap keberadaan oracle) yang mungkin dapat menyelesaikan pertanyaan P = NP. Pertanyaan saya adalah: Apakah ada hasil yang serupa untuk pertanyaan, "Apakah ada masalah lengkap PH?" Jawaban negatif untuk pertanyaan ini …

12 cc.complexity-theory  complexity-classes 

Oleh http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Jika adalah bahasa PSPACE-lengkap, P A = N P A .AAAPA=NPAPA=NPAP^{A}=NP^{A} Jika adalah oracle waktu polinomial deterministik, P B ≠ N P B (dengan asumsi P ≠ N P ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP adalah kelas masalah keputusan analog untuk # P dan P ⊆ P P ⊆ P S …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Lagi-lagi masalah pembagian-tepi yang kerumitannya membuat saya penasaran, termotivasi oleh pertanyaan saya sebelumnya . Input: grafik kubik G = ( V, E)G=(V,E)G=(V,E) Pertanyaan: apakah ada partisi ke E 1 , E 2 , ... , E s , sehingga subgraph disebabkan oleh masing-masing E i adalah salah cakar (yaitu K …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Formulasi setara PCP teorema adalah: Untuk Max 3-SAT itu adalah -Hard untuk membedakan antara formula satisfiable dan formula mana paling r -fraction klausul yang satisfiable (untuk beberapa r < 1 ).NPNPNPrrrr<1r<1r\lt 1 Apakah ada teorema dikotomi diketahui yang mengklasifikasikan semua CSP Max berdasarkan apakah ada celah yang sulit atau tidak? …

12 cc.complexity-theory  pcp  csp 

Kertas Lauri Hella dan José María Turull-Torres, Komputasi kueri dengan logika tingkat tinggi , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 mengusulkan logika VO, variabel-order logic. Ini memungkinkan kuantifikasi atas pesanan atas variabel. VO cukup kuat dan dapat mengungkapkan beberapa pertanyaan yang tidak dapat dihitung. (Seperti yang ditunjukkan oleh …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Misalkan { 0 , . . . , N - 1 } dan ∘ : S × S → S . Saya ingin menghitung kompleksitas komunikasi untuk memutuskan apakah ∘ asosiatif.S=S=S=0,...,n−10,...,n−10,...,n-1∘:S×S→S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ Modelnya adalah sebagai berikut. diberikan sebagai matriks M . Alice (resp. Bob) diberikan …

12 cc.complexity-theory  communication-complexity 

Apa masalah lain yang berbeda dari bahasa isomorfisme grafik dalam ? Bisakah Anda memberikan beberapa referensi?NP∩coAMNP∩coAMNP\cap coAM Update: Saya lupa menyebutkan bahwa saya tertarik dalam bahasa yang tidak dikenal berada di .coNPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Saya membaca buktinya dari sini dan saya menemukan masalah teknis (yang sangat penting). Saya tahu ini agak spesifik dan konteksnya bermasalah, tetapi saya sendiri tidak bisa memahaminya. Di halaman 51 dan 55, setelah menyajikan verifier "standar", mereka beralih untuk memodifikasi verifier untuk memeriksa pembagian tugas. Dalam kasus pertama (p. 51) …

12 cc.complexity-theory  pcp 

Pengamatan mudah adalah bahwa jika masalah adalah decidable oleh program non-deterministik waktu polinomial menggunakan O ( log n ) bit nondeterministic (yaitu, semua saksi yang logaritmik panjang), kemudian A ∈ P .SEBUAHAAO(logn)O(log⁡n)O(\log n)A∈PA∈PA \in \mathsf{P} Jika seseorang kemudian mengajukan pertanyaan, "Apakah lebih mudah memverifikasi saksi daripada menemukannya?" untuk masalah seperti …

12 cc.complexity-theory 

Apa saja (tidak terkenal) pernyataan bahwa jika benar, PH harus runtuh? Balasan yang berisi pernyataan tingkat tinggi pendek dengan referensi dihargai. Saya mencoba mencari balik tanpa banyak hasil.

12 cc.complexity-theory  complexity-classes  big-list