Apakah permainan informasi yang sempurna ini dimainkan pada grafik yang diketahui / dipelajari? Diberikan grafik , dua pemain bergantian memilih tepi atau simpul yang terisolasi. Jika pemain memilih tepi e = ( u , v ) dua simpul u dan v dihapus bersama dengan tepi insidennya. Jika pemain memilih...
Saya mencari masalah NP-hard sangat untuk pengurangan. Sejauh ini saya telah menemukan masalah berikut: Masalah 3-partisi masalah bin-packing Pencocokan numerik 3 dimensi TSP Setiap masalah NP-lengkap tanpa data numerik, misalnya, KEPUASAN, SIKLUS HAMILTONIAN, 3-KOLABURITAS. Apakah ada yang...
Diberikan dua himpunan bagian dari hypercube dimensional (yaitu, M , N ⊆ { 0 , 1 } d ), saya mencari algoritma yang mengambil titik m ∈ M , n ∈ N pada jarak hamming (atau L 1 - jarak pada hypercube) d H ( m , n ) minimal. Algoritma naif yang memeriksa hanya setiap pasangan membutuhkan | M | ⋅ | N |...
Pada cs.stackexchange saya bertanya tentang perpustakaan scala algebird di github, berspekulasi tentang mengapa mereka mungkin membutuhkan paket aljabar abstrak. Halaman github memiliki beberapa petunjuk: Implementasi Monoids untuk algoritme aproksimasi yang menarik, seperti filter Bloom,...
Saya mencari struktur data dan algoritma untuk menghitung jumlah minimum perubahan yang diperlukan untuk mengubah satu kata menjadi kata lain, mengingat dua kata sebagai input, di mana satu-satunya perubahan yang diizinkan adalah tambahkan surat di salah satu ekstremitas (misalnya, AB ->...
Saya punya beberapa pertanyaan tentang menipu sirkuit kedalaman konstan. Ini diketahui bahwa kemerdekaan-bijaksana adalah diperlukan untuk menipu A C 0 sirkuit kedalaman d , di mana n adalah ukuran input. Bagaimana seseorang bisa membuktikan
Saya mencoba memahami protokol bitcoin dalam konteks keamanan kriptografi komputasi. Pertanyaannya adalah permintaan referensi untuk dasar artikel kriptografi di bitcoin. Pertanyaan pertama saya adalah protokol bitcoin kriptografi abstrak apa yang coba diimplementasikan? Apakah kita memiliki...
Saya ingin tahu apakah ada dunia yang direlatifikasi di mana . Saya juga tertarik untuk mengetahui apakah ada dunia yang direlatifikasi di mana .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf
Secara kasar matriks peringkat dikatakan kaku, jika menurunkan peringkatnya menjadi nnnn , kita harus mengubah setidaknyan1+ϵdari entri, untuk beberapaϵ>0.n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 Jika matriks A kaku, maka program garis lurus terkecil yang mengkomputasi A x...
Saya, seperti banyak orang, adalah pengguna perangkat lunak matematika yang tajam seperti Mathematica dan Maple. Namun, saya menjadi semakin frustrasi dengan banyak kasus di mana perangkat lunak seperti itu hanya memberi Anda jawaban yang salah tanpa peringatan. Ini dapat terjadi ketika melakukan...
Biarkan menjadi jarak rata-rata dari grafik yang terhubungG .a d ( G )ad(G)\rm{ad}(G)G .G.G. Salah satu cara untuk menghitung adalah dengan menjumlahkan elemen matriks jarak dan menskalakan jumlah dengan tepat.D ( G ) , Ga d ( G )ad(G)\rm{ad}(G)D ( G ) ,D(G),D(G),GGG Jika grafik output adalah...
Asisten mengajar mata kuliah telah berhasil menulis sebuah program yang (secara deterministik) menghasilkan pertanyaan-pertanyaan ujian yang sulit. Sekarang, dia ingin menulis sebuah program yang menghasilkan jawaban yang sesuai. Masalah Penguji menanyakan apakah ini selalu mungkin; yang Pemeriksa...
Saya mencoba untuk memahami hubungan antara kompleksitas algoritmik dan kompleksitas rangkaian Determinants dan Matrix Multiplication. Hal ini diketahui bahwa determinan dari suatu matriks dapat dihitung dalam ~ O ( M ( n ) ) waktu, di mana M ( n ) adalah waktu minimum yang diperlukan untuk...
Diketahui bahwa beberapa kelas kompleksitas sintaksis (tidak berhubungan) antara PP{\bf P} dan P S P A C EPSPACE{\bf PSPACE} memiliki properti berikut, P ⊆ C o N P ⊆ U S ⊆ C=P ⊆ P P ⊆ P S P A C EP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq...
Ini adalah tindak lanjut dari pertanyaan saya sebelumnya: Kompleksitas waktu deterministik yang diketahui paling baik untuk masalah alami dalam NP Saya merasa bingung bahwa kami belum dapat membuktikan waktu deterministik kuadratik lebih rendah untuk masalah NP yang menarik yang orang pedulikan...
Bagian dari kesulitan untuk mengetahui lebih lanjut tentang masalah ini adalah bahwa masalah pencocokan grafik berbeda dari sepupunya yang jauh lebih terkenal, masalah pencocokan, tetapi sulit dibedakan dari itu ketika menggunakan mesin pencari. Diberikan dua grafik G=(V,E)G=(V,E)G=(V,E) dan...
Sementara aturan praktisnya adalah bahwa dalam makalah TCS penulis diperintahkan berdasarkan abjad, ada beberapa contoh tandingan yang muncul di benak, di mana penulis diperintahkan dengan cara yang berbeda, misalnya, Metode Aljabar untuk Sistem Bukti Interaktif [Lund, Fortnow, Karloff,...
Ingat diameter dari grafik adalah panjang jalur terpanjang terpendek di G . Diberikan grafik, algoritma yang jelas untuk komputasi diam ( G ) memecahkan semua masalah jalur terpendek (APSP) semua-pasangan dan mengembalikan panjang jalur terpanjang yang
Semua pemecah #SAT yang saya tahu, misalnya RelSat, C2D, hanya mengembalikan jumlah instance yang memuaskan. Tapi saya ingin tahu masing-masing contoh itu? Apakah ada solver #SAT atau bagaimana saya harus memodifikasi solver #SAT yang tersedia untuk melakukan ini? Terima
Ini mungkin pertanyaan yang sangat sederhana. Tetapi apa perbedaan antara jenis dan jenis? Pemahaman saya saat ini adalah bahwa Anda memiliki teori tipe dengan aturan tipe yang memberikan gagasan tentang pernyataan yang diketik dengan baik tetapi jenisnya lebih mendasar, membedakan simbol menjadi...