Pertanyaan yang diberi tag «cc.complexity-theory»

Saya tidak memiliki pengetahuan di bidang teori kompleksitas yang melibatkan kelompok, jadi saya minta maaf jika ini adalah hasil yang diketahui. Pertanyaan 1. Biarkan menjadi grafik pesanan sederhana yang tidak diarahkan n . Apa kompleksitas komputasi (dalam hal n ) untuk menentukan apakah G adalah verteks-transitif?GGGnnnnnnGGG Ingat bahwa grafik adalah …

16 cc.complexity-theory  graph-theory  gr.group-theory 

Misalkan, untuk setiap ϵ>0ϵ>0\epsilon > 0 , ada mesin Turing MϵMϵM_{\epsilon} yang menentukan bahasa LLL dalam waktu O(na+ϵ)O(na+ϵ)O(n^{a + \epsilon}) . Apakah ada algoritma tunggal yang menentukan LLL dalam waktu O(na+o(1))O(na+o(1))O(n^{a + o(1)}) ? (Di sini, istilah o(1)o(1)o(1) diukur dengan nnn , panjang input.) Apakah itu membuat perbedaan jika algoritma …

16 cc.complexity-theory  asymptotics 

Dalam masalah persegi panjang packing, satu diberikan satu set empat persegi panjang dan berlari persegi panjang . Tugasnya adalah menemukan penempatan di dalam sedemikian rupa sehingga tidak ada persegi panjang yang tumpang tindih. Secara umum, orientasi setiap persegi panjang adalah tetap. Yaitu, persegi panjang tidak dapat diputar. Dalam kasus ini, …

16 cc.complexity-theory  np-hardness  packing 

Hal ini tidak diketahui apakah grafik isomorfisma (GI) untuk grafik sangat teratur (SRGs) dalam P . Apakah ada petunjuk bahwa itu mungkin atau mungkin tidak GI -Lengkap? Adakah konsekuensi kuat dalam kasus-kasus seperti itu? (Mirip dengan keyakinan bahwa GI mungkin tidak NP-Lengkap).

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

Saya tertarik dengan masalah ini: Diberi grafik tidak terarah , Apakah ada partisi ke dalam grafik dan sedemikian sehingga dan isomorfis?G G 1 ( E 1 , V 1 ) G 2 ( E 2 , V 2 ) G 1 G 2G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 Di sini dipartisi menjadi …

16 cc.complexity-theory  graph-theory  graph-isomorphism 

Saya bertanya-tanya apakah masalah yang waktu sublinear (dalam ukuran input) algoritma yang ada dapat dicirikan memiliki sifat-sifat tertentu. Ini termasuk waktu sublinear (mis. Pengujian properti, gagasan alternatif perkiraan untuk masalah keputusan), ruang sublinear (mis. Algoritma sketsa / streaming di mana mesin Turing memiliki pita baca-saja, ruang kerja sublinear, dan keluaran …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Dengan hasil klasik Kuroda, kelas kompleksitas NSPACE [ ]nnn (juga dikenal sebagai NLIN-SPACE) adalah kelas CSL dari bahasa yang peka konteks . Masalah kepuasan SAT ada di NSPACE [ ], karena perkiraan ukuran linier untuk solusi dapat diperiksa dengan paling banyak jumlah linier overhead untuk pembukuan. Ini berarti bahwa SAT …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Berapa jumlah minimal gerbang biner yang diperlukan untuk menghitung AND dan OR dari bit input secara bersamaan? Batas atas sepele adalah 2 n - 2 . Saya percaya ini optimal, tetapi bagaimana cara membuktikannya? Teknik eliminasi gerbang standar tidak berfungsi di sini karena dengan menetapkan konstanta pada salah satu variabel …

16 cc.complexity-theory  lower-bounds  circuit-complexity 

Saya mencari masalah yang termasuk ΣP2Σ2P\mathsf{\Sigma^P_2} dalam grafik umum tetapi dalam dalam grafik lebar pohon terbatas, Sebenarnya saya pikir masalah ini lebih sulit daripada menggunakan pemrograman dinamis normal dalam grafik terikat-treewidth untuk menyelesaikannya.PP\mathsf{P}

16 cc.complexity-theory  graph-theory  treewidth 

Apakah masalah berikut di PTIME, atau coNP-hard: Diberikan dua ekspresi Boolean dan dalam variabel , tanpa negasi (yaitu, ekspresi sepenuhnya dibangun melalui dan ). Putuskan apakah , yaitu mereka memiliki nilai yang sama untuk semua tugas ke variabel.e 2 x 1 , ... , x n ∧ ∨ e 1 …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Analisis kasus terburuk dan rata-rata adalah ukuran yang terkenal untuk kompleksitas suatu algoritma. Baru-baru ini analisis yang lebih lancar telah muncul sebagai paradigma lain untuk menjelaskan mengapa beberapa algoritma yang eksponensial dalam kasus terburuk bekerja dengan sangat baik dalam praktiknya, misalnya algoritma simpleks. Pertanyaan saya adalah - apakah ada paradigma …

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

Ada bukti teoretis bahwa konstruksi produk-kartesian naif untuk persimpangan DFA adalah "yang terbaik yang bisa kita lakukan". Bagaimana dengan gabungan dua DFA? Konstruksi sepele melibatkan konversi setiap DFA menjadi NFA, menambahkan transisi epsilon dan menentukan NFA yang dihasilkan. Bisakah kita berbuat lebih baik? Apakah ada batasan yang diketahui pada ukuran …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

Sudah diketahui bahwa rumus acak -CNF atas variabel dengan klausa tidak memuaskan (yaitu mereka kontradiksi) dengan probabilitas tinggi, untuk konstanta yang cukup besar . Dengan demikian, rumus acak -CNF (untuk cukup besar) merupakan distribusi alami atas formula Boolean yang tidak memuaskan (atau setiap akhir, lebih dari tautologi, yaitu negasi kontradiksi). …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Misalkan menunjukkan kompleksitas Kolmogorov dari sebuah string x . Apakah ada string sedemikian rupa sehingga K ( x x ) &lt; K ( x ) . (Di sini x x adalah gabungan x dengan dirinya sendiri). Pertanyaan serupa tetapi berbeda diajukanK(x)K(x)K(x)xxxK(xx)&lt;K(x)K(xx)&lt;K(x)K(xx)<K(x)xxxxxxxxx sini , tetapi contoh tandingan yang diberikan dalam jawaban …

16 cc.complexity-theory  kolmogorov-complexity 

Fungsi adalah satu arah jika f dapat dihitung dengan algoritma waktu polinomial, tetapi untuk setiap algoritma waktu polinomial acak A ,f: { 0 , 1 }∗→ { 0 , 1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffSEBUAHSEBUAHA Pr [ f( A ( f( x ) ) ) = f( x ) …

16 cc.complexity-theory  cr.crypto-security  one-way-function