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 déterministe et 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 …
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é informatique réponde à la …
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 telle que | S …
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 / logJournalnlogn/loglogn\log n/ \log \log n La …
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 capacité d'erreur zéro d'un graphique régulier? (Cela a été répondu ci-dessous par …
Je m'intéresse aux exemples explicites de graphiques pour lesquels l'application des algorithmes de Goemans et Williamson pour approximer les coupes maximales donne un facteur d'approximation de 0,878…. L'algorithme pour créer de telles instances serait parfait, les exemples explicites et les références sont satisfaisants.
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 une certaine gamme de paramètres …
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 …
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 …
Nous travaillons dans des ordinateurs distribués et nous avons rencontré un problème de complexité qui se réduit à un problème de couverture de chemin minimum. Nous ne savons actuellement pas comment le résoudre. Le problème est le suivant: Soit un entier, et soit un graphe contenant sommets. Nous étiquetons chaque …
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 hypergraphes à 3 uniformes qu'avec les graphiques à …
Je jouais avec la question très intéressante et toujours ouverte " Alphabet of single-tape Turing machine " (par Emanuele Viola) et j'ai trouvé la langue suivante: L = { x ∈ { 0 , 1 }n st | x | = n = 2m et c o u n t …
Existe-t-il un moyen pour un prouveur de convaincre un vérificateur qu'une expression HORN-SAT est satisfaisable? Bien sûr, cela peut sembler idiot, car il existe des algorithmes de temps linéaires pour HORN-SAT. D'un autre côté, HORN-SAT est P-complet, ce qui signifie qu'il n'a pas d'algorithmes d'espace de log à moins que …
La somme de Minkowski de deux ensembles de vecteurs est donnée parA , B ∈ RréA,B∈RdA, B \in R^d A ⊕ B = { a + b ∣ a ∈ A , b ∈ B }A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.