Telah diketahui dengan baik bahwa bukti apa pun yang menyelesaikan pertanyaan P vs NP harus mengatasi relativization , bukti alami dan hambatan algebrization . Diagram berikut ini membagi "ruang bukti" menjadi beberapa wilayah. Sebagai contoh, sesuai dengan set bukti yang merelatifkan dan menaturalisasi. (Geometric Complexity Theory) tentu saja merupakan wilayah …
Hai teman-teman, saya mengerti bahwa trik padding memungkinkan kita menerjemahkan kelas kompleksitas ke atas - misalnya . Padding berfungsi dengan "menggembungkan" input, menjalankan konversi (katakanlah dari katakanlah ke ), yang menghasilkan algoritma "ajaib" yang dapat Anda jalankan pada input yang empuk. Meskipun ini masuk akal secara teknis, saya tidak bisa …
Pertimbangkan masalah berikut: diberikan formula CNF dan tugas yang memenuhi formula ini, adakah tugas lain yang memuaskan untuk formula ini? Apa kompleksitas masalah ini? (Ini pasti di NP, tetapi juga NP-keras?) Bagaimana jika Anda tidak diberi tugas dan Anda hanya ingin memutuskan apakah formula memiliki tugas memuaskan yang unik? Terima …
Peringkat tanda dari matriks A dengan entri + 1, -1 adalah peringkat paling rendah (di atas real) dari matriks B yang memiliki pola tanda yang sama dengan A (yaitu, untuk semua i , j ). Gagasan ini penting dalam kompleksitas komunikasi dan teori belajar.SEBUAHsaya jBsaya j> 0SEBUAHsayajBsayaj>0A_{ij}B_{ij}>0saya , jsaya,ji,j Pertanyaan …
RP adalah kelas masalah yang dapat diputuskan oleh mesin Turing nondeterministik yang berakhir dalam waktu polinomial, tetapi itu juga memungkinkan kesalahan satu sisi. P adalah kelas masalah yang biasa diputuskan oleh mesin Turing deterministik yang berakhir dalam waktu polinomial. P = RP mengikuti dari hubungan dalam kompleksitas sirkuit. Impagliazzo dan …
Perpotongan dua (minimal) DFA dengan n status dapat dihitung menggunakan O (n 2 ) waktu dan ruang. Ini optimal secara umum, karena DFA (minimal) yang dihasilkan mungkin memiliki n 2 status. Namun, jika DFA minimal yang dihasilkan memiliki status z, di mana z = O (n), dapatkah ia dihitung dalam …
Tentu saja, beberapa hasil kompleksitas mungkin runtuh untuk bahasa unary tapi saya bertanya-tanya apakah ada suatu survei yang merangkum hasil yang diketahui dalam kasus ini: semacam kompleksitas kebun binatang untuk bahasa unary. Apakah Anda tahu referensi seperti itu?
Saya merumuskan masalah berikut hari ini saat bermain dengan GPS saya. Ini dia : Misalkan menjadi grafik berarah sehingga jika e = ( u , v ) ∈ E maka ( v , u ) ∉ E , yaitu, G adalah orientasi dari grafik tak berarah yang mendasarinya. Pertimbangkan operasi …
Pertimbangkan pertanyaan ini diselesaikan. Saya tidak akan memilih jawaban terbaik karena mereka semua telah berkontribusi pada pemahaman saya tentang topik ini. Saya tidak yakin manfaat apa yang kita miliki dengan secara formal mendefinisikan semantik logika predikat. Tetapi saya melihat nilai dalam memiliki kalkulus bukti formal. Maksud saya adalah bahwa kita …
Saya kira saya membaca terlalu banyak makalah KoRR yang ambisius . Masalahnya adalah bahwa kertas-kertas itu tidak ditinjau oleh rekan, tetapi sering terdengar menarik dan lulus pemeriksaan masuk akal dasar. Atau mungkin tidak, dan saya hanya perlu meningkatkan pemeriksaan masuk akal saya. Berikut adalah contoh terbaru dari makalah tersebut: Pohon …
Saya tahu bahwa itu tidak dapat diputuskan untuk menentukan apakah satu set ubin dapat ubin pesawat, hasil dari Berger menggunakan ubin Wang . Pertanyaan saya adalah apakah diketahui juga tidak dapat diputuskan untuk menentukan apakah ubin tunggal yang diberikan dapat ubin pesawat, ubin monohedral . Jika ini tetap tidak pasti, …
Saya telah menemukan ketidaksepakatan yang membingungkan antara Agda dan Coq yang tidak jelas terkait dengan perbedaan yang paling dikenal antara teori tipenya (misalnya, (im) predicativity, induksi rekursi, dll). Secara khusus, definisi berikut diterima oleh Agda: data Ty : Set0 -> Set0 where c1 : Ty ℕ c2 : Ty (Ty …
Dalam jawabannya untuk pertanyaan ini , Stephane Gimenez menunjuk saya ke algoritma normalisasi waktu polinomial untuk bukti dalam logika linier. Buktinya dalam makalah Girard menggunakan jaring bukti, yang merupakan aspek dari logika linier yang sebenarnya saya tidak tahu banyak tentang itu. Sekarang, saya sudah mencoba membaca makalah tentang jaring bukti …
Saya mencari buku tentang struktur data tingkat lanjut yang melampaui apa yang dicakup dalam buku teks standar seperti Cormen, Leiserson, Rivest, dan "Pengantar Algoritma" Stein. Sebuah buku yang dapat digunakan untuk mengajar kursus tingkat pascasarjana tentang struktur data tingkat lanjut seperti Erik Demaine dan kursus Struktur Data Lanjutan André Schulz …