Rappelons le nombre de nombres premiers est la fonction de décompte des nombres premiers . Par "PRIMES in P", le calcul est en #P. Le problème # P-est-il complet? Ou, peut-être, il y a une raison complexe de croire que ce problème n'est pas # P-complet? π(n)π(n)\pi(n)≤n≤n\le nπ ( n )π(n)π(n)\pi(n)...
Aujourd'hui à New York et dans le monde entier, l'anniversaire de Christos Papadimitriou est célébré. C'est une bonne occasion de poser des questions sur les relations entre la classe de complexité PPAD de Christos (et ses autres classes apparentées) et les ordinateurs quantiques. Dans son célèbre...
L '"optimisation convexe en ligne" de Zinkevich ( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf ) généralise les algorithmes d'apprentissage de la "minimisation des regrets" d'un paramètre linéaire à un paramètre convexe et donne un bon "regret externe" . Existe-t-il une généralisation...
Dans la section "Introduction aux langages de programmation" d' Anthony Aaby sur la sémantique , il fait l'observation suivante: Une grande partie du travail dans la sémantique des langages de programmation est motivée par les problèmes rencontrés pour essayer de construire et de comprendre des...
Existe-t-il un aperçu des algorithmes de calcul des interpolants? Qu'en est-il des articles sur un seul algorithme? Le cas qui m'intéresse le plus est et C = q , plus la contrainte que l'interpolant est aussi petit que possible. (Je connais l'article de McMillan de 2005 , qui décrit comment obtenir...
Soit un simple graphe sur sommets sans sommet de degré . Supposons que pour deux sommets de , il existe un sommet unique adjacent à chacun d'eux. Il s'agit d'un exercice de A Course in Combinatorics , van Lint et Wilson, pour prouver qu'un tel graphique est régulier.ggGnnn( n > 3 )(n>3)(n >...
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,...
La plupart des implémentations modernes d'expressions régulières, telles que celles en perl ou .NET, vont au-delà de la définition informatique classique des REGEX avec des fonctionnalités comme lookahead et lookbehind. Ces fonctionnalités leur permettent-elles d'analyser des instructions qui ne...
Comment concevriez-vous une image pour illustrer la conjecture des jeux uniques? Ceci est pour une présentation "Current Events" sur des jeux uniques lors de la prochaine réunion conjointe AMS et pour le livret qui sera produit. Des exemples du type d'illustrations produites dans le passé...
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:...
Considérons , une fonction qui retourne 1 si zéros apparaissent consécutivement dans . Maintenant, quelqu'un m'a donné une preuve que est calculable:n π f ( n )F( n )f(n)f(n)nnnππ\piF( n )f(n)f(n) Soit pour tout n, apparaît dans , soit il y a am st apparaît dans et n'apparaît pas. Pour la première...
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 runtime soit...
Voici une abstraction d'un problème d'apprentissage en ligne / bandit sur lequel j'ai travaillé l'été. Je n'ai jamais vu un problème comme celui-ci auparavant, et cela semble assez intéressant. Si vous connaissez un travail connexe, j'apprécierais les références. Le problème Le réglage est celui...
Cette récente question sur la théorie des jeux m'a fait réfléchir (c'est une tangente, bien sûr): est-il possible d'optimiser efficacement une stratégie personnelle pour choisir des questions de recherche sur lesquelles travailler en utilisant la théorie des jeux? Afin d'avancer vers une...
La parité et sont comme des jumeaux inséparables. Ou du moins, cela semble au cours des 30 dernières années. À la lumière du résultat de Ryan, il y aura un regain d'intérêt pour les petites classes.AC0AC0AC^0 Furst Saxe Sipser à Yao à Hastad sont toutes des restrictions de parité et aléatoires....
Un DFA a un mot de synchronisation s'il existe une chaîne qui envoie n'importe quel état du DFA à un seul état. Dans «La conjecture de Cerny pour les automates apériodiques» de AN Trahtman (Mathématiques discrètes et informatique théorique vol. 9: 2, 2007, pp. 3-10), il écrit: Cerny a conjecturé en...
Je cherche des moyens de maintenir un arbre couvrant relativement équilibré d'un graphique, alors que j'ajoute de nouveaux nœuds / arêtes au graphique. J'ai un graphique non orienté qui commence comme un seul nœud, la "racine". À chaque étape, j'ajoute au graphique soit un nouveau nœud et un bord...
EDIT au 2011/02/08: Après avoir trouvé et lu des références, j'ai décidé de séparer la question d'origine en deux questions distinctes. Voici la partie concernant UP vs NP, pour la partie classes syntaxiques et sémantiques, veuillez consulter Avantages pour les classes syntaxiques et sémantiques ....
Je me demandais si la spécification JSON définissait un langage régulier. Cela semble assez simple, mais je ne sais pas comment le prouver moi-même. La raison pour laquelle je demande, c'est parce que je me demandais si l'on pouvait utiliser des expressions régulières pour analyser efficacement...
J'ai lu quelque part qu'une machine Turing ne peut pas calculer cela et c'est donc indécidable mais pourquoi? Pourquoi est-il impossible sur le plan informatique pour une machine de générer l'arbre d'analyse et de prendre une décision? Peut-être que je me trompe et que cela peut être...