Pertanyaan yang diberi tag «reference-request»

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 literal false.kkkkkkCCCXXXkkk Masalah PLANAR NAE -SAT …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Dalam makalah "KOMPLEKSITAS MASALAH KEPUASAN" oleh Thomas J. Schaefer, penulis telah menyebutkan bahwa This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

Saya telah berupaya memperkenalkan beberapa hasil dari kompleksitas komputasi ke dalam biologi teoretis, terutama evolusi & ekologi , dengan tujuan menjadi menarik / berguna bagi para ahli biologi. Salah satu kesulitan terbesar yang saya hadapi adalah membenarkan kegunaan analisis kasus terburuk asimptotik untuk batas bawah. Apakah ada referensi panjang artikel …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

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 Unification Revisited: Complete Sets of Transformations .

22 reference-request  lo.logic 

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 :O ( n2)HAI(n2)O(n^2) Bisakah semua tata bahasa …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

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 derajat 1 dan 2.TTTTTT Unsur-unsur di berasal dari …

22 ds.algorithms  reference-request  computability  tensor-rank 

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 baru untuk matematika untuk menangani pertanyaan P versus …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

Saya mencari referensi untuk hasil berikut: Menambahkan dua bilangan bulat dalam representasi factored sama sulitnya dengan memfaktorkan dua bilangan bulat dalam representasi biner biasa. (Saya cukup yakin itu ada di luar sana karena ini adalah sesuatu yang saya tanyakan pada suatu saat, dan kemudian bersemangat ketika akhirnya saya melihatnya di …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

Saya bertanya-tanya apakah ada pembenaran untuk percaya bahwa atau untuk percaya bahwa N L ≠ L ?NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L Diketahui bahwa . Literatur tentang derandomization dari R L ini cukup meyakinkan bahwa R L = L . Adakah yang tahu tentang beberapa artikel atau ide yang meyakinkan …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Pertanyaan ini adalah tentang kompleksitas waktu dari algoritma aliran maksimum Ford-Fulkerson ketika menggunakan DFS untuk menemukan jalur tambahan. Ada contoh terkenal yang menunjukkan bahwa menggunakan DFS seseorang dapat memerlukan jumlah iterasi linier dalam aliran maksimum, lihat misalnya halaman Wikipedia yang ditautkan di atas. Namun, saya tidak benar-benar yakin dengan contoh …

22 ds.algorithms  reference-request  max-flow 

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 yang baik melampaui masalah Max-Cut untuk menjelaskan algoritma pembulatan yang lebih kompleks dan teknik yang …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

Apakah ada masalah dalam CS di mana tidak ada algoritma efisien yang diketahui, meskipun ada teorema yang membuktikan algoritma efisien seperti itu harus ada? Apa sebutan masalah ini? Di mana saya bisa tahu lebih banyak?

22 ds.algorithms  reference-request  terminology 

Biarkan menjadi grafik. Untuk titik , mendefinisikan menjadi (terbuka) lingkungan dari di . Yaitu, . Tentukan dua simpul dalam menjadi kembar jika dan memiliki tetangga yang sama, yaitu, jika .x ∈ V N ( x ) x G N ( x ) = { y ∈ VG = ( V, …

22 ds.algorithms  reference-request  graph-algorithms 

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 kasus saya, saya sedang mengerjakan struktur data yang berfungsi …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

Apa rujukan dasar? Apakah ada survei SGT tingkat tinggi yang baik dan penerapannya pada CS secara umum dan pembelajaran mesin secara lebih spesifik?

22 reference-request  spectral-graph-theory