La preuve standard de la borne de Chernoff (du manuel Randomized Algorithms ) utilise les fonctions d'inégalité de Markov et de génération de moments, avec un peu de développement de Taylor, rien de trop difficile, mais plutôt mécanique. Mais il existe d'autres preuves liées de Chernoff qui...
Nous entendons souvent parler de recherches classiques et de publications dans le domaine de la complexité informatique (Turing, Cook, Karp, Hartmanis, Razborov, etc.). Je me demandais s'il y avait des articles récemment publiés considérés comme essentiels et à lire absolument. Récemment, je veux...
Mark Dominus a rassemblé quelques exemples de réduction du temps polynomial de divers problèmes NP-difficiles à la correspondance «d'expression régulière» . Envisager des vérifications en temps polynomial n'est pas un énorme pas en avant. Comment illustrez-vous la classe NP-complete aux étudiants...
Dans l'article The Random Oracle Hypothesis Is False , les auteurs (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan et Rohatgi) discutent des implications de l' hypothèse de l'oracle aléatoire . Ils soutiennent que nous savons très peu de choses sur les séparations entre les classes de...
Cette question concerne les problèmes pour lesquels il existe un grand écart de complexité ouvert entre la borne inférieure connue et la borne supérieure, mais pas en raison de problèmes ouverts sur les classes de complexité elles-mêmes. Pour être plus précis, disons qu'un problème a des classes...
Alors que j'ai réussi quelques cours sur la théorie des probabilités, tant au lycée qu'à l'université, j'ai du mal à lire les articles TCS en matière de probabilité. Il semble que les auteurs des articles du TCS connaissent très bien la probabilité. Ils fonctionnent comme par magie avec des...
Il y a des tonnes de problèmes NP-complets et des sources qui les collectent, par exemple, voir le livre de Garey et Johnson. Je serais également intéressé de voir une liste des problèmes NEXP-complete. Y en a-t-il un disponible? Comme je suppose qu'il n'y en a pas, j'ouvre cette question (est-ce...
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...
Certains paradoxes mathématiques et logiques pourraient probablement être automatiquement appliqués aux ordinateurs, mais y a-t-il des paradoxes découverts en informatique elle-même? Par paradoxes, j'entends des résultats contre-intuitifs qui ressemblent à une
Récemment, un de mes amis (travaillant dans TCS) a mentionné dans une conversation qu '"il voulait voir / connaître tous (ou autant que possible) les beaux résultats dans TCS au cours de sa vie". Cela m'a fait me questionner sur les beaux résultats dans ce domaine et donc sur la motivation pour la...
L'une des bonnes choses d'avoir évolué dans un univers à trois dimensions spatiales est que nous avons développé des compétences en résolution de problèmes concernant les objets dans l'espace. Ainsi, par exemple, nous pouvons considérer un triplet de nombres comme un point en 3-d et donc le calcul...
Je m'intéresse à des exemples de problèmes où un théorème qui n'a apparemment rien à voir avec la mécanique quantique / l'information (par exemple énonce quelque chose sur des objets purement classiques) peut néanmoins être prouvé en utilisant des outils quantiques. Une enquête Quantum Proofs for...
Vous pouvez souvent trouver des méthodes de plan de coupe, de propagation variable, de branchement et de limite, d'apprentissage de clause, de retour en arrière intelligent ou même d'heuristique humaine tissée à la main dans les solveurs SAT. Pourtant, pendant des décennies, les meilleurs solveurs...
Edit: J'ai choisi la réponse avec le score le plus élevé avant le 06 décembre 2012. C'est une question douce. Le concept d'algorithmes (déterministes) remonte à la Colombie-Britannique. Qu'en est-il des algorithmes probabilistes? Dans cette entrée wiki , l'algorithme de Rabin pour le problème de...
Je suis un informaticien qui suit un cours sur la topologie (une pincée de topologie ponctuelle fortement aromatisée par la théorie du continuum). Je me suis intéressé aux problèmes de décision en testant une description d'un espace (par simplification) pour les propriétés topologiques; ceux...
Sur quels sujets TCS manquants sur Wikipédia aimeriez-vous le plus avoir un article? Il peut s'agir d'omissions flagrantes ou simplement de sujets qui, selon vous, devraient vraiment avoir un article. Un sujet par réponse s'il vous plaît afin que les plus recherchés puissent être votés. Mise à jour...
Ceci est ma première question sur la pile cstheory, alors ne soyez pas trop impoli si je viole l'étiquette d'une manière ou d'une autre) Comme nous le savons, en mathématiques, même des mathématiciens, des superstars et des génies célèbres font de temps en temps de graves erreurs. Par exemple, le...
Bien sûr, certains résultats de complexité peuvent s'effondrer pour les langues unaires, mais je me demande s'il existe quelque part une enquête résumant les résultats connus dans ce cas: une sorte de zoo de complexité pour les langues unaires. Connaissez-vous une telle
J'assisterai à ma première conférence informatique et après avoir lu les conseils pour améliorer les conférences j'ai remarqué que plusieurs suggestions concernaient des étudiants diplômés assistant à leur première conférence. Quels conseils donneriez-vous à un étudiant diplômé assistant à sa...
Il y a une réputation, qu'en informatique, nous n'avons pas de livres de science populaire. Bien sûr, ce n'est pas vraiment vrai! (Dans le même esprit de la liste des livres que tout le monde devrait savoir? , Quels papiers devraient tous lire? , Quelles vidéos doivent surveiller de tout le monde?...