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

10
Les ordinateurs réels n'ont qu'un nombre fini d'états. Quelle est donc la pertinence des machines de Turing par rapport aux ordinateurs réels?
Les ordinateurs réels ont une mémoire limitée et seulement un nombre fini d'états. Donc, ce sont essentiellement des automates finis. Pourquoi les informaticiens théoriques utilisent-ils les machines de Turing (et d’autres modèles équivalents) pour étudier les ordinateurs? Quel est l'intérêt d'étudier ces modèles beaucoup plus forts en ce qui concerne …
4
Pourquoi n'avons-nous pas été en mesure de développer une théorie unifiée de la complexité de l'informatique distribuée?
Le domaine de l'informatique distribuée a été terriblement mis de côté pour développer une seule théorie mathématique décrivant les algorithmes distribués. Il existe plusieurs «modèles» et cadres de calcul distribué qui ne sont tout simplement pas compatibles les uns avec les autres. L’explosion des propriétés temporelles variables (asynchronisme, synchronie, synchronie …
2
Programme GCT de Mulmuley
On prétend parfois que la théorie de la complexité géométrique de Ketan Mulmuley est le seul programme plausible pour régler les questions en suspens de la théorie de la complexité, comme la question P vs NP. Plusieurs théoriciens de la complexité connus ont commenté positivement le programme. Selon Mulmuley, il …
11
Qu'est-ce que le modèle de calcul quantique?
J'ai parfois entendu des gens parler d'algorithmes quantiques et d'états et de la possibilité d'envisager plusieurs possibilités à la fois, mais je n'ai jamais réussi à demander à quelqu'un d'expliquer le modèle de calcul derrière cela. Pour être clair, je ne demande pas comment les ordinateurs quantiques sont construits physiquement, …
7
Faut-il considérer
De nombreux experts pensent que la conjecture est vraie et l'utilisent dans leurs résultats. Ma préoccupation est que la complexité dépend fortement de la conjecture .P ≠ N PP≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Ma question est donc: Tant que la conjecture n'est pas prouvée, peut-on / doit-on la considérer comme …
6
Pourquoi les naturels au lieu des entiers?
Je m'intéresse aux raisons pour lesquelles les nombres naturels sont si appréciés par les auteurs de livres sur la théorie des langages de programmation et la théorie des types (par exemple J. Mitchell, Foundations for Programming Languages ​​et B. Pierce, Types and Programming Languages). La description du lambda-calcul simplement tapé …
5
Ecologie et évolution à travers la lentille algorithmique
L'étude de l'écologie et de l'évolution devient de plus en plus mathématique, mais la plupart des outils théoriques semblent provenir de la physique. Cependant, dans de nombreux cas, les problèmes ont un caractère très discret (voir par exemple SLBS00 ) et pourraient bénéficier d'une perspective informatique . Pourtant, je ne …
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.