Saya ingin membuat pemecah SAT pertama. Saya tahu kompetisi SAT dan konferensi SAT, dan ada begitu banyak makalah tentang hal ini. Saya seorang pemula, seorang pemula yang kewalahan. Di mana saya harus mulai? Akhirnya saya ingin mendorong yang canggih. Saya ingin beberapa saran ahli tentang cara...
Dugaan rekonstruksi mengatakan bahwa grafik (dengan setidaknya tiga simpul) ditentukan secara unik oleh subgraf yang dihapus dari verteks. Dugaan ini berusia lima dekade. Mencari literatur yang relevan, saya menemukan bahwa kelas grafik berikut diketahui dapat direkonstruksi: pohon grafik...
Sunting: Saya pertama kali salah mengartikan kendala saya (2), sekarang sudah diperbaiki. Saya juga menambahkan lebih banyak informasi dan contoh. Dengan beberapa rekan, mempelajari beberapa pertanyaan algoritmik lainnya, kami dapat mengurangi masalah kami menjadi masalah menarik berikut, tetapi...
Untuk konstanta , seseorang dapat menentukan dalam waktu linier, diberikan grafik input , apakah treewidth -nya adalah . Namun, ketika dan diberikan sebagai input, masalahnya adalah NP-hard. ( Sumber ). Gk ∈ Nk∈Nk \in \mathbb{N}GGGk G≤ k≤k\leq kkkkGGG Namun, ketika grafik input adalah planar ,...
Saya mencoba memahami hubungan antara isomorfisme grafik dan masalah subkelompok tersembunyi. Apakah ada referensi yang bagus untuk
Masalah Tidak Semua Sama dengan -SAT (NAE k -SAT), diberikan satu set C klausa atas seperangkat X variabel boolean sehingga setiap klausa berisi paling banyak k literal, menanyakan apakah ada penugasan kebenaran dari variabel sedemikian rupa sehingga setiap klausa berisi setidaknya satu true dan...
Teori kompleksitas, melalui konsep-konsep seperti NP-kelengkapan, membedakan antara masalah komputasi yang memiliki solusi yang relatif efisien dan yang tidak bisa dipecahkan. Kompleksitas "berbutir halus" bertujuan untuk menyaring perbedaan kualitatif ini menjadi panduan kuantitatif tentang waktu...
Untuk alfabet yang terbatas tetap ΣΣ\Sigma , bahasa formal LLL lebih ΣΣ\Sigma adalah biasa jika ada sebuah robot yang terbatas deterministik (DFA) lebih ΣΣ\Sigma yang menerima persis LLL . Saya tertarik pada bahasa yang "hampir" teratur dalam arti bahwa mereka dapat dikenali oleh automata keluarga...
Saya tertarik pada masalah pengemasan salinan identik persegi panjang (2 dimensi) menjadi cembung (2 dimensi) poligon tanpa tumpang tindih. Dalam masalah saya, Anda tidak diperbolehkan memutar persegi panjang dan dapat mengasumsikan bahwa mereka berorientasi paralel dengan sumbu. Anda hanya diberi...
Adakah yang bisa menyarankan survei yang baik dan baru-baru ini tentang penghitungan masalah dan / atau masalah yang # P.
Saat ini bitcoin memiliki sistem proof of work (PoW) menggunakan SHA256. Fungsi hash lainnya menggunakan bukti sistem kerja menggunakan grafik, inversi fungsi hash parsial. Apakah mungkin untuk menggunakan masalah Keputusan dalam Knot Theory seperti pengakuan Knot dan menjadikannya sebagai bukti...
Beberapa dari Anda mungkin telah mengikuti pertanyaan ini , yang ditutup karena tidak menjadi level penelitian. Jadi, saya mengekstraksi bagian pertanyaan yang ada di tingkat penelitian. Di luar teknik "sederhana", seperti mengurangi menjadi penyortiran atau masalah lengkap EXPTIME, teknik apa...
Saya telah membaca banyak artikel yang menentukan konstanta Cheeger dari sebuah grafik adalah N PNP\mathsf{NP} -hard. Tampaknya itu adalah teorema rakyat, tetapi saya belum pernah menemukan kutipan atau bukti untuk pernyataan ini. Siapa yang harus saya beri penghargaan untuk itu? Dalam sebuah...
Saat ini saya mencoba untuk menemukan masalah EXPSPACE-lengkap (terutama untuk menemukan inspirasi untuk pengurangan), dan saya terkejut dengan sejumlah kecil hasil yang muncul. Sejauh ini, saya menemukan ini, dan saya kesulitan memperluas daftar: universalitas (atau sifat-sifat lainnya) dari...
Ketika mendesain algoritma aproksimasi seseorang kadang-kadang memecahkan program semidefinite diikuti oleh langkah pembulatan. Contoh yang sering digunakan untuk menggambarkan ini adalah Max-Cut. (Lihat misalnya Algoritma Aproksimasi oleh Vijay Vazirani.) Apakah ada sumber atau survei pendidikan...
Ketika bermain-main dengan parsing LR noncanonical, saya memikirkan metode parsing (dengan tabel berukuran tak terbatas, yang membuatnya agak tidak taktis ) yang mampu mengurai persis tata bahasa yang tidak ambigu dalam waktu , dan saya bertanya-tanya apakah mungkin untuk melakukan yang lebih baik...
Saya baru menyadari bahwa saya mengasumsikan jawaban untuk pertanyaan saya adalah "ya" tetapi saya tidak punya alasan yang bagus. Saya membayangkan bahwa mungkin ada pengumpul sampah yang terbukti hanya memperkenalkan pelambatan terburuk. Apakah ada referensi definitif yang bisa saya kutip? Dalam...
Adakah yang tahu tentang referensi yang secara tepat menjelaskan hubungan antara algoritma unifikasi dan eliminasi Gaussian? Saya sangat tertarik pada hubungan antara substitusi segitiga dan dekomposisi LU. Wayne Snyder dan Jean Gallier menyebutkan analogi ini dalam makalah mereka, Higher-Order...
Saya ingin tahu makalah apa yang harus saya baca untuk memahami pertanyaan ini Koneksi tak terduga ke bidang matematika lain seperti geometri aljabar atau kohomologi yang lebih tinggi. Mungkin bahkan bidang matematika belum berkembang. Mungkin seseorang akan mengembangkan arah yang sama sekali...
Sebuah tensor adalah generalisasi dari vektor dan matriks untuk dimensi yang lebih tinggi dan peringkat dari tensor juga generalizes pangkat matriks. Yakni, peringkat dari tensor adalah jumlah minimal peringkat satu tensor bahwa jumlah untuk T . Vektor dan matriks masing-masing adalah tensor...