Informatique théorique ds.algorithms

2

Existe-t-il des problèmes NP-complets connus, ni NP-dur au sens fort, ni algorithme pseudopolynomial?

Dans leur article (p. 503) Garey et Johnson remarquent: ... il pourrait exister un problème NP-complet qui n'est ni NP-complet au sens fort ni résoluble par un algorithme pseudo-polynomial temporel ... Quelqu'un connaît-il des problèmes avec les propriétés mentionnées ci-dessus? Je pense que la réponse possible à cette question peut …

19 ds.algorithms np-hardness np

1

Quels sont les meilleurs compromis temps / erreur possibles pour une solution approximative de programmes linéaires?

Pour le concret, considérons le LP pour résoudre un jeu à somme nulle à deux joueurs où chaque joueur a actions. Supposons que chaque entrée de la matrice de gains soit au plus 1 en valeur absolue. Par souci de simplicité, ne faisons aucune hypothèse de rareté.AnnnAAA Supposons que le …

19 ds.algorithms approximation-algorithms online-learning linear-programming

2

Algorithme pour les nombres 'k' les plus fréquents

Je cherchais l'algorithme le plus efficace (streaming ??) qui me dise les «k» éléments les plus fréquemment rencontrés dans un flux de données à tout moment. Cet article: Les algorithmes de flux de données "Diviser et conquérir" m'ont intéressé. Par exemple, supposons qu'il y ait des nombres: (4,3,5,1,6,2,4,3,3,8,9,1) et que …

19 ds.algorithms online-algorithms data-streams

22

Quels algorithmes sont utilisés le plus souvent en pratique?

Verrouillé . Cette question et ses réponses sont verrouillées car la question est hors sujet mais a une signification historique. Il n'accepte pas actuellement de nouvelles réponses ou interactions. Quels algorithmes sont utilisés le plus souvent? Veuillez écrire un seul algorithme par réponse, essayez de garder votre réponse courte (une …

19 ds.algorithms big-list

1

Algorithme dont le temps de fonctionnement dépend de P vs. NP

Existe-t-il un exemple connu et explicite d'un algorithme avec la propriété telle que si P≠NPP≠NPP\neq NP alors cet algorithme ne s'exécute pas en temps polynomial et si P=NPP=NPP=NP alors il s'exécute en temps polynomial?

18 ds.algorithms np p-vs-np

5

Algorithmes de largeur d'arbre rapides

Je voudrais calculer la largeur d' arbre d'un graphique. Il existe de très bonnes heuristiques pour d'autres problèmes de graphes NP-durs tels que VF2 pour l'isomorphisme de sous-graphe, avec du code disponible en igraph par exemple. Je les ai essayés sur mes graphiques et je trouve qu'ils fonctionnent très rapidement …

18 ds.algorithms graph-algorithms treewidth heuristics

11

Existe-t-il des problèmes dont l'algorithme le plus connu a exécuté le temps

Je n'ai jamais vu d'algorithme avec un journal dans le dénominateur auparavant, et je me demande s'il existe des algorithmes réellement utiles avec ce formulaire? Je comprends beaucoup de choses qui pourraient entraîner la multiplication d'un facteur de journalisation pendant l'exécution, par exemple des algorithmes de tri ou d'arborescence, mais …

18 ds.algorithms big-list time-complexity

5

Est-il possible de tester si un nombre calculable est rationnel ou entier?

Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en quelque sorte lié au fait qu'il …

