Dalam makalah "KOMPLEKSITAS MASALAH KEPUASAN" oleh Thomas J. Schaefer, penulis telah menyebutkan bahwa This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational...
Saya mencari referensi untuk hasil berikut: Menambahkan dua bilangan bulat dalam representasi factored sama sulitnya dengan memfaktorkan dua bilangan bulat dalam representasi biner biasa. (Saya cukup yakin itu ada di luar sana karena ini adalah sesuatu yang saya tanyakan pada suatu saat, dan...
Saya ingin tahu makalah apa yang harus saya baca untuk memahami pertanyaan ini Koneksi tak terduga ke bidang matematika lain seperti geometri aljabar atau kohomologi yang lebih tinggi. Mungkin bahkan bidang matematika belum berkembang. Mungkin seseorang akan mengembangkan arah yang sama sekali...
Adakah yang tahu tentang referensi yang secara tepat menjelaskan hubungan antara algoritma unifikasi dan eliminasi Gaussian? Saya sangat tertarik pada hubungan antara substitusi segitiga dan dekomposisi LU. Wayne Snyder dan Jean Gallier menyebutkan analogi ini dalam makalah mereka, Higher-Order...
Ketika mendesain algoritma aproksimasi seseorang kadang-kadang memecahkan program semidefinite diikuti oleh langkah pembulatan. Contoh yang sering digunakan untuk menggambarkan ini adalah Max-Cut. (Lihat misalnya Algoritma Aproksimasi oleh Vijay Vazirani.) Apakah ada sumber atau survei pendidikan...
Ketika bermain-main dengan parsing LR noncanonical, saya memikirkan metode parsing (dengan tabel berukuran tak terbatas, yang membuatnya agak tidak taktis ) yang mampu mengurai persis tata bahasa yang tidak ambigu dalam waktu , dan saya bertanya-tanya apakah mungkin untuk melakukan yang lebih baik...
Biarkan menjadi grafik. Untuk titik , mendefinisikan menjadi (terbuka) lingkungan dari di . Yaitu, . Tentukan dua simpul dalam menjadi kembar jika dan memiliki tetangga yang sama, yaitu, jika .x ∈ V N ( x ) x G N ( x ) = { y ∈ VG = ( V, E)G=(V,E)G=(V,E)x ∈ Vx∈Vx\in VN( x )N(x)N(x)xxxGGGu , v GN( x...
Saya bertanya-tanya apakah ada pembenaran untuk percaya bahwa atau untuk percaya bahwa N L ≠ L ?NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L Diketahui bahwa . Literatur tentang derandomization dari R L ini cukup meyakinkan bahwa R L = L . Adakah yang tahu tentang beberapa artikel atau ide yang meyakinkan...
Apakah ada survei yang baik yang membandingkan berbagai ekstraktor, konsentrator dan superconcentrator dan menjabarkan metode terbaik dalam hal tradeoff antara keacakan, waktu dan ruang?
Saya telah melihat (dan mendengar) mengklaim bahwa aman untuk menambahkan aksioma klasik dari tengah yang dikecualikan ke Coq, tetapi sepertinya saya tidak dapat menemukan makalah yang mendukung klaim ini. Makalah yang saya lihat tercantum di Coq wiki tentang tengah yang dikecualikan menunjukkan...
Saya mencari bahasa yang "mungkin bukan Bebas Konteks" tetapi kami tidak dapat (buktikan) menggunakan teknik standar yang dikenal. Apakah ada survei terbaru pada subjek atau bagian masalah terbuka dari konferensi baru-baru ini? Mungkin tidak banyak bahasa yang tidak dikenal sebagai CF, jadi...
Ada banyak tempat di mana angka dan muncul. Saya ingin tahu tentang algoritma yang waktu berjalannya mengandung rasio emas atau dalam eksponen.( 1 +
Saya menemukan hasil berikut selama penelitian saya. m=ω(√limn → ∞E [ # { | Sebuahsaya- aj| ,1≤i,j≤m}n] =1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1a1,⋯,am[n]m = ω ( n--√)m=ω(n)m=\omega(\sqrt n)Sebuah1, ⋯ ,...
Latar Belakang: Misalkan menjadi dua simpul dari graf tak berarah . Himpunan simpul adalah -pemisah jika dan milik komponen terhubung yang berbeda dari . Jika tidak ada himpunan bagian yang tepat dari a -separator adalah -separator maka adalah minimum u, v -separator. Set vertex S \ subseteq V...
Ketika saya mengajar batas ekor, saya menggunakan progresi yang biasa: Jika rv Anda positif, Anda dapat menerapkan ketimpangan Markov Jika Anda memiliki kemandirian dan juga varian dibatasi, Anda dapat menerapkan ketidaksamaan Chebyshev Jika setiap rv independen juga memiliki semua momen...
Pertimbangkan alasan berikut: Misalkan menunjukkan kompleksitas Kolmogorov dari string . Teorema ketidaklengkapan Chaitin mengatakan ituxK(x)K(x)K(x)xxx untuk konsisten dan cukup kuat resmi sistem , terdapat konstan (tergantung hanya pada sistem formal dan bahasanya) sehingga untuk setiap...
Baru-baru ini, saya bekerja pada masalah untuk menghitung perkiraan jumlah daftar nomor non-negatif yang diurutkan. Untuk setiap tetap , sebuah O ( log n ) skema pendekatan waktu yang telah diturunkan sedemikian rupa sehingga memberikan ( 1 + ε ) -approximation untuk penjumlahan. Makalah ini...
O ( log c n ) O ( n k ) c k n c 2 n kN CNC\mathsf{NC} menangkap gagasan tentang dapat diparalelkan secara efisien, dan salah satu interpretasinya adalah masalah yang dapat dipecahkan dalam waktu menggunakan prosesor paralel untuk beberapa konstanta , . Pertanyaan saya adalah apakah ada kelas...
(Ini adalah tindak lanjut dari pertanyaan ini dan jawabannya .) Saya memiliki program linear integer benar-benar unimodular (TU) berikut (ILP). Di sini semua bilangan bulat positif diberikan sebagai bagian dari input. Subset tertentu dari variabel diatur ke nol, dan sisanya dapat mengambil nilai...
Sebuah rantai Selain merupakan urutan bilangan bulat positif di mana dan masing-masing indeks , kita memiliki untuk beberapa indeks . The panjang rantai Selain adalah ; yang sasaran dari rantai samping adalah .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k < i( x1, x2, ... , xn)(x1,x2,…,xn)(x_1, x_2,...