42 résultats : complexité

Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)

Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)

Description : Les modèles de calculs actuels de l'informatique sont des modèles digitaux: ils travaillent sur des bits, ou sur des symboles en nombre fini. Il y a de nombreux modèles, mais la thèse de Church-Turing (et ses variantes physique, ou effective) stipule que tous ...

Mots clés : calculabilité, complexité, informatique théorique, modèle de calcul analogique, machine de turing

Date : 15-03-2012

Droits : Droits réservés à l'éditeur et aux auteurs.

Non, les ordinateurs ne seront jamais tout-puissants !

Non, les ordinateurs ne seront jamais tout-puissants !

Description : Contrairement à une certaine croyance populaire, les ordinateurs et l’informatique en général ne permettent pas de résoudre tous les problèmes...

Mots clés : algorithme, complexité algorithmique, calculabilité, indécidabilité, optimisation, algorithme d'approximation, fuscia

Date : 01-09-2011

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Transitions de phase : entre physique, mathématiques et informatique

Transitions de phase : entre physique, mathématiques et informatique

Description : Les phénomènes de transition de phase fascinent les physiciens depuis plusieurs siècles. Plus récemment, on a observé des phénomènes similaires dans d’autres domaines notamment la combinatoire et l’informatique. J’expliquerai quelques liens entre les transitions de phase, les propriétés des grandes ...

Mots clés : transition de phase, combinatoire, complexité, analyse des algorithmes

Date : 05-06-2014

Droits : Droits réservés à l'éditeur et aux auteurs. © Inria Paris - Rocquencourt

Une preuve sur les nombres premiers

Une preuve sur les nombres premiers

Description : Un ordinateur, c’est avant tout une machine. Est-il alors bien raisonnable de lui confier des démonstrations ? Voici un exemple propre à convaincre les sceptiques.

Mots clés : algorithme de Knuth, preuve formelle, Coq, complexité, fuscia

Date : 24-02-2004

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Le jeu de go et la révolution de Monte Carlo

Le jeu de go et la révolution de Monte Carlo

Description : Une révolution technologique a permis aux ordinateurs de faire un pas en avant : les méthodes dites « de Monte Carlo ». Quels sont les principes de ces algorithmes, et comment s’appliquent-ils au go ?

Mots clés : stratégie combinatoire, méthode de Monte-Carlo, complexité, recherche arborescente, fuscia

Date : 05-02-2009

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Les Afriques au défi du XXIème siècle, avec Georges Courade

Les Afriques au défi du XXIème siècle, avec Georges Courade

Description : La récente flambée d'optimisme macro-économique concernant l’Afrique fait l'impasse sur les menaces, contraintes et dépendances qui pèsent sur ce continent. Georges Courade propose une exploration des freins et des accélérateurs, des bifurcations et des ruptures qui marquent le développement de ...

Mots clés : colonisation, pluralité, dépendances, complexité, contraintes, développement de l'Afrique, menaces, traite

Date : 13-10-2014

Droits : Droits réservés à l'éditeur et aux auteurs.

Où commence le contrôle de l’Etat ? Etat-providence, migrants et police

Où commence le contrôle de l’Etat ? Etat-providence, migrants et police

Mots clés : sociologie, blocage des flux, processus de controle, complexité du controle migratoire, delegation territoiriale du controle, uniformité de l'espace, logique des flux, notion de frontiere, incorporation sociale, partage egalitaire, insertion, hospitalité, société, citoyenneté, urbanisme, géographie, ...

Date : 19-02-2004

Théorie algorithmique de l'information

Théorie algorithmique de l'information

Description : Qu'est-ce que l'information et comment la mesurer ? qu'est-ce que la complexité et comment la mesurer ? En 2013, les travaux d'application sur la mesure de la complexité continuent car on est encore loin d'avoir tout compris. Les solutions proposées jusqu'à présent sont trop simplifiées ou trop ...

Mots clés : invariance, calcul informatique, théorie complexité, théorie de l'information, complexité algorithmique, complexité Kolmogorov, La théorie de la calculabilité

Date : 05-06-2013

Droits : Droits réservés à l'éditeur et aux auteurs.

P = NP, un problème à un million de dollars ?

P = NP, un problème à un million de dollars ?

Description : Le problème P = NP est le problème fondamental du calcul mathématique. À partir de quel moment un énoncé difficile à démontrer et jugé très probable doit-il être adopté comme nouvel axiome ?

Mots clés : complexité, problème NP-complet, indécidabilité algorithmique, hypothèse de Riemann, axiome, fuscia

Date : 28-11-2006

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode