Avec l'avènement d'Internet (et du bon sens), la recherche en libre accès est de plus en plus demandée. Plusieurs chercheurs (dont moi-même) trouvent frustrant que des articles de recherche publiés et revus par des pairs soient à l'origine de systèmes de paiement. Je suis à la recherche de revues...
Quels outils utilisez-vous pour écrire des papiers? Du fait de mon peu d’expérience, les théoriciens passent beaucoup de temps à écrire et à peaufiner des papiers, en plus d’être réellement créatifs. C'est-à-dire communiquer leur travail à d'autres personnes. Peut-être que les papiers ne sont pas...
C'est ma première question sur ce site. Je suis en train de suivre un cours de maîtrise sur la théorie du calcul. Comment expliqueriez-vous le problème P = NP à un enfant de 10 ans et pourquoi a-t-il une telle récompense monétaire? Votre prendre? Je mettrai à jour la question au fur et à mesure que...
De nombreux chercheurs et groupes de recherche en informatique de premier plan maintiennent des blogs actifs qui nous tiennent au courant des dernières recherches dans les domaines d’intérêt des auteurs. Dans la plupart des cas, les articles de blog sont plus faciles à comprendre que les documents...
On me demande souvent ce que fait un informaticien théorique. Ce serait bien d'avoir de bonnes réponses à cette question. J'ai tendance à retomber dans le jargon technique et les yeux des gens brillent généralement à ce stade. Que fait un informaticien théorique en termes compréhensibles par des...
Après une question fructueuse dans MO , j’ai pensé qu’il serait intéressant de discuter de noms de papier notables dans CS. Il est clair que la plupart d’entre nous pourraient être attirés par la lecture (ou au moins jeter un coup d’œil sur un article avec un titre intéressant) (du moins je le fais...
La théorie de la complexité est un intérêt secondaire fort pour moi, mais ce n’est pas mon principal intérêt de recherche. Il n’ya donc aucun espoir pour moi d’assister à toutes les conférences, de lire tous les blogs et de faire en sorte que le "in" foule nouvelles chaudes. J'essaie de faire une...
Je révisais un manuscrit d'étudiant. L'élève a fait remarquer qu'il serait bien de voir des exemples d'écriture de qualité dans les publications, et je me suis rendu compte que je ne pouvais pas vraiment trouver de bons exemples par cœur. Quels sont les meilleurs exemples d'écriture mathématique de...
Aujourd'hui, Ryan Williams a publié un article sur arXiv (précédemment publié dans SIGACT News) contenant une version moins technique de sa récente technique de limite inférieure ACC . Ma question ne concerne pas la technique elle-même (bien sûr mérite des éloges), mais concerne le style du papier....
Je crois comprendre que le modèle de Turing est devenu le "standard" dans la description du calcul. Je voudrais savoir pourquoi. Si le modèle TM est devenu plus largement utilisé que d’autres modèles théoriquement équivalents (à ma connaissance), comme le μ-récursion de Kleene ou le calcul lambda...
Si vous pouviez renommer la programmation dynamique, comment
Il semble clair qu'un certain nombre de sous-domaines de l'informatique théorique ont été fortement influencés par les résultats de la physique théorique. Deux exemples de ceci sont Calcul quantique Résultats de la mécanique statistique utilisés dans l'analyse de complexité / les algorithmes...
Les ordinateurs réels ont une mémoire limitée et seulement un nombre fini d'états. Donc, ce sont essentiellement des automates finis. Pourquoi les informaticiens théoriques utilisent-ils les machines de Turing (et d’autres modèles équivalents) pour étudier les ordinateurs? Quel est l'intérêt...
En 1937, Turing décrit une machine de Turing. Depuis lors, de nombreux modèles de calcul ont été décrits dans le but de trouver un modèle ressemblant à un vrai ordinateur, mais suffisamment simple pour concevoir et analyser des algorithmes. En conséquence, nous avons une douzaine d'algorithmes...
Malgré plusieurs années de cours, je ne suis toujours pas au bon endroit pour choisir un sujet de recherche. J'ai examiné des papiers de différents domaines et parlé avec des professeurs, et je commence à penser que c'est une mauvaise approche. J'ai lu qu'il était utile de trouver un problème...
Sur MathOverflow, Timothy Gowers a posé une question intitulée " Démontrer que la rigueur est importante ". La plupart des discussions ont porté sur des cas montrant l’importance de la preuve, dont les utilisateurs de CSTheory n’ont probablement pas besoin d’être convaincus. Selon mon expérience,...
Je suis un étudiant de 2e année en théorie. Je travaille sur un problème depuis un an (en théorie des graphes / algorithmes). Jusqu'à hier, je pensais que j'allais bien (j'étendais un théorème à partir d'un papier). Aujourd'hui, j'ai réalisé que j'avais commis une simple erreur. J'ai réalisé qu'il...
Je suis étudiant en quatrième année de doctorat en informatique théorique. J'aimerais rester dans le monde universitaire, alors je réfléchis à la meilleure façon de faire progresser ma carrière. La meilleure façon de le faire est évidemment de rédiger de nombreux articles de qualité, mais une autre...
AVERTISSEMENT: Ceci est une question ouverte et puritains stackexchange ressentiraient probablement un besoin extraordinaire de voter pour l'oubli. Cependant, je ne peux penser à aucun autre forum plus approprié et plus prometteur pour obtenir une réponse à cette question. En travaillant sur un...
Je suis étudiant en troisième année de doctorat dans un domaine de la CS théorique qui aimerait obtenir des conseils pour une situation difficile avec mon conseiller. Mon conseiller n’est pas impliqué dans mes projets de recherche. En particulier, j'ai proposé toutes mes idées de papier et je les...