Pertanyaan yang diberi tag «cc.complexity-theory»

Studi tentang representasi ringkas dari grafik diprakarsai oleh Galperin dan Wigderson di kertas dari tahun 1983, di mana mereka membuktikan bahwa untuk banyak masalah sederhana seperti menemukan segitiga dalam grafik, versi ringkas yang sesuai pada -Lengkap. Papadimitriou dan Yanakkakis melanjutkan penelitian ini, dan membuktikan bahwa untuk masalah Π yaitu N …

26 cc.complexity-theory  reference-request  complexity-classes 

Shiva Kintali baru saja mengumumkan (keren!) Menghasilkan bahwa isomorfisma grafik untuk grafik treewidth dibatasi lebar yaitu -Hard⊕ L≥ 4≥4\geq 4⊕ L⊕L\oplus L . Secara informal, pertanyaan saya adalah, "Seberapa sulit itu?" Kita tahu bahwa yang tidak seragam , lihat jawaban untuk pertanyaan ini . Kami juga tahu bahwa tidak mungkin …

26 cc.complexity-theory  complexity-classes  logspace 

Sebuah PHPHPH mesin diberikan akses oracle ke acak Boolean fungsi f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} , dan dua Fourier spektrum ggg dan hhh . Spektrum Fourier dari fungsi fff didefinisikan sebagai F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F( s ) = ∑x ∈ { 0 , 1 }n( - 1 )( s …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

Hal ini juga diketahui bahwa diarahkan st-konektivitas adalah -Lengkap. Hasil terobosan Reingold menunjukkan bahwa diarahkan st-konektivitas dalam L . Planar diarahkan st-konektivitas dikenal di U L ∩ c o U L . Cho dan Huynh mendefinisikan masalah ransel parametrized dan dipamerkan hirarki masalah antara L dan N L .NLNLNLLLLUL∩coULUL∩coULUL \cap …

26 cc.complexity-theory  space-bounded 

Apakah ada masalah alami dalam yang tidak (diketahui / dianggap) di U P ∩ c o U P ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Jelas besar satu semua orang tahu tentang di adalah versi keputusan anjak piutang (tidak n memiliki faktor ukuran paling k), tapi itu sebenarnya di U P ∩ …

26 cc.complexity-theory  complexity-classes  np 

Apakah masalah berikut NP-hard? Diberikan konfigurasi papan untuk draft internasional , temukan satu langkah hukum tunggal.n×nn×nn\times n Masalah terkait untuk catur Amerika (alias konsep bahasa Inggris) mudah dipecahkan dalam waktu polinomial. Ada tiga perbedaan utama antara kedua game ini.n×nn×nn\times n Perbedaan pertama dan paling signifikan adalah aturan "raja terbang". Pada …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

Yang akan menjadi konsekuensi dari #P = FP? Saya tertarik pada konsekuensi praktis dan teoritis. Dari sudut pandang praktis, saya sangat tertarik pada konsekuensi pada Kecerdasan Buatan. Pointer ke kertas atau buku lebih dari diterima. Tolong jangan katakan bahwa #P = FP menyiratkan P = NP, saya sudah tahu itu. …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

Untuk formula 3CNF CCC biarkan M ( C )M(C)M(C) menjadi jumlah maksimal klausul puas dalam setiap penugasan ke CCC . Diketahui bahwa Max-3SAT sulit diperkirakan (tunduk pada P ≠ NP), yaitu tidak ada algoritma polytime yang inputnya adalah rumus 3CNF , dan yang outputnya adalah angka sehingga berada dalam faktor …

26 cc.complexity-theory  sat 

Pertimbangkan masalah set penutup minimum dengan batasan berikut: setiap set berisi paling banyak elemen kkk dan setiap elemen alam semesta terjadi di paling banyak set fff . Contoh: case k=4k=4k = 4 dan f=2f=2f = 2 setara dengan masalah penutup simpul minimum dalam grafik dengan derajat maksimum 4. Mari a(k,f)>1a(k,f)>1a(k,f) …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Untuk setiap , saya mengatakan bahwa urutan s dari bilangan bulat dalam { 1 , ... , n } adalah n- lengkap jika, untuk setiap permutasi p dari { 1 , ... , n } , ditulis sebagai urutan bilangan bulat berbeda berpasangan p 1 , … , p n …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Apakah ada bahasa NP-complete (lebih disukai natural) , sehingga untuk setiap n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 tahan? Dengan kata lain, L mengandung tepat setengah dari semua instance n- bit.L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

Menurut D. den Hertog, Interior Point Approach to Linear, Quadratic and Convex Programming, 1994 , sebuah program linier dengan variabel, kendala dan presisi dapat dipecahkan dalam waktu . Apakah itu sudah diperbaiki?nnnnnnLLLO(n3L)O(n3L)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Karakteristik yang terkenal dari instance -SAT adalah rasio jumlah klausa atas jumlah variabel , yaitu, hasil bagi . Untuk setiap , ada nilai ambang st \ untuk , sebagian besar instance memuaskan, dan untuk kebanyakan instance tidak memuaskan. Ada banyak penelitian yang dilakukan untuk masalah di mana , dan untuk …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

Apakah Anda tahu konsekuensi menarik dari dugaan (standar) dalam teori kompleksitas di bidang matematika lainnya (yaitu di luar ilmu komputer teoretis)? Saya lebih suka jawaban di mana: dugaan teori kompleksitas adalah sebagai umum dan standar mungkin; Saya baik-baik saja dengan konsekuensi dari kekerasan masalah khusus juga, tetapi alangkah baiknya jika …

25 cc.complexity-theory  conditional-results 

Apa yang diketahui tentang kompleksitas komputasi bilangan bulat anjak di bidang bilangan umum? Lebih spesifik: Melalui bilangan bulat, kami mewakili bilangan bulat melalui ekspansi binernya. Apa representasi analog dari bilangan bulat di bidang bilangan umum? Apakah diketahui bahwa keutamaan atas bidang angka ada dalam P atau BPP? Algoritma apa yang …

25 cc.complexity-theory  nt.number-theory  comp-number-theory