Je suis toujours intrigué par le manque de preuves numériques des mathématiques expérimentales pour ou contre la question P vs NP. Bien que l'hypothèse de Riemann ait des preuves à l'appui de la vérification numérique, je ne connais pas de preuves similaires pour la question P vs NP. De plus, je ne...
Je suis un étudiant diplômé en mathématiques, et l'informatique théorique est un domaine dont je n'ai jamais compris de quoi il s'agit parce que je n'ai pas pu trouver une bonne lecture sur le sujet. Je veux savoir de quoi il s'agit réellement dans ce domaine, de quel type de sujets il s'agit,...
Ma question est d'ordre général: comment commencer à penser en termes de conception d'algorithmes et de complexité? Je vais suivre un cours d'études supérieures en conception d'algorithmes. Je m'y étais inscrit plus tôt mais je l'ai abandonné plus tard parce que je ne pouvais pas suivre. Je dois...
Le problème de maintenance des commandes (ou «maintien de l'ordre dans une liste») est de supporter les opérations: singleton: crée une liste avec un élément, lui renvoie un pointeur insertAfter: donné un pointeur sur un élément, insère un nouvel élément après, renvoyant un pointeur sur le nouvel...
D'un point de vue purement abstrait de raisonnement mathématique / informatique, (comment) pourrait-on même découvrir ou raisonner sur des problèmes comme 3-SAT, Subset Sum, Travelling Salesman, etc.? Serions - nous encore en mesure de raisonner sur eux de quelque façon significative avec juste la...
Larry Wasserman a récemment publié un article dans lequel il parle de la "police p-value". Il fait un point intéressant (tout l'accent est mis sur moi) (la prémisse en italique que j'ai ajoutée et sa réponse ci-dessous): La plainte la plus courante est que les physiciens et les journalistes...
Je trouve des livres sur les ordinateurs, mais tous portent sur la technologie. Je veux quelque chose de plus lié à la
Je suis étudiant en informatique de premier cycle et je planifie actuellement mon projet de fin d'études. J'ai besoin de quelques idées dans le domaine de l'informatique quantique. de
Je suis un ingénieur logiciel assez compétent, mais je ne connais pas beaucoup la théorie. Je veux en savoir plus sur la théorie. Les sujets particuliers qui m'intéressent sont: la complexité informatique, les langages formels et la théorie des types. Mais je ne sais pas trop comment commencer à...
La complexité de calcul implique de grandes quantités de combinatoire et de théorie des nombres, quelques ingrédients de la stochastique et une quantité émergente d'algèbre. Cependant, en tant qu'analyseur, je me demande s'il existe des applications de l'analyse dans ce domaine, ou peut-être des...
Compte tenu des sujets abordés lors d'une conférence comme le STOC, des chercheurs en algorithmes ou en complexité utilisent-ils activement COQ ou Isabelle? Si oui, comment l'utilisent-ils dans leurs recherches? Je suppose que la plupart des gens n'utiliseraient pas de tels outils car les preuves...
Contexte : J'arrive à la fin de ma maîtrise en mathématiques et commencerai un doctorat en logique en août. Plus j'étudie la logique, plus l'informatique est théorique à laquelle je suis exposé, par exemple la théorie de la récursivité, le calcul lambda, mais le CS sous-jacent est effleuré sous le...
La théorie du compilateur semble être un sujet assez vérifié. Quels sont les problèmes ouverts ou les recherches en cours dans le
Ceci est lié à la question générale de " Comment arbitrer un article? ". J'examine un document pour une conférence, et ce document devrait être rejeté, car il n'est pas suffisamment important pour être publié et présente des défauts dans certains de ses détails techniques. Le document n'est pas...
Je recherche des conseils et des retours. Contexte: Je suis un étudiant de premier cycle en mathématiques, avec un intérêt pour l'informatique théorique (complexité informatique, théorie des graphes, combinatoire). Je veux poursuivre un doctorat en informatique et me concentrer sur la théorie. Mes...
Pour célébrer le 100e anniversaire d'Alan Turing, je veux regarder un documentaire sur sa vie. Cependant, il existe plusieurs documentaires parmi lesquels choisir. Quel documentaire sur Alan Turing est votre préféré? Veuillez inclure un seul documentaire par
En dehors du monde universitaire, à quoi servent mes «pouvoirs»? Que puis-je faire d'autre que l'enseignement et la publication d'articles? Où puis-je appliquer mes pouvoirs? Pour les besoins de l'argument: veuillez supposer que j'ai un doctorat en algorithmes / TCS et que j'ai appris beaucoup de...
Supposons que vous rencontriez des programmeurs qui ont suivi des cours de programmation professionnelle (/ auto-réflexion) mais n'ont pas étudié les mathématiques de niveau universitaire. Afin de leur montrer la beauté de TCS, j'aimerais rassembler de bons résultats / questions ouvertes provenant...
Quelles sont les carrières typiques des informaticiens théoriques (personnes titulaires d'un diplôme d'études supérieures en informatique théorique)? Quels types d'industries et d'institutions recherchent des connaissances théoriques en informatique? Quelles carrières les informaticiens théoriques...
La géométrie informatique est un domaine que je trouve assez intéressant, et j'aimerais consacrer environ un mois ou deux à un projet qui va m'initier à cela et m'aider à apprendre les concepts clés. Quelle est la bonne façon d'aborder cela et quels sont les concepts clés dont je devrais être sûr...