Coq, Agda et Idris ont une hiérarchie de types infinie (Type 1: Type 2: Type 3: ...). Mais pourquoi ne pas le faire à la place comme λC, le système du cube lambda le plus proche du calcul des constructions, qui n'a que deux sortes, et ◽ , et ces règles?∗∗*◽◽◽ ∅⊢∗:◽∅⊢∗:◽\frac {} {∅ ⊢ * : ◽}...
J'essaie de résoudre un problème particulier et j'ai pensé que je pourrais le résoudre en utilisant la théorie des automates. Je me demande, quels modèles d'automates ont un confinement décidable en temps polynomial? c'est-à-dire que si vous avez des machines vous pouvez tester si...
De nombreux problèmes de graphes durs peuvent être résolus en temps polynomial sur des graphes de largeur d'arbre bornée . En effet, les manuels utilisent généralement, par exemple, l'ensemble indépendant comme exemple, ce qui est un problème local . En gros, un problème local est un problème dont...
Eh bien, le titre dit à peu près tout. La question intéressante ci-dessus a été posée par le commentateur Jay sur mon blog (voir ici et ici ). J'imagine à la fois que la réponse est oui et qu'il existe une preuve relativement simple, mais je ne pouvais pas la voir à la légère. (Très grossièrement,...
J'aimerais savoir s'il y a eu des conjectures qui n'ont pas été prouvées depuis longtemps dans le TCS, qui ont ensuite été prouvées par une implication d'un autre théorème, qui auraient pu être plus faciles à prouver.
La largeur d'arbre joue un rôle important dans les algorithmes FPT, en partie parce que de nombreux problèmes sont paramétrés FPT par la largeur d'arbre. Une notion connexe, plus restreinte, est celle de largeur de chemin. Si un graphe a une largeur de chemin , il a également une largeur d'arbre au...
Je m'intéresse au problème suivant: étant donné une matrice , y a-t-il un graphe non orienté sur n sommets dont la matrice d'adjacence au carré est cette matrice?n × nn×nn\times nnnn La complexité de calcul de ce problème est-elle connue? Remarques: Bien sûr, cela peut aussi être formulé comme un...
Dans la description officielle du problème de Clay pour P versus NP, il est indiqué que découlerait de la démonstration que "chaque langue de E [la classe de langues reconnaissable en temps exponentiel avec une machine de Turing déterministe] peut être calculée par une famille de circuits booléens....
Je suis intéressé à apprendre les connexions entre le «chaos» ou, plus largement, les systèmes dynamiques et la question . Voici un exemple du type de littérature que je recherche:P=NPP=NPP{=}NP Ercsey-Ravasz, Mária et Zoltán Toroczkai. "La dureté d'optimisation comme chaos transitoire dans une...
C'est un résultat bien connu que la question Une grammaire sans contexte génère-t-elle un langage régulier? est indécidable. Cependant, il devient décidable sur un alphabet unaire, simplement parce que dans ce cas, les classes de langues sans contexte et régulières coïncident. Ma question est de...
Existe-t-il des problèmes NP complets sans sous-ensemble infini d'instances telles que l'appartenance à peut être décidée en temps polynomial, et pour tout , peut être résolu en temps polynomial? (En supposant )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq
Existe-t-il un projet en cours pour vérifier formellement les théorèmes et les preuves de la théorie de la complexité à l'aide d'un assistant de preuve comme Coq? Y a-t-il des limites à
Je résout un problème qui est censé être NP-difficile ailleurs, disons dans l'article [XYZ]. La dureté NP fournie dans [XYZ] est compliquée et utilise des techniques avancées. Après quelques recherches et travaux, j'ai réussi à donner une preuve simple et claire de la dureté NP. Je me demande si...
Existe-t-il un exemple connu et explicite d'un algorithme avec la propriété telle que si P≠NPP≠NPP\neq NP alors cet algorithme ne s'exécute pas en temps polynomial et si P=NPP=NPP=NP alors il s'exécute en temps
Je me rends compte que cela pourrait être une question controversée, mais cela semblait être le bon endroit à poser. Veuillez me rediriger sinon. Le contexte est que je suis un "praticien" (doctorant, je n'étudie pas la théorie CS) mais j'ai une base raisonnable en algorithmes de premier cycle et...
Le calcul quantique est un domaine de recherche actif qui vise à tirer parti de la physique quantique (par exemple l'intrication quantique) pour faire progresser les capacités d'efficacité des ordinateurs (ne modifie pas la thèse de Church-Turing ). Quelles sont les expériences les plus importantes...
Supposons que l'on vous donne un graphe H. connecté, simple et non orienté Le problème de coupe sans H est défini comme suit: Étant donné un graphe simple et non orienté G, existe-t-il une coupure (partition des sommets en deux ensembles non vides, L, R) de sorte que les graphes induits par les...
En règle générale, les algorithmes efficaces ont un runtime polynomial et un espace de solution exponentiellement grand. Cela signifie que le problème doit être facile dans deux sens: premièrement, le problème peut être résolu en un nombre polynomial d'étapes, et deuxièmement, l'espace de la...
Il est bien connu que l'ensemble des langages ayant des systèmes de preuve interactifs à deux prouveurs, dans lesquels le vérificateur s'exécute en temps polynomial (MIP), est NEXP. Mais existe-t-il des limites connues sur la puissance de ces preuves interactives lorsque les prouveurs sont limités...
La dynamique de Glauber est une chaîne de Markov sur les colorations d'un graphe dans laquelle à chaque étape on tente de recolorer un sommet choisi au hasard avec une couleur aléatoire. Il ne se mélange pas pour les 3 couleurs d'un cycle de 5: il y a 30 3 couleurs, mais seulement 15 d'entre elles...