Questions marquées «big-picture»

La balise de grande image est pour une "vue ou perspective globale et large d'un problème ou d'un problème."

13
Analyse complexe en informatique théorique
Il existe de nombreuses applications de l'analyse réelle en informatique théorique, couvrant les tests de propriété, la complexité de la communication, l'apprentissage PAC et de nombreux autres domaines de recherche. Cependant, je ne peux penser à aucun résultat dans TCS qui repose sur une analyse complexe (en dehors de l'informatique …
3
Justifier l'analyse du pire cas asymptotique aux scientifiques
J'ai travaillé sur l'introduction de certains résultats de la complexité informatique dans la biologie théorique, en particulier l' évolution et l'écologie , dans le but d'être intéressant / utile pour les biologistes. L'une des plus grandes difficultés que j'ai rencontrées est de justifier l'utilité d'une analyse asymptotique du pire des …
1
Considérations énergétiques sur le calcul
Afin de vérifier ma compréhension, je voudrais partager quelques réflexions sur les besoins énergétiques du calcul. Ceci fait suite à ma question précédente et pourrait être lié à la question de Vinay sur les lois de conservation . Il m'est apparu que, d'un point de vue thermodynamique, l'exécution d'un calcul …
5
Applications théoriques pour les algorithmes d'approximation
Dernièrement, j'ai commencé à chercher des algorithmes d'approximation pour les problèmes NP-difficiles et je me demandais les raisons théoriques de les étudier. (La question n'est pas censée être incendiaire - je suis simplement curieux). Une théorie vraiment belle est sortie de l'étude des algorithmes d'approximation - la connexion entre le …
3
Limites du calcul parallèle
Je suis curieux au sens large de ce que l'on sait des algorithmes de parallélisation en P. J'ai trouvé l'article wikipedia suivant sur le sujet: http://en.wikipedia.org/wiki/NC_%28complexity%29 L'article contient la phrase suivante: On ne sait pas si NC = P, mais la plupart des chercheurs soupçonnent que cela est faux, ce …
1
La cryptographie a-t-elle un coût thermodynamique inhérent?
L'informatique réversible est un modèle informatique qui ne permet que des opérations thermodynamiquement réversibles. Selon le principe de Landauer, qui stipule que l'effacement d'un peu d'informations libère joules de chaleur, cela exclut les fonctions de transition qui ne sont pas un à un (par exemple, les opérateurs booléens ET et …
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.