'Diberikan a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , apakah ada x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by=cax2+by=cax^2+by=c ' adalah NPNP\mathsf{NP} -complete. Kelas kompleksitas mana yang 'Diberikan , adakah x , y ∈ N , a x 2 + b y 2 = c ' milik?a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb...
Biarkan sizesizesize dari λλ\lambda -terms didefinisikan sebagai berikut: size(x)=1size(x)=1size(x) = 1 , size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Biarkan kompleksitas -term...
Reduksi karp adalah waktu polinomial yang dapat dihitung banyak-satu pengurangan antara dua masalah komputasi. Banyak pengurangan Karp sebenarnya adalah fungsi satu-satu. Hal ini menimbulkan pertanyaan apakah setiap pengurangan Karp bersifat injeksi (fungsi satu-satu). Apakah ada alam masalah...
Saya bertanya-tanya, apa yang akan terjadi, jika dalam definisi (Hirarki Polinomial, lihat, misalnya, di sini ), peran akan digantikan oleh ?N P R PPHPHPHNPNPNPRPRPRP Tampaknya, kita masih bisa membangun hierarki, dengan cara yang sama seperti dibangun, hanya menggunakan mana-mana, bukan , dan...
Mengingat komposit jumlah jenderal lapangan saringan terkenal algoritma faktorisasi untuk integer faktorisasi . Ini adalah algoritma acak dan kami mendapatkan kompleksitas yang diharapkan dari faktor . N O ( e √N∈NN∈NN\in\Bbb
Diberikan string , penutup palindrom adalah urutan p 1 p 2 ⋯ p m dari kata p i sedemikian rupa sehingga p 1 p 2 ⋯ p m = w dan sedemikian rupa sehingga setiap p i adalah palindrom .w=σ1σ2…σnw=σ1σ2…σnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯pmp1p2⋯pmp_1p_2\cdots p_mpipip_ip1p2⋯pm=wp1p2⋯pm=wp_1p_2\cdots...
Saya seorang jurusan matematika yang tertarik pada TCS. Saya ingin mempelajari sendiri algoritme, dan kompleksitasnya untuk menyelesaikan masalah teoretis kelompok seperti urutan elemen, penghitungan coset, menemukan generator, menguji apakah subset yang diberikan menghasilkan grup. Buku apa...
Bagaimana saya bisa menyelesaikan hubungan perulangan berikut? f( n ) = f( n - 1 ) + f( n - logn )f(n)=f(n−1)+f(n−logn) f(n) = f(n-1) + f(n - \log
CCC adalah persegi panjang sumbu-paralel. C1,…,CnC1,…,CnC_1,\dots,C_n adalah persegi-sumbu paralel-paralel berpasangan-interior-disjoint sedemikian sehingga , seperti ini:C1∪⋯∪Cn⊊CC1∪⋯∪Cn⊊CC_1\cup\dots\cup C_n \subsetneq C Sebuah partisi persegi panjang-melestarikan dari CCC adalah partisi...
Greibach terkenal didefinisikan bahasa , yang disebut versi non-deterministik dari D 2 , sehingga setiap CFL adalah gambar morphic kebalikan dari H . Apakah ada pernyataan serupa dengan DCFL, mungkin dengan pembatasan morfisme diizinkan?HHHD2D2D_2HHH (Lihat, misalnya, M. Autebert, J. Berstel, dan...
Misalkan menunjukkan ukuran minimum dari hitung aritmatika (non-monoton) ( + , × , - ) yang menghitung polinomial multinear f yang diberikan ( x 1 , … , x n ) = ∑ e ∈ E c e n ∏ i = 1 x e i iA ( f)A(f)A(f)( + , × , - )(+,×,−)(+,\times,-) Dan B ( f ) menunjukkan ukuran minimum dari (non-monoton)...
Saya mencari makalah survei tentang konsep-konsep penting di bidang Quantum Automata. Saya telah menemukan Teori Quantum Automata - Tinjauan oleh Hirvensalo, tetapi kedengarannya terlalu ringkas untuk memahami topik tersebut. Apakah ada survei yang cukup komprehensif tentang topik Quantum...
Katakanlah grafik memiliki properti M jika simpulnya dapat dipesan v 1 , v 2 , ... v n sedemikian rupa sehingga grafik H i diinduksi oleh simpul { v 1 , ... , v i } memiliki d i s t H i ( v j , v k ) = d i s t G ( v j , vGGGMMMv1,v2,…vnv1,v2,…vnv_1, v_2, \ldots v_nHiHiH_i{v1,…,vi}{v1,…,vi}\{v_1,...
Misalkan kita ingin mengalikan matriks. Algoritma multiplikasi matriks lambat berjalan dalam waktu O ( n 3 ) dan menggunakan memori O ( n 2 ) . Perkalian matriks tercepat berjalan dalam waktu n ω + o ( 1 ) , di mana ω adalah konstanta aljabar linier, tetapi apa yang diketahui tentang kompleksitas...
Dalam catatan kuliah ini oleh Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , dikatakan bahwa kita tidak tahu apakah Euclidean TSP ada di NP: Alasannya adalah karena kita tidak tahu bagaimana cara menghitung akar kuadrat secara efisien. Di sisi lain ada...
Saya sedang mempertimbangkan bahasa dari semua formula logika proposisional yang memuaskan, SAT (untuk memastikan bahwa ini memiliki alfabet terbatas, kami akan menyandikan huruf proposisional dengan cara yang sesuai [edit: balasan menunjukkan bahwa jawaban untuk pertanyaan mungkin tidak kuat di...
Pengamatan mudah adalah bahwa jika masalah adalah decidable oleh program non-deterministik waktu polinomial menggunakan O ( log n ) bit nondeterministic (yaitu, semua saksi yang logaritmik panjang), kemudian A ∈ P .SEBUAHAAO(logn)O(logn)O(\log n)A∈PA∈PA \in \mathsf{P} Jika seseorang kemudian...
Teorema hierarki waktu menyatakan bahwa mesin turing dapat memecahkan lebih banyak masalah jika mereka memiliki (cukup) lebih banyak waktu. Apakah itu tahan jika ruang terbatas asimptotik? Bagaimana DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) terkait dengan...
Masalah penghentian diketahui tidak dapat diperhitungkan. Namun, dimungkinkan untuk secara "kompres" informasi secara eksponensial tentang masalah penghentian, sehingga pengompresannya dapat dihitung. Lebih tepatnya, adalah mungkin untuk menghitung dari deskripsi mesin Turing dan saran bit...
Klop, van Oostrom, dan de Vrijer memiliki kertas tentang kalkulus lambda dengan pola. http://www.sciencedirect.com/science/article/pii/S0304397508000571 Dalam beberapa hal, suatu pola adalah pohon variabel - meskipun saya hanya memikirkannya sebagai kumpulan variabel, misalnya, ((x, y), z), (t,...