Je m'intéresse à des exemples de constructions dans la théorie de la complexité qui sont meilleures que des constructions aléatoires. Le seul exemple d'une telle construction que je connaisse est dans le domaine des codes correcteurs d'erreurs. Les codes à géométrie algébrique sont meilleurs dans...
Il existe de nombreux exemples en combinatoire et en informatique où nous pouvons analyser un problème de théorie des graphes mais pour l'analogue hypergraphique du problème, nos outils font défaut. Pourquoi pensez-vous que les problèmes deviennent souvent beaucoup plus difficiles avec les...
Soit un langage sans contexte. Définir soit à la fermeture avant et postfixe de , en d' autres termes, contient l' ensemble des des préfixes des suffixes de » et, et par conséquent elle - même. Ma question: si est sans contexte et a une grammaire non ambiguë, est-ce la même chose pour ?p p c ( L )...
En un mot, les théorèmes de la hiérarchie du temps disent qu'une machine de Turing peut résoudre plus de problèmes si elle a plus de temps pour le calcul. En détail pour TM déterministe et fonctions constructibles dans le temps avec c'est et pour TM non déterministe et fonctions constructibles dans...
Le message est lié à: /mathpro/59631/lovasz-theta-function-and-independence-number-of-product-of-simple-odd-cycles À quelle distance le Lovasz est-il lié à la capacité sans erreur des graphiques réguliers? Existe-t-il des exemples où la limite de Lovasz est connue pour ne pas être égale à la...
Un programme span est une manière linéaire-algébrique de spécifier une fonction booléenne présentée ici . Récemment, ce modèle a été utilisé pour montrer que la méthode de l'adversaire négatif fournit une caractérisation étroite (au moins jusqu'à ) de la complexité des requêtes quantiques.Journaln...
Considérez le problème de l'ensemble dominant dans les graphiques généraux, et soit le nombre de sommets dans un graphique. Un algorithme d'approximation gourmand donne une garantie d'approximation du facteur 1 + log n , c'est-à-dire qu'il est possible de trouver en temps polynomial une solution S...
Pour répondre "quels problèmes peuvent être résolus par l'informatique", nous avons développé la théorie de la calculabilité. Pour les problèmes qui sont calculables, existe-t-il une théorie pour répondre à la question "est-ce que le programme est le plus simple"? Je ne pense pas que la complexité...
Soit un graphe connexe G = ( V , E ) avec des noeuds V = 1 ... n et des bords E . Soit w i le poids (entier) du graphe G , avec ∑ i w i = m le poids total du graphe. Le poids moyen par nœud est alors ˉ w = m / n . Soit e i = w i - ˉ w la déviation du nœudGGGG = ( V, E)G=(V,E)G = (V,E)V= 1 … nV=1…nV...
Nous savons que le logarithme du rang d'une matrice 0-1 est la borne inférieure de la complexité de communication déterministe, et le logarithme du rang approximatif est la borne inférieure de la complexité de communication aléatoire. Le plus grand écart entre la complexité de la communication...
Bien que les séparations exponentielles entre la complexité des requêtes quantiques à erreurs limitées ( ) et la complexité des requêtes déterministes ( D ( f ) ) ou la complexité des requêtes randomisées à erreurs limitées ( R ( f ) ) soient connues, elles ne s'appliquent qu'à certaines fonctions...
Je suis un étudiant en master axé sur les systèmes distribués mais également intéressé par l'informatique théorique. Je me demandais s'il y avait une représentation formelle d'un système distribué au-dessus d'une machine de turing? Autrement dit, est-il possible d'étendre (faire une variante) le...
Les essais permettent un stockage efficace des listes d'éléments. Les préfixes sont partagés, ce qui optimise l'espace. Je cherche un moyen similaire de stocker efficacement les arbres. Je voudrais pouvoir vérifier l'appartenance et ajouter des éléments, sachant si un arbre donné est un sous-arbre...
Mise à jour: Il semble que ce problème ait été étudié et résolu récemment, voir cet article wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton Et aussi cette enquête: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supposons qu'au lieu de l'ensemble habituel de mots, {0,1} *, nos mots...
Nous savons que trouver la coque convexe de points sur un avion a une limite inférieure de sur son temps de marche. Cependant, si les points sont donnés dans l'ordre dans lequel ils se produisent le long d'un polygone simple qui a ces points comme sommets, leur coque convexe peut être trouvée en...
Greedy est un terme non formel, mais il pourrait être (je ne suis pas sûr, c'est pourquoi je demande) que pour certains problèmes, la cupidité peut être formulée mathématiquement et ainsi être prouvée qu'aucun algorithme gourmand optimal n'existe. Est-ce
Dans l'article fondateur de Bernstein et Vazirani "Théorie de la complexité quantique", ils montrent qu'une transformation unitaire en dimensions peut être efficacement approchée par un produit de ce qu'ils appellent des "rotations quasi-triviales" et des "décalages de phases quasi-triviaux".ddd...
Il y a eu pas mal de travail sur les problèmes de calcul pour les commandes partielles (par exemple, la reconnaissance, le nombre de sauts, la reconnaissance du graphe de comparabilité, etc.). Je suis curieux de savoir quel travail spécifique aux réseaux a été fait. J'ai cherché autour et je n'ai...
Etant donné un graphe orienté et deux sommets . Une paire de chemins simples de à est disjointe de bord s'ils ne partagent pas de bord.G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt En utilisant le débit max, il est facile de décider s'il existe une paire de chemins disjoints de...
REMARQUE : La question a été reformulée dans mes réponses: en supposant maintenant que nous pouvons trouver les ancêtres frères les plus bas en , l'ANN peut-il vraiment être exécuté en ?O ( log n )O ( 1 )O(1)O(1)O ( logn )O(logn)O(\log n) Les Quadtrees sont des indices spatiaux efficaces. J'ai un...