Masalah " kedua " adalah masalah menentukan keberadaan solusi lain yang berbeda dari beberapa solusi yang diberikan misalnya masalah.XXX Untuk beberapa masalah -complete, versi solusi kedua adalah N P -complete (memutuskan keberadaan solusi lain untuk masalah penyelesaian persegi Latin parsial)...
Impagliazzo, Paturi dan Calabro, Impagliazzo, Paturi memperkenalkan Hipotesis Eksponensial-Waktu (ETH) dan Hipotesis Eksponensial- Kuat (SETH). Secara kasar, SETH mengatakan bahwa tidak ada algoritma yang memecahkan SAT dalam waktu . 1.99n1.99n1.99^n Saya bertanya-tanya apa artinya menghancurkan...
Saya mencari kelas kompleksitas yang berhubungan dengan APX karena BPP berhubungan dengan P. Saya sudah mengajukan pertanyaan yang sama di sini , tapi mungkin TCS akan menjadi lokasi yang lebih berbuah untuk jawaban. Alasan untuk pertanyaan ini adalah bahwa dalam masalah praktis kita sering perlu...
Apakah Anda tahu masalah yang W [1] -dig bahkan untuk grafik derajat terbatas? Dimensi Metrik sulit pada grafik dengan derajat paling banyak 3, tetapi W [2] -dengan keras. Red-Blue Nonblocker dulunya adalah W [1] -berat pada grafik derajat terbatas tetapi ada kesalahan dalam pembuktiannya (buku...
Apakah ada cara terdokumentasi untuk menghitung simpul? (Lingkaran tertanam dalam ruang Euclidean 3 dimensi). Maksud saya, tipe data untuk mewakili mereka, dan suatu algoritma untuk menentukan apakah dua contoh dari tipe data mewakili simpul yang sama. Jika jawabannya positif, bagaimana dengan...
Apakah klaim berikut diketahui? Klaim : Untuk setiap grafik dengan simpul ada pewarnaan sehingga setiap set independen diwarnai oleh paling banyak warna .n G O ( √GGGnnnGGGO (
Saya punya pertanyaan tentang fungsi murni. Menurut halaman Wikipedia salah satu syarat untuk fungsi murni adalah: Evaluasi hasil tidak menyebabkan efek samping atau keluaran yang dapat diamati secara semantik, seperti mutasi objek yang dapat berubah atau keluaran ke perangkat I / O. Sekarang...
Sejauh yang saya tahu, norma faktorisasi batas bawah yang diberikan oleh Linial dan Shraibman pada dasarnya adalah satu-satunya batas bawah yang dikenal dengan kompleksitas komunikasi kuantum (atau paling tidak itu mencakup semua yang lain). Apakah ada bukti bahwa ikatan ini ketat? Norma...
Dalam Teorema Gratis! , Wadler mengatakan bahwa karakterisasi parametrik dapat diekspresikan kembali dalam hal transformasi alami yang lemah dan ini akan menjadi subjek makalah lebih lanjut. Kertas mana yang dia maksud? Pendekatan kategoris ke paramtericty saya tahu menggunakan transformasi...
Sebuah graf planar adalah grafik yang dapat tertanam di pesawat, tanpa harus melintasi tepi. Misalkan menjadi k -seragam-hypergraph, yaitu hypergraph sedemikian rupa sehingga semua hyperedges-nya memiliki ukuran k.G=(X,E)G=(X,E)G=(X,E)kkk Telah ada beberapa pekerjaan yang dilakukan untuk...
Setelah membaca pertanyaan terkait , tentang bukti keberadaan algoritma yang tidak konstruktif, saya bertanya-tanya apakah ada metode untuk menunjukkan keberadaan mesin komputasi "kecil" (katakanlah, bijaksana) tanpa benar-benar membangunnya. Secara formal: misalkan kita diberi beberapa bahasa...
Teori tipe Martin-Löf menggunakan tipe-W untuk mendefinisikan struktur induktif seperti bilangan bulat, daftar, dll. Namun, kalkulus konstruksi induktif tidak menggunakannya dengan cara yang sama, tipe induktif tampaknya lebih mirip skema aksioma. Apakah kedua pendekatan ini setara (tampaknya)?...
Dilambangkan dengan tingkat keluar minimal dalam G , dan oleh δ - ( G ) yang minimal dalam derajat.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) Dalam pertanyaan terkait , saya telah menyebutkan perluasan Ghouila-Houri dari teorema Dirac pada siklus Hamilton , yang menunjukkan bahwa jika maka G...
Jadi, masalah cover set sepele jika tidak ada set kandidat berpotongan satu sama lain. Namun, bagaimana jika ukuran persimpangan untuk setiap pasangan calon paling banyak 1? Apakah ini masalah NP-hard? Saya sangat menghargai wawasan apa pun. Terima kasih,
Inilah masalah dengan cita rasa yang mirip dengan belajar junta: Input: Fungsi f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , diwakili oleh oracle keanggotaan, yaitu oracle yang diberikan xxx , mengembalikan f(x)f(x)f(x) . Sasaran: Temukan subkelompok SSS dari...
Seperti yang disebutkan @Marzio, game berikut ini dikenal sebagai Generalized Geography . Diberikan grafik dan simpul awal v ∈ V , permainan didefinisikan sebagai berikut:G = ( V, E)G=(V,E)G=(V,E)v ∈ Vv∈Vv \in V Di setiap belokan (dua pemain bergantian), seorang pemain memilih , dan kemudian...
Bukti standar bahwa BQPSPACE ada di PSPACE bergantung pada analisis jenis permainan Savitch pada integral path. Namun, ini mengasumsikan waktu berjalan untuk BQPSPACE paling lama secara eksponensial. Ini berlaku untuk PSPACE, tetapi untuk sistem kuantum tertutup dengan jumlah derajat kebebasan yang...
Saya mencoba memahami apa yang terlibat dalam penelitian ilmu komputer teoretis. Apa yang dilakukan ilmuwan komputer teoretis? Saya tahu waktu yang signifikan dihabiskan untuk mengajar, mengawasi mahasiswa pascasarjana, melamar pendanaan, dan tugas departemen. Mengesampingkan mereka bagaimana Anda...
Crossposted dari MO . Misalkan adalah kelas grafik yang didefinisikan oleh sejumlah terbatas dari subgraph yang diinduksi terlarang, yang semuanya adalah siklik (mengandung setidaknya satu siklus).CCC Apakah ada masalah grafik NP-hard yang dapat diselesaikan dalam waktu polinomial untuk selain...
Pertimbangkan grafik (masalahnya masuk akal untuk grafik langsung dan tidak langsung). Sebut M G matriks jarak G : M G [ i , j ] adalah jarak lintasan terpendek dari simpul i ke simpul j dalam G untuk fungsi agregasi tetap tertentu (misalnya + atau maks ).GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i,...