Pertanyaan yang diberi tag «cc.complexity-theory»

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 grafik Hamiltonian kubik, Apa kompleksitas menemukan jumlah siklus Hamiltonian? Apakah itu …

15 cc.complexity-theory  counting-complexity 

Savitch memberikan algoritma deterministik untuk menyelesaikan st-konektivitas menggunakan ruang , menyiratkan N L ⊆ D S P A C E ( log 2 n ) . Algoritma Savitch berjalan dalam waktu 2 O ( log 2 n ) . Ini adalah masalah terbuka utama apakah st-konektivitas dapat diselesaikan dengan algoritma …

15 cc.complexity-theory  space-bounded 

Dalam presentasi tahun 2006 berjudul EXPANDER GRAPHS - APAKAH ADA KIRI MISTERI? , Nati Linial mengajukan masalah terbuka berikut: Yang mana -hard masalah komputasi pada grafik tetap sulit ketika dibatasi untuk grafik expander?NPNPNP Sejak itu, Apakah ada kemajuan yang dibuat untuk membuktikan hasil seperti itu untuk masalah ?NPNPNP

15 cc.complexity-theory  np-hardness  expanders 

m o n o t o n emHainHaitHainemonotone

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

Ini adalah tindak lanjut dari pertanyaan ini , dan terkait dengan pertanyaan Siwa Kinali ini. Tampaknya bukti dalam makalah ini ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) menggunakan teorema hierarki. Saya ingin tahu apakah buktinya adalah teorema diagonalisasi " murni ", atau apakah mereka menggunakan sesuatu yang lebih dari diagonalisasi …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

Saya selalu tertarik dengan kurangnya bukti numerik dari matematika eksperimental untuk atau menentang pertanyaan P vs NP. Sementara Hipotesis Riemann memiliki beberapa bukti pendukung dari verifikasi numerik, saya tidak mengetahui bukti serupa untuk pertanyaan P vs NP. Selain itu, saya tidak mengetahui adanya konsekuensi dunia fisik langsung dari keberadaan masalah …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Mohon maaf sebelumnya jika pertanyaan ini terlalu sederhana. Pada dasarnya, yang ingin saya ketahui adalah jika ada fungsi f(x)f(x)f(x) dengan properti berikut: Ambil fn(x)fn(x)f_n(x) menjadi f(x)f(x)f(x) saat domain dan kode domain dibatasi untuk string nnn bit. Kemudian fn(x)fn(x)f_n(x) bersifat injeksi fn(x)fn(x)f_n(x) bersifat surjektif fn(x)fn(x)f_n(x) membutuhkan sumber daya yang sangat sedikit …

15 cc.complexity-theory 

Kelas struktur herediter (misalnya grafik) adalah yang ditutup di bawah substruktur yang diinduksi, atau setara, ditutup di bawah penghapusan verteks. Kelas grafik yang mengecualikan minor memiliki properti bagus yang tidak bergantung pada minor yang dikecualikan tertentu. Martin Grohe menunjukkan bahwa untuk kelas grafik tidak termasuk minor ada algoritma polinom untuk …

15 cc.complexity-theory  graph-theory  relational-structures 

Masalah P dikatakan dalam APX jika ada beberapa konstanta c> 0 sedemikian sehingga algoritma aproksimasi waktu polinom ada untuk P dengan faktor aproksimasi 1 + c. APX berisi PTAS (terlihat hanya dengan memilih konstanta c> 0) dan P. Apakah APX dalam NP? Secara khusus, apakah keberadaan algoritma perkiraan polinomial-waktu untuk …

15 cc.complexity-theory  complexity-classes  apx 

Diberi bahasa L yang didefinisikan oleh Turing Machine yang memutuskannya, apakah mungkin menentukan secara algoritmik apakah L terletak pada NP?

15 cc.complexity-theory  computability  turing-machines 

Dalam karya terbaru kami, kami menyelesaikan masalah komputasi yang muncul dalam konteks kombinatorial, dengan asumsi bahwa , di mana ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} adalah versi E X P dari ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Satu-satunya kertas di ⊕⊕P⊕P\mathsf{\oplus{}P} yang kami temukan adalahmakalahBeigel-Buhrman-Fortnow1998yang dikutip diComplexity Zoo. Kami memahami bahwa kita dapat mengambil versi paritas N …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Kelas kompleksitas BQP sesuai dengan subrutin kuantum waktu polinomial mengambil input klasik dan mengeluarkan output klasik probabilistik. Saran kuantum memodifikasi bahwa untuk memasukkan salinan beberapa status saran kuantum yang telah ditentukan tetapi dengan input klasik seperti biasa. Apa kelas kompleksitas untuk subrutin kuantum waktu polinomial yang mengambil status kuantum arbitrer …

15 cc.complexity-theory  complexity-classes  quantum-computing 

Kami sering mempertimbangkan kelas kompleksitas di mana kami dibatasi dalam jumlah ruang yang dapat digunakan mesin Turing kami, misalnya: atau . Tampaknya pada awal teori kompleksitas ada banyak keberhasilan dengan kelas-kelas ini seperti teorema ruang-hierarki dan penciptaan pada kelas-kelas penting seperti dan . Apakah ada definisi analog untuk perhitungan kuantum? …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

Apa variasi berikut pada penutup yang dikenal sebagai? Diberikan himpunan S, kumpulan C himpunan bagian dari S dan bilangan bulat positif K, apakah ada set K di C sehingga setiap pasangan elemen S terletak di salah satu himpunan bagian yang dipilih. Catatan: Tidak sulit untuk melihat bahwa masalah ini adalah …

15 np-hardness  set-cover  cc.complexity-theory 

Masalah terkait: Teorema Veblen menyatakan bahwa "Sebuah grafik mengakui dekomposisi siklus jika dan hanya jika itu genap". Siklusnya adalah edge disjoint, tetapi tidak harus simpul disjoint. Dengan kata lain, "Kumpulan tepi grafik dapat dipartisi menjadi siklus jika dan hanya jika setiap titik memiliki derajat genap." Masalah saya: Saya bertanya-tanya apakah …

15 cc.complexity-theory  graph-theory  co.combinatorics