Analyse mathématique et complexité informatique?


14

La complexité de calcul implique de grandes quantités de combinatoire et de théorie des nombres, quelques ingrédients de la stochastique et une quantité émergente d'algèbre.

Cependant, en tant qu'analyseur, je me demande s'il existe des applications de l'analyse dans ce domaine, ou peut-être des idées inspirées par l'analyse. Tout ce que je sais qui correspond un peu à cela, c'est la transformée de Fourier sur les groupes finis.

Pouvez-vous m'aider?


1
Vérifiez les questions marquées analyse calculable. Ils contiennent de bonnes références. cstheory.stackexchange.com/questions/tagged/computable-analysis
Mohammad Al-Turkistany

Qu'est-ce que l'analyse mathématique?
Yaroslav Bulatov


7
Qu'en est-il de la combinatoire analytique? algo.inria.fr/flajolet/Publications/AnaCombi/anacombi.html
Yoshio Okamoto

Yoshio, veuillez envisager de convertir votre commentaire en réponse.
Mohammad Al-Turkistany

Réponses:


18

Flajolet et Sedgewick ont ​​publié le livre "Analytic Combinatorics" http://algo.inria.fr/flajolet/Publications/AnaCombi/anacombi.html . Je ne connais pas grand-chose à ce sujet, mais les gens sur le terrain utilisent des outils d'analyse complexe. Jusqu'à présent, leurs applications semblent plus sur l'analyse d'algorithmes, pas sur la complexité de calcul, pour autant que je vois.


Des techniques similaires (apparemment) peuvent être utilisées pour obtenir des résultats d'exécution asymptotiques (attendus) - avec des constantes.
Raphael

9

Les algorithmes de Markov Chain Monte Carlo sont un outil utile pour trouver des algorithmes d'approximation. Certaines techniques pour montrer que ces chaînes de Markov se mélangent sont inspirées ou proviennent directement de l'analyse - par exemple, voir le chapitre sur l'estimation du volume d'un corps convexe dans le livre de Mark Jerrum sur le comptage .

Il existe des approches analytiques du lemme de Szemerédi, qui a une application mignonne aux tests de propriétés combinatoires. Le lemme de Szemerédi pour l'analyste a un algorithme aléatoire pour trouver une partition faiblement régulière d'un graphique; voir également Limites du graphique et test des paramètres .


1
Une connexion des méthodes de Markov Chain Monte Carlo avec l'analyse me rappelle le livre du Monténégro et Tetali "Aspects mathématiques des temps de mélange dans les chaînes de Markov" dx.doi.org/10.1561/0400000003 .
Yoshio Okamoto

8

L'analyse fonctionnelle joue un rôle de plus en plus important dans la théorie des plongements métriques. Bien qu'il soit difficile d'énumérer tous les aspects de l'interaction, le thème principal est l'utilisation de méthodes issues de l'analyse fonctionnelle pour comprendre comment les métriques s'intègrent dans des espaces normés. Ce dernier problème se pose dans le problème de coupe le plus clairsemé, qui est un problème d'optimisation de graphique important.

Pour plus d'informations, une bonne source est n'importe quoi par Assaf Naor .


7

Pas sur la complexité de calcul, mais intéressant néanmoins

Certaines approches de la sémantique du calcul infini sont basées sur des espaces métriques. Googler "la sémantique de l'espace métrique" apparaît en abondance. Une référence (ancienne) sur le sujet est Control Flow Semantics par de Bakker et de Vink. Certains travaux récents ont été effectués par notre propre Neel , à savoir la sémantique ultramétrique pour les programmes réactifs . Le domaine est très différent de ceux décrits ci-dessus, mais les concepts de l'analyse trouvent certainement leur place ici.


6

La théorie de la mesure limitée des ressources développée par Jack Lutz est un excellent domaine pour les personnes ayant une formation en analyse. Le papier d'origine

Presque partout à haute complexité non uniforme , Jack H. Lutz, Journal of Computer and System Sciences, 1992.

généraliser la notion de mesure de Lebesgue en classes de complexité, et de nombreux ouvrages suivants peuvent être trouvés sur Internet.

PNPESPACE=DSPACE[2O(n)]PNPPNPESPACEΩ(2n/n)ESPACE


Quel est E ici? TjeME[2O(n)]? Si oui, alors "presque toutes les fonctionsE avoir besoin Ω(2n/n)"est très loin d'être connu ...
Ryan Williams

@Ryan: Ça devrait être ESPACE=DSPACE[2O(n)]. I'll fixed the answer, thank you Ryan!
Hsien-Chih Chang 張顯之

Is it possible that NP has a positive measure in ESPACE? I had believed that PSPACE (and therefore also NP) has measure zero in ESPACE.
Tsuyoshi Ito

@Tsuyoshi: I have to say that I don't know. At least there are no direct evidence that NP has positive measure or not. I'm curious about what made you believe that PSPACE has zero measure in ESPACE?
Hsien-Chih Chang 張顯之

Je le pensais par analogie car je me souvenais avoir vu que "P a la mesure 0 dans E." Après Google, j'ai trouvé que le chapitre du livre « La structure quantitative du temps exponentiel » cite l'article que vous avez cité pour le résultat «P a la mesure 0 dans E.» Malheureusement, je n'ai pas compris ce résultat (même ce que la déclaration signifie exactement), et je ne peux pas être sûr qu'il implique vraiment «PSPACE a la mesure 0 dans ESPACE» par analogie (ou même que cette déclaration a un sens).
Tsuyoshi Ito

5

Les personnes qui travaillent dans différents domaines de l'informatique peuvent bénéficier de divers sous - domaines d'analyse.

Pour vous donner un exemple concret, je vais décrire mon propre cas. Je mène des recherches sur les fondements de la cryptographie. Dans ce domaine (ainsi que dans la complexité de calcul), il existe une construction appelée l' oracle aléatoire (voir aussi cette page ). Ses différentes propriétés sont parfois étudiées en exploitant des outils de la théorie de la mesure , qui est un sous-domaine d'analyse. Un tel traitement peut être trouvé dans cet article , ainsi que dans plusieurs articles qui le citent.

Vous pouvez également jeter un oeil à Bases de l'algèbre et de l'analyse pour l'informatique par Jean Gallier. C'est un livre en cours de réalisation qui vous indique les nouveautés dans le domaine.


4

I believe the best connection between mathematical analysis and complexity theory is in the Blum et al's real computation model. It is still an open problem to separate NP_R from P_R, where the two classes are defined in the real computation model, in which every real number is an entity, and one regular operation (+,-,*,/) takes one step.


Welcome to cstheory, Bin Fu! I should say, though, that the Blum et al model is controversial, and many computable analysts prefer Type Two Effectivity, as the Blum et al model seems unrealistic. See this question for more discussion.
Aaron Sterling
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.