Ilmu Komputer Teoritis

Bertahun-tahun yang lalu saya mendengar bahwa menghitung NFA minimal (otomat hingga nondeterministik) dari DFA (deterministik) adalah pertanyaan terbuka, berlawanan dengan arah sebaliknya yang telah dikenal selama beberapa dekade dan diteliti dengan baik dengan efisien algoritma. Adakah yang datang dengan algoritma?O ( n lgn)O(nlg⁡n)O(n \lg n) Pencarian cepat memberi saya makalah …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization 

Labirin fraktal adalah labirin yang berisi salinan dirinya sendiri. Misalnya, yang berikut oleh Mark JP Wolf dari artikel ini : Mulailah di MINUS dan lanjutkan ke PLUS. Saat Anda memasukkan salinan labirin yang lebih kecil, pastikan untuk mencatat nama surat salinan itu, karena Anda harus meninggalkan salinan ini di jalan …

17 computability  fractals 

Saya mencari algoritme untuk menggabungkan dua pohon pencarian biner dengan ukuran dan jangkauan yang berubah-ubah. Cara yang jelas saya akan menerapkan ini adalah untuk menemukan seluruh sub pohon yang jangkauannya dapat masuk ke dalam simpul eksternal yang berubah-ubah di pohon lain. Namun, kasus terburuk berjalan waktu untuk jenis algoritma tampaknya …

17 ds.algorithms  ds.data-structures  tree 

Konteks: hubungan antara logika dan automata Teorema Büchi menyatakan bahwa logika Orde Kedua atas string (MSO) Monadic menangkap kelas bahasa biasa. Buktinya benar-benar menunjukkan bahwa MSO eksistensial ( exist atau EMSO ) lebih dari string sudah cukup untuk menangkap bahasa biasa. Ini mungkin sedikit mengejutkan, karena, di atas struktur umum, …

17 reference-request  lo.logic  regular-language  finite-model-theory 

Mari kita mengatakan bahwa grafik adalah -connected jika penghapusan setiap simpul dan setiap tepi dari daun selalu graf terhubung. Misalnya, grafik -connect, sesuai dengan definisi standar, adalah -connected, sesuai dengan definisi baru. Apakah ada algoritma polinomial-waktu untuk memutuskan apakah adalah -connected? Di sini saya menganggap bahwa inputnya adalah , dan …

17 ds.algorithms  graph-theory  graph-algorithms 

Mari kita asumsikan bahwa kita telah membangun komputer kuantum universal. Kecuali untuk masalah yang berhubungan dengan keamanan (kriptografi, privasi, ...) yang mana masalah dunia nyata saat ini dapat mengambil manfaat dari menggunakannya? Saya tertarik pada keduanya: masalah saat ini tidak terpecahkan untuk entri praktis, masalah yang saat ini sedang diselesaikan, …

17 quantum-computing  application-of-theory 

Pertanyaan ini mirip dengan salah satu pertanyaan saya sebelumnya. Hal ini diketahui bahwa adalah minor dilarang untuk grafik dari treewidth paling t .Kt + 2Kt+2K_{t+2}ttt Adakah keluarga yang dibangun dengan baik, parameter, dan tak terbatas grafik (selain grafik lengkap dan grafik kisi) yang minimal anak di bawah umur terlarang untuk …

17 graph-theory  co.combinatorics  treewidth  graph-minor 

Mengingat , berapa banyak k -DNF dengan n variabel dan klausa m adalah tautologi? (atau berapa banyak k -CNF yang tidak memuaskan?)m,n,km,n,km, n, kkkknnnmmmkkk

17 co.combinatorics  lo.logic  sat 

Jaringan switch (namanya diciptakan) dibuat dengan tiga jenis node: satu simpul Mulai satu simpul ujung satu atau lebih Switch node Node switch memiliki 3 pintu keluar: Kiri, Atas, Kanan; memiliki dua status L dan R dan status target TL atau TR . Setiap sakelar dapat dilintasi dengan aturan berikut: selalu …

17 ds.algorithms  reference-request  graph-algorithms  np 

SSS adalah seperangkat poin di pesawat. Titik acak diberikan pada bidang yang sama. Tugasnya adalah untuk mengurutkan semua dengan jarak Euclidean antara dan .x∉Sx∉Sx \notin Sy∈Sy∈Sy \in Sxxxyyy Pendekatan tanpa otak adalah menghitung jarak antara dan untuk semua dan kemudian mengurutkannya menggunakan algoritma cepat apa pun.xxxyyyy∈ Sy∈Sy \in S Apakah …

17 cg.comp-geom  sorting 

Apa metode yang paling dikenal untuk konvolusi siklik dengan panjang atas bidang kecil, yaitu ketika | F | ≪ n ? Saya sangat tertarik pada bidang berukuran konstan, atau bahkan F = F 2 . Pernyataan dan referensi efisiensi asimptotik umum sangat dihargai.nnn| F | ≪n|F|≪n|\mathbb{F}| \ll nF = F2F=F2\mathbb{F} …

17 ds.algorithms  reference-request 

Metode musuh negatif ( A D V±SEBUAHDV±ADV^\pm ) adalah SDP yang mencirikan kompleksitas kueri kuantum. Ini adalah generalisasi dari metode permusuhan yang banyak digunakan ( A D VSEBUAHDVADV ), dan mengatasi dua penghalang yang menghalangi metode permusuhan: Hambatan pengujian properti: jika semua 0-instans adalah εε\epsilon -far dari semua 1-instans maka …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

Baru-baru ini saya berada di sebuah konferensi yang didukung ACM. Selama jamuan makan, panitia konferensi memberi tahu kami tentang masa depan dan masa lalu konferensi. Mereka memberi tahu kami bahwa selama konferensi edisi 2010 ada kerugian $ 5.000. Mereka menunjukkan kepada kami anggaran konferensi sebelumnya di mana kami dapat melihat …

17 soft-question  conferences 

Saya baru-baru ini membaca bukti yang dimaksudkan untuk menunjukkan bahwa masalah adalah NP-hard sangat, hanya dengan mengurangi itu (dalam waktu polinomial) dari masalah NP-hard. Ini tidak masuk akal bagi saya. Saya akan berpikir bahwa Anda harus menunjukkan bahwa angka apa pun yang digunakan dalam pengurangan dan contoh masalah yang Anda …

17 cc.complexity-theory  np-hardness  reductions 

Saya telah diberitahu bahwa ada beberapa waktu algoritma polinomial baik untuk mendekati jumlah jalur sederhana dalam grafik diarahkan dari yang diberikan mulai vertex untuk diberikan berakhir vertex . Adakah yang tahu referensi yang bagus tentang hal ini?sssttt Latar belakang: menghitung jumlah persis jalur dalam grafik umum adalah # P-complete tetapi …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity