Pertanyaan yang diberi tag «reference-request»

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 dengan cara yang lebih mudah. Apakah ada relasi …

9 reference-request  graph-theory  graph-minor 

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 sebesar mungkin (pikirkan dan ). Jika Anda sudah …

9 reference-request  graph-theory  graph-algorithms  treewidth 

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 urutan pertama yang dapat kami tunjukkan tidak memiliki …

9 reference-request  lo.logic  automated-theorem-proving 

Apa algoritma isomorfisma tanpa arah grafik tercepat yang diketahui?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

Apa sajakah sumber terbaik (buku dan makalah) untuk memotivasi dan mempelajari kompleksitas komunikasi sendiri dan dalam hubungannya dengan hubungannya dengan teori kompleksitas komputasi?

9 cc.complexity-theory  reference-request  communication-complexity  books 

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 sepele masalahnya terletak pada karena iff x = 1 . Pertanyaannya adalah: apakah masalahnya ada pada \ mathsf {AC} …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

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 , , dan . Apakah ada konsekuensi lain yang diketahui? Secara khusus, apakah …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

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 sebagai , di mana adalah probabilitas acara terjadi, misalnya karakter tertentu …

9 reference-request  shannon-entropy  succinct 

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 Dϵϵ\epsilonϵϵ\epsilonϵϵ\epsilonϵϵ\epsilonP P A DPPSEBUAHD\mathsf{PPAD} Sesuai dengan definisi-definisi itu, tampaknya tidak …

9 reference-request  gt.game-theory  ppad 

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 NP-lengkap untuk …

9 reference-request 

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&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Mengingat koleksi seperti di atas, yang - …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

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 yang diketahui dari objek bersama, yang diusulkan dalam makalah Kemampuan linierisasi: Kondisi yang …

9 reference-request  dc.distributed-comp 

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 , ϕ ϕ ϕ : = ϕ ∧ ϕ | ¬ ϕ …

9 cc.complexity-theory  reference-request  lo.logic 

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 model rangkaian, atau apakah secara inheren kurang kuat? Apakah ada kelas kompleksitas yang secara …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

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, …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems