J'ai enseigné bornes inférieures aujourd'hui, et l'un des étudiants a demandé la raison du nom . L'explication officielle est que le "A" signifie "Alternance".AC0AC0AC^0ACACAC Je me souviens vaguement, il y a de nombreuses années, que Nick Pippenger Steve Cook a nommé après Nick Pippenger (la classe de Nick), et plus …
Je lis sur les classes de graphiques pour lesquels Graphique Isomorphisme ( ) est en . Un de ces cas est des graphiques de valence bornée (maximum sur le degré de chaque sommet) comme expliqué ici . Mais je l'ai trouvé trop abstrait. Je serais reconnaissant si quelqu'un pouvait me …
Il y a de nombreuses années, j'ai entendu dire que le calcul du NFA minimal (automate fini non déterministe) à partir d'un DFA (déterministe) était une question ouverte, par opposition à la direction inverse qui est connue depuis des décennies et est bien étudiée avec un efficace algorithme. Quelqu'un a-t-il …
Contexte: relations entre logique et automates Le théorème de Büchi affirme que la logique monadique du second ordre sur les chaînes (MSO) capture la classe des langages réguliers. La preuve montre en fait que MSO existentiel ( exist ou EMSO ) sur les chaînes est suffisant pour capturer des langues …
Un réseau de commutation (le nom est inventé) est constitué de trois types de nœuds: un nœud de démarrage un nœud d'extrémité un ou plusieurs nœuds Switch Le nœud de commutation a 3 sorties: Gauche, Haut, Droite; a deux états L et R et un état cible TL ou TR …
Quelles sont les méthodes les plus connues pour la convolution cyclique de longueur nnn sur un petit champ, c'est-à-dire quand |F|≪n|F|≪n|\mathbb{F}| \ll n ? Je suis particulièrement intéressé par les champs de taille constante, ou même . Les déclarations et références générales sur l'efficacité asymptotique sont très appréciées.F=F2F=F2\mathbb{F} = \mathbb{F}_2 …
La méthode de l'adversaire négatif ( ) est un SDP qui caractérise la complexité des requêtes quantiques. Il s'agit d'une généralisation de la méthode de l'adversaire largement utilisée ( ), et surmonte les deux obstacles qui ont entravé la méthode de l'adversaire:A D V±UNEréV±ADV^\pmA D VUNEréVADV La barrière des tests …
On m'a dit qu'il existe de bons algorithmes de temps polynomiaux pour approximer le nombre de chemins simples dans un graphe orienté d'un sommet de départ donné à un sommet de fin donné t . Quelqu'un connaît-il une bonne référence à ce sujet?sssttt Contexte: compter le nombre exact de chemins …
Il est bien connu que si vous lancez n balles dans n cases, le bin le plus chargé est très susceptible d'avoir balles dedans. En général, on peut poser des questions sur balles dans cases. Un article de RANDOM 1998 de Raab et Steger explore cela en détail, montrant qu'à …
Que faire si l'on sait quelque chose sur la complexité paramétrée du calcul du nombre d'intersection d'un graphe (le plus petit nombre de cliques nécessaires pour couvrir tous ses bords)? Il est connu depuis longtemps pour être NP-complet, et c'est évidemment FPT car il a un noyau: si vous pouvez …
Puisque le terme est surchargé, une brève définition d'abord. Un poset est un ensemble doté d'un ordre partiel . Étant donné deux éléments , nous pouvons définir (jointure) comme leur borne inférieure la plus basse dans , et de même définir (rencontrer) (joindre) comme borne inférieure la plus grande.≤ a …
Je suis nouveau dans la théorie des langages de programmation et je cherche une bonne ressource sur une ressource pour la sémantique formelle des langages de programmation. Recherche spécifique de sémantique opérationnelle structurelle. J'ai reçu quelques recommandations de livres. Mais je cherche une ressource à un niveau plus introductif. Surtout …
Je cherche à savoir s'il y a des résultats généraux ou des exemples concernant l'exhaustivité NP du problème de trouver une deuxième solution à un problème NP-complet. Plus précisément, je suis intéressé par tout problème de la forme suivante: Étant donné une solution à une instance d'un problème NP-complet, existe-t-il …
Pour autant que je sache, toutes les règles de pivot déterministes connues pour les algorithmes simplex ont des entrées spécifiques sur lesquelles l'algorithme nécessite un temps exponentiel (ou du moins pas polynomial) pour trouver l'optimum. Appelons ces instances «pathologiques» car généralement (c'est-à-dire sur la plupart des entrées) l'algorithme simplex se …
En lisant un article sur l'utilisation de méthodes algébriques pour détecter certains sous-graphes induits, il apparaît que l' idéal de bord est un outil important reliant l'algèbre commutative et la théorie des graphes. Comme je ne suis pas familier avec les calculs d'objets algébriques, existe-t-il de bonnes références ou des …
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.