Informatique théorique

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

3
Applications pour la théorie des ensembles, la théorie ordinale, la combinatoire infinie et la topologie générale en informatique?
Je suis un mathématicien intéressé par la théorie des ensembles, la théorie ordinale, la combinatoire infinie et la topologie générale. Existe-t-il des applications pour ces sujets en informatique? J'ai regardé un peu et j'ai trouvé beaucoup d'applications (bien sûr) pour la théorie des graphes finis, la topologie finie, la topologie …
1
Complexité de la version de recherche de 2-SAT en supposant
Si , alors il y a un algorithme de logspace qui résout la version de décision de 2-SAT.L=NLL=NL\mathsf{L = NL} Est-il connu que implique qu'il existe un algorithme d'espace de journalisation pour obtenir une affectation satisfaisante , lorsqu'il reçoit une instance 2-SAT satisfaisante en entrée?L=NLL=NL\mathsf{L = NL} Sinon, qu'en est-il …
1
Pourquoi le travail de Schönfinkel sur l'élimination des «variables liées» dans la logique était-il si crucial?
AFAIK, La première preuve de l'utilisation de fonctions d'ordre supérieur remonte à l'article de Schönfinkel de 1924: "Sur les blocs de construction de la logique mathématique" - où il permettait à quelqu'un de passer des fonctions comme arguments à d'autres fonctions. Cela semble intéressant. Cependant, tout ce que j'ai lu …
1
Est-ce que ?
Que se passe-t-il si nous définissons telle sorte qu'au lieu d'un circuit Turing-machine / polysize polytime, une machine Turing espace journal ou un circuit code le problème?P P A DPPAD{\bf PPAD} A C 0AC0{\bf AC^0} Donner récemment des algorithmes plus rapides pour la satisfiabilité des circuits pour les petits circuits …
2
Points fixes en calculabilité et logique
Cette question a également été publiée sur Math.SE, /math/1002540/fixed-points-in-computability-nd-logic J'espère que c'est ok de le poster aussi ici. Sinon, ou si c'est trop basique pour CS.SE, dites-le moi et je le supprimerai. Je voudrais mieux comprendre la relation entre les théorèmes du point fixe en logique et le λλ\lambda -calcul. …
1
Séparation des mots avec des DFA aléatoires
L'un des problèmes ouverts intéressants concernant les DFA est répertorié dans Existe-t-il des problèmes ouverts concernant les DFA? est la taille d'un DFA requis pour séparer deux chaînes de longueur . Je suis curieux de savoir s'il existe des résultats sur la capacité d'un DFA aléatoire à séparer deux chaînes …
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.