Perguntas com a marcação «random-k-sat»

Estou interessado na densidade crítica de 3-satisfação (3-SAT) . É suposto que tal exista: se o número de cláusulas 3-SAT geradas aleatoriamente for ou mais, elas são quase certamente insatisfatórias. (Aqui é qualquer constante pequena e é o número de variáveis.) Se o número for ou menos, elas são quase …

26 pr.probability  random-k-sat 

Uma característica bem conhecida das instâncias -SAT é a razão do número de cláusulas sobre o número de variáveis , ou seja, o quociente . Para cada , existe um valor limite st \ para , a maioria das instâncias é satisfatória e para maioria das instâncias não é satisfatória. …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

Foi realizado algum trabalho sobre como a complexidade das instâncias aleatórias do # 2-SAT varia com a densidade da cláusula? Ou seja: como a dificuldade de contar soluções satisfatórias para uma instância gerada aleatoriamente de 2-SAT varia, conforme a densidade da cláusula varia? Em particular, existem resultados rigorosos conhecidos envolvendo …

18 cc.complexity-theory  counting-complexity  random-k-sat 

É sabido que as fórmulas aleatórias de CNF sobre n variáveis ​​com cláusulas c n são insatisfatórias (isto é, são contradições) com alta probabilidade, para uma constante suficientemente grande c . Assim, as fórmulas aleatórias de k- CNF (para c suficientemente grandes) constituem uma distribuição natural sobre fórmulas booleanas insatisfatórias …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

A proporção crítica de cláusulas para variáveis ​​para o 3-SAT aleatório é maior que 3 e menor que 6 e parece ser comumente descrita como "em torno de 4,2" ou "em torno de 4,25". Mezard, Parisi e Zecchina provam (no sentido da física) que a razão crítica é de 4.256, …

14 sat  phase-transition  random-k-sat 

Este artigo recente do FOCS2013, Strong Backdoors to Bounded Treewidth SAT de Gaspers e Szeider, fala sobre o vínculo entre a largura da árvore do gráfico da cláusula SAT e a dureza da instância. Para instâncias aleatórias de 3-SAT, ou seja, 3-SAT escolhidas aleatoriamente, qual é a correlação entre a …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances