Questions marquées «soft-question»

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.

1
La hiérarchie rationnelle d'Eilenberg des automates et des langages non rationnels - où est-elle maintenant?
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 outil de comparaison. Les ensembles rationnels …
1
Problème de satisfaction de contrainte (CSP) vs théorie modulo de satisfiabilité (SMT); avec une coda sur la programmation par contraintes
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, vous entrez essentiellement dans …
7
Faut-il considérer
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 prouvée, peut-on / doit-on la considérer comme …
19
De beaux résultats dans TCS
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 …
2
Comment publier un article?
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 sur les …
3
Présentation des travaux en cours (diapositives maintenant disponibles)
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 surmonter cet obstacle de présentation des premières recherches, même si …
6
Comment obtenir une «intuition physique» pour les résultats du TCS?
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 propres peuvent être considérés comme des …
6
Peut-on retourner à un emploi de chercheur du SDC après une excursion dans un emploi non lié à l'industrie de la recherche?
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 à un emploi non …
4
Articles Wikipedia manquants
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 : …
5
Erreurs de longue durée en informatique
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 …
2
Est-il parfois préférable de ne pas publier du tout?
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 prestigieuses (par …
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.