«monotone» etiketlenmiş sorular

Genel aritmetik devreler hakkındaki bilgilerimizin durumu, Boolean devreleri hakkındaki bilgimizin durumuna benzer gözüküyor, yani iyi düşük sınırlarımız yok. Öte yandan, monoton Boole devreleri için üstel boyutlarda alt sınırlarımız var . Monoton aritmetik devreleri hakkında ne biliyoruz ? Onlar için de benzer alt sınırlarımız var mı? Eğer değilse, monoton aritmetik devreler …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

PTIME veya coNP'de aşağıdaki sorun zor mu? değişkenlerinde iki ve Boole ifadesi (yani, ifadeler tamamen ve yoluyla oluşturulur ). , değişkenlere yapılan tüm atamalar için aynı değere sahip olup olmadığına karar verin .e 2 x 1 , … , x n ∧ ∨ e 1 ≡ e 2e1e1e_1e2e2e_2x1,…,xnx1,…,xnx_1,\dots,x_n∧∧\wedge∨∨\veee1≡e2e1≡e2e_1 \equiv e_2 …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Razborov monoton fonksiyon eşleştirme olmadığını kanıtladı mP . Ancak, birkaç olumsuzluk ile polinom boyutlu bir devre kullanarak eşleşmeyi hesaplayabilir miyiz? Eşleşmeyi hesaplayan negatifleri olan bir P / poli devresi var mı? Olumsuzluk sayısı ile eşleşme boyutu arasındaki denge nedir?O(nϵ)O(nϵ)O(n^\epsilon)

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

Belirli bir genel boole formülünde (CNF-SAT), belirli bir DNF formülünde veya hatta belirli bir 2SAT formülünde tatmin edici atama sayısını saymanın problemini # P-tamamlama problemidir. Şimdi, negatif değişmez değeri olmayan bir CNF-SAT düşünün ( , her zaman ). Karar problemi çok kolaydır (tüm değişkenleri TRUE olarak ayarlayın ve atamanın formülü …

13 sat  counting-complexity  polynomial-time  monotone 

P / poly, bir polinom boyutlu Boole devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır. Alternatif olarak, n cinsinden polinom boyutunda olan ve yalnızca n boyutuna dayanan bir tavsiye dizesi alan bir polinom-zaman Turing makinesi olarak tanımlanabilir. MP / poli, polinom boyutlu monoton Boolean devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır, …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

Ağırlık |x||x||x|ikili dizgiden x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n dizedeki dizelerin sayısıdır. Az olan girdilerdeki monoton bir işlevi hesaplamakla ilgilenirsek ne olur? Bir grafik sahip ise, karar biliyoruz -clique monoton devreler için zordur (diğerleri Alon Boppana, 1987 arasında), ancak bir grafiktir en örneğin sahipse k 3 kenarlar mümkün boyutta bir monoton sınırlanan derinlik devresi bulmak …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone