Informatique théorique reductions

1

Existe-t-il une liste de problèmes canoniques dans les systèmes distribués?

La semaine dernière, je lisais à nouveau le transcript de Leslie's Lamport en 1982 d'une conférence qu'il a donnée sur les problèmes résolus, les problèmes non résolus et les non-problèmes dans la concurrence . Le document est facilement lisible, mais l'une des choses qui m'a fait réfléchir est l'affirmation suivante: …

13 reductions dc.distributed-comp concurrency

2

PPAD capture-t-il vraiment la notion de trouver un autre sommet déséquilibré?

La complexité classe PPAD a été inventé par Christos Papadimitriou dans son 1994 fondateur du papier . La classe est conçue pour capturer la complexité des problèmes de recherche où l'existence d'une solution est garantie par "Argument de parité dans les graphes dirigés": s'il y a un sommet déséquilibré dans …

13 cc.complexity-theory reductions search-problem ppad

1

Des réductions entre langues de densités différentes?

La densité d'un langage est une fonction définie comme Supposons et sont des langues sur un alphabet fini, grand nombre-un logspace réduit à et ne sont pas dans . Les fonctions sont polynomiales s'il y a des polynômes et tels que pour tout , etXXXdX:N→NdX:N→Nd_X \colon \mathbb{N} \to \mathbb{N}dX(n)=|{x∈X∣|x|≤n}|.dX(n)=|{x∈X∣|x|≤n}|.d_X(n) = …

12 cc.complexity-theory reductions structural-complexity

1

À quelle classe de complexité ce problème de théorie des nombres appartient-il?

'Étant donné a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , y a-t-il x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by=cax2+by=cax^2+by=c ' est NPNP\mathsf{NP} -complet. À quelle classe de complexité «Étant donné a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , y a-t-il x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by2=cax2+by2=cax^2+by^2=c »?

12 ds.algorithms complexity-classes reductions nt.number-theory np-complete

3

Y a-t-il une réduction des jeux de «porte et plaque de pression» qui n'explose pas la longueur de la solution?

Cet article prouve que dans un jeu avec des portes et des plaques de pression, il est difficile pour PSPACE de déterminer si l'avatar (du joueur) peut atteindre un emplacement donné. Cela est prouvé par une réduction de TQBF , et la longueur des solutions résultantes dépend exponentiellement du nombre …

12 reductions nondeterminism pspace

1

Modèles SAT uniques vs Exactly

Le SAT unique est le problème bien connu: étant donné une formule CNF , est-il vrai que F a exactement un modèle?FFFFFF Je m'intéresse au problème «Exactement -SAT»: étant donné une formule CNF F et un entier m > 1 , est-il vrai que F a exactement m modèles?mmmFFFm>1m>1m>1FFFmmm Les …

12 cc.complexity-theory reference-request np-hardness sat reductions

3

Calcul des constructions: compresser l'expression dans sa plus petite forme

Je suis conscient que le calcul des constructions est en train de normaliser fortement, ce qui signifie que chaque expression a une normale pour laquelle elle ne peut pas être bêta, eta-réduite davantage. Il s'agit donc en fait de l'expression la plus efficace qui calcule la même valeur que l'expression …

11 lambda-calculus reductions typed-lambda-calculus normalization calculus-of-constructions

2

Nombre limité d'occurrences variables dans le SAT 1 en 3

Existe-t-il un résultat connu sur la classe de complexité de 1-en-3-SAT avec un nombre restreint d'occurrences variables? J'ai trouvé la réduction parcimonieuse suivante avec Peter Nightingale, mais je veux citer quelque chose si cela est connu. Voici l'astuce que nous avons trouvée. Cela montre que 1-en-3-SAT limité à 3 occurrences …

11 reference-request sat reductions

4

La complétude / la dureté du NP doit-elle être constructive?

Y a-t-il unL∈NPL∈NPL\in {\bf NP} avec les propriétés suivantes: On sait que implique P = N P .L∈PL∈PL\in {\bf P}P=NPP=NP{\bf P}={\bf NP} Il n'y a pas (connu) polynomiale réduction de Turing (ou un autre N P problème -complete) à L .SATSATSATNPNP{\bf NP}LLL En d'autres termes, si un algorithme polynomial de …

11 cc.complexity-theory np-hardness reductions

1

Pourquoi les problèmes NP-complets n'ont-ils pas des ratios d'approximation similaires?

Étant donné que 2 problèmes NP-complets sont par définition réductibles l'un à l'autre, une solution à l'un d'eux peut donc être obtenue en utilisant une boîte noire résolvant l'autre, pourquoi n'ont-ils pas des ratios d'approximation similaires (en se référant à leurs homologues d'optimisation )? Je suppose qu'une dérive constante ou …

11 cc.complexity-theory approximation-algorithms reductions

5

Instance de réductions FPT qui n'est pas une réduction de temps polynomial

Dans la complexité paramétrée, les gens utilisent la réduction à paramètres fixes (FPT) pour prouver la dureté W [t]. Théoriquement, une réduction FPT n'est pas une réduction du temps polynomial, car elle peut s'exécuter de façon exponentielle dans le paramètre k. Mais dans la pratique, toutes les réductions FPT que …

11 cc.complexity-theory np-hardness reductions parameterized-complexity

2

Que signifie «gadget» dans la réduction NP-hard?

Cette question n'est peut-être pas technique. En tant que locuteur non natif et TA pour la classe d'algorithmes, je me suis toujours demandé ce que signifie gadget dans «gadget de clause» ou «gadget variable». Le dictionnaire dit qu'un gadget est une machine ou un appareil, mais je ne sais pas …

11 cc.complexity-theory np-hardness terminology reductions

2

Réductions du pire au cas moyen

Existe-t-il des problèmes dont la complexité moyenne des cas est la même que leur pire complexité? Quelles sont les propriétés sous-jacentes de ces problèmes qui permettent de réduire le pire des cas au cas moyen?

11 cc.complexity-theory reductions average-case-complexity

6

Les réductions de plusieurs et les réductions de Turing définissent-elles le même PNJ de classe

Je me demande si les classes NPC définies par plusieurs réductions et les réductions de Turing sont égales. Edit: Une autre question, est-ce que les réductions de Turing ne font que réduire les classes C et co-C pour certains C ou existe-t-il une classe telle qu'il existe un problème qui …

11 cc.complexity-theory np-hardness reductions

1

Sur des ensembles complets clairsemés et P vs L

Le théorème de Mahaney nous dit que s'il y a un ensemble incomplet de clairsemé sous des réductions de plusieurs un en temps polynomial, alors . (Voir " Ensembles complets clairsemés pour NP: solution d'une conjecture de Berman et Hartmanis ")NPNPNPP= NPP=NPP = NP Existe-t-il des conséquences connues de l'existence …

10 cc.complexity-theory complexity-classes reductions polynomial-time logspace

Questions marquées «reductions»