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 formules …
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 …
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 telle idée, technique ou résultat par réponse.
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 contradiction.
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 …
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 de triplets …
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 paire la plus proche en …
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 Classical Theorems (A. Drucker, …
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 conservés jusqu'à l'homéomorphisme. Il est connu, …
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 SAT se sont largement appuyés …
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 5/2/2017 : …
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 …
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 première conférence et quel devrait être son objectif?
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 référence?
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 …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.