Informatique théorique random-k-sat

2

Limites actuelles les plus strictes pour la densité critique de 3-SAT

Je m'intéresse à la densité critique de 3-satisfiabilité (3-SAT) . On suppose qu'un tel α existe: si le nombre de clauses 3-SAT générées aléatoirement est ( α + ϵ ) n ou plus, elles sont presque sûrement insatisfaisantes. (Ici, ϵ est une petite constante et n est le nombre de …

26 pr.probability random-k-sat

3

Y a-t-il eu des recherches sur -SAT au-dessus du seuil de satisfiabilité?

Une caractéristique bien connue des instances -SAT est le rapport du nombre de clauses sur le nombre de variables n , c'est-à-dire le quotient \ rho = m / n . Pour chaque k , il existe une valeur seuil \ alpha st \ pour \ rho \ ll \ …

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

1

Quelle est la complexité de comptage de 2-SAT aléatoires?

Des travaux ont-ils été effectués sur la façon dont la complexité des instances aléatoires de # 2-SAT varie avec la densité de la clause? C'est-à-dire: comment la difficulté de compter des solutions satisfaisantes pour une instance générée aléatoirement de 2-SAT varie-t-elle, comme la densité de clause varie? En particulier, existe-t-il …

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

1

Tautologies / contradictions dans le cas moyen, au-delà du modèle aléatoire k-CNF

Il est bien connu que les formules aléatoires -CNF sur n variables avec c n clauses sont insatisfaisantes (c'est-à-dire qu'elles sont des contradictions) avec une probabilité élevée, pour une constante c suffisamment grande . Ainsi, les formules k -CNF aléatoires (pour c assez grand) constituent une distribution naturelle sur des …

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

1

Random 3-SAT: Quelle est la plage expérimentale consensuelle du seuil?

Le rapport critique des clauses aux variables pour le 3-SAT aléatoire est supérieur à 3 et inférieur à 6, et semble être communément décrit comme «autour de 4,2» ou «autour de 4,25». Mezard, Parisi et Zecchina prouvent (au sens physique) que le rapport critique est 4.256, tandis que les premier …

14 sat phase-transition random-k-sat

2

Quelle est la corrélation entre la largeur d'arbre et la dureté de l'instance pour 3-SAT aléatoire?

Ce récent article de FOCS2013, Strong Backdoors to Bounded Treewidth SAT par Gaspers et Szeider parle du lien entre la largeur d' arbre du graphe de la clause SAT et la dureté de l'instance. Pour les instances 3-SAT aléatoires, c'est-à-dire les instances 3-SAT choisies au hasard, quelle est la corrélation …

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

Questions marquées «random-k-sat»