Informatique théorique phase-transition

12

Complexité paramétrée de P à NP-dur et retour

Je cherche des exemples de problèmes paramétrés par un nombre , où la dureté du problème est non monotone en . La plupart des problèmes (selon mon expérience) ont une transition de phase unique, par exemple -SAT a une transition de phase unique de (où le problème est en P) …

60 cc.complexity-theory np-hardness big-list phase-transition

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

4

Exemples de transitions de phase de dureté

Supposons que nous ayons un problème paramétré par un paramètre de valeur réelle p qui soit "facile" à résoudre lorsque et "difficile" lorsque p = p 1 pour certaines valeurs p 0 , p 1 .p = p0p=p0p=p_0p = p1p=p1p=p_1p0p0p_0p1p1p_1 Un exemple est le comptage des configurations de spin sur …

20 cc.complexity-theory counting-complexity approximation-hardness phase-transition

3

Quelle est la fréquence de transition de phase dans les problèmes NP-complets?

Il est bien connu que de nombreux problèmes NP-complets présentent une transition de phase. Je m'intéresse ici à la transition de phase par rapport au confinement dans le langage, plutôt qu'à la dureté de l'entrée, par rapport à un algorithme. Pour rendre le concept sans ambiguïté, définissons-le formellement comme suit. …

17 cc.complexity-theory phase-transition

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 définition précise du K-SAT aléatoire?

Il existe 4 contraintes différentes que nous pouvons avoir lors de la définition de K-SAT aléatoire. 1) Le nombre total de littéraux dans une clause donnée est exactement K ou AT la plupart des K 2) Un littéral donné peut être utilisé avec ou sans remplacement dans la même clause …

12 cc.complexity-theory sat randomness phase-transition

1

Que savons-nous de la transition de phase des problèmes # P-Complete?

Que sait-on de la transition de phase dans les problèmes # P-Complete? Spécifiquement, existe-t-il une transition de phase différente pour # DNF-k-SAT et # CNF-k-SAT? Mise à jour: Comme nous le savons, il y a une transition de phase dans Random k-SAT où la résolution du problème passe de facile …

11 cc.complexity-theory counting-complexity phase-transition

1

Quelles sont les limites supérieures et inférieures les plus connues actuellement sur le seuil de (non) satisfiabilité pour les k-sat et / ou 3-sat aléatoires?

Je voudrais connaître l'état actuel de la transition de phase pour les k-sat aléatoires, étant donné n variables et m clauses, quel est le c = m / n le mieux connu pour les bornes supérieures et inférieures.

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

Questions marquées «phase-transition»