Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.


1
Apakah ada properti distribusi yang "maksimal" sulit diuji?
Algoritma pengujian distribusi untuk properti distribusi P (yang hanya sebagian dari semua distribusi di atas [n]) diizinkan mengakses sampel sesuai dengan beberapa distribusi D, dan diperlukan untuk memutuskan (whp) jika atau d ( D) , P ) > ϵ ( d di sini biasanya ℓD∈PD∈PD\in Pd(D,P)>ϵd(D,P)>ϵd(D,P)>\epsilondddjarak 1 ). Ukuran kompleksitas …


2
Apakah mungkin untuk menggunakan pembatasan acak untuk mendapatkan batas bawah untuk
Ada beberapa terkenal hasil ukuran sirkuit yang lebih rendah-bound berdasarkan pembatasan acak dan Switching Lemma .AC0AC0\mathsf{AC^0} Bisakah kita mengembangkan hasil Lema Switching untuk membuktikan ukuran yang lebih rendah terikat untuk sirkuit (mirip dengan bukti yang lebih rendah-bound untuk A C 0 )?TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Atau apakah ada kendala yang melekat untuk menggunakan …

2
Eliminasi Gaussian dalam hal Aksi Kelompok
Eliminasi gaussian menentukan determinan matrik polinomial-waktu. Pengurangan kompleksitas dalam menghitung determinan, yang merupakan penjumlahan dari istilah eksponensial, adalah karena adanya tanda-tanda negatif alternatif (kurangnya yang membuat komputasi permanen adalah mis. Lebih sulit daripada masalah N P - C ) . Ini mengarah pada semacam simetri dalam determinan, misalnya pertukaran sepasang …



2
Emulasi Turing Machine tidak sadar batas bawah
Apakah ada bukti bahwa emulasi mesin Turing pada mesin Turing yang terlupa tidak dapat dilakukan dalam waktu kurang dari O(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right) mana mmm adalah jumlah langkah yang digunakan mesin Turing? Atau ini hanya batas atas? Dalam makalah Paul Vitányi tentang relativized mesin Turing dilupakan, Vitányi mengklaim "Mereka [ Pippenger dan …

1
Apakah ada versi berkelanjutan dari teorema pengulangan paralel
Raz Paralel pretition teorema adalah hasil yang penting dalam PCP, inapproximation, dll Teorema ini fomalized sebagai berikut. G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V)S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B}ππ\piS×TS×T\mathcal{S}\times\mathcal{T}V:S×T×A×B→{0,1}V:S×T×A×B→{0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\}v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=\max_{h_A\in\mathcal{H}_A,h_B\in\mathcal{H}_B}\sum_{s,t}\pi(s,t)V(s,t,h_A(s),h_B(t)) And nnn-fold game Gn=(Sn,Tn,An,Bn,πn,Vn)Gn=(Sn,Tn,An,Bn,πn,Vn)G^n=(\mathcal{S}^n,\mathcal{T}^n,\mathcal{A}^n,\mathcal{B}^n,\pi^n, V^n). The theorem says if v(G)≤1−ϵ,v(G)≤1−ϵ,v(G)\leq 1-\epsilon, then v(Gn)≤(1−ϵc)Ω(nlogmax{|A|,|B|})v(Gn)≤(1−ϵc)Ω(nlog⁡max{|A|,|B|})v(G^n)\leq (1-\epsilon^c)^{\Omega(\frac{n}{\log\max\{|A|,|B|\}})}. My quesion is what happen if the sets are infinite, in a continuous space. Say if S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B} …




1
Parity-L vs NL
Parity-L, juga dikenal sebagai L, adalah serangkaian bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara bilangan genap atau ganjil dari jalur "penerimaan". Pertanyaan terkait baru - baru ini diajukan oleh Niel de Beaudrap.⊕⊕\oplus Pertanyaan saya adalah sebagai berikut: Apakah kita tahu jika NL L? Atau apakah …

1
Apakah menghitung klik maksimal dalam grafik yang tidak dapat dibandingkan # P-complete?
Pertanyaan ini dimotivasi oleh pertanyaan MathOverflow oleh Peng Zhang . Valiant menunjukkan bahwa menghitung klik maksimal dalam grafik umum adalah # P-complete, tetapi bagaimana jika kita membatasi pada grafik yang tidak dapat dibandingkan (yaitu, kita ingin menghitung antichains maksimal dalam posite terbatas)? Pertanyaan ini tampaknya cukup alami sehingga saya curiga …


Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.