Informatique théorique

60
Applications du TCS aux mathématiques classiques?

En TCS, nous utilisons souvent des résultats et des idées puissants issus des mathématiques classiques (algèbre, topologie, analyse, géométrie, etc.). Quels sont quelques exemples de quand il est allé dans le sens inverse? Voici quelques exemples que je connaisse (et aussi pour donner une idée du...

59
Algorithmes polynomiaux à grand exposant / constant

Connaissez-vous des algorithmes sensés fonctionnant en temps polynomial en (Longueur d’entrée + longueur en sortie), mais dont le temps de fonctionnement asymptotique dans la même mesure a un exposant / une constante vraiment énorme (au moins, où la limite supérieure prouvée du temps de...

59
Comment abattre vos preuves

Quelles sont les directives générales pour vérifier vos preuves? Je crois que c'est important pour les étudiants diplômés comme moi. Je sais déjà ce que nous devons faire pour prouver quelque chose, mais vous devez toujours tout vérifier avant de l'envoyer. Même à votre propre conseiller. J'ai...

59
Comment trouver un emploi

Je suis nouveau sur le site. Sur mathoverflow, ce serait un wiki de communauté, mais je ne vois pas comment le définir ici. Pas une question de recherche, mais, espérons-le, d'intérêt pour les informaticiens professionnels. Je suis un étudiant de 2e année en théorie et je me demandais quels...

58
Journaux en libre accès

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...

58
Problèmes ouverts aux frontières du TCS

Dans le fil Problèmes majeurs non résolus en informatique théorique? Iddo Tzameret a formulé l’excellent commentaire suivant: Je pense que nous devrions faire la distinction entre les grands problèmes ouverts qui sont considérés comme des problèmes fondamentaux, comme , et les grands problèmes...