Questions marquées «big-list»

Questions dont les réponses sont une grande liste d'articles (livres, théorèmes, logiciels, ...)

6
Quoi de neuf dans les structures de données purement fonctionnelles depuis Okasaki?
Depuis le livre de Chris Okasaki paru en 1998 "Des structures de données purement fonctionnelles", je n'ai pas vu apparaître trop de nouvelles structures de données passionnantes et purement fonctionnelles; Je peux n'en nommer que quelques-uns: IntMap (également inventé par Okasaki en 1998, mais non présent dans ce livre) Arbres …
30
Quels papiers tout le monde devrait-il lire?
Cette question est (inspirée par) / (honteusement volée à) une question similaire chez MathOverflow , mais je m'attends à ce que les réponses ici soient très différentes. Nous avons tous des articles favoris dans nos domaines théoriques respectifs. De temps en temps, on trouve un article tellement stupéfiant (important, convaincant, …
30
Algorithmes du livre.
Paul Erdos a parlé du "livre" où Dieu conserve la preuve la plus élégante de chaque théorème mathématique. Cela a même inspiré un livre (qui, à mon avis, en est à sa quatrième édition): Proofs from the Book . Si Dieu avait un livre similaire pour les algorithmes, quel (s) …
30
Quels livres chacun devrait-il lire?
[ Chronologie ] Cette question a le même esprit: quels journaux doivent être lus par tout le monde et quelles vidéos doivent être visionnées par tout le monde . Il demande des livres remarquables dans différents domaines de l'informatique théorique. Les livres peuvent être orientés vers les mathématiques, mais vous …
30
Problèmes majeurs non résolus en informatique théorique?
Wikipedia n'énumère que deux problèmes sous "problèmes non résolus en informatique" : P = NP? L'existence de fonctions à sens unique Quels sont les autres problèmes majeurs qui devraient être ajoutés à cette liste? Règles: Un seul problème par réponse Fournir une brève description et tout lien pertinent
30
Quelles vidéos tout le monde devrait regarder?
L’Université de Stanford a maintenant une chaîne Youtube , avec un accès gratuit à la vidéo HD de tous les cours, des systèmes dynamiques à l’intrication quantique. Plus de conférences et d'ateliers enregistrent leurs discours sur bande vidéo. Quelles sont les vidéos en ligne que tout le monde devrait connaître? …
28
Problèmes entre P et NPC
La factorisation et l'isomorphisme des graphes sont des problèmes dans NP qui ne sont connus ni pour P ni pour NP-Complete. Quels autres problèmes naturels (suffisamment différents) partagent cette propriété? Les exemples artificiels directement issus de la démonstration du théorème de Ladner ne comptent pas. Est-ce que l'un de ces …
15
Quelles notes de cours faut-il lire?
Il y a eu plusieurs questions avec le même schéma que celui-ci: Quels papiers tout le monde devrait lire Quels livres tout le monde devrait lire Quels sont les récents ouvrages du SDC dont les projets sont disponibles en ligne quelles vidéos tout le monde devrait regarder J'étais réticent à …
17
Des exemples du prix de l'abstraction?
L'informatique théorique a fourni quelques exemples du "prix de l'abstraction". Les deux plus importants concernent l'élimination et le tri gaussiens. À savoir: On sait que l'élimination gaussienne est optimale pour, par exemple, calculer le déterminant si vous limitez les opérations à des lignes et à des colonnes dans leur ensemble …
5
Liste des conférences et des ateliers du SDC
J'aimerais demander de l'aide pour compiler une liste du plus grand nombre possible de conférences et d'ateliers liés au SDC. Ma principale motivation est de planifier la couverture possible de plusieurs théories par le blog - trouver des correspondants assistant à ces événements qui seraient disposés à écrire des entrées …
30
Documents drôles liés au TCS, etc.?
Quel est le travail publié le plus drôle sur le TCS que vous connaissez? S'il vous plaît inclure uniquement ceux qui sont destinés à être drôle. Les œuvres explicitement conçues pour être intelligemment humoristiques (plutôt que, par exemple, un recueil publié de petites blagues sur la théorie de la complexité) …
20
Des exemples de mathématiques «non liées» jouant un rôle fondamental dans le SDC?
Veuillez énumérer des exemples dans lesquels un théorème mathématique qui n’était normalement pas considéré comme applicable en informatique a été utilisé pour la première fois pour prouver un résultat en informatique. Les meilleurs exemples sont ceux où le lien n'était pas évident, mais une fois découvert, c'est clairement la "bonne …
9
Algorithmes puissants trop complexes à implémenter
Quels sont les algorithmes d’utilité légitime tout simplement trop complexes à mettre en œuvre? Soyons clairs: je ne cherche pas d’algorithmes comme l’algorithme actuel de multiplication de matrice optimale asymptotique (Coppersmith-Winograd), qu’il est raisonnable de mettre en œuvre mais dont la constante est inutile en pratique. Je recherche des algorithmes …
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.