Pertanyaan yang diberi tag «upper-bounds»

Di utas lain , Joe Fitzsimons bertanya tentang "batas bawah terbaik saat ini pada 3SAT." Saya ingin pergi ke arah lain: Apa batas atas terbaik saat ini di 3SAT? Dengan kata lain, apa kompleksitas waktu dari pemecah SAT yang paling efisien? Secara khusus, apakah mungkin untuk menemukan algoritma sub-eksponensial (namun …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

Ini adalah pertanyaan tentang kompleksitas rangkaian. (Definisi ada di bawah.) Yao dan Beigel-Tarui menunjukkan bahwa setiap rangkaian keluarga dari ukuran s memiliki keluarga rangkaian yang setara dengan ukuran s p o l y ( log s ) dari kedalaman dua , di mana gerbang keluaran adalah fungsi simetris dan tingkat …

40 cc.complexity-theory  circuit-complexity  upper-bounds 

Dengan menggunakan algoritma carry look ahead, kita dapat menghitung penambahan menggunakan kedalaman ukuran polinomial 5 (atau 4?) . Apakah mungkin mengurangi kedalaman? Bisakah kita menghitung penambahan dua bilangan biner menggunakan rangkaian keluarga ukuran polinomial dengan kedalaman kurang dari yang diperoleh dengan algoritma carry look forward?A C0AC0AC^0 Apakah ada lowerbin polinomial …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

Saya mengerti bahwa kelengkapan Turing membutuhkan memori tanpa batas dan waktu tanpa batas. Namun ada sejumlah atom dalam layanan ini sehingga membuat memori dibatasi. Sebagai contoh meskipun tidak rasional, tidak ada cara untuk menyimpan lebih dari jumlah digit tertentu bahkan jika semua atom di alam semesta digunakan untuk tujuan ini.ππ\pi …

17 computability  upper-bounds 

Pertimbangkan model rangkaian monoton sederhana berikut: setiap gerbang hanyalah sebuah biner ATAU. Apa kompleksitas dari fungsi mana adalah Boolean matriks dengan 0's? Bisakah itu dihitung dengan ukuran linier OR-sirkuit?f(x)=Axf(x)=Axf(x)=AxAAAn×nn×nn \times nO(n)O(n)O(n) Lebih formal, adalah fungsi dari ke bit. The th output yaitu (yaitu, OR dari subset input bit yang diberikan …

14 ds.algorithms  circuit-complexity  upper-bounds 

Biarkan G menjadi pohon pada simpul 2n. The treewidth dari G, tw (G) = 1. Sekarang anggaplah kita menambahkan n edge ke G untuk mendapatkan grafik H. Batas atas yang mudah pada tw (H) adalah n + 1. Apakah ini pada dasarnya yang terbaik? Tampaknya entah bagaimana tw (H) harus …

14 upper-bounds  treewidth 

Apakah masalah CNF SAT NP sulit ketika jumlah total (tetapi bukan lebar) dari klausa 3-atau-lebih istilah dibatasi di atas oleh konstanta? Bagaimana dengan spesifik ketika hanya ada satu klausa seperti itu?

10 np-hardness  sat  upper-bounds 

Misalkan kita mempertimbangkan 3-SAT dengan variabel dan klausa . Saya sedang meneliti metode yang tampaknya mengambil waktu / ruang untuk memecahkan masalah SAT yang sesuai dengan deskripsi ini, untuk dalam kesalahan yang dapat disesuaikan dengan jumlah sewenang-wenang. Namun, ada yang menangkap.vvvcccO(v2+logc)O(v2+log⁡c)O(v^{2+\log c}) Metode ini membutuhkan seperangkat nilai yang dikomputasi, setelah …

10 ds.algorithms  sat  upper-bounds 

Saya ingin mengetahui keadaan transisi fase saat ini untuk k-sat acak, mengingat n variabel dan klausa m, apa yang paling dikenal c = m / n untuk batas atas dan bawah.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

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 

Tentukan sebagai grafik berarah acak ( simpul; kami menempatkan tepi antara dua simpul dengan probabilitas ).n pG(n,p)G(n,p)G(n, p)nnnppp Apa hasil yang diketahui untuk masalah berikut: Perbaiki dua simpul dan . Berapa probabilitas bahwa setidaknya ada jalur (panjang paling banyak ) antara dan ? (jelas hasilnya harus fungsi , dan ). …

8 graph-theory  upper-bounds  random-walks  random-graphs