Existe-t-il une analyse mathématique algorithmique?


11

Il y a la théorie algorithmique des graphes / théorie des nombres / combinatoire / théorie de l'information / théorie des jeux.

Existe-t-il une analyse mathématique algorithmique?

Selon wiki, l'analyse mathématique comprend les théories de la différenciation, de l'intégration, de la mesure, des limites, des séries infinies et des fonctions analytiques. Il est normal de se concentrer sur une analyse réelle (wiki) qui traite des nombres réels et des fonctions à valeur réelle d'une variable réelle.

"Algorithmique" signifie étudier quelque chose du point de vue de la théorie de la calculabilité et de la théorie de la complexité.


La recherche sur «l'analyse mathématique algorithmique» me conduit à «l'analyse mathématique des algorithmes» ou «applications de l'analyse aux algorithmes», ce qui n'est pas ce que je veux dire.


10
Je pense que vous recherchez une "analyse calculable", qui est maintenant un domaine assez bien établi. Vous pouvez consulter, par exemple, un livre d'introduction de Weihrauch. La théorie traite principalement des questions de calculabilité, je ne sais pas combien est connu en ce qui concerne la complexité de calcul. Mon impression est que même clouer une bonne définition de la complexité est délicat.
Sasho Nikolov

@SashoNikolov Oui. L '"analyse calculable" semble très pertinente. Merci. Convertir votre commentaire en réponse?
hengxin

3
Voir aussi l'article de Chaudhuri, Sankaranarayanan et Vardi sur l'analyse réelle régulière qui étudie un fragment d'analyse réelle que vous pouvez effectuer avec des automates finis sur des mots infinis.
Vijay D

Comme autre ressource, voir l'article de Yap "Théorie du calcul réel selon EGC": cs.nyu.edu/exact/doc/realtheory.pdf
Huck Bennett

Réponses:


18

Découvrez le réseau Computability and Complexity in Analysis . Citation:

Les sujets d'intérêt comprennent les travaux de base sur divers modèles et approches pour décrire la calculabilité et la complexité sur les nombres réels. Ils comprennent également des investigations théoriques sur la complexité, à la fois fondamentales et par rapport à des problèmes concrets, et de nouvelles implémentations de l'arithmétique réelle exacte, ainsi que de nouveaux développements de progiciels déjà existants.


12

(Avertissement: je ne suis pas un expert, n'hésitez pas à suggérer des corrections ou à écrire une réponse plus complète si vous l'êtes.)

ex n'est pas calculable dans le modèle BSS.

f:RRf(x)x

f:[0,1][0,1]

La formulation d'une théorie de la complexité pour les fonctions réelles est, AFAIK, encore plus délicate. Cela est lié au fait que le calcul d'une fonction réelle est un calcul d'ordre supérieur (car il prend une machine de Turing en entrée), donc la taille en bits de l'entrée n'est généralement pas la bonne chose pour mesurer le temps d'exécution. Consultez cet article de Mark Braverman pour une approche de la définition d'un calcul réel efficace. À ce stade, je suis loin de ma profondeur pour en dire plus, alors je vais m'arrêter.


8

La référence classique pour la complexité du calcul des fonctions réelles est:

  • Ker-I Ko, Complexité informatique des fonctions réelles, 1991

Jetez également un œil au chapitre 7 du livre de Weirauch.


-7

En examinant cette question plus de deux ans après sa publication et, sans m'offenser, je suis déçu des réponses et des commentaires.

C'est ce qui se produit lorsque les départements CS du monde entier trompent leurs sujets et trompent plusieurs générations de scientifiques et d'ingénieurs.

  • Soit les classes d' algorithmes dans tous les départements CS doivent être réétiquetées en algorithmes discrets .

  • Ou le contenu actuel de cette classe doit être réduit à 50% ou moins (ce 50% ou moins comprend les structures de données ) et la moitié restante doit inclure un assortiment de sujets de l' analyse numérique et du calcul scientifique .

Parce que quel est le cœur de l'analyse mathématique ? Analyse réelle et ligne réelle. Et comment les nombres réels sont-ils représentés dans les ordinateurs? virgule flottante, ou précision arbitraire, etc. Donc, la prochaine fois que vous travaillez sur un algorithme qui traite de la virgule flottante et / ou de la précision arbitraire comme un composant de base (pas comme un contenu, comme dans le tri d'un groupe de nombres à virgule flottante) , sachez que vous faites de l'analyse mathématique algorithmique (AMA)!

Et ne me lancez même pas dans le vaste univers des sujets NA / Computational Science. Il éclipse sans doute l'ensemble du TCS. Lorsque vous résolvez des systèmes de plusieurs PDE non linéaires sur un ordinateur, vous utilisez non seulement les principes fondamentaux de l'analyse mathématique, mais l'analyse fonctionnelle de pointe dans toute sa splendeur, avec des problèmes de recherche ouverts, etc. obtenir plus d'AMA que cela.


2
Je ne comprends pas comment votre diatribe sur le programme CS répond à la question.
Sasho Nikolov

Eh bien, je ne comprends pas comment le reste des réponses et des commentaires à cette date répondent même à 1% de la question. Et pourtant, ils sont là. (certains sont même votés, et un est même accepté). Et peut-être que 40% de mon commentaire n'est pas directement lié à la question (bien qu'il le soit indirectement), mais les 60% restants règlent à peu près le problème.
Fi Zixer

6
La réponse acceptée donne un site Web avec une mine d'informations sur la calculabilité et la complexité par rapport aux réels. C'est ce que la question demandait. Il n'a pas demandé d'avis sur la pertinence du programme CS.
Sasho Nikolov

1
En règle générale, nous avons tendance à diminuer les diatribes. Si vous aviez simplement dit que l'analyse numérique était, dans un certain sens, une analyse mathématique algorithmique, vous auriez peut-être obtenu des votes positifs. Et, vraiment, plusieurs générations de scientifiques et d'ingénieurs n'ont pas été induites en erreur. Vous semblez supposer qu'ils sont stupides. Ils ne sont pas; ils connaissent la différence entre les choses enseignées dans les classes d'algorithmes et les choses enseignées dans les classes d'analyse numérique.
Peter Shor
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.