18 computability computing-over-reals lambda-calculus graph-theory co.combinatorics cc.complexity-theory reference-request graph-theory proofs np-complete cc.complexity-theory machine-learning boolean-functions combinatory-logic boolean-formulas reference-request approximation-algorithms optimization cc.complexity-theory co.combinatorics permutations cc.complexity-theory cc.complexity-theory ai.artificial-intel p-vs-np relativization co.combinatorics permutations ds.algorithms algebra automata-theory dfa lo.logic temporal-logic linear-temporal-logic circuit-complexity lower-bounds permanent arithmetic-circuits determinant dc.parallel-comp asymptotics ds.algorithms graph-theory planar-graphs physics max-flow max-flow-min-cut fl.formal-languages automata-theory finite-model-theory dfa language-design soft-question machine-learning linear-algebra db.databases arithmetic-circuits ds.algorithms machine-learning ds.data-structures tree soft-question security project-topic approximation-algorithms linear-programming primal-dual reference-request graph-theory graph-algorithms cr.crypto-security quantum-computing gr.group-theory graph-theory time-complexity lower-bounds matrices sorting asymptotics approximation-algorithms linear-algebra matrices max-cut graph-theory graph-algorithms time-complexity circuit-complexity regular-language graph-algorithms approximation-algorithms set-cover clique graph-theory graph-algorithms approximation-algorithms clustering partition-problem time-complexity turing-machines term-rewriting-systems cc.complexity-theory time-complexity nondeterminism

3

Le hasard nous achète-t-il quelque chose à l'intérieur de P?

Soit BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n)) la classe des problèmes de décision ayant un algorithme aléatoire à erreur bilatérale borné fonctionnant dans le temps .O(f(n))O(f(n))O(f(n)) Connaît-on un problème tel que mais ? Sa non-existence est-elle prouvée? Q ∈ B P T I M E ( n k ) Q ∉ D T I M …

18 cc.complexity-theory ds.algorithms randomized-algorithms derandomization

2

Reconstruire un arbre à partir de requêtes de séparation

Supposons que soit un arbre à degrés constants dont nous ne connaissons pas la structure. Le problème est de sortir l'arbre en posant des requêtes de la forme: "Le nœud se trouve-t-il sur le chemin du nœud au nœud ?". Supposons que chaque requête puisse recevoir une réponse en temps …

18 ds.algorithms reference-request graph-algorithms oracles query-complexity

3

Module déterminant m

Quels sont les algorithmes efficaces connus pour calculer un déterminant d'une matrice entière à coefficients dans , l'anneau de résidus modulo . Le nombre peut ne pas être premier mais composite (donc les calculs sont effectués en anneau, pas dans un champ). mmZmZm\mathbb{Z}_mmmmmmm Pour autant que je sache (lire ci-dessous), …

18 ds.algorithms reference-request linear-algebra comp-number-theory

3

Résolution exacte de la super chaîne

Que sait-on de la complexité exacte du problème de chaîne la plus courte? Peut-il être résolu plus rapidement que ? Existe-t-il des algorithmes connus qui résolvent la super chaîne la plus courte sans réduire au TSP?O∗(2n)O∗(2n)O^*(2^n) UPD: supprime les facteurs polynomiaux.O∗(⋅)O∗(⋅)O^*(\cdot) Le problème de superstring le plus court est un …

18 cc.complexity-theory ds.algorithms graph-theory tsp exp-time-algorithms

6

Algorithmes SAT non basés sur DPLL

Existe-t-il des algorithmes de résolution SAT qui ne sont pas basés sur DPLL? Ou tous les algorithmes utilisés par les solveurs SAT sont-ils basés sur DPLL?

18 ds.algorithms reference-request sat

3

Analyse CFG en utilisant l' espace

Il existe une multitude d'algorithmes qui peuvent analyser une grammaire sans contexte en temps . En utilisant la multiplication matricielle, on peut même aller plus vite asymptotiquement que cela.O ( n3)O(n3)O(n^3) Cependant, tous les algorithmes d'analyse syntaxique des CFG arbitraires que je connais ont une utilisation de l'espace dans le …

18 ds.algorithms fl.formal-languages space-bounded parsing context-free

2

Complexité du calcul de la transformée de Fourier discrète?

Quelle est la complexité (sur la RAM entière standard) du calcul de la transformée de Fourier discrète standard d'un vecteur de nombres entiers?nnn L' algorithme classique pour les transformées de Fourier rapides , attribué de manière inappropriée [1] à Cooley et Tukey, est généralement décrit comme fonctionnant en temps . …

18 ds.algorithms time-complexity computing-over-reals computable-analysis

Questions marquées «ds.algorithms»