Informatique théorique

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

3
Conséquences de l'existence d'un algorithme fortement polynomial pour la programmation linéaire?
L'un des Saint Graal de la conception d'algorithmes est de trouver un algorithme fortement polynomial pour la programmation linéaire, c'est-à-dire un algorithme dont l'exécution est délimitée par un polynôme dans le nombre de variables et de contraintes et est indépendante de la taille de la représentation des paramètres (en supposant …
9
Algorithme randomisé qui «semble» déterministe?
Existe-t-il un exemple intéressant d'algorithme randomisé pour un problème de recherche qui génère toujours la même réponse (correcte), indépendamment de son caractère aléatoire interne, mais qui exploite le caractère aléatoire de sorte que son temps d'exécution attendu soit meilleur que le temps d'exécution du plus rapide connu algorithme déterministe pour …
3
Est
J'ai pensé partager cette question car elle pourrait être intéressante pour d'autres utilisateurs ici. Supposons qu'une fonction qui est dans une classe uniforme (comme ) se trouve également dans une petite classe non uniforme (comme , c'est-à-dire non uniforme ), cela implique-t-il que la fonction est contenue dans une classe …
2
Existe-t-il un oracle tel que SAT ne soit pas infiniment souvent en temps sous-exponentiel?
Définir ioioio - SUBEXPSUBEXPSUBEXP comme étant la classe de langues LLL telle qu'il existe une langue L′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}}) et pour une infinité de nnn , LLL et L′L′L' accord sur toutes les instances de longueur nnn . (C'est-à-dire que c'est la classe de langages qui peut …
1
Problème de satisfaction de contrainte (CSP) vs théorie modulo de satisfiabilité (SMT); avec une coda sur la programmation par contraintes
Quelqu'un ose-t-il tenter de clarifier quelle est la relation de ces domaines d'études ou peut-être même donner une réponse plus concrète au niveau des problèmes? Comme qui comprend qui en supposant certaines formulations largement acceptées. Si j'ai bien compris, lorsque vous passez de SAT à SMT, vous entrez essentiellement dans …
7
Les résultats les plus influents de Lipton
Richard J. Lipton a été sélectionné comme lauréat du prix Knuth 2014 "pour l'introduction de nouvelles idées et techniques". Quelles sont selon vous les principales nouvelles idées et techniques développées par Lipton? Remarque. Cette question deviendra un wiki communautaire, veuillez mettre une telle idée, technique ou résultat par réponse.
30 big-list 
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.