Questions marquées «reference-request»

La demande de référence est utilisée lorsque l'auteur a besoin de connaître les travaux liés à la question.

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 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 …

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 …


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 …




14
Applications de la topologie à l'informatique
J'aimerais écrire un sondage sur les applications de la topologie en informatique. Je compte couvrir l’histoire des idées topologiques en informatique et souligner quelques développements récents. Il serait extrêmement utile que quiconque puisse donner son avis sur l’une des questions ci-dessous. Existe-t-il des documents ou des notes décrivant la chronologie …

17
Applications du TCS aux mathématiques classiques?
En TCS, nous utilisons souvent des résultats et des idées puissants issus des mathématiques classiques (algèbre, topologie, analyse, géométrie, etc.). Quels sont quelques exemples de quand il est allé dans le sens inverse? Voici quelques exemples que je connaisse (et aussi pour donner une idée du type de résultats que …


7
Pour quels problèmes en P est-il plus facile de vérifier le résultat que de le trouver?
Pour (rechercher les versions) des problèmes NP- complets, la vérification d'une solution est clairement plus facile que de la trouver, car la vérification peut être effectuée en temps polynomial, tandis que la recherche d'un témoin prend (probablement) une durée exponentielle. En P , cependant, la solution peut aussi être trouvée …


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.