Pertanyaan yang diberi tag «reference-request»

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 memulainya, sehingga saya tidak …

24 ds.algorithms  reference-request  lo.logic  sat 

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 terputus, grafik yang komplemennya terputus grafik reguler Grafik Outerplanar Maksimal grafik planar …

24 reference-request  graph-theory  co.combinatorics  treewidth 

Diberikan himpunan bagian dari .nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Periksa apakah ada set dengan . (Jika demikian, cari contoh, jika tidak, katakan saja "tidak")Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Solusi sepele untuk masalah ini melewati semua pasangan set dan memeriksa inklusi untuk pasangan dalam waktu , sehingga runtime keseluruhan adalah . Bisakah masalah ini diselesaikan lebih cepat? …

24 ds.algorithms  reference-request 

Dengan basis data besar dari kata-kata yang diizinkan (diurutkan menurut abjad) dan sebuah kata, cari kata dari basis data yang paling dekat dengan kata yang diberikan dalam hal jarak Levenshtein. Pendekatan naif, tentu saja, hanya menghitung jarak levenshtein antara kata yang diberikan dan semua kata dalam kamus (kita bisa melakukan …

24 ds.algorithms  reference-request  string-matching  string-search 

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 yang dibutuhkan untuk menyelesaikan masalah. Rincian lebih lanjut dapat ditemukan di sini: http://simons.berkeley.edu/programs/complexity2015 Berikut ini …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

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 , sangat sedikit yang diketahui tentang …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

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 fungsi kerja? Adakah yang pernah melakukan ini sebelumnya? Juga, ketika …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

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 makalah lama (Isoperimetric Numbers of Graphs, J. Comb. …

23 reference-request  graph-theory  spectral-graph-theory 

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 ekspresi reguler dengan eksponensial. masalah yang berkaitan dengan sistem penambahan vektor game …

23 cc.complexity-theory  reference-request  big-list 

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 ukuran yang hanya tumbuh secara …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

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 yang telah digunakan untuk membuktikan batas bawah untuk kompleksitas waktu …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Adakah yang bisa menyarankan survei yang baik dan baru-baru ini tentang penghitungan masalah dan / atau masalah yang # P.

23 cc.complexity-theory  reference-request  counting-complexity 

Misalkan kita melemparkan bola ke dalam bin, di mana . Biarkan menjadi jumlah bola yang berakhir di nampan , menjadi nampan terberat, X_ \ min menjadi nampan teringan, dan X _ {\ mathrm {sec-max}} menjadi nampan terberat kedua. Secara kasar, X_i - X_j \ sim N (0,2m / n) , …

23 reference-request  pr.probability 

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 dimensi persegi panjang dan simpul poligon dan ditanya berapa banyak …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Saya mencoba memahami hubungan antara isomorfisme grafik dan masalah subkelompok tersembunyi. Apakah ada referensi yang bagus untuk ini?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism