Informatique théorique np

1

Les confinements articulaires les plus connus pour / par NP et Parity-P?

La parité-P est l'ensemble des langages reconnus par une machine de Turing non déterministe qui ne peut distinguer qu'un nombre pair ou un nombre impair de chemins "d'acceptation" (plutôt qu'un nombre nul ou non nul de chemins d'acceptation). Ainsi la parité-P est essentiellement PP jeune frère rabougris de: en PP …

18 cc.complexity-theory complexity-classes np

1

Complexité d'un problème de réseau de commutation

Un réseau de commutation (le nom est inventé) est constitué de trois types de nœuds: un nœud de démarrage un nœud d'extrémité un ou plusieurs nœuds Switch Le nœud de commutation a 3 sorties: Gauche, Haut, Droite; a deux états L et R et un état cible TL ou TR …

17 ds.algorithms reference-request graph-algorithms np

2

Dureté de CLIQUE paramétrée?

Soit 0 ≤ p ≤ 10≤p≤10\le p\le 1 et considérons le problème de décision CLIQUE p entrée: nombre entier s , graphe G avec t sommets et bords Question: ne contient une clique sur au moins les sommets?pp_p sssggGttt⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil ggGsss Une instance de CLIQUE …

17 cc.complexity-theory np parameterized-complexity clique

1

Programmation linéaire entière en nombre logarithmique de variables

J'ai lu que la programmation linéaire entière est résoluble en temps polynominal si le nombre de variables est fixe, c'est-à-dire n ∈ O ( 1 ) . Si le nombre de variables croît logarithmiquement, c'est-à-dire n ∈ O ( log 2 ( N ) ) pour une entrée donnée de …

16 cc.complexity-theory np open-problem

2

(Comment) Pourrions-nous découvrir / analyser des problèmes NP en l'absence du modèle de calcul de Turing?

D'un point de vue purement abstrait de raisonnement mathématique / informatique, (comment) pourrait-on même découvrir ou raisonner sur des problèmes comme 3-SAT, Subset Sum, Travelling Salesman, etc.? Serions - nous encore en mesure de raisonner sur eux de quelque façon significative avec juste la fonction point de vue? Serait-ce même …

15 soft-question lambda-calculus turing-machines functional-programming np

1

Problème complet avec borne quasi polynomiale sur le nombre de solutions

FewP est la classe des problèmes avec polynôme lié au nombre de solutions (dans la taille d'entrée). On ne connaît pas problème -complete dans . Je voudrais savoir jusqu'où nous pouvons étendre cette observation.N P f e w PNPNPNPNPNPNPfewPFewPfewP Existe-t-il un problème naturel de complet avec une limite supérieure quasi-polynomiale …

15 cc.complexity-theory np

2

Existe-t-il des langages NP ou P complets très symétriques?

Existe-t-il , un langage NP ou P-complet qui a une famille de groupes de symétrie G n (ou groupoïde , mais alors les questions algorithmiques deviennent plus ouvertes) agissant (en temps polynomial) sur des ensembles L n = { l ∈ L ∣ | l | = n } tel …

14 np algebra gr.group-theory complexity symmetry

1

La complétude de PSPACE implique-t-elle une dureté d'approximation?

Il est mentionné dans un commentaire dans un autre article de cstheorySE que PSPACE- exhausteness implique APX-hardness. Quelqu'un peut-il expliquer / partager une référence pour cela? Est-ce "serré"? (c.-à-d. y a-t-il des problèmes PSPACE complets dont le problème d'optimisation admet une approximation constante des facteurs en temps poly?) Qu'en est-il …

14 cc.complexity-theory approximation-algorithms approximation-hardness np pspace

3

Existe-t-il une théorie de la complexité analogue au théorème de Rice dans la théorie de la calculabilité?

Le théorème de Rice déclare que chaque propriété non triviale de l'ensemble reconnu par une machine de Turing est indécidable. Je recherche un théorème de type rizicole de complexité complexe qui nous dit quelles propriétés non triviales des ensembles NP sont insolubles.

14 cc.complexity-theory computability np

2

Le problème du carré magique à moitié rempli est-il complet?

Voici le problème: Nous avons un carré avec des nombres de 1..N dans certaines cellules. Il est nécessaire de déterminer s'il peut être complété par un carré magique. Exemples: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ …

13 cc.complexity-theory np-hardness np puzzles

1

Le nombre d'adhérents des témoins pour chaque langue NP est-il déjà connu?

La question m'est venue à l'esprit lorsque j'ai obtenu la réponse de Dana Moshkovitz à un autre sujet . Soit un langage NP , et soit la relation NP respective . Nous savons qu'il existe un polynôme tel que:LLLRLRLR_Lppp ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀X∈L,,∃w∈0,1p(|X|)(X,w)∈RL\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} \quad (x,w) …

13 cc.complexity-theory np

1

Existe-t-il des problèmes «NP-intermédiaire-complet»?

Supposons P NP.≠≠\ne Le théorème de Ladner dit qu'il existe des problèmes NP intermédiaires (problèmes dans NP qui ne sont ni dans P ni NP-Complete). J'ai trouvé en ligne des références voilées qui suggèrent (je pense) qu'il existe de nombreux "niveaux" de langues mutuellement réductibles au sein de NPI qui …

13 cc.complexity-theory np np-intermediate

2

TSP euclidien en complexité NP et racine carrée

Dans cette note de cours d'Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , il est dit que nous ne savons pas si le TSP euclidien est en NP: La raison étant que nous ne savons pas calculer efficacement les racines carrées. D'autre part, il y a cet article de Papadimitriou: http://www.sciencedirect.com/science/article/pii/0304397577900123 disant qu'il est …

12 np tsp computing-over-reals

2

Existe-t-il des formulations théoriques de nœuds de problèmes complets de NP?

Existe-t-il des problèmes NP complets (ou même NP-durs, ou NP) qui ont de bonnes propriétés topologiques à étudier? Les problèmes NP ont-ils des formulations théoriques de nœuds? Nous connaissons les résultats # du polynôme de Jones. Les problèmes de graphes (plongements?), En particulier les colorations des graphiques, peuvent avoir de …

12 ct.category-theory np

3

Propriété graphique NP-complète héréditaire mais non additive?

Une propriété de graphe est appelée héréditaire si elle se ferme par rapport à la suppression de sommets (c'est-à-dire que tous les sous-graphes induits héritent de la propriété). Une propriété de graphe est appelée additive si elle est fermée par rapport à la prise d'unions disjointes. Il n'est pas difficile …

12 cc.complexity-theory graph-theory graph-algorithms np

Questions marquées «np»