Lors de la compilation des résultats, il est souvent souhaitable d'avoir des diagrammes d'aspect professionnel, plutôt que des diagrammes rassemblés dans MS Paint. Quelle est la norme pour dessiner des structures de
(Von Neumann a donné un algorithme qui simule une pièce équitable donnant accès à des pièces biaisées identiques. L'algorithme nécessite potentiellement un nombre infini de pièces (bien qu'en attente, un nombre fini suffira). Cette question concerne le cas où le nombre de lancers autorisés est...
Préambule Les systèmes de preuve interactifs et les protocoles Arthur-Merlin ont été introduits par Goldwasser, Micali et Rackoff et Babai en 1985. Au début, on pensait que le premier était plus puissant que le second, mais Goldwasser et Sipser ont montré qu'ils avaient le même pouvoir ( en ce qui...
Je suis curieux au sens large de ce que l'on sait des algorithmes de parallélisation en P. J'ai trouvé l'article wikipedia suivant sur le sujet: http://en.wikipedia.org/wiki/NC_%28complexity%29 L'article contient la phrase suivante: On ne sait pas si NC = P, mais la plupart des chercheurs...
Quelle est la relation entre les algorithmes ADN et les classes de complexité définies à l'aide des machines de Turing? À quoi correspondent les mesures de complexité comme le temps et l'espace dans les algorithmes ADN? Peuvent-ils être utilisés pour résoudre des cas de problèmes NP-complets comme...
1- Existe-t-il des propriétés spécifiques pour la matrice d'adjacence lorsqu'un graphe est plan? 2- Y a-t-il quelque chose de spécial pour calculer la matrice permanente d'adjacence lorsqu'un graphe est
(transféré de MathOverflow) Salut, Je lisais ce fil: /mathpro/16393/finding-a-cycle-of-fixed-length Je veux trouver un cycle 5 sur un graphique. En fait, ce que je veux vraiment, c'est un cycle impair le plus court d'une longueur d'au moins 5, mais c'est peut-être un peu à côté du point. Pour mes...
Considérons l'ensemble des graphes planaires où toutes les faces internes sont des triangles. S'il y a un point intérieur de degré impair, le graphique ne peut pas être tricolore. Si chaque point intérieur a un degré égal, peut-il toujours être tricolore? Idéalement, je voudrais un petit...
(Il s'agit d'un suivi de cette question et de sa réponse .) J'ai le programme linéaire d'entier (ILP) totalement unimodulaire (TU) suivant. Ici sont tous des entiers positifs donnés dans le cadre de l'entrée. Un sous-ensemble spécifié des variables x i j est mis à zéro, et le reste peut prendre des...
J'ai vu (et entendu) qu'il a affirmé qu'il est sûr d'ajouter l'axiome classique du milieu exclu à Coq, mais je n'arrive pas à trouver un document soutenant cette affirmation. Les articles que je vois répertoriés sur le wiki Coq sur le milieu exclu montrent une incohérence avec l'ensemble...
Le code de Huffman pour une distribution de probabilité est le code de préfixe avec la longueur moyenne pondérée minimale du mot de code , où est la longueur du ème mot de code. C'est un théorème bien connu que la longueur moyenne par symbole du code Huffman est comprise entre et , où est...
capture l'idée d'une parallélisation efficace, et une interprétation de celui-ci est les problèmes qui peuvent être résolus dans le temps O ( log c n ) en utilisantdes processeurs parallèles O ( n k ) pour certaines constantes c , k . Ma question est de savoir s'il existe une classe de complexité...
Le lemme de pompage pour les langues régulières peut être prouvé en considérant un automate à états finis qui reconnaît la langue étudiée, en choisissant une chaîne avec une longueur supérieure à son nombre d'états et en appliquant le principe du pigeonhole. Le lemme de pompage pour les langues...
Cette question est inspirée de la conjecture polynomiale de Hirsch (PHC). Étant donné un polytope à facettes P dans R d , l'écart spectral de son graphe bord-sommet (appelons-le G ) est-il limité par Ω ( 1 / p o l y ( n ) ) ? Notez que le graphique du cycle sur n sommets montre que, même pour d = 2...
Inspiré par la question de l' affacturage connu pour être P-dur , je me demande quel est l'état similaire actuel des connaissances sur la dureté de l'isomorphisme du graphe. Je suis sûr que l'on ne sait pas actuellement si GI est en P, mais: quelle est la plus grande classe actuellement connue que...
Luca Trevisan a montré combien de constructions de générateurs pseudo-aléatoires peuvent en fait être considérées comme des constructions d'extracteurs: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf Y a-t-il une conversation significative? C'est-à-dire, les constructions "naturelles" des...
Existe-t-il une hypothèse plausible de complexité / cryptographie qui exclut la possibilité que les circuits de taille polynomiale aient des circuits de taille sous-exponentielle (c'est-à-dire avec ϵ < 1 ) à profondeur limitée ( d = O ( 1 )
Dernièrement, j'ai commencé à chercher des algorithmes d'approximation pour les problèmes NP-difficiles et je me demandais les raisons théoriques de les étudier. (La question n'est pas censée être incendiaire - je suis simplement curieux). Une théorie vraiment belle est sortie de l'étude des...
Récemment, j'ai travaillé sur le problème du calcul de la somme approximative d'une liste de nombres non négatifs triés. Pour tout fixe , un schéma d'approximation du temps a été dérivé de telle sorte qu'il donne une approximation pour la somme. Le document est publié sur...
Quelqu'un pourrait-il expliquer la différence entre: Types de données algébriques (que je connais assez bien) Types de données algébriques généralisés (qu'est-ce qui les rend généralisés?) Types inductifs (par exemple Coq) (Types particulièrement inductifs.)