Apakah ada sesuatu dalam literatur yang dekat dengan masalah berikut: Diberikan grafik bipartit dengan bipartisi seimbang { U , W } , apakah ada M yang cocok dengan sempurna di G sehingga untuk setiap 2 tepi u 1 w 1 , u 2 w 2 ∈ M , ada tepi u 1 w 2 atau tepi u 2 w 1 (atau keduanya) di G...
"Nama permainan angka terbesar" meminta dua pemain untuk menuliskan angka secara diam-diam, dan pemenangnya adalah orang yang menuliskan angka yang lebih besar. Gim ini biasanya memungkinkan pemain untuk menuliskan fungsi yang dievaluasi pada suatu titik, jadi 222222222^{2^{2^{2}}} juga akan...
Masalah yang merepresentasikan variabel terikat dalam sintaksis, dan khususnya substitusi yang menghindari penangkapan, telah diketahui dan memiliki sejumlah solusi: variabel bernama dengan kesetaraan alfa, indeks de Bruijn, tanpa nama lokal, set nominal, dll. Tetapi tampaknya ada pendekatan lain...
Dalam teori kompleksitas, definisi kompleksitas waktu dan ruang keduanya merujuk pada mesin Turing universal: resp. jumlah langkah sebelum berhenti, dan jumlah sel pada kaset menyentuh. Mengingat tesis Church-Turing, harus mungkin untuk mendefinisikan kompleksitas dalam hal kalkulus lambda...
Dari teorema ruang-hierarki diketahui bahwa jika fff -ruang-dibangun maka DSPACE ( 2f(n)2f(n)2f(n) ) tidak sama dengan DSPACE ( f(n))f(n))f(n)) . Di sini, oleh DSPACE ( f(n))f(n))f(n)) saya maksud adalah kelas semua masalah yang dapat diselesaikan dalam ruang f(n)f(n)f(n) oleh mesin Turing dengan...
Saya telah membaca tentang substitusi turun-temurun untuk Kalkulus Lambda Sederhana dan untuk Kerangka Kerja Logis dengan istilah dan tipe yang berbeda. Saya bertanya-tanya, apakah ada contoh penggantian herediter dalam sistem yang diketik dependen dengan hierarki semesta? yaitu di mana dll.Tr u e...
Seperangkat kata di atas alfabet terbatas bebas awalan jika tidak ada dua kata yang berbeda di mana satu merupakan awalan dari yang lain. Pertanyaannya adalah: Apa kompleksitas memeriksa apakah bahasa reguler yang diberikan sebagai NFA berisi subset bebas awalan tak terbatas? Jawaban (karena...
Kemajuan dalam komputasi kuantum telah menyebabkan pengembangan algoritma klasik baru. Contoh terkini yang terkenal adalah algoritma yang terinspirasi kuantum untuk aljabar linier: Algoritma klasik yang diilhami kuantum untuk sistem rekomendasi Algoritma klasik yang diilhami kuantum untuk...
Dua kelompok dan dikatakan isomorfik jika terdapat homomorfisme dari ke yang bersifat bijektif. Masalah isomorfisme kelompok adalah sebagai berikut: diberikan dua kelompok, periksa apakah isomorfis atau tidak. Ada berbagai cara untuk memasukkan grup, dua yang paling banyak digunakan adalah dengan...
Dalam makalah Stephen Cook tentang masalah P vs NP, [1] ia menyatakan sebagai berikut: Tesis Kelayakan: Masalah alami memiliki algoritma yang layak jika memiliki algoritma waktu polinomial. Pertanyaan saya adalah, apa sebenarnya yang dia (atau secara umum sebenarnya, apa artinya) dengan "...
Dapatkah sifat membagi dan menaklukkan FFT digeneralisasi ke transformasi lain (z Transform, kicau, dll) secara otomatis? Apakah ada algoritma yang mengambil deskripsi transformasi (saya tidak tahu informasi apa yang dibutuhkan) dan dapat menghasilkan fungsi seperti FFT yang
Secara khusus, saya meminta sumber daya untuk mempelajari tentang sistem pembelajaran mesin yang dapat memperbarui jaringan kepercayaan masing-masing (atau yang setara) selama operasi. Saya bahkan telah menemukan beberapa, meskipun saya gagal untuk membookmark mereka. Seperti yang Anda bayangkan,...
Teorema Zone mengatakan bahwa jika kita menusuk susunan garis n dengan garis lain, kompleksitas total zonanya , himpunan semua wajah 0, 1, dan 2 yang bersebelahan dengannya adalah O (n). Konstanta yang sebenarnya adalah kira-kira 6n setidaknya seperti yang dinyatakan dalam berbagai buku teks, dan...
Ada beberapa gagasan yang berbeda (mungkin tidak setara) tentang universalitas komputasi (lihat misalnya beberapa halaman terakhir dari http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) dan tidak ada konsensus di antara ahli tentang gagasan mana yang paling benar (lihat...
Misalkan menjadi grafik terhubung yang tidak teratur yang derajatnya dibatasi. Misalkan setiap node berisi token unik.G = ( V, E)G=(V,E)G= (V, E) Saya ingin secara acak mengocok token di antara grafik hanya menggunakan swap lokal (yaitu pertukaran token antara dua node yang berdekatan)? Apakah ada...
Sebagian besar literatur tampaknya berkaitan dengan mesin dengan nubuat tunggal untuk masalah tertentu, namun tampaknya ada beberapa makalah yang menganggap mesin dengan banyak nubuat. Apakah ada makalah atau tesis yang bagus yang memberikan gambaran umum tentang apa yang diketahui tentang mesin...
Apa buktinya ada ?coRP≠NPcoRP≠NPcoRP \neq NP coRPcoRPcoRP adalah kelas bahasa yang terdapat Mesin Turing probabililistik yang berjalan dalam waktu polinomial dan selalu menjawab Ya pada input milik bahasa dan jawaban TIDAK dengan probabilitas setidaknya satu setengah pada input yang bukan milik...
Apakah mungkin (slash dapat Anda berikan contoh) untuk mengurangi kompleksitas komputasi dari suatu masalah dengan menggunakan algoritma paralel yang tidak memerlukan sejumlah prosesor relatif terhadap ukuran
Dengan BPP / linear saya merujuk ke mesin BPP dengan saran linier, yang memenuhi janji ketika diberi saran "benar", dan derandomisasi harus memberi kita, katakanlah, algoritma P / linear atau (SUBEXP / linear). Jika kita menggunakan asumsi yang tidak seragam, saya pikir hasil klasik akan berhasil,...
Dalam SODA 1995 , Jeff Erickson menunjukkan batas yang lebih rendah untuk kepuasan linear (memeriksa apakah beberapa subset dari bilangan real memenuhi persamaan linear pada variabel r ). Metode pembuktian menggunakan infinitesimal dan prinsip transfer Tarski .rrrnnnrrr Bisakah seseorang...