Plusieurs problèmes d'optimisation connus pour être NP-difficiles sur les graphes généraux peuvent être résolus de manière triviale en temps polynomial (certains même en temps linéaire) lorsque le graphe en entrée est un arbre. Les exemples incluent la couverture de vertex minimale, le jeu maximum...
Lorsque vous encodez une logique dans un assistant de preuve tel que Coq ou Isabelle, vous devez choisir entre utiliser une intégration peu profonde et une intégration profonde . Dans une imbrication peu profonde, les formules logiques sont écrites directement dans la logique du prouveur de...
Quelles sont les meilleures limites inférieures actuelles pour le temps et la profondeur de circuit pour
Je révisais un manuscrit d'étudiant. L'élève a fait remarquer qu'il serait bien de voir des exemples d'écriture de qualité dans les publications, et je me suis rendu compte que je ne pouvais pas vraiment trouver de bons exemples par cœur. Quels sont les meilleurs exemples d'écriture mathématique de...
On sait que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} et L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , où L2=DSPACE(log2n)L2=DSPACE(log2n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Nous savons aussi que...
Permettez-moi de commencer par quelques exemples. Pourquoi est-il si simple de montrer que CVP est dans P mais si difficile de montrer que LP est dans P; alors que les deux sont des problèmes P-complets. Ou prenez la primalité. Il est plus facile de montrer des composites en NP que des nombres...
Je suis intéressé à obtenir une compréhension vraiment solide sur la dactylographie dépendante. J'ai lu la majeure partie de TaPL et lu (s'il n'est pas complètement assimilé ) "Types dépendants" dans ATTaPL . J'ai également lu et parcouru de nombreux articles sur la dactylographie dépendante. De...
Le théorème de Ladner stipule que si P ≠ NP, il existe une infinie hiérarchie de classes de complexité contenant strictement P et strictement contenu dans NP. La preuve utilise l'intégralité de la SAT sous plusieurs réductions de NP. La hiérarchie contient des classes de complexité construites...
Sur un fil différent , Andrej Bauer a défini la sémantique dénotationnelle comme suit: la signification d'un programme est fonction de la signification de ses parties. Ce qui me dérange dans cette définition, c'est qu'elle ne semble pas distinguer ce qu'on appelle communément la sémantique...
Supposons que j'ai un graphe acyclique dirigé avec des pondérations en nombre réel sur ses sommets. Je souhaite trouver un ordre topologique du groupe de disponibilité de base de données dans lequel, pour chaque préfixe de cet ordre topologique, la somme des poids est non négative. Ou si vous...
La hiérarchie de Chomsky (–Schützenberger) est utilisée dans les manuels d'informatique théorique, mais elle ne couvre évidemment qu'une très petite fraction des langages formels (REG, CFL, CSL, RE) par rapport au diagramme de complexité complet . La hiérarchie joue-t-elle un rôle dans la recherche...
Le livre d’ Arora et Barak présente l’affacturage comme le problème suivant: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Ils ajoutent, plus...
Je cherche des hypothèses sur les algorithmes et la complexité qui ont été jugées crédibles par beaucoup à un moment donné, mais qui ont ensuite été réfutées, ou du moins incrédules, en raison de la multiplication des contre-preuves. Voici deux exemples: Hypothèse aléatoire d'oracle: les relations...
Question: Comment les "tactiques" fonctionnent-elles dans les assistants de preuve? Ils semblent être des moyens de spécifier comment réécrire un terme en un terme équivalent (pour une définition du terme «équivalent»). Vraisemblablement, il existe des règles formelles pour cela, comment puis-je...
Aujourd'hui, Ryan Williams a publié un article sur arXiv (précédemment publié dans SIGACT News) contenant une version moins technique de sa récente technique de limite inférieure ACC . Ma question ne concerne pas la technique elle-même (bien sûr mérite des éloges), mais concerne le style du papier....
Il est connu que la PST métrique peut être approximée dans un et ne peut pas être mieux estimée que 1231,51.51.5 en temps polynomial. Est-il connu quoi que ce soit sur la recherche de solutions d'approximation en temps exponentiel (par exemple, moins de2npas avec seulement un espace polynomial)?...
De manière informelle, la complexité de Kolmogorov d'une chaîne est la longueur d'un programme le plus court qui génère x . Nous pouvons définir une notion de 'chaîne aléatoire' en l'utilisant ( x est aléatoire si K ( x ) ≥ 0,99 | x | ) Il est facile de voir que la plupart des chaînes sont...
J'ai toujours eu du mal à comprendre l'importance de l' écart d' intégrité (IG) et des limites qui s'y rattachent. IG est le rapport entre (la qualité de) une réponse entière optimale à (la qualité de) une solution réelle optimale de la relaxation du problème. Prenons la couverture de vertex (VC)...
Je crois comprendre que le modèle de Turing est devenu le "standard" dans la description du calcul. Je voudrais savoir pourquoi. Si le modèle TM est devenu plus largement utilisé que d’autres modèles théoriquement équivalents (à ma connaissance), comme le μ-récursion de Kleene ou le calcul lambda...
Si vous pouviez renommer la programmation dynamique, comment