Un DFA ou un NFA lit une chaîne d'entrée avec une seule tête, se déplaçant de gauche à droite. Il semble naturel de s'interroger sur les machines à états finis qui ont plusieurs têtes , chacune se déplaçant à travers l'entrée de gauche à droite, mais pas nécessairement au même endroit dans l'entrée...
Nous connaissons et aimons un tas de classes imbriquées de concepts de solution: PN: Pure Nash Equilibrium MN: équilibre de Nash mixte CE: équilibre corrélé CCE: cours corrélé à l'équilibre. La relation entre ces ensembles est: Nous pouvons considérer le prix de l'anarchie sur n'importe lequel de...
J'ai donc un problème auquel je suis confronté en ce qui concerne le clustering avec des données en direct et en continu. Étant donné que j'ai un ensemble de données en constante augmentation, je ne sais pas quelle est la meilleure façon d'exécuter un clustering efficace et efficace. J'ai trouvé...
J'écris (lentement) une revue du Handbook of Chemoinformatics Algorithms pour SIGACT News. Un chapitre traite des implémentations logicielles actuelles, et les recherches dans la base de données (et d'autres applications) ne semblent pas tirer autant d'informations sur les graphiques que possible....
Existe-t-il des résultats connus montrant que l'existence (ou la non-existence) de graphes finis avec des propriétés calculables spécifiques impliquent certains résultats de complexité (tels que P = NP)? Voici un résultat complètement hypothétique : s'il existe un graphe fini avec des arêtes...
IP (2pfa) et AM (2pfa) sont les classes de langues reconnues avec erreur bornée par les versions de pièces privées et publiques, respectivement, des systèmes de preuve interactifs avec des vérificateurs qui sont des automates finis probabilistes avec une tête d'entrée bidirectionnelle. Des...
Je veux dire spécifiquement les familles de langues qui admettent des chaînes arbitrairement longues - pas des conjonctions sur n bits ou des listes de décisions ou tout autre langage "simple" contenu dans {0,1} ^ n. Je pose des questions sur les langages normaux "théoriques des automates" par...
Supposons que nous ayons une variable aléatoire qui prend des valeurs non numériques a, b, c et que nous voulons quantifier la façon dont la distribution empirique de échantillons de cette variable s'écarte de la vraie distribution. L'inégalité suivante (de Cover & Thomas ) s'applique dans ce...
La multiplication matricielle utilisant la technique régulière (produit interne ligne-colonne) prend multiplications et additions. Cependant, en supposant des entrées de taille égale (le nombre de bits dans chaque entrée des deux matrices étant multiplié) de bits de taille , l'opération d'addition...
Fermé. Cette question est hors sujet . Il n'accepte pas actuellement les réponses. Vous souhaitez améliorer cette question? Mettez à jour la question afin qu'elle soit sur le sujet pour l'échange théorique de pile informatique. Fermé il y a 3 ans . Existe-t-il une courte construction explicite...
Il est bien connu que le problème NP-Complete appelé Subset Sum a un FPTAS. Je me demandais s'il existait un problème PSPACE Complete qui a également un FPTAS? Merci
Soit un alphabet, c'est-à-dire un ensemble fini non vide. Une chaîne est une séquence finie d'éléments (caractères) de Σ . Par exemple, { 0 , 1 } est l'alphabet binaire et 0110 est une chaîne pour cet alphabet.ΣΣ\SigmaΣΣ\Sigma{0,1}{0,1} \{0, 1\}011001100110 Habituellement, tant que contient plus...
J'ai récemment pensé à "importer" une question liée à la physique dans Quantum CS: La notion de phénomène de loi d'aire dans les systèmes hamiltoniens représente généralement un hamiltonien local sur un réseau, dont l'état fondamental présente une propriété dans laquelle l'intrication de toute...
Supposons que l'on nous donne un graphe et les paramètres . Existe-t-il des plages de valeurs pour (ou est-ce faisable pour tous les ) pour lesquelles il est possible de tester si est loin d'avoir un ensemble indépendant de taille au moins dans le temps ?ggGk , ϵk,ϵk,\epsilonkkkkkkggGϵϵ\epsilonkkkO...
La théorie de la complexité informatique classe les problèmes en fonction de leur difficulté inhérente. La théorie des systèmes complexes aborde les systèmes qui présentent des comportements qui ne découlent évidemment pas des propriétés des différentes parties du système. Les exemples incluent les...
Il s'agit d'une version spécialisée d'une question précédente: Complexité de la recherche de la composition par matrice d'une matrice . Pour les matrices symétriques NxN, il est connu que le temps O (N ^ 3) suffit pour calculer la décomposition propre. La question est: pouvons-nous atteindre une...
Nous appelons généralement un algorithme «bon algorithme» si son temps d'exécution est polynomial dans le pire des cas. Mais dans certains cas (par exemple l'algorithme Simplex), même si le pire des cas de l'algorithme est exponentiel, cela pourrait très bien fonctionner dans la pratique....
Alice et Bob divisent la succession de leur oncle Charlie décédé (une collection finie d'articles discrets) selon ses souhaits. Tout d'abord, A choisit un élément, puis B, puis A, etc.XXX Alice et Bob ont chacun des fonctions utilitaires additives , de sorte que si Alice se retrouve avec l'ensemble...
Je cherche une structure de données, qui est essentiellement un arbre de cartes, où la carte à chaque nœud contient de nouveaux éléments, ainsi que les éléments de la carte de son nœud parent. Par carte ici, je veux dire une carte de programmation avec des clés et des valeurs, comme la carte dans...
Première question sur math.SE sans réponse. Supposons que j'ai un graphe planaire, avec une intégration planaire, comment trouver la décomposition des arbres? Quelle est la décomposition arborescente optimale d'une grille carrée by- ? Je ne sais pas trop comment définir «optimal», mais il devrait...