Dans la préface de ses livres très influents Automates, Langages et Machines (Volumes A, B), Samuel Eilenberg a promis de façon alléchante les Volumes C et D traitant "d'une hiérarchie (appelée hiérarchie rationnelle) des phénomènes non rationnels ... utilisant des relations rationnelles comme un...
Je suis nouveau dans le domaine CS et j'ai remarqué que dans la plupart des articles que j'ai lus, il n'y a pas de résultats empiriques (pas de code, juste des lemmes et des preuves). Pourquoi donc? Étant donné que l'informatique est une science, ne devrait-elle pas suivre la méthode...
De nombreux experts pensent que la conjecture est vraie et l'utilisent dans leurs résultats. Ma préoccupation est que la complexité dépend fortement de la conjecture .P ≠ N PP≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Ma question est donc: Tant que la conjecture n'est pas...
Quelqu'un ose-t-il tenter de clarifier quelle est la relation de ces domaines d'études ou peut-être même donner une réponse plus concrète au niveau des problèmes? Comme qui comprend qui en supposant certaines formulations largement acceptées. Si j'ai bien compris, lorsque vous passez de SAT à SMT,...
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...
En tant qu'ingénieur logiciel pendant la plus grande partie de ma vie, je n'ai absolument aucune idée de comment commencer par publier un type de papier "académique". Au cours de mes dernières recherches, j'ai trouvé un algorithme intéressant pour la tâche que j'ai résolue (lié à certains calculs...
À part ACM, IEEE computer Society, Google Scholar, qui est le meilleur site pour obtenir des entrées bibtex pour des articles liés à
Présentation maintenant donnée. Diapositives disponibles ci-dessous. Présenter les travaux en cours est quelque chose que nous devons tous faire pour obtenir un retour d'information précoce et aider à cristalliser nos idées. Malheureusement, de nombreux étudiants diplômés ont besoin d'aide pour...
J'étudie récemment Haskell et les langages de programmation. Quelqu'un pourrait-il recommander des livres sur la théorie des
Je suis désolé si cette question est un peu vague, mais je suis curieux de savoir comment les chercheurs qui réussissent obtiennent une "sensation" pour les résultats du TCS. Par exemple, l'algèbre linéaire peut être comprise géométriquement, ou en termes d'interprétations physiques (les vecteurs...
Certains chercheurs expérimentés en informatique théorique m'ont dit que travailler dans un emploi non lié à la recherche, même pendant quelques années, tuera votre carrière en tant que chercheur TCS. Cependant, je me méfie de l'affirmation selon laquelle le chemin qui mène d'un chercheur du SDC à...
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...
Je lisais ça . Ça dit ... Vous ne vous retrouverez pas aussi affamé de financement comme Pure Mathematics. (Vous vous retrouverez toujours affamé de financement.) ... Pourquoi les mathématiciens purs ont-ils besoin de financement? (Oups sa question de flux mathématique) Pourquoi une personne...
J'ai récemment enseigné aux expanseurs et introduit la notion de graphes Ramanujan. Michael Forbes a demandé pourquoi on les appelait ainsi, et j'ai dû admettre que je ne sais pas. N'importe
J'espère que ce n'est pas une question politiquement incorrecte à poser, mais pour un étudiant au doctorat qui publie habituellement à CCC / ITCS / ICALP (et parfois à FOCS / STOC), pourrait-il être nuisible (sur le plan professionnel) de publier des travaux moins importants dans conférences moins...
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 existe de nombreuses applications de l'analyse réelle en informatique théorique, couvrant les tests de propriété, la complexité de la communication, l'apprentissage PAC et de nombreux autres domaines de recherche. Cependant, je ne peux penser à aucun résultat dans TCS qui repose sur une analyse...
Je suis à la recherche d'un livre sur les structures de données avancées qui va au-delà de ce qui est couvert dans les manuels standard comme Cormen, Leiserson, Rivest et Stein "Introduction to Algorithms". Un livre qui peut être utilisé pour enseigner un cours de niveau supérieur sur les...
Outre le fait d'acquérir une formation universitaire complète et d'obtenir un doctorat / post-doc, ou d'opter pour un emploi plus ou moins standard dans le développement de logiciels, quelles sont les autres options de carrière dans le domaine CS complet ou