Informatique théorique

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

4
Quand la CS théorique se soucie-t-elle (ou devrait-elle) des preuves intuitionnistes?
D'après ce que je comprends (ce qui est très peu, corrigez-moi donc là où je me trompe!), La théorie des langages de programmation s'intéresse souvent aux preuves "intuitionnistes". Dans ma propre interprétation, l'approche nous oblige à prendre au sérieux les conséquences du calcul sur la logique et la prouvabilité. Une …
3
Problèmes d'optimisation avec une bonne caractérisation, mais pas d'algorithme en temps polynomial
Considérez les problèmes d'optimisation de la forme suivante. Soit une fonction calculable en temps polynomial qui mappe une chaîne en un nombre rationnel. Le problème d'optimisation est le suivant: quelle est la valeur maximale de sur les chaînes à bits ?x f ( x ) n xf(x)f(x)f(x)xxxF( x )F(X)f(x)nnnXXx Disons …
2
Dans quelle mesure un algorithme peut-il prédire la complexité temporelle d'un programme d'entrée arbitraire?
Le problème d'arrêt indique qu'il est impossible d'écrire un programme qui peut déterminer si un autre programme s'arrête, pour tous les programmes d'entrée possibles . Je peux, cependant, certainement écrire un programme qui peut calculer le temps d'exécution d'un programme comme: for(i=0; i<N; i++) { x = 1; } et …
5
Algorithmes d'approximation pour l'ensemble indépendant maximum sur des classes spéciales de graphiques
Nous savons que l'ensemble indépendant maximum (MIS) est difficile à estimer dans un facteur pour tout ϵ >n1−ϵn1−ϵn^{1-\epsilon} moins que P = NP. Quelles sont certaines classes spéciales de graphiques pour lesquelles de meilleurs algorithmes d'approximation sont connus?ϵ>0ϵ>0\epsilon > 0 Quels sont les graphes pour lesquels les algorithmes polynomiaux sont …
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.