Complexité
15499
30910122
2008-06-23T10:47:04Z
88.166.34.108
/* La complexité du réel */
La '''complexité''' est une notion utilisée en [[philosophie]], [[épistémologie]] (par exemple par [[Anthony Wilden]] ou [[Edgar Morin]]), en [[physique]], en [[biologie]] (par exemple par [[Henri Atlan]]), en [[sociologie]], en [[informatique]] ou en [[Sciences de l’information et de la communication|sciences de l’information]]. La définition connaît des nuances importantes selon ces différents domaines.
== La complexité du point de vue de la théorie de l’information ==
Une notion de '''complexité''' est définie en [[théorie de l'information]].
===Complexité de Kolmogorov===
La théorie de la [[complexité de Kolmogorov]] définit la complexité d’un objet fini par la taille du plus petit programme informatique (au sens théorique) qui permet de produire cet objet. Ainsi, un texte compressible a une faible complexité et contient peu d’information. C’est d’ailleurs pourquoi les utilitaires de [[compression de données|compression]] généralistes ne peuvent pas comprimer des fichiers totalement aléatoires (opération ''par nature'' impossible), mais uniquement des fichiers dont on sait à l’avance qu’ils comportent une certaine [[redondance]] qui se traduit par des [[corrélation]]s.
La complexité de Kolmogorov est un sujet discuté. On peut en effet toujours donner à un ordinateur une construction telle qu’une opération très particulière (par exemple le calcul de pi ou l’impression de l’intégrale des œuvres de [[Victor Hugo]]) y sera codée par ''un'' [[Bit (informatique)|bit]]. On retrouve ici la notion connue qu’une [[information]] n’est jamais contenue dans un message seul, mais toujours dans le couple message + décodeur pris de façon indissociable. Aussi la notion de « plus petit programme théorique » ne peut-elle être définie opérationnellement de façon rigoureuse et univoque qu'avec la référence à une machine.
On pourrait objecter qu’il suffit de prendre comme référence la machine la plus ''simple''. C’est oublier que ce que nous nommerons ''simple'' dépend justement de notre vécu et de notre langage, tous deux arbitraires. Voir les articles [[Rasoir d'Occam]] et [[Paradoxe du compresseur]] : ''[http://www.google.fr/search?num=100&hl=fr&q=%22the+library+is+the+language%22&btnG=Rechercher&meta=lr%3Dlang_en%7Clang_fr The library '''is''' the language] ( « La bibliothèque '''est''' le langage »).
Une difficulté supplémentaire réside dans le fait que la complexité de Kolmogorov n'est pas [[Indécidabilité|décidable]] : on peut donner un algorithme produisant l'objet voulu, ce qui prouve que la complexité de cet objet est au plus la taille de cet algorithme. Mais on ne peut pas écrire de programme qui donne la complexité de Kolmogorov de tout objet que l'on voudrait lui donner en entrée.
La notion, manipulée avec précaution, se révèle néanmoins à l'origine de nombreux résultats théoriques.
Par exemple, on appelle nombre ''incompressible'' au sens de Kolmogorov un réel dont le développement p-adique (binaire pour plus de commodité) est comparable à la taille de l'algorithme qui permet de le calculer. En ce sens, tous les rationnels et certains irrationnels sont compressibles, en particulier les nombres transcendants comme [[Pi|π]], '''e''' ou [[Constante de Champernowne|0,12345678910111213…]] dont le développement binaire est infini mais la suite des décimales parfaitement calculable. En revanche, le nombre dit [[Oméga de Chaitin|Ω de Chaitin]] ne l'est pas : ce nombre mesure la probabilité qu'une machine, alimentée par un programme composé de bits aléatoires, s'arrête. La topologie des nombres incompressibles est intéressante : on conçoit intuitivement que cet ensemble est [[Densité (mathématiques)|dense]] dans R, mais il est impossible d'exhiber un réel incompressible, puisque cela reviendrait à en donner une méthode de calcul efficace. On peut donc conjecturer que tous les nombres incompressibles sont normaux, la suite de leurs décimales doit être aléatoire au sens fort, au moins à partir d'un certain rang.
{{Article détaillé | Théorie de la complexité algorithmique}}
===Autres complexités===
*Voir [[complexité algorithmique]], [[théorie de la complexité]], [[système complexe]].
*Complexité P : La classe P est l'ensemble des problèmes de décisions qui sont résolubles par un [[Algorithmique|algorithme]] à temps polynomial.
== La complexité du point de vue de la physique ==
Intuitivement, un système est complexe lorsque beaucoup de ramifications le composent (donc il n'est pas forcément compliqué, puisqu'en le décomposant il peut être simple à comprendre). Deux critères permettent de caractériser plus finement cette notion : le nombre et l’indépendance des parties.
===Le nombre et l’indépendance des parties===
Un [[système complexe]] est composé d’un grand nombre de parties. Avec ce seul critère tous les systèmes matériels seraient complexes sauf les [[Particule (physique)|particule]]s, les [[atome]]s, les petits [[ion]]s et les petites [[molécule]]s. Mais un système peut avoir un grand nombre de parties sans avoir un mouvement très compliqué, si toutes les parties bougent de la même façon par exemple. Le critère de l’indépendance des parties est destiné à exclure ces cas. Mais il est difficile à définir précisément.
Tant qu’on considère un [[Mécanique du solide|solide]] comme un corps parfaitement rigide, ses parties ne sont pas indépendantes les unes des autres. Quelques nombres, quelques [[variable d'état|variables d’état]] suffisent pour caractériser complètement l’[[état de mouvement]] du solide : position du [[centre d’inertie]], [[vitesse]] de [[translation]], vitesse de [[rotation]]. Le mouvement de chacune des parties est complètement déterminé par ces nombres. En revanche, si on étudie les [[vibration]]s du solide, les mouvements peuvent être beaucoup plus compliqués, parce que chaque partie peut avoir un mouvement différent des autres. Il en va de même pour un [[fluide]]. Pour décrire ces mouvements il faut beaucoup plus de variables d’état, un nombre infini en théorie. Dire ici que les parties sont indépendantes, ce n’est pas dire qu’elles n’interagissent pas avec les autres mais seulement que la connaissance de l’état d’une partie ne fournit pas ou peu d’informations sur l’état des autres parties.
Il y a une part de subjectivité et d'ambiguïté dans l’appréciation de l’indépendance des parties : un système mal connu peut sembler tout aussi bien complexe, car inexplicable, que très simple, en se contentant d'explications superficielles.
===La complexité du réel===
Les systèmes simples sont des objets d’études privilégiés. Pendant longtemps ils ont été les seuls systèmes pour lesquels on pouvait faire des calculs, mais ce n’est plus vrai maintenant, grâce aux ordinateurs. Ce sont aussi les seuls systèmes que l’on peut bien caractériser lors d’une expérience et c’est un point important pour la reproductibilité (le fait que l’on peut reproduire la même expérience plusieurs fois et obtenir toujours le même résultat). Cet intérêt de la simplicité explique en partie pourquoi on trouve dans tous les livres et les laboratoires de physique les mêmes géométries simples ([[cercle]], [[sphère]], [[cylindre]], ...).
Les exemples étudiés dans les livres sont souvent simples mais la réalité l’est beaucoup moins. On peut dire qu’'''en première approximation les systèmes complexes sont tous les systèmes'''. La complexité est la règle, la simplicité l’exception. La complexité est un défi pour les mathématiques appliquées : utiliser les mathématiques pour comprendre tout ce qui est sous nos yeux, ne pas se limiter à ce qu’on peut tracer à la règle et au compas.
Tous les systèmes réels sont complexes, ou presque tous. Mais plus un système est complexe, plus il est difficile de le connaître avec précision. Le nombre des combinaisons possibles par exemple pose problème. Comme les parties sont interdépendantes, les états envisageables a priori sont toutes les combinaisons d’états des partie. L’explosion combinatoire conduit à des nombres gigantesques de cas possibles, souvent plus que le nombre de particules dans l’univers connu, même pour des systèmes relativement peu complexes. La connaissance précise de l’état présent d’un [[système complexe]] pose également problème. Il y a beaucoup trop de variables d’état à mesurer. Les [[système complexe|systèmes complexes]] sont souvent mal connus et ils réservent beaucoup de surprises ([[émergence]] de propriétés collectives, [[auto-organisation]], [[nombres de Feigenbaum]] dans les systèmes chaotiques). L’[[Institut de Santa Fe]], créé par plusieurs physiciens dont [[Murray Gell-Mann]] et dont le nom officiel est ''Institute for complexity'', fait de l’étude de ce type de questions son activité à plein temps.
Appréhender la complexité est de plus en plus nécessaire, et peut être un des buts majeurs du 21 siècles et de rendre compte de la complexité du monde, en la définissant dans un premier temps, puis de l'étudier dans des cas particuliers. Edgar Morin , grand sociologue et philosophe propose dans "introduction à la complexité" une belle approche de cette inconnue qu'est la complexité. La compréhension de la complexité du réel semble de plus en plus importante au fil du temps.
Il faudrait mettre l'accent sur la capacité qu'a la complexité à remettre tout en question. Elle est l'entremêlement de plusieurs parametres qui s'influencent les uns les autres. Or les hommes ont souvent isolé des définitions sent les mettre en relation les unes les autres ce qui a ralentit le procesus de comprehension de la complexité du reel.
L'homme n'a pas toujours eu le choix, pour comprendre des phénomènes de n importe quelle nature, il faut divisé, et parcellisé, pour ensuite comprendre l'ensemble. Mais cette parcellisation n'est pas propice a la compréhension de la complexité, paradoxalement la compréhension de la complexité a besoin de prendre en compte tous les paramètres en jeux , et donc de les isoler avant.
La théorie générale des systèmes est parfois appelée [[systémique]].
La [[redondance]] n'est pas la répétition à l'identique, mais le déploiement d'une multitude de versions différentes d'un même schéma ou motif (en anglais ''pattern'').
Alors, il est possible de modéliser la complexité en termes de redondance fonctionnelle, comme le restaurant chinois où plusieurs fonctions sont effectuées en un même endroit d'une structure.
Pour la complication, le modèle serait la redondance structurelle d'une usine où une même fonction est exécutée en plusieurs endroits différents d'une structure.
1 - La redondance structurelle désigne des structures différentes pour exécuter une même fonction, comme le double circuit de freinage d'une voiture automobile ou plusieurs ateliers différents ou usines différentes pour fabriquer une même pièce ou un même engin. La redondance structurelle caractérise la « complication ». La redondance structurelle s'illustre avec le double circuit de freinage pour plus de sécurité dans des véhicules automobiles modernes et avec les multiples circuits de commande électrique, hydraulique et pneumatique des engins de guerre pour les ramener au bercail avec leur équipage après des dégats du combat.
2 - La redondance fonctionnelle est celle de la multiplicité de fonctions différentes exécutées en un point d'une structure, comme un atelier d'artisan qui exécute différentes opérations sur différents matériaux. La redondance fonctionnelle caractérise la « complexité » et condition de l'auto-organisation chez Henri Atlan. C'est la « variété » chez le neuropsychiatre Ross W. Ashby passé à la cybernétique.
La complication est de l’ordre de la redondance structurelle d’une configuration avec (''cum'') beaucoup de plis ([[latin]] : ''plico'', ''are'', ''atum'' : plier). La complication, multiplication, duplication et réplication sont de la même série des plis et plissements. C'est la multiplicité des circuits de commande pour effectuer une même fonction.
La complexité est une configuration avec (''cum'') un nœud (''plexus'') d’entrelacements d’enchevêtrements. Alors, la complexité est de l’ordre de la redondance fonctionnelle, comme un restaurant qui présente un menu de 40 plats différents. Une machine à bois combinée d'artisan qui scie, rabote perce et tutti quanti est représentative de cette complexité, comme une perceuse électrique d'amateur avec une multiplicité d'accessoires pour différentes fonctions.
== Voir aussi ==
* [[Complexité algorithmique]] ;
* [[Théorie de la complexité]] ;
* [[Synergie]] ;
* [[Autopoièse]] ;
* [[Système dynamique]] ;
* [[Holisme]].
* [[Analyse décisionnelle des systèmes complexes]]
===Liens externes ===
* [http://www.mcxapc.org/ Programme européen MCX « Modélisation de la CompleXité »]
* [http://www.mcxapc.org/static.php?file=apc.htm&menuID=APC l'Association pour la Pensée Complexe]
* [http://www.astrosurf.com/luxorion/evolution-informatique2.htm Complexité et évolution]
* [http://euromed.blogs.com/ Blog Walter Baets - Complexity and Innovation]
* [http://iegd.institut.online.fr/ART01-B-ADSc-complexite-fr.htm Aborder la complexité]
* [http://www.Infoactivite.com Complexite et informations]
* [http://complexite.epikurieu.com/ Site sur la complexité]
* [http://perso.orange.fr/claude.rochet/systemique.html Le site de Claude Rochet]
* [http://entretiens-du-futur.blogspirit.com/archive/2007/09/23/sciences-et-sens.html Interview de Marc Halevy autour de son livre "Sciences et Sens" réalisée par Denis Failly et qui traite de la complexité]
====Vidéos====
* [http://denisfailly.blogspirit.com/archive/2007/03/03/intelligence-de-la-complexit%C3%A9.html Vidéo d'Edgar Morin réalisée par Denis Failly autour d'"Intelligence de la complexité" issu du Colloque de Cerisy]
* [http://denisfailly.blogspirit.com/archive/2007/03/03/intelligence-de-la-complexit%C3%A9.html Vidéo de Jean Louis Le Moigne réalisées par Denis Failly autour d'"Intelligence de la complexité" issu du Colloque de Cerisy 2005]
{{Portail physique}}
[[Catégorie:Sciences de la complexité]]
[[Catégorie:Concept fondamental de la physique]]
[[Catégorie:Informatique théorique]]
[[Catégorie:Système]]
[[Catégorie:Systémique]]
[[de:Komplexität]]
[[en:Complexity]]
[[fa:پیچیدگی]]
[[pt:Complexidade]]