Informatique théorique polynomial-time

1

Existe-t-il des classes de graphiques intéressantes où la largeur de l'arborescence est difficile (facile) à calculer?

Treewith est un paramètre de graphique important qui indique à quel point un graphique est proche d'être un arbre (bien que pas dans un sens topologique strict). Il est bien connu que le calcul de la largeur d'arbre est NP-difficile. Existe-t-il des classes naturelles de graphiques où la largeur d'arbre …

13 graph-theory np-hardness polynomial-time treewidth

2

Quelle est une définition équivalente de mP / poly en termes de machine de Turing?

P / poly est la classe de problèmes de décision pouvant être résolus par une famille de circuits booléens de taille polynomiale. Il peut également être défini comme une machine de Turing à temps polynomial qui reçoit une chaîne de conseils de taille polynomiale en n et basée uniquement sur …

13 cc.complexity-theory complexity-classes circuit-complexity polynomial-time monotone

3

Exemples de problèmes où les algorithmes exponentiels fonctionnent plus rapidement que les algorithmes polynomiaux pour les tailles pratiques?

Connaissez-vous des problèmes (de préférence au moins assez bien connus) où, pour une taille de problème pratique , un algorithme exponentiel s'exécute beaucoup plus rapidement qu'un homologue polynomial le plus connu. Par exemple, supposons qu'un problème ait une taille pratique * de et qu'il existe deux algorithmes connus: l'un est …

13 time-complexity polynomial-time exp-time-algorithms

3

Quels programmes linéaires entiers sont faciles?

Tout en essayant de résoudre un problème, j'ai fini par en exprimer une partie comme le programme linéaire entier suivant. Ici sont tous des entiers positifs donnés dans le cadre de l'entrée. Un sous-ensemble spécifié des variables x i j est mis à zéro, et le reste peut prendre des …

13 reference-request linear-programming polynomial-time integer-programming integrality-gap

1

Dureté NP d'un cas particulier de partitionnement numérique

Considérez le problème suivant, Étant donné un ensemble de nombres positifs { a 1 , … , a n } dans lesquels k ≥ 3 est une constante, nous voulons partitionner l'ensemble en m sous-ensembles de taille k de sorte que le produit de la somme de chaque sous-ensemble est …

12 cc.complexity-theory np-hardness application-of-theory polynomial-time

2

«Parents» du problème du chemin le plus court

Considérons un graphique connecté non orienté avec des poids de bord non négatifs et deux sommets distincts . Voici quelques problèmes de chemin qui sont tous de la forme suivante: trouver un chemin , de sorte qu'une fonction des poids de bord sur le chemin soit minimale. En ce sens, …

10 graph-theory graph-algorithms np-complete polynomial-time

1

P et complexité descriptive

Dans le Complexity Zoo, il est dit [ 1 ] que, dans la complexité descriptive, PPP peut être défini par trois types de formules différents, FO(LFP)FO(LFP)FO(LFP) qui est aussi FO(nO(1))FO(nO(1))FO(n^{O(1)}) , et aussi comme SO(HORN)SO(HORN)SO(HORN) . Cependant, il y a quelques exceptions, par exemple, EvennessEvennessEvenness ne peuvent pas être exprimées …

10 lo.logic polynomial-time descriptive-complexity

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

1

Quelle est la relation conjecturée entre les langues P (PTime) et de type 1 (contextuelles)?

P⊆ CSLP⊆CSLP\subseteq CSLP⊈ CSLP⊈CSLP\not\subseteq CSL PPP est l'ensemble de tous les langages décidables en temps polynomial sur une machine de Turing déterministe, et CSLCSLCSL est la classe des langages contextuels, connue pour être équivalente à , les langages décidés par des automates linéaires.NSPA CE( O ( n ) )NSPACE(O(n))NSPACE(O(n)) Pour …

10 cc.complexity-theory fl.formal-languages polynomial-time

3

Existe-t-il une généralisation de la théorie de l'information aux informations connaissables polynomialement?

Je m'excuse, c'est une question un peu "douce". La théorie de l'information n'a pas de concept de complexité informatique. Par exemple, une instance de SAT ou une instance de SAT plus un bit indiquant la satisfiabilité transportent la même quantité d'informations. Existe-t-il un moyen de formaliser le concept de "polynomialement …

9 cc.complexity-theory it.information-theory polynomial-time

Questions marquées «polynomial-time»