Deux documents que j'inclus sont: D. Kozen, "Indexation des classes subrécursives" , STOC, 1978. R. Ladner, «Sur la structure de la réductibilité du temps polynomial» , JACM, 1975.
Quels types de conjectures et de grands problèmes ouverts sont les plus importants dans la théorie des jeux algorithmiques (ou la théorie des jeux en général en ce qui concerne CS)? Par exemple, la résolution de NASH comme PPAD-complete aurait, je pense, été la plus importante jusqu'à ce qu'elle...
Connaît-on des résultats qui excluent l'existence de structures de données «trop belles pour être vraies»? Par exemple: peut-on ajouter des fonctionnalités et J o i n à une structure de données de maintenance de commande (voir Dietz et Sleator STOC '87 ) tout en obtenant des opérations de temps O (...
Je commence mon doctorat cet automne et je prévois de travailler en théorie de la complexité pour ma thèse. Je compile une liste d'articles importants que tout théoricien de la complexité devrait connaître. Quels papiers suggéreriez-vous à une personne comme moi? Et veuillez expliquer brièvement...
J'ai recherché sur Internet, mais je n'ai trouvé aucune «grande liste» de variantes du problème SAT. Mis à part le (commun) SAM, k-SAT, MAX-kSAT, Half-SAT, XOR-SAT, NAE-SAT Quelles sont les autres variantes? (cela sera également très utile si des classes de complexité sont données (si...
Je recherche des exemples de résultats qui vont à l'encontre de l'intuition des gens pour une conférence grand public. Des résultats qui, s'ils étaient demandés à des non-experts "qu'est-ce que votre intuition vous dit?", Presque tous auraient tort. L'énoncé des résultats devrait être facilement...
Suite à la discussion sur les bornes inférieures pour 3SAT [ 1 ], je me demande quels sont les principaux résultats de borne inférieure formulés comme des compromis espace-temps. J'exclus des résultats tels que, disons, le théorème de Savitch; une bonne entrée se concentrerait sur un seul problème...
La théorie du compilateur semble être un sujet assez vérifié. Quels sont les problèmes ouverts ou les recherches en cours dans le
Pour célébrer le 100e anniversaire d'Alan Turing, je veux regarder un documentaire sur sa vie. Cependant, il existe plusieurs documentaires parmi lesquels choisir. Quel documentaire sur Alan Turing est votre préféré? Veuillez inclure un seul documentaire par
Existe-t-il des livres récents sur les algorithmes en ligne? Je ne connais que deux livres sur le sujet. Calcul en ligne et analyse concurrentielle par Allan Borodin et Ran El-Yaniv: Il s'agit d'un livre classique mais ancien, et ne contient pas de nombreuses avancées récentes dans le domaine. The...
Supposons que vous rencontriez des programmeurs qui ont suivi des cours de programmation professionnelle (/ auto-réflexion) mais n'ont pas étudié les mathématiques de niveau universitaire. Afin de leur montrer la beauté de TCS, j'aimerais rassembler de bons résultats / questions ouvertes provenant...
Quels algorithmes utiles existent-ils qui fonctionnent sur d'énormes flux de données et aussi leurs résultats sont assez petits et on peut calculer le résultat pour un mélange de deux flux en fusionnant en quelque sorte leurs résultats? Je peux en nommer quelques-uns: Les choses évidentes comme...
Quels sont les problèmes avec les propriétés suivantes: 1) ils sont la restriction de problèmes (peut-être bien connus) qui sont PSPACE-complets; 2) les versions restreintes sont dans PSPACE, mais c'est un problème ouvert si elles sont complètes pour PSPACE (ou même si elles sont NP-hard). Quatre...
Je recherche une liste sur la complexité connue ou inconnue de divers problèmes théoriques / algébriques des nombres. Par exemple, GCD dans est ouvert,NC1NC1NC^1 l'affacturage en est ouvert,PPP le calcul de la cohomologie des faisceaux est -hard# P#P\#P , Arora et Barak indique qu'une variante de...
Quelles sont les affirmations (peu connues) selon lesquelles, si elles sont vraies, le PH doit s'effondrer? Les réponses contenant une courte assertion de haut niveau avec des références sont appréciées. J'ai essayé de faire une recherche inversée sans trop de
Je suis un étudiant CS. Nous avons fait de la théorie des graphes dans un cours. Je l'ai trouvé intéressant. Quelles sont les applications réelles de la théorie des graphes dans le domaine de l'informatique? Par exemple, j'ai trouvé que certains concepts de la théorie des graphes peuvent être...
Tous les musées et expositions liés à l'informatique que je connais semblent couvrir uniquement l'histoire des machines informatiques, mais rien sur les sujets de l'informatique. Vous participez à la création d'un nouveau musée de l'informatique, agréé pour éduquer, divertir et inspirer le grand...
Les algorithmes d'approximation peuvent donner une sortie jusqu'à un facteur constant. C'est un peu moins satisfaisant que les algorithmes exacts. Cependant, des facteurs constants sont ignorés dans la complexité temporelle. Je me demande donc si l'astuce suivante est possible ou a été utilisée...
En 1996, un problème ouvert de longue date a été résolu par un ordinateur; à savoir que l' algèbre de Robbins et l'algèbre booléenne sont les mêmes. La preuve a été trouvée par un prouveur de théorème automatisé. De plus, la preuve connue du théorème des quatre couleurs contient des composants...
Je recherche des problèmes fortement NP-durs pour une réduction. Jusqu'à présent, j'ai trouvé les problèmes suivants: Problème de 3 partitions problème de bin-packing Correspondance numérique tridimensionnelle TSP Tout problème NP-complet sans données numériques, par exemple, SATISFACILITÉ, CYCLE...