Pertanyaan: Bisakah ada hash (aman secara kriptografis) yang menjaga topologi informasi { 0 , 1}∗{0,1}∗\{0,1\}^{*}? Bisakah kita menambahkan predikat kedekatan yang dapat dihitung secara efisien yang diberikan hk( x )hk(x)h_k(x) dan hk( y)hk(y)h_k(y) (atau yyy sendiri) memberi tahu kita jika...
Jadi kami baru belajar tentang reducibilitas diri di kelas. Profesor saya dan buku teks kami tidak akan berkomitmen untuk mengatakan bahwa semua masalah dalam NP dapat direduksi sendiri, tetapi sepertinya tidak ada contoh masalah yang tidak. Saya bertanya-tanya apakah ada contoh, atau hanya situasi...
Saya tidak dapat menemukan grafik yang menggambarkan atau teks yang menjawab pertanyaan berikut: Apakah ada hubungan langsung antara kompleksitas suatu algoritma (seperti kasus cepat / terbaik terbaik), dan kelas automata yang dapat mengimplementasikan algoritma. Misalnya apakah ada serangkaian...
Saya akan terkejut jika ini bukan masalah yang dipelajari dengan baik, tapi saya tidak yakin apa lagi yang harus dicari pada saat ini: Anda diberi satu set biner nnn-Vektor S⊂ { 0 , 1}nS⊂{0,1}nS \subset \{0,1\}^n. Masalahnya adalah untuk menemukan satu set binernnn-Vektor B ⊂ { 0 , 1}nB⊂{0,1}nB...
Kami baru saja selesai kami "Waktu Konstruksi gedung" pelajaran di kelas minggu lalu, dan kami, demi contoh ini, menunjukkan bahwa sepenuhnya waktu constructible, yaitu terdapat (multi-tape deterministik) mesin Turing bahwa untuk diberikan, berhenti setelah tepat langkah, dan hanya bertanya apakah...
Saya pikir kedua kelas ini harus sama, tetapi saya tidak dapat menemukan literatur tentang hal ini dan memiliki latar belakang yang terbatas pada topik tersebut. Ini adalah alasan saya, dan saya ingin tahu apakah (1) ini sudah diketahui atau (2) saya salah mengerti sesuatu atau (3) saya baru...
Setelah kami memperbaiki verifikasi deterministik waktu polinomial V (input, sertifikat), masalah NP yang sesuai adalah pertanyaan: Untuk input ini, apakah ada (ukuran polinomial) sertifikat yang ada sehingga V (input, sertifikat) mengembalikan Benar? Masalah penghitungan yang terkait (kelas #P)...
Pertanyaan saya adalah sebagai berikut. Asumsikan bahwaΠΠ\Piadalah masalah NP-hard. Diberikan contoh sewenang-wenangIII dari ΠΠ\Pi dan berasumsi bahwa musuh tahu bahwa kejadian ini mudah diselesaikan, apakah mungkin untuk menemukan algoritma waktu polinomial deterministik untuk menyelesaikan contoh...
Ini adalah sesuatu yang tidak dapat saya temukan - tetapi saya selalu merasa menarik bahwa lemma pemompaan hanyalah sebuah lemma (terutama karena ia memiliki nama yang sama untuk bahasa biasa, bahasa bebas konteks, dll ...) Apa itu
Saya baru-baru ini memikirkan bukti berikut bahwa L = P menyiratkan P = NP. Misalkan L = P. Biarkan A menjadi masalah di NP. Dengan definisi verifikasi NP, setiap solusi positif untuk A memiliki saksi yang dapat diverifikasi dalam waktu polinomial. Karena P = L, solusi yang sama dapat...
Setelah kelas Teori Komputasi saya hari ini, pertanyaan ini muncul di benak saya: Jika masalah dapat diselesaikan oleh robot terbatas, masalah ini milik P. Saya pikir itu benar, karena automata mengenali bahasa yang sangat sederhana, maka semua bahasa ini akan memiliki algoritma polinomial untuk...
Selama beberapa tahun terakhir, saya membangun sebuah komputer mekanik yang ditenagai oleh kelereng dan membuat game darinya. Ini mirip dengan Digi-Comp II yang lama, kecuali untuk dua perbedaan utama: Bagian dapat diposisikan di papan tulis. Anda dapat menghubungkan banyak 'bit' secara...
Ini adalah tugas dari kontes IT Jerman ("Bundeswettbewerb Informatik"), tetapi karena batas waktu sudah lewat, menanyakan pertanyaan ini tidak curang. Dengan diberi graf titik-tertimbang, terarah dan nilai , temukan subset dari simpul yang memaksimalkan tunduk pada Apakah ini masalah NP-hard?G =...
Saya baru mengenal teori kompleksitas dan ingin tahu apa itu teori kompleksitas struktural? apa masalah yang coba diselesaikan oleh para ahli teori dalam bidang ini dan apa masa depannya? Dari wikipedia: Teori kompleksitas struktural atau hanya kompleksitas struktural adalah studi tentang kelas...
Pendekatan umum untuk memutuskan apakah dua grafik yang diberikan adalah isomorfik adalah dengan menghitung apa yang disebut label kanonik (sebagai alternatif, grafik kanonik) dari masing-masing grafik dan untuk memeriksa apakah mereka cocok atau tidak. Alat-alat seperti Nauty menghitung grafik...
Saya yakin pasti ada yang salah dengan alasan berikut karena jika tidak banyak penelitian P vs NP akan dikurangi tetapi saya tidak dapat menentukan kesalahan saya: Untuk bilangan bulat tetap k>0k>0k>0 menetapkan Bk:={⟨φ⟩|φis a wff of ZF and has a proof of length≤k|φ|k}Bk: ={⟨φ⟩|φadalah wff...
Membiarkan L1L1L_1 dan L2L2L_2 menjadi yang berikut: L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M<N,∃1<d≤M such that d|N}L2={(N,M):M<N,∃1<d≤M such that d|N}L_2=\{(N,M):...
Saya melihat di mana-mana bahwa persamaan rekursif untuk kompleksitas Strassen alg adalah: T( n ) = 7 T(n2) + O (n2) .T(n)=7T(n2)+O(n2).T(n) = 7T(\tfrac{n}{2})+O(n^2).Ini tidak begitu jelas bagi saya. Parameternnn seharusnya ukuran input, tetapi tampaknya ini adalah satu dimensi dari matriks...
Saya sedang membaca makalah ini di mana penulis menjelaskan Teorema 1, yang menyatakan "Obyek yang Dapat Dicapai" (sebagaimana didefinisikan dalam makalah ini) adalah NP-complete. Namun, mereka membuktikan pengurangan hanya dalam satu arah, yaitu dari 2P1N SAT ke Obyek yang Dapat Dicapai. Ini hanya...
Begitu NPNPNP singkatan dari masalah di mana kita memiliki saksi kecil yang dapat diverifikasi YESYESYES contoh dan c o NPcoNPcoNP untuk saksi kecil yang dapat diverifikasi NHAINONOcontoh. Bagaimana cara kerjanya? PNPPNPP^{NP} NPNPNPNPNP^{NP} c o NPNPcoNPNPcoNP^{NP} dan