«formulas» etiketlenmiş sorular

Let bir ölçüde olmak d polinom içinde n değişkenleri üzerinde F 2 , d sabittir (2 veya 3) söylüyor. I küçük formül bulmak istiyoruz f ( "formül" ve "Formül boyutu" açık bir şekilde tanımlanmış olup, örneğin. Polinom için en küçük Formül x 1 x 2 + x 1 x 3 …

28 cc.complexity-theory  formulas 

Soru: En iyi bilinen formül boyutu AC içinde müstehcen fonksiyon için bağlı düşük değerler nedir 0 ? alt sınırına sahip belirgin bir işlev var mı ?Ω(n2)Ω(n2)\Omega(n^2) Arka fon: Çoğu alt sınır gibi, formül büyüklüğündeki düşük sınırların elde edilmesi zordur. {#, VEYA, DEĞİL} standart evrensel geçit setine göre daha düşük sınır …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

Let bir olmak karşılanabilir ile CNF, Formül n değişkenleri ve m maddeleri. Let S F 1 çözeltisi uzay F 1 .F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Verilen belirleme sorununu ele alalım , bir CNF, Formül F 2 gibi değişkenler aynı seti ile F 1 ile, S , F 2 = S F 1 (aynı çözelti …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

Arka fon Bir dizi kapı üzerindeki bir defaya mahsus formül (temel olarak da adlandırılır), her bir giriş değişkeninin bir kez göründüğü bir formüldür. Bir defaya mahsus formüller genellikle De Morgan bazında (2-bit kapıları AND ve OR ve 1-bit kapısı DEĞİL) ve tam ikili bazda (tüm 2-bit kapıları olan) incelenir. Bu …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

Çok spesifik olmak istiyorum. Aşağıdaki önermenin kanıtını veya kanıtını bilen var mı? ∃ p ∈ Z [ x ] , n , k , C∈ N ,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀ G , H∈ STR UC[ Σgr a p h] ( m i n ( …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

N değişkeninde ( ) m terimlerine sahip monoton bir CNF formülü, ; burada her , değişkenlerin bazı alt kümelerinin ve ile arasında değişir . f ( x 1 , … , x n ) = ⋀ C i C i x 1 , … , x n i 1 mx1, …

10 cc.complexity-theory  circuit-complexity  formulas