Informatique théorique

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

7
Que savons-nous sur les programmes parfaitement corrects?
La complexité croissante des programmes informatiques et la position de plus en plus cruciale des ordinateurs dans notre société me laissent nous demander pourquoi nous n'utilisons toujours pas collectivement des langages de programmation dans lesquels vous devez prouver formellement que votre code fonctionne correctement. Je crois que le terme est …





6
Journaux avec relecture rapide
Contexte: La motivation de cette question est double. Premièrement, j'aimerais obtenir des faits concrets pour mieux comprendre le débat entre conférences et journaux en cours. Deuxièmement, si cette information était disponible quelque part, je pourrais prendre une décision plus éclairée lors de la soumission des documents pour examen; Je serais …

4
Existe-t-il une fonction de hachage pour une collection (c'est-à-dire plusieurs ensembles) d'entiers présentant de bonnes garanties théoriques?
Je suis curieux de savoir s'il existe un moyen de stocker un hachage d'un ensemble multiple d'entiers possédant les propriétés suivantes, idéalement: Il utilise O (1) espace Il peut être mis à jour pour refléter une insertion ou une suppression dans le temps O (1) Deux collections identiques (c.-à-d. Des …


3
Complexité de la fonction exponentielle
Nous savons que la fonction exponentielle sur les nombres naturels n'est pas calculable en temps polynomial, car la taille de la sortie n'est pas polynomiale dans la taille des entrées.exp( x , y) = xyexp⁡(x,y)=xy\exp(x,y) = x^y Est-ce la raison principale de la difficulté de calculer la fonction exponentielle ou …







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.