Informatique théorique

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

8
Pourquoi aller à l'informatique théorique / à la recherche?
Je commence actuellement à l'université [informatique] et nous avons beaucoup d'occasions de commencer par la recherche. Avant de trouver ce site Web, je n'avais pas l'intention de continuer sur cette voie [je voulais travailler avec l'IA, probablement le développeur de jeu.], Mais maintenant je peux [ou j'ai besoin] de faire …
6
Les expressions régulières ne sont pas
Demandez même à une personne ayant une formation en informatique ce qu’est une expression régulière et la réponse ira probablement au-delà de la contrainte d’être à la portée d’un automate à états finis. Par exemple, l'expression «expression régulière» /^1?$|^(11+?)\1+$/ créé par une personnalité notée de Perl, Abigail (et faisant partie …
3
Pourquoi Coq a Prop?
Coq a le type Prop de preuve des propositions non pertinentes qui sont rejetées lors de l'extraction. Quelle est la raison de cela si nous utilisons Coq uniquement pour les preuves. Prop est imprédicatif, donc Prop: Prop, cependant, Coq déduit automatiquement les index d'univers et nous pouvons utiliser le type …
6
Un ensemble probabiliste sans faux positifs?
Ainsi, les filtres de Bloom sont plutôt sympas - ce sont des ensembles qui prennent en charge la vérification d’appartenance sans faux négatifs, mais avec une petite chance d’un faux positif. Récemment cependant, je voulais un "filtre de Bloom" qui garantisse le contraire: pas de faux positifs, mais potentiellement de …
7
Notion formelle pour la complexité énergétique des problèmes de calcul
La complexité informatique comprend l’étude de la complexité temporelle ou spatiale des problèmes informatiques. Du point de vue de l'informatique mobile, l'énergie est une ressource informatique précieuse. Alors, existe-t-il une adaptation bien étudiée des machines de Turing qui prend en compte l'énergie consommée lors de l'exécution d'algorithmes? De même, existe-t-il …
7
Comment démarrer en CS théorique?
Je suis un étudiant de première année en informatique et je sais déjà que je veux aller dans le monde universitaire avec une concentration en science-fiction théorique. J'ai déjà lu certains des articles référencés dans cette question et cette question m'a convaincu davantage. Que devrais-je faire maintenant , en tant …
2
Si P = NP, pourrions-nous obtenir des preuves de la conjecture de Goldbach, etc.?
Ceci est une question naïve, de mon expertise; excuses à l'avance. La conjecture de Goldbach et de nombreuses autres questions non résolues en mathématiques peuvent être écrites sous forme de formules courtes dans le calcul des prédicats. Par exemple, le document de Cook "Les ordinateurs peuvent-ils découvrir systématiquement des preuves …
4
Des preuves qui révèlent une structure plus profonde
La preuve standard de la borne de Chernoff (du manuel Randomized Algorithms ) utilise les fonctions d'inégalité de Markov et de génération de moments, avec un peu de développement de Taylor, rien de trop difficile, mais plutôt mécanique. Mais il existe d'autres preuves liées de Chernoff qui exposent la structure …
35 big-list  proofs 
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.