J'étudie actuellement les mathématiques. Cependant, je ne pense pas vouloir devenir mathématicien professionnel à l'avenir. Je pense appliquer mes connaissances en mathématiques pour faire de la recherche en intelligence artificielle. Cependant, je ne sais pas combien de cours de mathématiques je...
J'aimerais savoir s'il y a eu des conjectures qui n'ont pas été prouvées depuis longtemps dans le TCS, qui ont ensuite été prouvées par une implication d'un autre théorème, qui auraient pu être plus faciles à prouver.
Quelles universités ont un solide programme d'informatique quantique et proposent un certain type de cours d'informatique quantique / d'information / de recherche? Le but ici est de rassembler une liste utile pour ceux qui envisagent des études supérieures dans ces domaines, et non de discuter de...
La théorie de la complexité semble saisir quelque chose de fondamental dans la structure de l'univers, en ce qu'elle formalise la notion intuitive que certains problèmes sont plus difficiles que d'autres. Scott Aaronson prédit : "L'hypothèse de dureté NP sera finalement considérée comme analogue à...
Très souvent, si le temps d'exécution d'un algorithme est une expression compliquée, l'algorithme lui-même est également compliqué et peu pratique. Chacune des racines de cube et facteurs log log n dans le temps d'exécution asymptotique tend à ajouter de la complexité à l'algorithme et également...
Je me rends compte que cela pourrait être une question controversée, mais cela semblait être le bon endroit à poser. Veuillez me rediriger sinon. Le contexte est que je suis un "praticien" (doctorant, je n'étudie pas la théorie CS) mais j'ai une base raisonnable en algorithmes de premier cycle et...
Il est bien connu qu'il y a des tonnes d'amateurs - moi y compris - qui s'intéressent au problème P vs NP. Il y a aussi beaucoup d'amateurs - moi y compris toujours - qui ont tenté de résoudre le problème. Un problème dont je pense que la communauté TCS souffre est un rapport relativement élevé...
Je passe en revue le Handbook of Nature-Inspired and Innovative Computing pour SIGACT News. C'est une lecture très intéressante. Chaque chapitre, cependant, a la saveur, "C'est mon domaine de recherche, et bon sang c'est génial!" Donc, une partie de ce que j'essaie de faire est de séparer le...
Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en...
La notion de réductions de temps polynomiales (réductions Cook) est l'abstraction d'un concept très intuitif: résoudre efficacement un problème en utilisant un algorithme pour un problème différent. Cependant, dans la théorie de la complétude de , la notion de dureté de N P est capturée par des...
Je suis un mathématicien qui travaille principalement dans la théorie spectrale des opérateurs auto-adjoints et unitaires. Certaines de mes recherches sont pertinentes dans les marches quantiques, et j'ai un article en particulier que je voudrais présenter à la conférence Quantum Information...
Mon idée d'une carrière de rêve est une carrière dans la recherche industrielle, où l'on arrive à s'attaquer à des problèmes difficiles, mais aussi à un usage pratique. À cette fin, la poursuite d'un doctorat en TCS (je suis intéressé par des sujets tels que les algorithmes distribués / parallèles,...
Récemment, j'étais dans une conférence soutenue par ACM. Pendant le banquet, les organisateurs de la conférence nous ont parlé de l'avenir et du passé de la conférence. Ils nous ont dit que lors de l'édition 2010 de la conférence il y avait eu une perte de 5000 $. Ils nous ont montré le budget de...
Je m'excuse si c'est hors sujet. Il semble que le nom de domaine ait expiré. J'espère que certains membres de la communauté ici (je n'en suis pas un) peuvent savoir qui était l'administrateur / propriétaire de ce site. C'était une ressource très
Je suis un étudiant diplômé en mathématiques avec une solide expérience en logique. J'ai suivi un cours d'un an sur la logique avec des cours de troisième cycle sur la théorie des modèles finis et un autre sur le forçage et la théorie des ensembles. La plupart des textes CS semblent n'assumer qu'un...
C'est une question dans l'esprit de celle-ci où j'ai répondu qu'il est important de garder une trace de ce que vous avez fait quelque chose, pourquoi vous l'avez fait et ce qui ne fonctionne pas. J'utilise personnellement des ordinateurs portables à cette fin, mais cela présente plusieurs...
De nombreuses publications informatiques des années 1950 et 1960 contiennent des spéculations philosophiques fascinantes sur la nature de l'esprit et la signification de l'information par rapport au monde physique. Des exemples célèbres sont le "Test de Turing", le "Calcul de l'espace" de Zuse, le...
Toutes mes excuses si c'est une question trop large pour ce forum, mais je m'intéresse aux tactiques et astuces spécifiques que les chercheurs (dans TCS) utilisent pour rédiger l'introduction d'un document de recherche.
Y a-t-il des cas où des publications supplémentaires peuvent nuire à votre dossier? Cela évite les cas évidents où vous publiez des résultats incorrects ou controversés. Évitez également le cas du temps fini: vous n'avez que peu de temps pour penser et écrire, donc écrire un document peut vous...
Étant donné que la plupart des universités américaines n'acceptent des candidatures que dans un seul domaine, j'essaie de comprendre quels sont les avantages / inconvénients de postuler à un programme de théorie CS par rapport à un programme de mathématiques appliquées étant donné que l'intérêt se...