Informatique théorique upper-bounds

8

Dans un autre fil de discussion , Joe Fitzsimons s'est interrogé sur "la meilleure limite inférieure actuelle de 3SAT". J'aimerais faire l'inverse: quelle est la meilleure limite supérieure actuelle sur 3SAT? En d'autres termes, quelle est la complexité temporelle du solveur SAT le plus efficace? En particulier, est-il envisageable de …

43 cc.complexity-theory ds.algorithms sat upper-bounds

3

Une caractérisation à profondeur fixe de

C'est une question sur la complexité du circuit. (Les définitions sont en bas.) Yao et Beigel-Tarui ont montré que chaque famille de circuits de taille possède une famille de circuits équivalente de taille de profondeur deux , où la porte de sortie est une fonction symétrique et le deuxième niveau …

40 cc.complexity-theory circuit-complexity upper-bounds

2

L'addition peut-elle être effectuée en moins de la profondeur 5?

En utilisant l'algorithme de report prospectif, nous pouvons calculer l'addition en utilisant une profondeur de taille polynomiale 5 (ou 4?) famille de circuits C 0 . Est-il possible de réduire la profondeur? Peut-on calculer l'addition de deux nombres binaires en utilisant une famille de circuits de taille polynomiale avec une …

21 cc.complexity-theory circuit-complexity lower-bounds upper-bounds

1

Quelles sont les limites du calcul dans cet univers?

Je comprends que l'exhaustivité de Turing nécessite une mémoire illimitée et un temps illimité. Cependant, il existe une quantité finie d'atomes dans ce service, ce qui rend la mémoire limitée. Par exemple, même si est irrationnel, il n'y a aucun moyen de stocker plus d'un certain nombre de chiffres même …

17 computability upper-bounds

2

Complexité du circuit OR d'un opérateur linéaire dense

Considérez le modèle de circuit monotone simple suivant: chaque porte est juste un OU binaire. Quelle est la complexité d'une fonction f ( x ) = A xf(x)=Axf(x)=Ax où AAA est une matrice booléenne n × nn×nn \times n avec O ( n )O(n)O(n) 0? Peut-il être calculé par des …

14 ds.algorithms circuit-complexity upper-bounds

2

Quelle largeur d'arbre peut avoir un arbre plus la moitié des bords?

Soit G un arbre sur 2n sommets. La largeur d'arbre de G, tw (G) = 1. Supposons maintenant que nous ajoutons n arêtes à G pour obtenir un graphique H. Une borne supérieure facile sur tw (H) est n + 1. Est-ce essentiellement la meilleure possible? Il semble que tw …

14 upper-bounds treewidth

2

Almost-2-SAT NP-hard?

Un problème CNF SAT NP est-il difficile lorsque le nombre total (mais pas la largeur) des clauses de 3 termes ou plus est limité au-dessus par une constante? Qu'en est-il spécifiquement quand il n'y a qu'une seule clause de ce type?

10 np-hardness sat upper-bounds

2

Les circuits de taille quasi-polynomiale pour 3-SAT sont-ils triviaux?

Supposons que nous considérons 3-SAT avec des variables et des clauses . Je recherche une méthode qui semble prendre temps / espace pour résoudre tout problème SAT correspondant à cette description, à l'intérieur d'une erreur qui peut être ajustée à un montant arbitraire. Cependant, il y a un hic.c O …

10 ds.algorithms sat upper-bounds

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

2

Complexité exacte d'un problème en

Soit xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} pour i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , avec la promesse que x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (où la somme est supérieure à ZZ\mathbb{Z} ). Quelle est alors la complexité de déterminer si x=1x=1x = 1 ? ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} x = 1 A C 0x≡1modmx≡1modmx \equiv 1\bmod{m}x=1x=1x = …

9 reference-request complexity-classes circuit-complexity upper-bounds

Questions marquées «upper-bounds»