Seorang murid saya baru-baru ini mengajukan pertanyaan berikut: AsumsikanHaruskah ada sedemikian rupa sehinggaD T I M E ( f ( n ) ) ⊊ D T I M E ( g ( n ) ) . DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h ( n ) h(n)h(n)D T I M E ( f ( n ) ) ⊊ D T I M E ( h ( n ) ) ⊊ D T I M E ( g (...
Baru-baru ini, Babai telah menerbitkan sebuah makalah tentang STOC 2016 mengklaim bahwa grafik isomorfisme dapat diselesaikan dalam waktu quasipolynomial. Pada awal 2017, Babai mencabut klaim semasipolinomial karena beberapa kesalahan serius yang ditemukan oleh Harald Helfgott. Sebagaimana...
Teorema Savitch menunjukkan bahwa untuk semua fungsi yang cukup besar , dan membuktikan bahwa ini ketat telah menjadi masalah terbuka selama beberapa dekade. .fNSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff Misalkan kita mendekati...
Saya tertarik untuk menyortir array nilai integer positif L=v1,…,vnL=v1,…,vnL = v_1, \ldots, v_n dalam waktu linier (dalam model RAM dengan ukuran biaya seragam, yaitu, bilangan bulat dapat memiliki ukuran logaritmik tetapi operasi aritmatika pada mereka diasumsikan ambil satuan waktu). Tentu saja,...
Diketahui bahwa persimpangan dari tiga matroid umum adalah NP-hard ( sumber ), yang dilakukan melalui reduksi dari siklus Hamiltonian. Pengurangan menggunakan satu matroid grafis dan dua matroid konektivitas. Kasus khusus dari masalah yang sedang saya kerjakan dapat diselesaikan dengan...
Dalam "Quantum Computation and Quantum Information" Mike dan Ike, algoritma Grover dijelaskan dengan sangat terperinci. Namun, dalam buku ini, dan dalam semua penjelasan yang saya temukan online untuk algoritma Grover, tampaknya tidak disebutkan tentang bagaimana Oracle dibangun, kecuali kita sudah...
Kami tahu (untuk saat ini sekitar 40 tahun, terima Adleman, Bennet dan Gill) bahwa masuknya BPP P / poli, dan bahkan lebih kuat BPP / poli P / poli ditahan. "/ Poli" berarti bahwa kita bekerja secara tidak seragam (sirkuit terpisah untuk setiap panjang input ), sementara P tanpa "/ poli" ini...
Diberi graf sederhana yang tidak terarah , temukan subset A ≠ ices dari simpul, sedemikian rupa sehinggaGGGA ≠ ∅SEBUAH≠∅A\neq \emptyset untuk setiap titik setidaknya setengah dari tetangga x juga dalam A , danx ∈ Ax∈SEBUAHx\in AxxxSEBUAHSEBUAHA ukuran adalah minimum.SEBUAHSEBUAHA Yaitu, kami...
Algoritma hashing kata sandi yang umum digunakan bekerja seperti ini hari ini: Garam kata sandi dan beri makan ke dalam KDF. Misalnya, menggunakan PBKDF2-HMAC-SHA1, proses hashing kata sandi adalah DK = PBKDF2(HMAC, Password, Salt, ...). Karena HMAC adalah hashing 2 putaran dengan kunci empuk, dan...
Adakah contoh algoritma yang menarik yang telah dipublikasikan dengan batasan yang telah terbukti, dan di mana batasan yang lebih baik kemudian telah diterbitkan? Algoritme yang tidak lebih baik dengan batasan yang lebih baik - jelas itu terjadi! Tetapi analisis yang lebih baik mengarah pada ikatan...
Apa variasi berikut pada penutup yang dikenal sebagai? Diberikan himpunan S, kumpulan C himpunan bagian dari S dan bilangan bulat positif K, apakah ada set K di C sehingga setiap pasangan elemen S terletak di salah satu himpunan bagian yang dipilih. Catatan: Tidak sulit untuk melihat bahwa...
Pertanyaan ini berkaitan dengan algoritma Fisher-Yates untuk mengembalikan acak acak array yang diberikan. The halaman Wikipedia mengatakan bahwa kompleksitas adalah O (n), tapi saya berpikir bahwa itu adalah O (n log n). Di setiap iterasi i, integer acak dipilih antara 1 dan i. Cukup menulis...
Saya mencari algoritma online untuk mempertahankan penutupan transitif dari grafik asiklik langsung dengan kompleksitas waktu kurang dari O (N ^ 2) per penambahan tepi. Algoritme saya saat ini seperti ini: For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v)...
Diberi bahasa L yang didefinisikan oleh Turing Machine yang memutuskannya, apakah mungkin menentukan secara algoritmik apakah L terletak pada
Masalah P dikatakan dalam APX jika ada beberapa konstanta c> 0 sedemikian sehingga algoritma aproksimasi waktu polinom ada untuk P dengan faktor aproksimasi 1 + c. APX berisi PTAS (terlihat hanya dengan memilih konstanta c> 0) dan P. Apakah APX dalam NP? Secara khusus, apakah keberadaan...
Apakah sekarang ada algoritma / bukti yang lebih sederhana untuk melakukan triangulasi poligon planar dalam waktu linier? Apa sumber yang bagus tentang masalah seni yang terkenal
Dalam makalah ini tentang "Kemasan Lingkaran untuk Desain Origami Sulit" oleh Erik D. Demaine, Sandor P. Fekete, Robert J. Lang, pada halaman 15, gambar 13, mereka mengklaim bahwa panjang sisi dari kotak terkecil yang melingkupi dua lingkaran luas 1/2 masing-masing adalah 1,471299. Dengan...
Saat mencoba membuktikan beberapa sifat dasar menggunakan tipe coinductive dalam Coq, saya terus mengalami masalah berikut ini dan saya tidak bisa mengatasinya. Saya telah menyaring masalahnya menjadi skrip Coq sederhana sebagai berikut. Jenis Pohon mendefinisikan pohon mungkin tak terbatas dengan...
Kelas struktur herediter (misalnya grafik) adalah yang ditutup di bawah substruktur yang diinduksi, atau setara, ditutup di bawah penghapusan verteks. Kelas grafik yang mengecualikan minor memiliki properti bagus yang tidak bergantung pada minor yang dikecualikan tertentu. Martin Grohe menunjukkan...
Mohon maaf sebelumnya jika pertanyaan ini terlalu sederhana. Pada dasarnya, yang ingin saya ketahui adalah jika ada fungsi f(x)f(x)f(x) dengan properti berikut: Ambil fn(x)fn(x)f_n(x) menjadi f(x)f(x)f(x) saat domain dan kode domain dibatasi untuk string nnn bit. Kemudian fn(x)fn(x)f_n(x)...