Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

10
Reste-t-il des problèmes en suspens à propos des DFA?
Après avoir étudié les automates à états finis (DFA) déterministes chez les étudiants de premier cycle, j’ai eu le sentiment qu’ils étaient extrêmement bien compris. Ma question est de savoir s'il y a quelque chose que nous ne comprenons toujours pas à leur sujet. Je ne parle pas de généralisations …
17
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 fonctionnement est en de telle sorte)?
7
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 élaboré moi-même des …
6
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 conseils …
15
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 et …
13
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 ouverts qui constitueront une avancée technique, s’ils …
5
Principales raisons pour lesquelles les problèmes sont dans P ou BPP
Récemment, quand j'ai parlé à un physicien, j'ai affirmé que, selon mon expérience, lorsqu'un problème qui semble naïvement prendre un temps exponentiel se révèle non trivialement en P ou en BPP, il est généralement possible d'identifier une "raison primordiale" de la réduction. --- et presque toujours, cette raison appartient à …
10
Déclarations prouvables sur les algorithmes génétiques
Les algorithmes génétiques n'ont pas beaucoup de poids dans le monde théorique, mais ils constituent une méthode métaheuristique assez bien utilisée (par métaheuristique, je veux dire une technique qui s'applique de manière générique à de nombreux problèmes, tels que l'annelage, la descente de gradient, etc.). En fait, une technique similaire …
14
Où et comment les ordinateurs ont-ils aidé à prouver un théorème?
Le but de cette question est de recueillir des exemples d'informatique théorique où l'utilisation systématique des ordinateurs était utile. dans la construction d'une conjecture qui mène à un théorème, falsifier une conjecture ou une approche par preuve, construire / vérifier (des parties de) une preuve. Si vous avez un exemple …
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.