Informatique théorique

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

3
Comment les modèles d'hypercomputation surmontent-ils le problème de l'arrêt?
L'hypercomputation fait référence à des modèles de calcul qu'il n'est pas possible de simuler à l'aide de machines de Turing. (Les hypercalculateurs ne sont pas nécessairement physiquement réalisables!) Certains hypercalculateurs ont accès à une ressource qui permet de résoudre le problème d'arrêt des machines Turing standard. Appelons cela une "superpuissance": …
3
Quelle est la difficulté de la simulation exacte des algorithmes et d'une opération connexe sur les classes de complexité
Taquin Étant donné que le problème est assez long, voici un cas spécial qui capture son essence. Problème: Soit A un algorithme detrministique pour 3-SAT. Est le problème de la simulation complète de l'algorithme A (sur chaque instance du problème). P-Space dur? (Plus précisément, y a-t-il des raisons de croire …
1
Quelles sont les limites du calcul dans cet univers?
Je comprends que l'exhaustivité de Turing nécessite une mémoire illimitée et un temps illimité. Cependant, il existe une quantité finie d'atomes dans ce service, ce qui rend la mémoire limitée. Par exemple, même si est irrationnel, il n'y a aucun moyen de stocker plus d'un certain nombre de chiffres même …
2
Existe-t-il un algorithme pour maintenir efficacement les informations de connectivité d'un DAG en présence d'insertions / suppressions?
Étant donné un graphe acyclique dirigé, , est-il possible de supporter efficacement les opérations suivantes?G(V,E)g(V,E)G(V,E) : détermine s'il existe un chemin dans G du noeud a au noeud bisCo n n ected(G,a,b)jesConnecteré(g,une,b)isConnected(G,a,b)GgGauneabbb : Ajoute une arête de a à b dans le graphe Glink(G,a,b)ljenk(g,une,b)link(G,a,b)aaabbbGGG : supprime le bord de a …
3
Enquête succincte sur les structures de données?
L'article de Fischer ce mois-ci m'a rappelé à quel point je connaissais mal l'art des structures de données succinctes et les algorithmes pour les utiliser. Pour ceux qui ne connaissent pas les structures de données succinctes: Étant donné une structure combinatoire, avec une (n) configurations distinctes et une représentation "utile" …
2
Théorie des catégories, complexité informatique et connexions combinatoires?
J'ai essayé de lire « Perles de conception d'algorithmes fonctionnels », puis « L'algèbre de programmation », et il existe une correspondance évidente entre les types de données définis de manière récursive (et polynomiale) et les objets combinatoires, ayant la même définition récursive et menant par la suite à la …
3
Existe-t-il un algorithme d'approximation à facteur constant pour le problème de coloration des rectangles 2D?
Le problème que nous considérons ici est l'extension du problème bien connu de coloration d'intervalle. Au lieu d'intervalles, nous considérons des rectangles ayant des côtés parallèles aux axes. L'objectif est de colorer les rectangles en utilisant un nombre minimum de couleurs de sorte que deux rectangles qui se chevauchent se …
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.