Pertimbangkan masalah di mana Anda diberi kisi 2D (misalnya papan catur) di mana kotak-kotak tertentu ditempati dan Anda perlu menempatkan jumlah minimum persegi panjang non-tumpang tindih dari berbagai ukuran wxh di mana w = 1 atau h = 1 (yaitu "persegi" segmen ") sedemikian rupa sehingga semua...
Kita tahu bahwa . Dari Teorema Savitch, , dan, dari Space Hierarchy Teorem, . Jadi, karena kita tidak tahu apakah , kita tidak tahu apakah , atau kita tahu itu ? Adakah yang mencoba membuktikan bahwa \ mathcal L ^ 2 \ subseteq \ mathcal P ? Apa hasil terbaru, atau upaya, dengan cara ini? Saya sudah...
Banyak literatur komputasi kuantum berfokus pada model rangkaian. Komputasi kuantum adiabatik tidak didasarkan pada penerapan urutan operator kesatuan, tetapi pada perubahan Hamiltonian yang bergantung waktu. Saya mencari wawasan tentang hal-hal berikut. Apakah komputasi kuantum adiabatik sekuat...
Dalam pengantar makalah ini Akhirnya Objek Linearizable Bersama (PODC'10) , penulis telah menyajikan pernyataan berikut tanpa referensi: Akan tetapi, linierabilitas dapat dicapai jika dan hanya jika konsensus dapat diselesaikan. Di sini, kemampuan linierisasi adalah sifat konsistensi terkuat...
Mari menjadi keluarga subset -element dari alam semesta terbatas benda. Sebuah keluarga dari subset -element dari , dengan , adalah - Memukul-set dari jika untuk setiap terdapat setidaknya satu set seperti bahwa .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW...
Saya mencari kompleksitas pemenuhan rumus atau dari rumus mana adalah rumus dari bentuk: Dimana adalah konstanta dalam , dan domain variabel juga .∃ x 1 , ... , x m ∀ y 1 , ... , y n , ϕ ϕ ϕ : = ϕ ∧ ϕ | ¬ ϕ | ϕ → ϕ | ψ ψ : = t > t | t∀ y1, ... , yn, ∃ x1, ... , xm, ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall...
PERSAMAAN LINEAR DIOPHANTINE (diberikan bilangan asli , adakah bilangan asli dan sedemikian sehingga ?) Dapat dipecahkan dalam waktu polinomial.a , b , cSebuah,b,ca, b, cxxxyyya x + b y+ c = 0Sebuahx+by+c=0ax + by + c = 0 PERSAMAAN DIOPHANTIN KUADRATIK ( ) adalah NP-complete ( masalah keputusan...
Sudah diketahui bahwa keberadaan fungsi satu arah diperlukan dan cukup untuk banyak kriptografi (tanda tangan digital, generator pseudorandom, enkripsi kunci pribadi, dll.). Pertanyaan saya adalah: Apa konsekuensi teori-kompleksitas dari keberadaan fungsi satu arah? Misalnya, OWF menyiratkan bahwa...
Nash Equilibria tidak dapat dihitung secara umum. Suatu keseimbangan -Nash adalah seperangkat strategi di mana, mengingat strategi lawan, masing-masing pemain memperoleh dalam dari hasil maksimum yang diharapkan. Menemukan keseimbangan -Nash, diberikan dan permainan, adalah .ϵ ϵ ϵ P P A...
Saya tahu pekerjaan Shannon dengan entropi, tetapi belakangan ini saya telah bekerja pada struktur data yang ringkas di mana entropi empiris sering digunakan sebagai bagian dari analisis penyimpanan. Shannon mendefinisikan entropi dari informasi yang dihasilkan oleh sumber informasi diskrit...
Biarkan untuk , dengan janji bahwa (di mana jumlahnya lebih dari ). Lalu apa kompleksitas penentuan jika ?xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\}i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\}ZZ\mathbb{Z}x=1x=1x = 1 Perhatikan bahwa secara...
Apa sajakah sumber terbaik (buku dan makalah) untuk memotivasi dan mempelajari kompleksitas komunikasi sendiri dan dalam hubungannya dengan hubungannya dengan teori kompleksitas
Apa algoritma isomorfisma tanpa arah grafik tercepat yang
Kita tahu dari teorema Gereja bahwa menentukan tingkat kepuasan pertama tidak dapat diputuskan secara umum, tetapi ada beberapa teknik yang dapat kita gunakan untuk menentukan tingkat kepuasan pertama. Yang paling jelas adalah mencari model yang terbatas. Namun, ada sejumlah pernyataan dalam logika...
Saya mencari referensi untuk masalah berikut: diberikan bilangan bulat dan , sebutkan semua grafik planar non-isomorfik pada simpul dan treewidth . Saya tertarik pada hasil teoritis dan praktis, tetapi sebagian besar algoritma praktis yang memungkinkan untuk kode dan berjalan untuk nilai dan...
Pertanyaan ini dua kali lipat, dan terutama berorientasi pada referensi: Apakah ada suatu tempat di mana intuisi utama untuk membuktikan teorema minor diberikan, tanpa terlalu banyak detail? Saya tahu buktinya panjang dan sulit, tetapi pasti harus ada ide-ide kunci yang dapat dikomunikasikan...
Saya mengambil kursus tingkat pascasarjana dalam teori informasi dan saya selalu dikejutkan oleh berapa banyak optimasi cembung yang ada dalam subjek ini. Namun, buktinya tampaknya menghindar dari menggunakan mesin penuh teori relaksasi, dualitas, dll. Ini bisa dimengerti karena Anda tidak ingin...
Misalkan adalah grafik yang merupakan gabungan yang terpisah dari sebuah klik dan satu set independen, yaitu G = K_ {n_1} + \ overline {K_ {n_2}} = K_ {n_1} + I_ {n_2}.GGGG=Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+In2.G=Kn1+Kn2¯=Kn1+In2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Kelas grafik dari semua...
Adakah yang telah mengeksplorasi apa kompleksitas sirkuit dari masalah keputusan klasik seperti Primes atau Graph-Isomorphism untuk ukuran input ?NNN Sementara kebanyakan orang tertarik pada bagaimana penskalaan berjalan sebagai , saya pikir itu juga akan menarik untuk melihat bagaimana ini tumbuh...
Misalkan GGG dan HHH menjadi dua grafik ukuran- rrr terhubung secara teratur nnn . Biarkan AAA adalah himpunan permutasi PPP sehingga PGP−1=HPGP−1=HPGP^{-1}=H . Jika G=HG=HG=H maka AAA adalah himpunan automorphisms dari GGG . Apa batas atas yang paling dikenal pada ukuran AAA ? Apakah ada...