«upper-bounds» etiketlenmiş sorular

Başka bir konu , Joe Fitzsimons "3SAT'taki en iyi güncel alt sınırlar" diye sordu. Diğer yoldan gitmek isterdim: 3SAT'taki en iyi güncel üst sınırlar hangisi ? Başka bir deyişle, en verimli SAT çözücüsünün zaman karmaşıklığı nedir? Özellikle, SAT için üstel (henüz süper polinom) algoritması bulmak düşünülebilir mi?

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

Bu devre karmaşıklığı ile ilgili bir soru. (Tanımlar altta.) Yao ve Beigel-Tarui her gösterdi büyüklüğü devre ailesinin s boyutta bir eşdeğer devre ailesi vardır s p O l y ( log s ) derinlik , iki çıkış kapısı simetrik bir fonksiyonudur ve ikinci seviye oluşur, arasında bir K D kapıları …

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

Taşıma ileriye bakma algoritmasını kullanarak bir polinom boyut derinliği 5 (veya 4?) devre ailesi kullanarak eklemeyi hesaplayabiliriz . Derinliği azaltmak mümkün mü? İleriye bakacak algoritmayı taşıyarak elde edilen derinlikten daha az derinliğe sahip polinom büyüklüğü devre ailesi kullanarak iki ikili sayının eklenmesini hesaplayabilir miyiz?Bir c0AC0AC^0 D 2 veya 3 olan …

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

Turing tamlığının sınırsız bellek ve sınırsız zaman gerektirdiğini anlıyorum. Bununla birlikte, bu serviste sınırlı miktarda atom vardır, böylece belleği sınırlandırır. Olsa Örneğin mantıksız olsa bile belirli bir basamak daha fazla sayıda depolamak için bir yolu yoktur , tüm evrenin atomuna bu amaçla kullanılmıştır.ππ\pi Öyleyse, uygulanmış bir Turing makinesinin (evrenin tüm …

17 computability  upper-bounds 

Aşağıdaki basit monoton devre modelini düşünün: her kapı sadece bir ikili OR'dir. fonksiyonunun karmaşıklığı nedir; burada A , O ( n ) 0'lara sahip bir Boole n × n matrisidir ? Doğrusal boyutlu OR devreleri ile hesaplanabilir mi?f(x)=Axf(x)=Axf(x)=AxAAAn×nn×nn \times nO(n)O(n)O(n) Daha resmi olarak, n ila n bit arasında bir işlevdir …

14 ds.algorithms  circuit-complexity  upper-bounds 

G 2n köşelerinde bir ağaç olsun. G, tw (G) = 1 trewidth. Şimdi bir H grafiği elde etmek için G'ye n kenarı eklediğimizi varsayalım. Tw (H) 'de kolay bir üst sınır n + 1' dir. Bir şekilde tw (H) 'nin O (sqrt (n)) olması gerektiği anlaşılıyor, ancak bu sadece belirsiz …

14 upper-bounds  treewidth 

3 veya daha fazla terim yan tümceleri toplam sayısı (genişlik değil) bir CNF SAT sorunu NP yukarıda sabit ile sınırlanmış mı? Özellikle böyle bir madde olduğunda ne olur?

10 np-hardness  sat  upper-bounds 

Diyelim ki değişkenleri ve c cümleleri olan 3-SAT düşünüyoruz . Bu açıklamaya uyan herhangi bir SAT sorununu çözmek için O ( v 2 + log c ) zamanını / alanını alan bir metodu araştırıyorum . Ancak, bir yakalama var.vvvcccO ( v2 + günlükc)O(v2+log⁡c)O(v^{2+\log c}) Bu yöntem, bir dizi önceden hesaplanmış …

10 ds.algorithms  sat  upper-bounds 

N değişkenleri ve m cümleleri göz önüne alındığında, üst ve alt sınırlar için en iyi bilinen c = m / n olan rastgele k-sat için faz geçişinin mevcut durumunu bilmek istiyorum.

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

İzin Vermek xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} için i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, söz ile x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (toplamın bittiği yer ZZ\mathbb{Z}). Öyleyse,x=1x=1x = 1? Önemsiz olarak sorunun içinde bulunduğuna dikkat edin ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} Çünkü x≡1modmx≡1modmx \equiv 1\bmod{m}iff x=1x=1x = 1 . Soru şu: Sorun AC0AC0\mathsf{AC}^0 mı var? Eğer öyleyse, buna …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds