Dans quelle mesure un oracle SAT aiderait-il à accélérer les algorithmes polynomiaux temporels?

23

L'accès à un oracle fournirait une accélération super-polynomiale majeure pour tout dans (en supposant que l'ensemble n'est pas vide). Il est cependant moins clair combien bénéficierait de cet accès Oracle. Bien sûr, l'accélération dans ne peut pas être super-polynomiale, mais elle peut quand même être polynomiale. Par exemple, pourrions-nous trouver un chemin le plus court plus rapidement avec un oracle , que sans lui? Que diriez-vous de certaines tâches plus sophistiquées, telles que la minimisation des fonctions sous-modulaires ou la programmation linéaire? Auraient-ils (ou d'autres problèmes naturels en ) bénéficier d'un $SAT$ ${\bf NP}-{\bf P}$ $\bf P$ $\bf P$ $SAT$ $\bf P$ $SAT$ oracle?

Plus généralement, si nous pouvons choisir n'importe quel problème dans , et utiliser un oracle pour cela, alors lequel des problèmes dans pourrait voir une accélération? ${\bf NP}-{\bf P}$ $\bf P$

cc.complexity-theory np np-complete Andras Farago
la source

2

Quelle est la vitesse de l'oracle? Si cela prend du temps

, plus de problèmes peuvent être accélérés que si cela prend du temps

, où

est la taille de la formule SAT.

O (s)

$O(s)$

O (s^{5})

$O(s^5)$

s

$s$

Peter Shor

2

@PeterShor Je suppose que l'oracle, lors de la réception d'une formule SAT sous forme de requête, renvoie une réponse OUI ou NON, indiquant si la formule est satisfaisante ou non, en une seule étape (temps constant). Ceci est indépendant de la taille de la formule. Bien sûr, la formule doit être construite pour être interrogée. Ce temps de construction n'est pas indépendant de la taille de la formule, et il dépend également du problème des formules à interroger. Mais une fois la formule construite, la réception de la réponse est comptée comme une seule étape, pour toute formule.

Andras Farago

3

Si, au lieu d'un oracle SAT, vous autorisiez un oracle

, il pourrait être utilisé pour trouver un minimum de circuits pour tout problème. Cela donnerait un coût amorti presque optimal à tout problème (la raison pour laquelle il n'est amorti que si vous ne l'utilisez qu'une seule fois, la taille de la formule

vous notez est essentiellement le temps d'exécution de votre poly-temps d'origine). algorithme - mais après cette étape, vous avez alors un circuit optimal pour toutes les instances de taille

).

Σ_{2} S A T

$\Sigma_2 SAT$

Σ_{2} S A T

$\Sigma_2 SAT$

\leq n

$\leq n$

Joshua Grochow

@JoshuaGrochow Votre commentaire est très intéressant! Ce serait formidable de voir cela comme une réponse, avec plus de détails.

Andras Farago

15

En fait, l'acceptation des machines de Turing non déterministes dans le temps est - temps réductible à SAT (la construction se fait via une simulation inconsciente, voir Arora-Barak), donc généralement chaque fois qu'une machine non déterministe est sensiblement plus rapide qu'une machine déterministe , nous verrons au moins une certaine accélération avec un oracle SAT. $t$ $O(t \log t)$

Pour être plus concret, le test de primalité vient à l'esprit, car la meilleure variante de l'algorithme AKS semble tester la primalité d'un nombre à bits dans le temps $n$ . Mais si on passe à la "vieille école", Pratt a donné une MT non déterministe pour décider de la primalité dans le temps $O(n^6 \; \text{polylog}\; n)$ . L'acceptation de cette machine peut être réduite (de façon déterministe) en $O(n^3 \; \text{polylog}\; n)$ heure à une instance SAT. $O(n^3 \; \text{polylog}\; n)$

Le problème 3SUM peut être un autre exemple, car il semble que l'on puisse deviner une solution et la vérifier en temps sub-quadratique, puis l'acceptation d'une telle machine peut être réduite à SAT en temps sub-quadratique.

Joe Bebel
la source

7

Plus généralement, si nous pouvons choisir n'importe quel problème dans NP − P, et utiliser un oracle pour cela, alors lequel des problèmes dans P pourrait voir une accélération?

Cette question devient plus directe au niveau de la représentation et du temps nécessaire pour réduire un problème à un autre ...

La principale réponse que j'ai à l'esprit est un oracle de programmation entière / linéaire. La version de décision de ce problème est NP-complete. Il y a une "réduction" triviale de la programmation linéaire parce que c'est un cas spécial. Mais un oracle pour la programmation linéaire seule (sans parler de l'ILP) accélère de nombreux problèmes qui sont immédiatement résolubles par la programmation linéaire. Ils peuvent y être réduits en temps linéaire en réécrivant le problème sous forme de LP. Par exemple, les chemins les plus courts et autres problèmes de flux, les correspondances.

Mais je ne pense pas que l'ILP soit le seul par tous les moyens, c'est probablement plus que les gens n'ont pas beaucoup réfléchi, par exemple, à la réduction du chemin le plus court vers le TSP, etc.

usul
la source

3

$SAT$ $\Sigma_2 SAT$ $\mathsf{P}$ $\Sigma_2 SAT$ $\leq n$ .

Joshua Grochow
la source

N P^{N P}

$NP^{NP}$

N P

$NP$

P

$P$

N P^{N P} \neq N P

$NP^{NP}\neq NP$

P H

$PH$

P

$P$

P

$P$

N P

$NP$

N P^{N P}

$NP^{NP}$

1

P

$\mathsf{P}$

P H

$\mathsf{PH}$

k

$k$

k + 2

$k+2$

Dans quelle mesure un oracle SAT aiderait-il à accélérer les algorithmes polynomiaux temporels?

Réponses: