Une question douce est une question (éventuellement subjective) sur le domaine de l'informatique théorique par opposition à une question de l'informatique théorique.
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...
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) algorithme (s) pensez-vous...
[ 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...
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...
Après avoir lu la question de Daniel Apon , j'ai commencé à penser qu'il pourrait être utile (en particulier aux jeunes chercheurs et aux étudiants diplômés comme moi) de poser une question plus large et plus générale afin que nous puissions apprendre de l'expérience de chercheurs plus...
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 à en...
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...
Je suis en train de lire sur le calcul lambda pour "apprendre à le connaître". Je le vois comme une forme alternative de calcul par opposition à la machine de Turing. C'est une manière intéressante de faire les choses avec des fonctions / réductions (en gros). Certaines questions continuent à me...
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...
Je suis actuellement un étudiant de premier cycle, obligé d'obtenir un diplôme cette année. Après avoir obtenu mon diplôme, j’envisage d’obtenir un master / doctorat en sciences de la technologie. J'ai commencé à me demander quels domaines des mathématiques sont considérés comme utiles pour le SDC,...
Cette question peut ne pas convenir à ici, mais je ne pouvais pas trouver un meilleur endroit pour poser (c'était fermé à SO). Je trouve les articles de recherche en informatique difficiles à comprendre. Bien sûr les sujets sont compliqués. Mais après avoir compris un document, je peux généralement...
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...
Venant d'un contexte plus mathématique, je n'ai jamais vraiment appris à coder. Je commence un doctorat en SDC et beaucoup de gens ont été surpris par le peu de connaissances que j'avais sur la programmation (et sur l'ordinateur en général). Je peux écrire des algorithmes en pseudo-code, mais je ne...
Mis à jour ci-dessous Nous connaissons tous l'importance cruciale de l'examen par les pairs. C’est la principale forme de contrôle de la qualité et de retour d’information sur la recherche. Cependant, pour un chercheur débutant (comme moi), cela peut parfois être un système / processus déroutant....
Souvent, lorsque nous participons aux conférences du SDC, nous remarquons quelques petits détails dont nous souhaitons que les organisateurs de la conférence se soient occupés. Et lorsque nous organisons des conférences, nous l’avons déjà oublié. D'où la question: quelles petites mesures...
Au fil des années, je me suis habitué à voir de nombreux théorèmes du TCS prouver à l'aide d'une analyse de Fourier discrète. La transformation de Walsh-Fourier (Hadamard) est utile dans pratiquement tous les sous-domaines du SCS, notamment les tests de propriété, le pseudo-aléatoire, la complexité...
Cette question est quelque chose que je me pose depuis un moment. Lorsque les gens décrivent le problème P vs NP, ils comparent souvent la classe NP à la créativité. Ils notent que la composition d'une symphonie de qualité Mozart (analogue à une tâche NP) semble beaucoup plus difficile que de...
Quelles sont les directives générales pour vérifier vos preuves? Je crois que c'est important pour les étudiants diplômés comme moi. Je sais déjà ce que nous devons faire pour prouver quelque chose, mais vous devez toujours tout vérifier avant de l'envoyer. Même à votre propre conseiller. J'ai...
Je suis nouveau sur le site. Sur mathoverflow, ce serait un wiki de communauté, mais je ne vois pas comment le définir ici. Pas une question de recherche, mais, espérons-le, d'intérêt pour les informaticiens professionnels. Je suis un étudiant de 2e année en théorie et je me demandais quels...
Après avoir étudié les automates à états finis (DFA) déterministes chez les étudiants de premier cycle, j’ai eu le sentiment qu’ils étaient extrêmement bien compris. Ma question est de savoir s'il y a quelque chose que nous ne comprenons toujours pas à leur sujet. Je ne parle pas de généralisations...