Apa definisi standar Planar 3-SAT? Saya telah melihat sejumlah definisi berbeda. Apa kertas asli yang mendefinisikannya dan membuktikannya sebagai
Dalam Topik Lanjutan dalam Jenis dan Bahasa Pemrograman disebutkan, dalam bab tentang sistem tipe sub-struktural, bahwa kalkulus affine lambda "dibuat dengan hati-hati" dengan kombinator rekursi untuk daftar hanya dapat mengetik istilah yang memiliki waktu berjalan polinomial (tidak menyajikan...
Saya tertarik dengan masalah berikut. Kami diberikan sebagai masukan "target permutasi" , serta daftar memerintahkan indeks i 1 , ... , i m ∈ [ n - 1 ] . Kemudian, dimulai dengan daftar L = ( 1 , 2 , ... , n ) (yaitu, permutasi identitas), pada setiap langkah waktu t ∈ [ m ] kita menukar i t h t...
Apakah ada masalah yang dapat dipecahkan dalam waktu polinomial hanya jika P! = NP, dan sebaliknya dipecahkan dalam waktu (katakanlah) waktu?O ( 2n)O(2n)O(2^n) Contoh sederhana adalah: Jika P! = NP, hitung tes primality untuk angka n-bit acak, jika tidak, evaluasi posisi kasus terburuk acak dalam...
Menggunakan model real-RAM / BSS, kami memiliki kelas NP R , (di mana BSS adalah model Blum-Shub-Smale komputer dengan operasi lebih dari real). Kami memiliki masalah lengkap NP R. Jadi, pertanyaannya adalah adakah analog dugaan Berman Hartmanis untuk kelas NP R ? Tentu saja, pertanyaan yang...
Crossposted dari MO . (tepi) graf isomorfisma berwarna adalah GI yang mempertahankan warna (dari tepi jika berwarna tepi). Ada beberapa pengurangan menggunakan transformasi / gadget (tepi) GI berwarna menjadi GI. Untuk GI berwarna tepi, yang paling sederhana adalah mengganti tepi berwarna dengan...
Misalkan kita memiliki fungsi boolean dari . Jelas bahwa nyata multivariat polinomial p ( x ) sehingga f ( x ) = p ( x ) pada x ∈ { 0 , 1 } n bisa multilinear. Apa sajakah kelas fungsi boolean yang menarik di mana tingkat minimal p ( x )f: { 0 , 1 }n→ { 0 , 1
Saya mencoba menemukan distribusi di atas vektor acak, katakanlah , pada -satuan dimensi ruang (di mana ) yang meminimalkan \ max_ {i \ neq j} \ mathrm {Var} (x_i ^ T x_j) tunduk pada kendala \ mathbb {E} [x_i ^ Tx_j] = 0 .nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kE [ x T i x j ] =...
Babai dan Seress membuktikan bahwa dengan diberi subkelompok dan himpunan S dari G , permutasi apa pun dalam G dapat ditulis sebagai produk generator dan inversinya dengan panjang e ( 1 + o ( 1 ) ) √G ≤ SnG≤SnG \leq S_nSSSGGGGGG . Batas ini optimal karenaSnmemiliki elemen ordee(1+o(1)) √e( 1 + o (...
Katakanlah saya bekerja dalam teori tipe homotopy dan satu-satunya objek penelitian saya adalah kategori konvensional. Ekivalensi sini diberikan oleh functors dan G : C ⟶ D yang menyediakan ekuivalensi kategori C ≃ D . Ada isomorfisme alami α : n a t ( F G , 1 C ) dan β : n a t ( G F , 1 D )...
Khususnya yang saya maksud dengan penambahan adalah, kita mendefinisikan sebagai alfabet . Mengingat bahasa biasa dan di bawah beberapa alfabet , lihat . { 0 , 1 , 2 , . . . , i } A B Σ i A × BΣsayaΣi\Sigma_i{ 0 , 1 , 2 , . .. , saya }{0,1,2,...,i}\{0, 1, 2, ..., i\}SEBUAHAABBBΣsayaΣi\Sigma_iA ×...
Riemann Hypothesis berusia lebih dari 1½ abad memiliki implikasi yang mendalam dalam matematika dan bangunan besar teori matematika sekarang terbukti secara kondisional dan banyak varian. Baru-baru ini saya menemukan referensi untuk hasil bersyarat di TCS berdasarkan pada hipotesis Riemann. Karena...
Latar Belakang: Pemrosesan transaksi telah menjadi topik penelitian tradisional dalam teori basis data. Saat ini transaksi terdistribusi dipopulerkan oleh sistem penyimpanan terdistribusi skala besar yang biasanya melibatkan partisi data (juga disebut sharding) dan replikasi data . Apa masalah...
Pertanyaan saya adalah tentang algoritma kuantum untuk komputasi QED (kuantum elektrodinamika) yang terkait dengan konstanta struktur halus. Perhitungan seperti itu (seperti yang dijelaskan kepada saya) sama dengan menghitung seri Taylor-like mana adalah konstanta struktur halus (sekitar 1/137) dan...
Apa pendekatan standar untuk meminimalkan Büchi-Automata (atau juga Müller-Automata)? Mentransfer teknik yang biasa dari kata-kata terbatas, yaitu menetapkan dua negara menjadi sama jika kata-kata "kehabisan" dari negara-negara yang diterima adalah sama, tidak akan berfungsi. Misalnya,...
Pada 1965 artikel " Pada kompleksitas komputasi algoritma " oleh Hartmanis dan Stearns, penulis menduga bahwa jika real-time Turing Machine menghitung jumlah riil , misalnya, basis 10, maka adalah salah bilangan rasional atau nomor transendental.rrrrrrr Apakah ada bilangan transendental yang dapat...
Secara ekuivalen, adakah semantik denotasional yang dikenal untuk bahasa pemrograman fungsional tingkat tinggi probabilistik? Secara khusus, apakah ada model domain murni -kalkulus murni yang diperluas dengan operasi pilihan biner acak simetris.λλ\lambda Motivasi Kategori tertutup Cartesian...
Kompleksitas bukti adalah area paling dasar dari teori kompleksitas komputasi. Tujuan utama dari area ini adalah untuk membuktikan , yaitu, setiap prover tidak dapat memberikan bukti ketidakpuasan formula input yang diberikan. NP≠ c o NPNP≠cHaiNPNP\neq coNP Grafik adalah salah satu model bukti...
Ini adalah fakta yang cukup terkenal yang berasal dari kontradiksi dari ketidaksetaraan (misalnya, ) dalam teori tipe Martin-Loef membutuhkan alam semesta.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot Buktinya juga cukup mudah - dengan tidak adanya alam semesta, kita dapat menghapus dependensi dari tipe...
Masalah grafik isomorfisme adalah salah satu masalah berdiri terpanjang yang menolak klasifikasi ke dalam masalah atau N P- complete. Kami memiliki bukti bahwa hal itu tidak bisa N P -Lengkap. Pertama, Graph Isomorphism tidak bisa menjadi N P -complete kecuali hierarki polinomial [1] runtuh ke...