Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

3
Une variante NP-complète de l'affacturage.
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 loin dans le chapitre 2, que le fait de …

5
Classement topologique positif
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 préférez …




8
Nécrologies de conjectures mortes
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 entre les classes de …


5
Visites occasionnelles autour de preuves
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. Dans l'abstrait, il …

5
Les raisons historiques de l’adoption de la machine de Turing en tant que modèle de calcul principal.
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 (je comprends). que …

3
Comment les tactiques fonctionnent-elles dans les assistants de preuve?
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 savoir ce qu’elles sont et comment elles fonctionnent? Impliquent-ils …






En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.