Pertanyaan yang diberi tag «reference-request»

Saya mencari: Michael O. Rabin, "Tingkat kesulitan menghitung fungsi, dan urutan parsial set rekursif", Universitas Ibrani, Yerusalem, 1960 Ringkasan: “Kami berupaya mengukur jumlah pekerjaan yang melekat dalam tugas menghitung fungsi komputasi (rekursif) yang diberikan. Konsep tingkat kesulitan komputasi diperkenalkan dan dipelajari. Gagasan ini invarian dalam arti bahwa itu tidak tergantung …

13 cc.complexity-theory  reference-request  ho.history-overview 

Untuk fungsi Boolean f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\} , pengaruh variabel ke- didefinisikan sebagai mana x ^ {\ oplus i} adalah string yang diperoleh dengan membalik saya sedikit x . Pengaruh minimum f adalah \ operatorname {MinInf} [f] \ stackrel {\ rm def} {=} \ min_ {i \ in [n]} \ operatorname …

13 reference-request  pr.probability  boolean-functions 

Karena saya tertarik pada parser (terutama dalam tata bahasa ekspresi parser), saya bertanya-tanya apakah ada beberapa pekerjaan yang memberikan perlakuan kategorikal parsing. Setiap referensi pada aplikasi teori kategori untuk parsing sangat dihargai. Terbaik,

13 reference-request  functional-programming  ct.category-theory  parsing 

Sambil menulis posting kecil tentang kompleksitas videogames Nibbler dan Snake ; Saya menemukan bahwa keduanya dapat dimodelkan sebagai masalah konfigurasi ulang pada grafik planar; dan tampaknya tidak mungkin bahwa masalah seperti itu belum dipelajari dengan baik di bidang perencanaan gerak (bayangkan misalnya rantai kereta atau robot yang saling terkait). Gim-gim …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

Dalam masalah perpanjangan, kami diberikan bagian dari solusi dan kami ingin memutuskan apakah kami dapat memperluasnya ke solusi yang lengkap. Beberapa masalah perpanjangan dapat dipecahkan secara efisien sementara masalah perpanjangan lainnya mengubah masalah yang mudah menjadi sulit. Misalnya, teorema Konig-Hall menyatakan bahwa semua grafik bipartit kubik berwarna 3-sisi tetapi versi …

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Saya mengalami pengurangan masalah partisi berikut menjadi masalah penjadwalan tertentu: Input: Daftar bilangan bulat positif dalam urutan yang tidak berkurang.Sebuah1⩽ ⋯ ⩽ anSebuah1⩽⋯⩽Sebuahna_1\leqslant\cdots\leqslant a_n Pertanyaan: Apakah ada vektor sedemikian rupa sehingga( x1, ... , xn) ∈ { - 1 , 1 }n(x1,...,xn)∈{-1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n k ∑ i = 1 a i x …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

Latar Belakang: Kompleksitas pohon keputusan atau kompleksitas kueri adalah model perhitungan sederhana yang didefinisikan sebagai berikut. Biarkan menjadi fungsi Boolean. Kompleksitas kueri deterministik dari f , dilambangkan D ( f ) , adalah jumlah bit minimum dari input x ∈ { 0 , 1 } n yang perlu dibaca (dalam …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

Diketahui bahwa kompleksitas membedakan koin ϵϵ\epsilon bias dari yang adil adalah θ(ϵ−2)θ(ϵ−2)\theta(\epsilon^{-2}) . Apakah ada hasil untuk membedakan koin ppp dari koin p+ϵp+ϵp+\epsilon ? Saya dapat melihat bahwa untuk kasus khusus p=0p=0p=0 , kompleksitasnya adalah ϵ−1ϵ−1\epsilon^{-1} . Saya punya firasat bahwa kompleksitas akan tergantung pada apakah ppp adalah urutan ϵϵ\epsilon …

13 reference-request  time-complexity 

Saat membaca pertanyaan Contoh dimana keunikan dari solusi membuatnya lebih mudah untuk menemukan , baru (? Mudah) pertanyaan datang ke pikiran saya: sebenarnya kita tidak tahu apakah Grafik isomorfisma ( ) masalah adalah di P .GIGIGIPPP Tapi apa yang terjadi jika kita berasumsi bahwa kedua dan G 2 adalah asimetris …

13 reference-request  graph-isomorphism 

Apakah diketahui jika masalah evaluasi rangkaian ada di ? Bagaimana dengan (uniform )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Kita tahu bahwa sirkuit dengan kedalaman dapat dievaluasi dengan sirkuit dengan kedalaman mana adalah konstanta universal. Ini berarti sirkuit kedalaman dapat dievaluasi dengan sirkuit kedalaman . Namun tidak mengandung fungsi yang akhirnya mendominasi semua fungsi di .kkkk+ck+ck+ccccklgn+o(lgn)klg⁡n+o(lg⁡n)k\lg …

13 cc.complexity-theory  reference-request  circuit-complexity 

Saya ingin mendefinisikan pengertian "kedekatan" antara dua bahasa reguler dari kata-kata terbatas dalam Σ∗Σ∗\Sigma^* (dan / atau kata-kata tak terbatas dalam ). Ide dasarnya adalah bahwa kita ingin dua bahasa menjadi dekat jika mereka tidak berbeda dengan banyak kata. Kami juga dapat menggunakan jarak sunting dalam beberapa cara ... Saya …

13 reference-request  fl.formal-languages  regular-language 

Motivasi: Seorang penulis pendamping menyunting sebuah naskah dan saya ingin melihat ringkasan yang jelas dari suntingan itu. Semua "diff" -seperti alat cenderung tidak berguna jika Anda berdua bergerak teks di sekitar (misalnya, re-mengatur struktur) dan melakukan suntingan lokal. Apakah sangat sulit untuk memperbaikinya? Definisi: Saya ingin mencari jarak pengeditan minimum, …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

Sangat mudah untuk melihat bahwa jika maka ada masalah pencarian total yang tidak dapat diselesaikan dalam waktu polinomial (buat masalah pencarian total dengan memiliki saksi untuk keanggotaan dan saksi bukan anggota).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Apakah yang sebaliknya juga benar, yaitu Apakah keberadaan total masalah pencarian tidak dapat dalam waktu polinomial menyiratkan …

13 cc.complexity-theory  reference-request  search-problem 

Apakah ada buku terbaru tentang Algoritma Online? Saya tahu hanya dua buku tentang masalah ini. Perhitungan Online dan Analisis Kompetitif oleh Allan Borodin dan Ran El-Yaniv: Ini adalah buku klasik tapi lama, dan tidak mengandung banyak kemajuan terbaru di bidang ini. Desain Algoritma Online Kompetitif melalui Pendekatan Primal-Dual oleh Niv …

13 reference-request  big-list  online-algorithms 

Sepertinya saya bahwa ahli pembelajaran mesin / penambangan data akrab dengan P dan NP, tetapi jarang berbicara tentang beberapa kelas kompleksitas yang lebih halus (misalnya NC, BPP, atau IP) dan implikasinya untuk menganalisis data secara efektif. Apakah ada survei pekerjaan yang melakukan ini?

13 cc.complexity-theory  reference-request  machine-learning