Wiki du LAMA (UMR 5127) - Contributions [fr]

Dilemme du prisonnier

2019-05-22T15:09:56Z

Carmagnac : /* Introduction */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.
Il peut être utilisé pour émettre sur les raisons de certains comportements que l'on observe dans la nature

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques. Nous nous intéresserons donc au équilibres dynamiques produits par notre modèle.

Les prisonniers sont au voisinage de Moore (8 voisins). L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut. On peut illustrer ces deux règles par l'image suivante qui montre les différents voisins d'un prisonnier sur une bordure de la matrice:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Les prisonniers en pointillé sont des voisins qui se trouvent de l'autre coté de la matrice]]

Voici ce qu'il se passe à chaque tour de la simulation pour chaque prisonnier. Pour cette exemple nous allons poser un traître au milieu d'une matrice de 3*3 de coopérants:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Chaque prisonnier joue au jeu du prisonnier avec ses voisins et obtient un score en fonction de la matrice des paiements]]

[[Fichier:Dp etat evolution.png|500px|thumb|left|La meilleure stratégie est ici celle qui as obtenue le plus grand score]]

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur x tours( x > 400) mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pu observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permises par notre modèle. Nous n’as alors décidé de créer un objet dans le programme pour extraire les données des expériences et nous les résumer. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de coopérants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et coopérant, on les repère en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de coopérants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de traîtres et des îlots de coopérants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de vert sur les images, cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, plus C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les coopérants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle. Nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier. Grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changement dans la structure du programme.

== Conclusion ==

Dans toutes les expériences que nous avons pu réaliser les traîtres n'ont jamais conquis l’entièreté de la matrice. Nos simulations tendent toujours vers un équilibre où les traîtres et les coopérants ont leur place. Ceci peut expliquer en partie pourquoi les comportements coopératifs semblent toujours persister dans la nature alors même que les individus ont plus intérêt à ne pas coopérer. Toutefois notre modèle n'en reste pas moins une abstraction de la réalité et donc ne peut pas expliquer l'intégralité des comportements que l'on retrouve dans la nature et pourrait même être erroné.

== Code Source ==

Comme notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-22T15:08:43Z

Carmagnac : /* Conclusion */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques. Nous nous intéresserons donc au équilibres dynamiques produits par notre modèle.

Les prisonniers sont au voisinage de Moore (8 voisins). L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut. On peut illustrer ces deux règles par l'image suivante qui montre les différents voisins d'un prisonnier sur une bordure de la matrice:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Les prisonniers en pointillé sont des voisins qui se trouvent de l'autre coté de la matrice]]

Voici ce qu'il se passe à chaque tour de la simulation pour chaque prisonnier. Pour cette exemple nous allons poser un traître au milieu d'une matrice de 3*3 de coopérants:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Chaque prisonnier joue au jeu du prisonnier avec ses voisins et obtient un score en fonction de la matrice des paiements]]

[[Fichier:Dp etat evolution.png|500px|thumb|left|La meilleure stratégie est ici celle qui as obtenue le plus grand score]]

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur x tours( x > 400) mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pu observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permises par notre modèle. Nous n’as alors décidé de créer un objet dans le programme pour extraire les données des expériences et nous les résumer. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de coopérants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et coopérant, on les repère en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de coopérants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de traîtres et des îlots de coopérants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de vert sur les images, cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, plus C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les coopérants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle. Nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier. Grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changement dans la structure du programme.

== Conclusion ==

Dans toutes les expériences que nous avons pu réaliser les traîtres n'ont jamais conquis l’entièreté de la matrice. Nos simulations tendent toujours vers un équilibre où les traîtres et les coopérants ont leur place. Ceci peut expliquer en partie pourquoi les comportements coopératifs semblent toujours persister dans la nature alors même que les individus ont plus intérêt à ne pas coopérer. Toutefois notre modèle n'en reste pas moins une abstraction de la réalité et donc ne peut pas expliquer l'intégralité des comportements que l'on retrouve dans la nature et pourrait même être erroné.

== Code Source ==

Comme notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-22T15:06:47Z

Carmagnac : /* Code Soure */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques. Nous nous intéresserons donc au équilibres dynamiques produits par notre modèle.

Les prisonniers sont au voisinage de Moore (8 voisins). L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut. On peut illustrer ces deux règles par l'image suivante qui montre les différents voisins d'un prisonnier sur une bordure de la matrice:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Les prisonniers en pointillé sont des voisins qui se trouvent de l'autre coté de la matrice]]

Voici ce qu'il se passe à chaque tour de la simulation pour chaque prisonnier. Pour cette exemple nous allons poser un traître au milieu d'une matrice de 3*3 de coopérants:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Chaque prisonnier joue au jeu du prisonnier avec ses voisins et obtient un score en fonction de la matrice des paiements]]

[[Fichier:Dp etat evolution.png|500px|thumb|left|La meilleure stratégie est ici celle qui as obtenue le plus grand score]]

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur x tours( x > 400) mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pu observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permises par notre modèle. Nous n’as alors décidé de créer un objet dans le programme pour extraire les données des expériences et nous les résumer. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de coopérants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et coopérant, on les repère en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de coopérants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de traîtres et des îlots de coopérants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de vert sur les images, cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, plus C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les coopérants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle. Nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier. Grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changement dans la structure du programme.

== Conclusion ==

De toutes les expériences que nous avons pu réaliser les traîtres n'ont jamais conquis l’entièreté de la matrice, nos simulations tendent toujours vers un équilibre ou les traîtres et les coopérants ont leur place. Ce qui peut expliquer en partie pourquoi les comportements coopératifs semblent toujours persister dans la nature alors même que les individus ont plus intérêt à ne pas coopéré. Toutefois notre modèle n'en reste pas moins une abstraction de la réalité et donc ne peut pas expliquer l'intégralité des comportements que l'on retrouve dans la nature et pourrait même être erroné.

== Code Source ==

Comme notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-22T15:01:56Z

Carmagnac :

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques. Nous nous intéresserons donc au équilibres dynamiques produits par notre modèle.

Les prisonniers sont au voisinage de Moore (8 voisins). L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut. On peut illustrer ces deux règles par l'image suivante qui montre les différents voisins d'un prisonnier sur une bordure de la matrice:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Les prisonniers en pointillé sont des voisins qui se trouvent de l'autre coté de la matrice]]

Voici ce qu'il se passe à chaque tour de la simulation pour chaque prisonnier. Pour cette exemple nous allons poser un traître au milieu d'une matrice de 3*3 de coopérants:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Chaque prisonnier joue au jeu du prisonnier avec ses voisins et obtient un score en fonction de la matrice des paiements]]

[[Fichier:Dp etat evolution.png|500px|thumb|left|La meilleure stratégie est ici celle qui as obtenue le plus grand score]]

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur x tours( x > 400) mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pu observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permises par notre modèle. Nous n’as alors décidé de créer un objet dans le programme pour extraire les données des expériences et nous les résumer. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de coopérants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et coopérant, on les repère en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de coopérants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de traîtres et des îlots de coopérants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de vert sur les images, cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, plus C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les coopérants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle. Nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier. Grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changement dans la structure du programme.

== Conclusion ==

De toutes les expériences que nous avons pu réaliser les traîtres n'ont jamais conquis l’entièreté de la matrice, nos simulations tendent toujours vers un équilibre ou les traîtres et les coopérants ont leur place. Ce qui peut expliquer en partie pourquoi les comportements coopératifs semblent toujours persister dans la nature alors même que les individus ont plus intérêt à ne pas coopéré. Toutefois notre modèle n'en reste pas moins une abstraction de la réalité et donc ne peut pas expliquer l'intégralité des comportements que l'on retrouve dans la nature et pourrait même être erroné.

== Code Soure ==

Comme notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-22T14:40:52Z

Carmagnac : /* Spatialisation du dilemme du prisonnier */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques. Nous nous intéresserons donc au équilibres dynamiques produits par notre modèle.

Les prisonniers sont au voisinage de Moore (8 voisins). L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut. On peut illustrer ces deux règles par l'image suivante qui montre les différents voisins d'un prisonnier sur une bordure de la matrice:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Les prisonniers en pointillé sont des voisins qui se trouvent de l'autre coté de la matrice]]

Voici ce qu'il se passe à chaque tour de la simulation pour chaque prisonnier. Pour cette exemple nous allons poser un traître au milieu d'une matrice de 3*3 de coopérants:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Chaque prisonnier joue au jeu du prisonnier avec ses voisins et obtient un score en fonction de la matrice des paiements]]

[[Fichier:Dp etat evolution.png|500px|thumb|left|La meilleure stratégie est ici celle qui as obtenue le plus grand score]]

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur x tours( x > 400) mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pu observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permises par notre modèle. Nous n’as alors décidé de créer un objet dans le programme pour extraire les données des expériences et nous les résumer. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de coopérants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et coopérant, on les repère en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de coopérants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de traîtres et des îlots de coopérants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de vert sur les images, cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, plus C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les coopérants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle. Nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier. Grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changement dans la structure du programme.

== Code Soure ==

Comme notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-22T12:53:26Z

Carmagnac : /* Une expérience intéressante */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins). L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut. On peut illustrer ces deux règles par l'image suivante qui montre les différents voisins d'un prisonnier sur une bordure de la matrice:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Les prisonniers en pointillé sont des voisins qui se trouvent de l'autre coté de la matrice]]

Voici ce qu'il se passe à chaque tour de la simulation pour chaque prisonnier. Pour cette exemple nous allons poser un traître au milieu d'une matrice de 3*3 de coopérants:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Chaque prisonnier joue au jeu du prisonnier avec ses voisins et obtient un score en fonction de la matrice des paiements]]

[[Fichier:Dp etat evolution.png|500px|thumb|left|La meilleure stratégie est ici celle qui as obtenue le plus grand score]]

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur x tours( x > 400) mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pu observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permises par notre modèle. Nous n’as alors décidé de créer un objet dans le programme pour extraire les données des expériences et nous les résumer. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de coopérants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et coopérant, on les repère en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de coopérants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de traîtres et des îlots de coopérants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de vert sur les images, cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, plus C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les coopérants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle. Nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier. Grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changement dans la structure du programme.

== Code Soure ==

Comme notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-22T12:36:24Z

Carmagnac : /* Une expérience intéressante */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins). L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut. On peut illustrer ces deux règles par l'image suivante qui montre les différents voisins d'un prisonnier sur une bordure de la matrice:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Les prisonniers en pointillé sont des voisins qui se trouvent de l'autre coté de la matrice]]

Voici ce qu'il se passe à chaque tour de la simulation pour chaque prisonnier. Pour cette exemple nous allons poser un traître au milieu d'une matrice de 3*3 de coopérants:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Chaque prisonnier joue au jeu du prisonnier avec ses voisins et obtient un score en fonction de la matrice des paiements]]

[[Fichier:Dp etat evolution.png|500px|thumb|left|La meilleure stratégie est ici celle qui as obtenue le plus grand score]]

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur x tours( x > 400) mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pu observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permises par notre modèle. Nous n’as alors décidé de créer un objet dans le programme pour extraire les données des expériences et nous les résumer. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de coopérants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et coopérant, on les repère en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de coopérants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de traîtres et des îlots de coopérants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de vert sur les images, cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, plus C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les coopérants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle. Nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier. Grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changement dans la structure du programme.

== Code Soure ==

Comme notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-22T12:29:06Z

Carmagnac : /* Spatialisation du dilemme du prisonnier */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins). L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut. On peut illustrer ces deux règles par l'image suivante qui montre les différents voisins d'un prisonnier sur une bordure de la matrice:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Les prisonniers en pointillé sont des voisins qui se trouvent de l'autre coté de la matrice]]

Voici ce qu'il se passe à chaque tour de la simulation pour chaque prisonnier. Pour cette exemple nous allons poser un traître au milieu d'une matrice de 3*3 de coopérants:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Chaque prisonnier joue au jeu du prisonnier avec ses voisins et obtient un score en fonction de la matrice des paiements]]

[[Fichier:Dp etat evolution.png|500px|thumb|left|La meilleure stratégie est ici celle qui as obtenue le plus grand score]]

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur 10 000 tours mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pu observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permises par notre modèle. Nous n’as alors décidé de créer un objet dans le programme pour extraire les données des expériences et nous les résumer. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de coopérants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et coopérant, on les repère en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de coopérants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de traîtres et des îlots de coopérants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de vert sur les images, cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, plus C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les coopérants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle. Nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier. Grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changement dans la structure du programme.

== Code Soure ==

Comme notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Fichier:Dp etat evolution.png

2019-05-22T12:24:06Z

Carmagnac : Illustration de l'actualisation du comportement d'un prisonnier

Illustration de l'actualisation du comportement d'un prisonnier

Dilemme du prisonnier

2019-05-22T12:07:44Z

Carmagnac : /* Spatialisation du dilemme du prisonnier */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins). L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut. On peut illustrer ces deux règles par l'image suivante qui montre les différents voisins d'un prisonnier sur une bordure de la matrice:

[[Fichier:Dp etat dp voisinage SL.png|250px|thumb|left|Les prisonniers en pointillé sont des voisins qui se trouvent de l'autre coté de la matrice]]

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des paiements. Puis chacun à leur tour mettront à jour leur stratégie en fonction du score des voisins.

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur 10 000 tours mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pu observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permises par notre modèle. Nous n’as alors décidé de créer un objet dans le programme pour extraire les données des expériences et nous les résumer. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de coopérants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et coopérant, on les repère en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de coopérants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de traîtres et des îlots de coopérants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de vert sur les images, cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, plus C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les coopérants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle. Nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier. Grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changement dans la structure du programme.

== Code Soure ==

Comme notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Fichier:Dp etat dp voisinage SL.png

2019-05-22T12:02:18Z

Carmagnac : Illustration du voisinage d'un prisonnier

Illustration du voisinage d'un prisonnier

Fichier:Tableau matrice paiements.PNG

2019-05-22T11:54:36Z

Carmagnac : Carmagnac a téléversé une nouvelle version de Fichier:Tableau matrice paiements.PNG

Screenshot de la matrice des paiements sur LibreOffice

Fichier:Tableau matrice paiements.PNG

2019-05-22T11:51:53Z

Carmagnac : Carmagnac a téléversé une nouvelle version de Fichier:Tableau matrice paiements.PNG

Screenshot de la matrice des paiements sur LibreOffice

Dilemme du prisonnier

2019-05-21T17:09:34Z

Carmagnac : /* Code Soure */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des paiements. Puis chacun à leur tour mettront à jour leur stratégie en fonction du score des voisins.

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur 10 000 tours mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pu observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permises par notre modèle. Nous n’as alors décidé de créer un objet dans le programme pour extraire les données des expériences et nous les résumer. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de coopérants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et coopérant, on les repère en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de coopérants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de traîtres et des îlots de coopérants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de vert sur les images, cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, plus C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les coopérants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle. Nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier. Grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changement dans la structure du programme.

== Code Soure ==

Comme notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-21T17:08:58Z

Carmagnac : /* Améliorations à apporter */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des paiements. Puis chacun à leur tour mettront à jour leur stratégie en fonction du score des voisins.

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur 10 000 tours mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pu observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permises par notre modèle. Nous n’as alors décidé de créer un objet dans le programme pour extraire les données des expériences et nous les résumer. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de coopérants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et coopérant, on les repère en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de coopérants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de traîtres et des îlots de coopérants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de vert sur les images, cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, plus C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les coopérants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle. Nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier. Grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changement dans la structure du programme.

== Code Soure ==

Comme le notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-21T17:07:57Z

Carmagnac : /* Automatisation des expériences */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des paiements. Puis chacun à leur tour mettront à jour leur stratégie en fonction du score des voisins.

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur 10 000 tours mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pu observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permises par notre modèle. Nous n’as alors décidé de créer un objet dans le programme pour extraire les données des expériences et nous les résumer. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de coopérants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et coopérant, on les repère en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de coopérants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de traîtres et des îlots de coopérants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de vert sur les images, cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, plus C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les coopérants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier et grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changements dans la structure du programme.

== Code Soure ==

Comme le notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-21T17:05:01Z

Carmagnac : /* Une expérience intéressante */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des paiements. Puis chacun à leur tour mettront à jour leur stratégie en fonction du score des voisins.

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de coopérants dans une grille de 301 individus par 301 individus. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des traîtres ou pas assez petit pour permettre une domination complète des coopérants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pu récolter C qui est le rapport entre le nombre de coopérants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser rapidement l'évolution du nombre de coopérants dans la simulation. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3, montrant de ce fait que la simulation est dominée par les traîtres mais que les coopérants résistent tout de même. Les variations de C ne sont pas cycliques de ce que l'on observe sur le graphique ce qui veut dire que même si le nombre de coopérants semble à peut près stable il n'en reste pas moins fluctuant ou que nous n'avons pas récolté assez de données pour pouvoir affirmer qu'elle est cyclique. On peut supposer que la simulation est cyclique sur 10 000 tours mais nous ne pouvons le savoir avec nos données actuelles.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les croyants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier et grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changements dans la structure du programme.

== Code Soure ==

Comme le notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-21T16:59:35Z

Carmagnac : /* Spatialisation du dilemme du prisonnier */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce modèle simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carrée avec les bordures qui communiquent entre elles ou un espace en forme de donut.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des paiements. Puis chacun à leur tour mettront à jour leur stratégie en fonction du score des voisins.

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les coopérants qui sont devenus traîtres

-en vert les traîtres devenus coopérants

-en bleu les coopérants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les croyants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier et grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changements dans la structure du programme.

== Code Soure ==

Comme le notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-21T16:55:56Z

Carmagnac : /* Le dilemme du prisonnier */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais la coopération est la meilleure option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le coopérant qui coopérera systématiquement

-Le traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté dans par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce model simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les croyants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier et grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changements dans la structure du programme.

== Code Soure ==

Comme le notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-21T16:54:19Z

Carmagnac : /* Le dilemme du prisonnier */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté dans par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce model simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les croyants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier et grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changements dans la structure du programme.

== Code Soure ==

Comme le notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-21T16:53:35Z

Carmagnac : /* Le dilemme du prisonnier */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté dans par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce model simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les croyants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier et grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changements dans la structure du programme.

== Code Soure ==

Comme le notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-21T16:52:26Z

Carmagnac : /* Le dilemme du prisonnier */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des Paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté dans par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce model simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les croyants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier et grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changements dans la structure du programme.

== Code Soure ==

Comme le notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-21T16:51:29Z

Carmagnac : /* Spatialisation du Dilemme du prisonnier */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des Paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des Paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté dans par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce model simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les croyants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier et grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changements dans la structure du programme.

== Code Soure ==

Comme le notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-20T06:01:23Z

Carmagnac : /* Spatialisation du Dilemme du prisonnier */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des Paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des Paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du Dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté dans par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce model simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Dans les prochaines images on affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les croyants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier et grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changements dans la structure du programme.

== Code Soure ==

Comme le notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-20T05:59:57Z

Carmagnac :

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des Paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des Paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du Dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté dans par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce model simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Afin de pouvoir visualiser l'évolution de notre espace nous avons créé un programme en Java afin de profiter des aspects suivant de Java:

Le premier est la programmation objet, cela nous permet de diviser la complexité de notre programme dans plusieurs objets interagissants entre eux. Nous pouvons aussi créer des abstractions d'objets qui nous permettent d'avoir des objets qui ont des comportements différents les uns des autres mais ayants tous des points communs ce qui permet de les manipuler plus facilement.

Le second est la bibliothèque Abstract Windows Toolkit (ou AWT pour faire plus court), qui nous permet de faire sans trop de problèmes une fenêtre personnalisable qui affiche des composants graphiques. Ces composants étant eux mêmes variés, on utilisera surtout les propriétés du composant Canvas dans ce programme. Grâce à l’héritage permis par la programmation objet nous pouvons créer nos propres composants graphiques pour afficher nos résultats.

Notre programme crée donc une fenêtre qui affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les croyants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier et grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changements dans la structure du programme.

== Code Soure ==

Comme le notre code source est d'une longueur d'environ 1800 lignes on ne le mettra pas dans cette page web. Nous proposons néanmoins de le retrouver à [https://github.com/445654/dilemme-du-prisonnier/ l'adresse suivante]

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-20T05:28:51Z

Carmagnac : /* Spatialisation du Dilemme du prisonnier */

== Introduction ==

Le dilemme du prisonnier à été inventé en 1950 par Albert William Tucker et fait partie de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix : soit ils coopèrent avec l’autre individu, soit ils le trahissent. Les individus sont récompensés selon la matrice des Paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des Paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du Dilemme du prisonnier ==

L’idée de spatialiser le dilemme du prisonnier a été présenté dans par Nowak et May afin de modéliser la diffusion de certains comportements dans des populations en interaction.
« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »(Nowak,M.A. et May, R.M. 1992.Evolutionary games and spatial chaos)
Ce model apporte un éclairage mathématique sur des questions liées à l’évolution comme l’apparition de comportements altruistes par exemple ou le maintien de la coopération dans des groupes sociaux.
Ce model simple peux compléter celui du jeux de la vie (croissance en fonction des ressources) et celui de l’évolution (croisement et sélection) pour expliquer les équilibres écologiques.

Les prisonniers sont au voisinage de Moore (8 voisins) de telle sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Afin de pouvoir visualiser l'évolution de notre espace nous avons créé un programme en Java afin de profiter des aspects suivant de Java:

Le premier est la programmation objet, cela nous permet de diviser la complexité de notre programme dans plusieurs objets interagissants entre eux. Nous pouvons aussi créer des abstractions d'objets qui nous permettent d'avoir des objets qui ont des comportements différents les uns des autres mais ayants tous des points communs ce qui permet de les manipuler plus facilement.

Le second est la bibliothèque Abstract Windows Toolkit (ou AWT pour faire plus court), qui nous permet de faire sans trop de problèmes une fenêtre personnalisable qui affiche des composants graphiques. Ces composants étant eux mêmes variés, on utilisera surtout les propriétés du composant Canvas dans ce programme. Grâce à l’héritage permis par la programmation objet nous pouvons créer nos propres composants graphiques pour afficher nos résultats.

Notre programme crée donc une fenêtre qui affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie. Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les croyants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle nous discuterons ici des améliorations à apporter à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudier.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerait de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier et grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changements dans la structure du programme.

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

VISI201 CMI : visite de laboratoire

2019-05-19T07:32:08Z

Carmagnac : /* Sujets réalisés (2018-2019) */

* Cours du semestre 2 du parcours CMI Informatique (licence INFO).

* Responsable pour 2018--2019: Jacques-Olivier Lachaud
* Responsable pour 2017--2018: Jacques-Olivier Lachaud
* Responsable pour 2016--2017: Jacques-Olivier Lachaud

= Descriptif =

L'objectif du module est de faire découvrir les laboratoires, le monde de la recherche et les enseignants-chercheurs et chercheurs, ainsi que la réflexion scientifique. Cela se fait de deux manières.

D'abord, une partie de ce module consiste à assister à des séminaires dédiés aux étudiants CMI Informatique et Mathématique (1 fois par mois, les jeudi après-midi). [[http://www.lama.univ-savoie.fr/index.php?use=seminaires&&lang=fr&equipe=cmi&annee=1&lang=fr Planning des séminaires CMI]]

Ces séminaires "grand public" portent sur des sujets variées en informatique et mathématiques.

Les étudiants choisissent ensuite d'approfondir un sujet proposé par les enseignants, ou un sujet motivé de leur choix (en accord avec le responsable du module). Ce travail se fait en interaction avec un tuteur académique (5-6 contacts au moins). Ce travail personnel tuteuré donne lieu à la rédaction d'une synthèse sur le sujet sous forme d'une page wiki/web, ainsi que d'un mini-exposé.

= Sujets réalisés (2018-2019) =

* Transport optimal par coupe 1D et transfert de couleurs entre images
* [[Génération et résolution de labyrinthes II]] (Romain THEODET)
* REST + Pub/Sub : protocole hybride pour l’IoT
* La suite de Conway et la classification périodique des "éléments"
* Initiation à la démonstration sur ordinateur et certification de logiciel
* [[Dilemme du prisonnier]] (Christophe CARMAGNAC)

= Sujets proposés (2018-2019) =

* Transport optimal par coupe 1D et transfert de couleurs entre images
* Génération et résolution de labyrinthes II
* REST + Pub/Sub : protocole hybride pour l’IoT
* La suite de Conway et la classification périodique des "éléments"
* Initiation à la démonstration sur ordinateur et certification de logiciel
* Algorithmes probabilistes/déterministes pour tester la primalité d'un entier
* Dilemme du prisonnier

== Transport optimal par coupe 1D et transfert de couleurs entre images ==

* Tuteur: Jacques-Olivier Lachaud
* Résumé: Le transfert de couleurs de l'image Y vers l'image X consiste à repeindre "au mieux" l'image X avec la palette de couleurs de l'image Y. L'image repeinte X' a alors les mêmes couleurs que l'image Y (mais les pixels ne sont pas répartis pareils). Voir l'exemple de transfert ci-dessous. Il existe plusieurs techniques de transfert de couleurs, mais nous étudierons une technique basée sur le transport optimal. Comme c'est un problème assez difficile dans le cas général, nous verrons une variante dite par coupe 1D, qui simplifiera considérablement le problème de transport.

[[Fichier:Ex-transfert-couleur-OT.png]]

* Objectifs:
*# comprendre ce qu'est une image niveaux couleur, et ce qu'on appelle le transfert de couleurs.
*# comprendre le principe du transport optimal (discret).
*# comprendre et décrire le principe du transport optimal par coupe 1D, et comment se fait le calcul du meilleur transport dans ce cas.
*# Coder un programme de transfert de couleur, qui prend deux images couleurs et réalise le transfert de couleurs.
*# On pourra ensuite réfléchir à quelques améliorations simples (espace couleur YUV, grouper les pixels).
* Liens pour démarrer
** Le vrai "Transport Optimal" est vite très mathématique (ce sont des mesures qui sont transportées), mais on peut l'aborder beaucoup plus simplement dans le cas discret (un nombre fini de valeurs) comme une simple assignation entre deux ensembles.
** [[https://en.wikipedia.org/wiki/Color_mapping Transfert de couleur Wikipedia]]
** [[https://hal.archives-ouvertes.fr/tel-01246096/file/hdr_hal2.pdf Habilitation de N. Papadakis]] (regardez les images plutôt).

== Génération et résolution de labyrinthes II ==

* Tuteur: François Boussion
* Résumé: On veut générer des labyrinthes aussi grands et complexes que possible, avec des murs dans une grille carré voire d'autres domaines. Comment faire pour qu'il y ait toujours un chemin de l'entrée à la sortie ? Comment faire pour qu'il n'y ait qu'un chemin ? Ensuite, comment trouver la sortie quand on est perdu dans le labyrinthe.
* Objectifs:
*# Comprendre comment représenter un labyrinthe avec une structure de données simple
*# Voir le lien avec la théorie des graphes et voir que le problème se résout de la même façon pour des grilles carrées, hexagonales ou autres.
*# Comprendre l'algorithme d'arbre couvrant minimum
*# Comprendre le principe du parcours en profondeur et de la récursivité
* Pour aller plus loin
*# coder la génération d'un labyrinthe et sa visualisation
*# introduire des poids pour varier le labyrinthe
*# comment faire un labyrinthe sur grille hexagonale avec des tableaux.
* Liens pour démarrer
** [[https://fr.wikipedia.org/wiki/Mod%C3%A9lisation_math%C3%A9matique_d%27un_labyrinthe Wikipedia]]
** [[https://en.wikipedia.org/wiki/Maze_generation_algorithm Version anglaise plus complète]]

== REST + Pub/Sub : protocole hybride pour l’IoT ==

* Tuteur: David Télisson
* Résumé: L’avènement de l’Internet des Objets (IoT) depuis une dizaine d’années a fait apparaitre des problématiques propres aux protocoles de communications liées à ces objets. En effet, l’échange de données dans ce contexte nécessite de tenir compte (au moins) des paramètres suivant :
*# Autonomie énergétique souvent limitée
*# Faible puissance des processeurs et taille réduite de la mémoire
*# Disponibilité « aléatoire » de l’accès aux réseaux de communication

De nombreux protocoles cohabitent et la littérature du domaine foisonne d’exemples autour des réseaux dédiées (LORA, Sigfox, etc.) et des protocoles applicatifs (OPC-UA, MQTT, CoaP, XMPP) mais force est de constater que dans la réalité, ces solutions ne répondent pas toujours aux besoins des concepteurs qui leurs préfèrent encore le protocole HTTP. Celui-ci offre l’avantage d’implémenter un protocole applicatif (REST) en même temps qu’un protocole de transport de haut niveau (TCP/IP) permettant de passer les pare-feu. Cependant, la version actuel d’HTTP ne répond pas vraiment aux critères énoncés précédemment.
Depuis quelques années émerge donc l’idée d’enrichir HTTP pour créer un protocole hybride qui mêlerait les avantages de REST avec ceux proposés par les mécanismes de type Publish/Subscribe (MQTT, AMQP, JMS, etc.). En attendant cette éventuelle évolution, peut-on envisager de mettre en place un mécanisme de type Pub/Sub avec le protocole Websocket au-dessus d’HTTP ?

* Objectifs:
*# Etudier et faire une synthèse des deux approches : REST et Pub/Sub
*# Implémentez un PoC (proof of concept) d’une solution hybride qui met en œuvre un mécanisme de Pub/Sub sur Websocket. .
*# Présenter un protocole de test pour valider ou invalider cette solution

* Liens pour démarrer :
** https://nsrc.org/workshops/2018/apricot/iot/presentations/mqttvsrest_v4.pdf
** http://www.tigli.fr/lib/exe/fetch.php?media=cours:tutorial_mqtt_mit_2015_2016.pdf
** https://openclassrooms.com/fr/courses/3449001-utilisez-des-api-rest-dans-vos-projets-web
** http://www.lirmm.fr/~tibermacin/ens/ws/expose.pdf

== La suite de Conway et la classification périodique des "éléments" ==

* Tuteur : Pierre Hyvernat
* La suite de Conway est la suite suivante : 1 ; 11 ; 21 ; 1211 ; 111221 ; ... Chaque terme est obtenu en "lisant" le terme précédent.
** "1" : un "1" -> 11
** "11" : deux "1" -> 21
** "21" : un "2", un "1" -> 1211
** "1211" : un "1", un "2", deux "1" -> 111221
** etc.
Cette suite possède des propriétés étonantes données par le théorème "chimique", le théorème "arithmétique" et le théorème "cosmologique".
* Objectifs :
*# comprendre les énoncés de ces théorèmes, et l'idée de la preuve du premier.
*# programmer la suite de Conway pour retrouver la classification des "atomes"
*# écrire un programme pour calculer expérimentalement une approximation de la constante "lambda" ainsi que des fréquences respectives des différents atomes.
*# écrire un programme pour calculer la suite de Robinson, une variante plus simple de la suite de Conway

* Liens pour commencer
** [[https://fr.wikipedia.org/wiki/Suite_de_Conway suite de Conway]]
** [[https://fr.wikipedia.org/wiki/Suite_de_Robinson suite de Robinson]]

== [[Initiation à la démonstration sur ordinateur et certification de logiciel]] ==

* Tuteur: Tom Hirschowitz
* Résumé: [[https://coq.inria.fr Coq]] est un logiciel de mathématiques sur ordinateur, grâce auquel des programmes élaborés ont pu être certifiés ces dernières années.
* Objectifs:
*# prendre en main le logiciel [[https://coq.inria.fr Coq]] de démonstration sur ordinateur,
*# programmer certaines démonstrations basiques en Coq,
*# suivre le début du cours [[https://www.cis.upenn.edu/~bcpierce/sf Software Foundations]],
* Pour aller plus loin : Software Foundations est un cours assez long et très bien fait, il y aura suffisamment à faire. Eventuellement, selon l'intérêt de l'étudiant, étude des fondements mathématiques de Coq.
* Liens pour démarrer
** [[https://www.cis.upenn.edu/~bcpierce/sf Software Foundations]]
** [[https://coq.inria.fr Coq]]

== Algorithmes probabilistes/déterministes pour tester la primalité d'un entier ==

* Tuteur : Sébastien Tavenas
* Pouvoir tester si un entier est un nombre premier semble être une brique de base si l'on souhaite faire de l'arithmétique sur un ordinateur. Le crible d'Érathostène enseigné dans les petites classes se montre beaucoup trop lent en pratique. L'algorithme probabiliste utilisé le plus rapide est le test de Fermat. Or, si on regarde les algorithmes des librairies "génériques", on peut s'apercevoir que la fonction 'mpz_probab_prime_p' de la librairie 'gmp' sur c++ utilise un test probabiliste de Miller-Rabin, la fonction 'isPrime' de la classe 'Prime' dans java utilise aussi un test de Miller-Rabin mais qui est déterminisé, alors que la fonction 'isprime' de la librairie 'sympy' dans python effectue un test de Miller-Rabin si l'entier est plus petit que 2^64 et un test BPSW fort si l'entier est plus grand. Ainsi, une fonction déjà implémentée de test de primalité peut se tromper ou non, être instantanée ou moins. Que dire alors de l'algorithme polynomial déterministe et toujours correct proposé par AKS?
* Objectifs :
*# Comprendre quelques tests de primalité et comment l'aléatoire est utilisé dans ces algorithmes
*# Comprendre la notion de nombre pseudopremier qui explique, entre autre, quand il vaut mieux utiliser le test de Fermat ou celui de Miller-Rabin
*# Programmer quelques uns des ces tests et les comparer
*# Essayer de dérandomiser ces tests à l'aide de hitting-sets précalculés

* Liens pour commencer
** [[https://en.wikipedia.org/wiki/Primality_test Tests de primalité]]

== Dilemme du prisonnier ==

* Tuteur: Gerald Cavallini
* Résumé: Le dilemme du prisonnier caractérise en théorie des jeux une situation où deux joueurs auraient
intérêt à coopérer, mais où, en l’absence de communication entre les deux joueurs, chacun choisira
de trahir l'autre si le jeu n'est joué qu'une fois.

On peut informatiquement modéliser ce dilemme à l’aide de matrices de gains et conserver la
mémoire des choix de l’adversaire. Ce modèle appliqué à un grand nombre d’individus peut être
utilisé pour comprendre l’émergence de stratégies stables dans l’économie, l’écologie, l’évolution
des espèces ...

On peut visualiser spatialement les interactions entre individus en les représentants par des pixels et
en leurs associant une couleur en fonction de leurs stratégies.

[[Fichier:Dilemme.png]]

* Objectifs
*# Comprendre le dilemme du prisonnier
*# Comprendre la notion de stratégie
*# Penser un modèle spatiale pour « opposer » des individus qui appliquent des stratégies différentes
*# Développer une interface pour visualiser dans le temps l’évolution d’une population d’individus adoptants des stratégies différentes.

* Lien :
*# [https://fr.wikipedia.org/wiki/Dilemme_du_prisonnier Dilemme du prisonnier Wikipedia]
*# [http://cormas.cirad.fr/fr/applica/dps.htm Site spécifique]

= Sujets réalisés (2017-2018) =

* [[VISI201 Analyse syntaxique (Tristan Porteries, 2018)]]
* [[Segmentation d'image par détection de contours et algorithme "ligne de partage des eaux"]] (Nils Ruet, 2018)
* [[Fouille de données textuelles à partir des "Exercices de style" de R. Queneau]] (Rémi Bouvier, 2018)
* [[Transformées en distance, diagramme de Voronoi et applications en geometry processing]] (Robin Wagner, 2018)
* [[Pavages de Penrose]] (Brunelle Cordier-Pierre-Bès, 2018)

= Sujets proposés (2017-2018) =

* Segmentation d'image par détection de contours et algorithme "ligne de partage des eaux"
* Initiation à la démonstration sur ordinateur et certification de logiciel
* Fouille de données textuelles à partir des "Exercices de style" de R. Queneau
* Transformées en distance, diagramme de Voronoi et applications en geometry processing
* Pavages de Penrose

== [[Segmentation d'image par détection de contours et algorithme "ligne de partage des eaux"]] ==

* Tuteur: Jacques-Olivier Lachaud
* Résumé: La segmentation d'image vise à identifier les régions d'intérêt dans une image. Typiquement, une région d'intérêt est une zone de l'image plutôt homogène (les pixels ont des valeurs proches) et le contour entre deux régions d'intérêt est tracé là où les valeurs subissent de fortes variations. La méthode de segmentation proposée ici suit ce principe en enchaînant deux calculs: (1) un premier traitement calcule une image "gradient" et fabrique une image dont les valeurs élevées correspondent à des zones de fortes variations, (2) le deuxième algorithme voit cette image comme un relief 3D et identifie ses bassins hydrographiques. Cette identification des lignes de partage des eaux permet de découper l'image en ses zones d'intérêt.
* Objectifs:
*# comprendre ce qu'est une image niveaux de gris ou couleur, ce qu'est le gradient d'une image et ce qu'on appelle segmentation d'image.
*# décrire un algorithme de calcul du gradient d'une image, e.g. le filtre de Sobel, voire les convolutions par dérivées de Gaussienne.
*# décrire le principe de ligne de partage des eaux ("watershed" en anglais), ses différentes définitions équivalentes, et les différents types d'algorithmes pour la calculer.
*# Coder un programme de segmentation d'image, qui prend une image (niveaux de gris) en entrée, calcule son gradient, et extrait les bassins de sa ligne de partage des eaux.
* Liens pour démarrer
** [[https://en.wikipedia.org/wiki/Watershed_(image_processing) Watershed Wikipedia]]
** Luc Vincent and Pierre Soille. Watersheds in digital spaces: an efficient algorithm based on immersion simulations. In IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 13, Num. 6 (1991), pages 583–598 [[https://pdfs.semanticscholar.org/a381/9dda9a5f00dbb8cd3413ca7422e37a0d5794.pdf PDF]]

== [[Initiation à la démonstration sur ordinateur et certification de logiciel]] ==

* Tuteur: Tom Hirschowitz
* Résumé: [[https://coq.inria.fr Coq]] est un logiciel de mathématiques sur ordinateur, grâce auquel des programmes élaborés ont pu être certifiés ces dernières années.
* Objectifs:
*# prendre en main le logiciel [[https://coq.inria.fr Coq]] de démonstration sur ordinateur,
*# programmer certaines démonstrations basiques en Coq,
*# suivre le début du cours [[https://www.cis.upenn.edu/~bcpierce/sf Software Foundations]],
* Pour aller plus loin : Software Foundations est un cours assez long et très bien fait, il y aura suffisamment à faire. Eventuellement, selon l'intérêt de l'étudiant, étude des fondements mathématiques de Coq.
* Liens pour démarrer
** [[https://www.cis.upenn.edu/~bcpierce/sf Software Foundations]]
** [[https://coq.inria.fr Coq]]

== [[Fouille de données textuelles à partir des "Exercices de style" de R. Queneau]] ==

* Tuteur: Laurent Vuillon
* Résumé: L'idée de ce projet est de se familiariser avec les techniques de fouille de données textuelles à partir des "Exercices de style" de R. Queneau (https://fr.wikipedia.org/wiki/Exercices_de_style). On cherchera à comprendre la structure du vocabulaire du corpus de textes, à utiliser les techniques de TF/IDF pour extraire les mots significatifs du corpus puis à tester les techniques de LDA (Allocation de Dirichlet latente) pour extraire automatiquement les thématiques du corpus afin de construire des regroupements par thème. On pourra également proposer des visualisations des résultats afin de rendre accessible visuellement l'analyse de données produite sur le corpus de documents.
* Objectifs: Introduction à la fouille de données au travers d'un cas pratique
* Pour aller plus loin
** http://blogperso.univ-rennes1.fr/stephane.tuffery/
** http://www.editionstechnip.com/en/catalogue-detail/1005/data-mining-et-statistique-decisionnelle.html
* Liens pour démarrer
** https://fr.wikipedia.org/wiki/Exploration_de_donn%C3%A9es
** https://fr.wikipedia.org/wiki/TF-IDF
** "Recherche d'information : applications, modèles et algorithmes; Data mining, décisionnel et big data" de Amini et Gaussier aux éditions Eyrolles.

== [[Transformées en distance, diagramme de Voronoi et applications en geometry processing]] ==

* Tuteur: Jacques-Olivier Lachaud
* Résumé: Les nuages de points constituent une source de données géométriques importantes (cf LIDAR scanner, 3D scanner) et qui permet de construire des modèles géométriques 3D d'objets réels. La difficulté est de transformer ces nuages de points en des surfaces (souvent des surfaces triangulées, c'est-à-dire des triangles collés entre eux). Un outil essentiel dans ce processus est la transformée en distance, le diagramme de Voronoi (et son dual la triangulation de Delaunay). A partir de ces outils, des algorithmes existent pour reconstruire les surfaces, estimer la géométrie du nuage de point (sa normale par exemple), etc.
* Objectifs:
*# Comprendre ce qu'est une distance, une transformée en distance, et un diagramme de Voronoi. Comprendre ce qu'est la stabilité d'une fonction.
*# Identifier les propriétés des diagrammes de Voronoi, de leur dual la triangulation de Delaunay, et comprendre leurs variantes comme les diagrammes de puissance
*# Identifier le lien avec l'axe médian et les squelettes
*# Décrire les principaux algorithmes de calcul des transformées en distance et du diagramme de Voronoi, pour des nuages de point quelconques ou pour des nuages de points à coordonnées entières.
*# Présenter un algorithme de reconstruction de surface utilisant le diagramme de Voronoi
*# Coder un algorithme de calcul du diagramme de Voronoi et, si le temps le permet, un algorithme de reconstruction de surface.

* Liens pour démarrer
** [[https://en.wikipedia.org/wiki/Voronoi_diagram Diagramme de Voronoi Wikipedia]]
** [[https://en.wikipedia.org/wiki/Distance_transform Transformée en distance Wikipedia]]
** [[https://en.wikipedia.org/wiki/Topological_skeleton Squelette Wikipedia]]
** [[http://dgtal.org/doc/nightly/moduleVolumetric.html Transformées discrètes en distance DGtal]]

== [[Pavages de Penrose]] ==

* Tuteur : Pierre Hyvernat
* Résumé : le "cerf-volant" et la "fléchette" de Penrose sont deux tuiles qui permettent de recouvrir le plan, mais uniquement de manière non-périodique. Autrement dit, les pavages correspondants ne sont pas obtenus en répétant un même motif de manière régulière. A cause de ceci, il n'est pas évident de générer un tel pavage.

[[Fichier:P2.png]]

* Objectifs
*# comprendre les notion de pavage périodique, non périodique et apériodique,
*# comprendre la méthode "inflation / déflation" pour générer des pavages de Penrose des différents types,
*# comprendre le lien entre les 2 (ou 3) types de pavage de Penrose
*# écrire un programme permettant de générer de tels pavages : avec la méthode "inflation / déflation" et avec la méthode "grille de de Bruijn"
*# utiliser ces méthodes pour générer d'autres types de pavages apériodique.

* Liens pour démarrer
** [[https://fr.wikipedia.org/wiki/Pavage_de_Penrose pavage de Penrose (wikipedia]]
** [[https://www.maa.org/sites/default/files/pdf/pubs/focus/Gardner_PenroseTilings1-1977.pdf Penrose Tiling (Marting Gardner, en anglais)]]

== [[Algorithmes d'analyse syntaxique]] ==

* Tuteur : Pierre Hyvernat

* Résumé : le code source d'un programme, d'un fichier de configuration d'un serveur de base de données ou le code d'une page web sont des données ''textuelles'' et ''structurées''. Il est possible de définir exactement quelles données sont correctes, et quelle est leur signification. (Cela est beaucoup plus difficile pour des textes en langue naturelle par exemple.) En ce sens, il est possible de lire, d'interpréter ces données à l'aide d'un programme. On parle ''d'analyseur syntaxique'' ou de ''parseur''. Il existe de nombreux outils pour faire ça automatiquement, mais il est parfois important (et toujours intéressant) de comprendre les mécanismes correspondant. C'est ce que ce stage propose de faire.

* Objectifs :
*# étudier la formalisation du problème à travers la notion de ''langage'' et les premiers étages de la hiérachie de Chomsky (langages réguliers et grammaires hors contexte).
*# comprendre le lien entre les langages et les automates (automates finis / automates à pile)
*# implémenter un parseur "from scratch" et le tester sur des petits exemples simples, "à la main", soit en calculant "à la volée" la sémantique d'un langage, soit en produisant des "arbres de syntaxe abstraits", qui pourront être analysés par la suite,
*# comprendre les restrictions souvent imposées sur les grammaires afin d'améliorer l'efficacité du parseur (''LL*(k)'', ''LR'', etc.)
*# à partir de là, de nombreuses pistes sont ouvertes :
*#* essayer d'écrire un petit outils qui puisse lire une grammaire, et générer un parseur pour cette grammaire,
*#* comparer l'approche "automate" avec l'approche "combinateurs" et "parseur récursifs"
*#* améliorer l'efficacité des parseurs produits
*#* ajouter des fonctionnalités,
*#* ...

* Liens pour démarrer :
** [[https://en.wikipedia.org/wiki/Parsing page wikipedia "parsing"]]
** [[https://en.wikipedia.org/wiki/Recursive_descent_parser page wikipedia "recursive descent parser"]]
** Le livre référence sur le parsing est probablement "Compilers: Principles, Techniques, and Tools" de Aho, Sethi et Ullman (le "dragon book")
** [[https://web.stanford.edu/class/archive/cs/cs143/cs143.1128/ exemples de notes cours de compilation]]

= Sujets réalisés (2016-2017) =

* [[Algorithme de rendu de scène 3D par Z-buffer]]
* [[Traitement d'image]]
* [[Nim et la théorie des jeux impartiaux]]
* [[Calculabilité et modèles de calcul]]
* [[Génération et résolution de labyrinthes]]

= Sujets proposés (2016-2017) =

== [[Algorithme de rendu de scène 3D par Z-buffer]] ==

* Tuteur: Jacques-Olivier Lachaud
* Résumé: Le Z-buffer est un algorithme classique de rendu de scène 3D. C'est celui (avec quelques variantes) qui est implémenté dans nos cartes graphiques 3D et qui permet de visualiser des scènes extrêmement complexes en temps réel (typiquement 24 image/s).
* Objectifs:
*# décrire le principe de la projection 3D vers 2D
*# décrire la rastérisation des triangles sur une image en pixel
*# expliquer le principe du Z-buffer qui permet de gérer le fait que certains objets sont cachés par d'autres
*# expliquer comment les couleurs sont calculées par pixel
*# indiquer les qualités et limitations de l'algorithme
* Pour aller plus loin
*# mettre du code démo (WebGL) avec quelques explications sur le pipeline graphique OpenGL
*# expliquer comment on peut utiliser cet algorithme pour calculer des ombres (shadow map)
* Liens pour démarrer
** [[https://fr.wikipedia.org/wiki/Z-buffer Wikipedia]]
** [[https://www.scratchapixel.com/lessons/3d-basic-rendering/rasterization-practical-implementation/overview-rasterization-algorithm Scratch a pixel]]

== [[Traitement d'image]] ==

* Tuteur: Jacques-Olivier Lachaud
* Résumé: Le traitement d'image rassemble tous les algorithmes utilisés pour transformer les images, les améliorer, éliminer certaines perturbations, augmenter ou diminuer le contraste, changer les couleurs vers d'autres couleurs, éliminer le flou ou les yeux rouges, faire du cartooning pour un rendu moins photo-réaliste, etc.
* Objectifs:
*# identifier les grandes familles de traitement: restauration, égalisation, élimination du flou de déplacement, segmentation, etc
*# identifier les grandes familles de techniques: filtrage spatial, filtrage fréquentiel, optimisation, etc
*# comprendre les points communs et différences entre le traitement des images noir et blanc et le traitement des images couleurs.
*# choisir un ou deux algorithmes de traitement et les expliquer en détails
* Pour aller plus loin
*# Coder un algorithme de traitement d'image simple (e.g, un filtrage médian, ou un algo qui transporte les couleurs d'une photo vers une autre photo)

* Liens pour démarrer
** [[https://fr.wikipedia.org/wiki/Traitement_d%27images Wikipedia]]
** [[http://www.ipol.im/ Image Processing on line]] (permet de tester en ligne des algorithmes sur vos images)

== [[Nim et la théorie des jeux impartiaux]] ==

* Tuteur: Pierre Hyvernat

* Étudiant : Luca Chapelle

* Le jeu de Nim (aussi appelé jeu des allumettes) est l'un des premiers jeux ayant été analysé mathématiquement (par Charles Bouton en 1901). Les stratégies gagnantes peuvent être calculées en utilisant le développement en base 2 des nombres, et l'opération d'"addition de Nim" (XOR). La théorie de ce type de jeux (jeux "impartiaux") est assez simple, mais de nombreuses instances de jeux sont encore non résolues.
* Objectifs:
*# comprendre la théorie du jeu de Nim (et la programmer)
*# comprendre le théorème de Sprague Grundy qui montre que tout jeu impartial est équivalent à un jeu de nim
*# regarder quelques autres exemples de tels jeux : jeu de Nim déguisés, ou jeux véritablement différents
*# programmer une version naịve de recherche de stratégie basée sur le théorème de Sprague-Grundy pour quelques jeux

* Liens pour commencer
** [https://fr.wikipedia.org/wiki/Jeux_de_Nim jeu de Nim]
** [https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Sprague-Grundy théorème de Sprague Grundy]
** [https://fr.wikipedia.org/wiki/Jeu_de_Grundy jeu de Grundy]

== La suite de Conway et la classification périodique des "éléments" ==

* Tuteur : Pierre Hyvernat
* La suite de Conway est la suite suivante : 1 ; 11 ; 21 ; 1211 ; 111221 ; ... Chaque terme est obtenu en "lisant" le terme précédent.
** "1" : un "1" -> 11
** "11" : deux "1" -> 21
** "21" : un "2", un "1" -> 1211
** "1211" : un "1", un "2", deux "1" -> 111221
** etc.
Cette suite possède des propriétés étonantes données par le théorème "chimique", le théorème "arithmétique" et le théorème "cosmologique".
* Objectifs :
*# comprendre les énoncés de ces théorèmes, et l'idée de la preuve du premier.
*# programmer la suite de Conway pour retrouver la classification des "atomes"
*# écrire un programme pour calculer expérimentalement une approximation de la constante "lambda" ainsi que des fréquences respectives des différents atomes.
*# écrire un programme pour calculer la suite de Robinson, une variante plus simple de la suite de Conway

* Liens pour commencer
** [[https://fr.wikipedia.org/wiki/Suite_de_Conway suite de Conway]]
** [[https://fr.wikipedia.org/wiki/Suite_de_Robinson suite de Robinson]]

== Initiation à la démonstration sur ordinateur et certification de logiciel ==

* Tuteur: Tom Hirschowitz
* Résumé: [[https://coq.inria.fr Coq]] est un logiciel de mathématiques sur ordinateur, grâce auquel des programmes élaborés ont pu être certifiés ces dernières années.
* Objectifs:
*# prendre en main le logiciel [[https://coq.inria.fr Coq]] de démonstration sur ordinateur,
*# programmer certaines démonstrations basiques en Coq,
*# suivre le début du cours [[https://www.cis.upenn.edu/~bcpierce/sf Software Foundations]],
* Pour aller plus loin : Software Foundations est un cours assez long et très bien fait, il y aura suffisamment à faire. Eventuellement, selon l'intérêt de l'étudiant, étude des fondements mathématiques de Coq.
* Liens pour démarrer
** [[https://www.cis.upenn.edu/~bcpierce/sf Software Foundations]]
** [[https://coq.inria.fr Coq]]

== [[Calculabilité et modèles de calcul]] ==

* Tuteur: Rodolphe Lepigre
* Résumé: Une fonction f sur l'ensemble des entiers naturels est dite calculable s'il existe une procedure effective (ou un algorithme) qui permet, étant donné un entier n, de calculer f(n) en temps fini. Il existe divers modèles de calcul qui permettent de représenter toutes les fonctions calculables : machines de Turing, λ-calcul, automates cellulaires, ...
* Objectifs:
*# comprendre la notion de fonction calculable,
*# comparer l'ensemble des fonctions à l'ensemble des fonctions calculables,
*# regarder et comparer quelque modèles de calcul,
*# programmer un modèle de calcul et comprendre les limitations pratiques.

* Liens pour commencer:
** https://fr.wikipedia.org/wiki/Calculabilité
** https://fr.wikipedia.org/wiki/Machine_de_Turing
** https://fr.wikipedia.org/wiki/Lambda-calcul
** https://fr.wikipedia.org/wiki/Jeu_de_la_vie

== [[Génération et résolution de labyrinthes]] ==

* Tuteur: <strike>Jacques-Olivier Lachaud</strike> Xavier Provençal
* Résumé: On veut générer des labyrinthes aussi grands et complexes que possible, avec des murs dans une grille carré voire d'autres domaines. Comment faire pour qu'il y ait toujours un chemin de l'entrée à la sortie ? Comment faire pour qu'il n'y ait qu'un chemin ? Ensuite, comment trouver la sortie quand on est perdu dans le labyrinthe.
* Objectifs:
*# Comprendre comment représenter avec une structure de données un labyrinthe
*# Voir le lien avec la théorie des graphes et voir que le problème se résout de la même façon pour des grilles carrées, hexagonales ou autres.
*# Comprendre l'algorithme d'arbre couvrant minimum
*# Comprendre le principe du parcours en profondeur et de la récursivité
* Pour aller plus loin
*# coder la génération d'un labyrinthe et sa visualisation
* Liens pour démarrer
** [[https://fr.wikipedia.org/wiki/Mod%C3%A9lisation_math%C3%A9matique_d%27un_labyrinthe Wikipedia]]
** [[https://en.wikipedia.org/wiki/Maze_generation_algorithm Version anglaise plus complète]]

== Pavages par polyomino ==

* Tuteur: Xavier Provençal
* Résumé : On s'intéresse aux pavages du plan par des tuiles formées de petits carrés collés les uns aux autres, appelé "polyominos". Étant donné une tuile, peut-on paver le plan ? Si oui, avec quelles opérations (translation et/ou rotations et/ou réflexions) Une fois un pavage réalisé, on observe ses propriétés. Quelles symétries ? Le pavage est-il identique du point de vue de chacune des tuiles ? Si ce n'est pas le cas, en combien de classes peut-on diviser ces tuiles ?
On s'intéressera aussi à des propriétés connexes. Au lieu de paver tout le plan, on peut essayer de paver une région finie donnée. Plus localement, peut-on encercler complètement une tuile avec des copies d'elle-même, sans former de trous ? Si oui, peut-on faire de même avec la proto-tuile formée par la tuile de départ et toutes ses copies ? Si oui, combien de fois peut-on répéter l'opération ?
* Objectifs :
*# Comprendre les différentes classes de pavages (isohédral, k-isohédral, anisohédral).
*# Pour chacun des sept types de pavages "isohédraux", comprendre le lien entre les symétries du pavages et la caractérisation des tuiles qui le réalisent.
*# Pour un pavage k-isohédral, identifier les "classes d'équivalences" et le "domaine fondamental".
* Pour aller plus loin :
*# Coder la génération de tuiles capables de paver le plan en fonction pour une classe de pavages donnée.
*# Étudier et implémenter certains algorithmes pour le pavages d'un domaine fini.
* Liens pour démarrer
** [[https://fr.wikipedia.org/wiki/Polyomino Polyomino]]
** [[https://en.wikipedia.org/wiki/Polyomino Polyomino (en)]]
** [[https://fr.wikipedia.org/wiki/Pavage_par_des_polygones_r%C3%A9guliers Pavages]]

Dilemme du prisonnier

2019-05-19T07:25:25Z

Carmagnac :

== Introduction ==

Le dilemme du prisonnier à été inventer en 1950 par Albert William Tucker et fait parti de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix soit ils coopèrent avec l’autre individu soit ils le trahissent. Les individus sont récompensés selon la matrice des Paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des Paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du Dilemme du prisonnier ==

Nous spatialisons le dilemme du prisonnier afin d’expliquer en partie des observations dans le vivant où les êtres vivants coopèrent entre eux alors qu’ils ont tout à y gagner en ne le faisant pas. Pour étayer nos propos on propose la citation suivante :« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »([https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Nowak, M.A. et May, R.M. 1992. Evolutionary games and spatial chaos]). En spatialisant le dilemme du prisonnier nous pouvons observer l’évolution des pratiques dans des situations variées. Il est à noter que nous pouvons aussi établir des liens entre les domaines de l’économie et de la sociologie notamment.

Les prisonniers sont au voisinage de Moore (8 voisins) de tel sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À Chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Afin de pouvoir visualiser l'évolution de notre espace nous avons créer un programme en Java afin de profiter des aspects suivant de Java:

Le premier est la programmation objet, cela nous permet de diviser la complexité de notre programme dans plusieurs objets interagissants entre eux. Nous pouvons aussi créer des abstractions d'objets qui nous permettent d'avoir des objets qui ont des comportements différents les uns des autres mais ayants tous des points communs ce qui permet de les manipulés plus facilement.

Le second est la bibliothèque Abstract Windows Toolkit (ou AWT pour faire plus court). Qui nous permet de faire sans trop de problèmes une fenêtre personnalisable qui affiche des composants grapihques. Ces composants étant eux mêmes variées, on utilisera surtout les propriétés du composant Canvas dans ce programme. Grâce à l’héritage permis par la programmation objet nous pouvons créer nos propres composants graphiques pour afficher nos résultats.

Notre programme crée donc une fenêtre qui affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie.Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe que les traîtres occupent quasiment tout l'espace et que les croyants sont regroupés en îlots qui s'étendent et se rétrécissent périodiquement.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation est très stable et que C tend vers 0.02.

== Améliorations à apporter ==

Nous n’avons pas exploré toutes les possibilités de notre modèle nous discuterons ici des améliorations à apportées à notre modèle.

La première des améliorations que nous pourrions apporter pourrait être l’introduction de comportements avec un historique des actions passées de leurs voisins. Cela nous permettrait d’avoir des stratégies plus complexes à étudiées.

La deuxième amélioration que nous pourrions apporter serait une amélioration au niveau du code. On proposerais de faire en sorte d’avoir un objet Stratégie qui se passerait de prisonnier en prisonnier et grâce à la programmation objet on pourrait créer des Stratégies variées avec peu de changements dans la structure du programme.

== Sources ==

[http://cormas.cirad.fr/fr/applica/dps.htm Lien vers le site du cormas]

[https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Lien vers l'article original]

Dilemme du prisonnier

2019-05-19T07:22:59Z

Carmagnac :

Dilemme du prisonnier

2019-05-19T07:20:56Z

Carmagnac : /* Automatisation des expériences */

Fichier:Screen Graph B 2 10%.PNG

2019-05-19T07:17:31Z

Carmagnac :

Dilemme du prisonnier

2019-05-19T07:17:17Z

Carmagnac : /* Automatisation des expériences */

== Introduction ==

Le dilemme du prisonnier à été inventer en 1950 par Albert William Tucker et fait parti de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix soit ils coopèrent avec l’autre individu soit ils le trahissent. Les individus sont récompensés selon la matrice des Paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des Paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du Dilemme du prisonnier ==

Nous spatialisons le dilemme du prisonnier afin d’expliquer en partie des observations dans le vivant où les êtres vivants coopèrent entre eux alors qu’ils ont tout à y gagner en ne le faisant pas. Pour étayer nos propos on propose la citation suivante :« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »([https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Nowak, M.A. et May, R.M. 1992. Evolutionary games and spatial chaos]). En spatialisant le dilemme du prisonnier nous pouvons observer l’évolution des pratiques dans des situations variées. Il est à noter que nous pouvons aussi établir des liens entre les domaines de l’économie et de la sociologie notamment.

Les prisonniers sont au voisinage de Moore (8 voisins) de tel sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À Chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Afin de pouvoir visualiser l'évolution de notre espace nous avons créer un programme en Java afin de profiter des aspects suivant de Java:

Le premier est la programmation objet, cela nous permet de diviser la complexité de notre programme dans plusieurs objets interagissants entre eux. Nous pouvons aussi créer des abstractions d'objets qui nous permettent d'avoir des objets qui ont des comportements différents les uns des autres mais ayants tous des points communs ce qui permet de les manipulés plus facilement.

Le second est la bibliothèque Abstract Windows Toolkit (ou AWT pour faire plus court). Qui nous permet de faire sans trop de problèmes une fenêtre personnalisable qui affiche des composants grapihques. Ces composants étant eux mêmes variées, on utilisera surtout les propriétés du composant Canvas dans ce programme. Grâce à l’héritage permis par la programmation objet nous pouvons créer nos propres composants graphiques pour afficher nos résultats.

Notre programme crée donc une fenêtre qui affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie.Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les images B est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Pour un B supérieur à 2 On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 2 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 2 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Fichier:Screen B 2 10%.PNG

2019-05-19T07:16:02Z

Carmagnac :

Dilemme du prisonnier

2019-05-19T07:14:35Z

Carmagnac : /* Automatisation des expériences */

Dilemme du prisonnier

2019-05-19T07:14:23Z

Carmagnac : /* Automatisation des expériences */

== Introduction ==

Le dilemme du prisonnier à été inventer en 1950 par Albert William Tucker et fait parti de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix soit ils coopèrent avec l’autre individu soit ils le trahissent. Les individus sont récompensés selon la matrice des Paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des Paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du Dilemme du prisonnier ==

Nous spatialisons le dilemme du prisonnier afin d’expliquer en partie des observations dans le vivant où les êtres vivants coopèrent entre eux alors qu’ils ont tout à y gagner en ne le faisant pas. Pour étayer nos propos on propose la citation suivante :« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »([https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Nowak, M.A. et May, R.M. 1992. Evolutionary games and spatial chaos]). En spatialisant le dilemme du prisonnier nous pouvons observer l’évolution des pratiques dans des situations variées. Il est à noter que nous pouvons aussi établir des liens entre les domaines de l’économie et de la sociologie notamment.

Les prisonniers sont au voisinage de Moore (8 voisins) de tel sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À Chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Afin de pouvoir visualiser l'évolution de notre espace nous avons créer un programme en Java afin de profiter des aspects suivant de Java:

Le premier est la programmation objet, cela nous permet de diviser la complexité de notre programme dans plusieurs objets interagissants entre eux. Nous pouvons aussi créer des abstractions d'objets qui nous permettent d'avoir des objets qui ont des comportements différents les uns des autres mais ayants tous des points communs ce qui permet de les manipulés plus facilement.

Le second est la bibliothèque Abstract Windows Toolkit (ou AWT pour faire plus court). Qui nous permet de faire sans trop de problèmes une fenêtre personnalisable qui affiche des composants grapihques. Ces composants étant eux mêmes variées, on utilisera surtout les propriétés du composant Canvas dans ce programme. Grâce à l’héritage permis par la programmation objet nous pouvons créer nos propres composants graphiques pour afficher nos résultats.

Notre programme crée donc une fenêtre qui affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie.Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous montre que la simulation n'est pas stable mais que C se stabilise vers 0.3.

Il est aussi à noter que sur les imagesB est à 1.9 et que plus B tend vers 1.8, C se stabilise vers 0.4.

Dilemme du prisonnier

2019-05-19T07:09:58Z

Carmagnac : /* Automatisation des expériences */

== Introduction ==

Le dilemme du prisonnier à été inventer en 1950 par Albert William Tucker et fait parti de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix soit ils coopèrent avec l’autre individu soit ils le trahissent. Les individus sont récompensés selon la matrice des Paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des Paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du Dilemme du prisonnier ==

Nous spatialisons le dilemme du prisonnier afin d’expliquer en partie des observations dans le vivant où les êtres vivants coopèrent entre eux alors qu’ils ont tout à y gagner en ne le faisant pas. Pour étayer nos propos on propose la citation suivante :« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »([https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Nowak, M.A. et May, R.M. 1992. Evolutionary games and spatial chaos]). En spatialisant le dilemme du prisonnier nous pouvons observer l’évolution des pratiques dans des situations variées. Il est à noter que nous pouvons aussi établir des liens entre les domaines de l’économie et de la sociologie notamment.

Les prisonniers sont au voisinage de Moore (8 voisins) de tel sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À Chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Afin de pouvoir visualiser l'évolution de notre espace nous avons créer un programme en Java afin de profiter des aspects suivant de Java:

Le premier est la programmation objet, cela nous permet de diviser la complexité de notre programme dans plusieurs objets interagissants entre eux. Nous pouvons aussi créer des abstractions d'objets qui nous permettent d'avoir des objets qui ont des comportements différents les uns des autres mais ayants tous des points communs ce qui permet de les manipulés plus facilement.

Le second est la bibliothèque Abstract Windows Toolkit (ou AWT pour faire plus court). Qui nous permet de faire sans trop de problèmes une fenêtre personnalisable qui affiche des composants grapihques. Ces composants étant eux mêmes variées, on utilisera surtout les propriétés du composant Canvas dans ce programme. Grâce à l’héritage permis par la programmation objet nous pouvons créer nos propres composants graphiques pour afficher nos résultats.

Notre programme crée donc une fenêtre qui affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie.Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même. Les variations de C ne sont pas de ce que l'on observe sur le graphique et la simulation cycliques ce qui veut dire que même si le nombre de croyants semble à peut près stable il n'en reste pas moins fluctuant.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Pour un B appartenant à [1.8;2[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen B 1,9 10%.PNG]]

On observe une situation chaotique avec une majorité de Traîtres et des îlots de Croyants apparaissant et disparaissant au fur et à mesure de la simulation. On remarque aussi beaucoup de jaune et de verts sur les images cela nous montre que les comportements des prisonniers changent beaucoup.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,9 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Fichier:Screen Graph B 1,9 10%.PNG

2019-05-19T07:07:20Z

Carmagnac :

Fichier:Screen B 1,9 10%.PNG

2019-05-19T07:06:00Z

Carmagnac :

Dilemme du prisonnier

2019-05-19T07:04:02Z

Carmagnac : /* Une expérience intéressante */

Dilemme du prisonnier

2019-05-19T07:02:16Z

Carmagnac : /* Automatisation des expériences */

== Introduction ==

Le dilemme du prisonnier à été inventer en 1950 par Albert William Tucker et fait parti de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix soit ils coopèrent avec l’autre individu soit ils le trahissent. Les individus sont récompensés selon la matrice des Paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des Paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du Dilemme du prisonnier ==

Nous spatialisons le dilemme du prisonnier afin d’expliquer en partie des observations dans le vivant où les êtres vivants coopèrent entre eux alors qu’ils ont tout à y gagner en ne le faisant pas. Pour étayer nos propos on propose la citation suivante :« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »([https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Nowak, M.A. et May, R.M. 1992. Evolutionary games and spatial chaos]). En spatialisant le dilemme du prisonnier nous pouvons observer l’évolution des pratiques dans des situations variées. Il est à noter que nous pouvons aussi établir des liens entre les domaines de l’économie et de la sociologie notamment.

Les prisonniers sont au voisinage de Moore (8 voisins) de tel sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À Chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Afin de pouvoir visualiser l'évolution de notre espace nous avons créer un programme en Java afin de profiter des aspects suivant de Java:

Le premier est la programmation objet, cela nous permet de diviser la complexité de notre programme dans plusieurs objets interagissants entre eux. Nous pouvons aussi créer des abstractions d'objets qui nous permettent d'avoir des objets qui ont des comportements différents les uns des autres mais ayants tous des points communs ce qui permet de les manipulés plus facilement.

Le second est la bibliothèque Abstract Windows Toolkit (ou AWT pour faire plus court). Qui nous permet de faire sans trop de problèmes une fenêtre personnalisable qui affiche des composants grapihques. Ces composants étant eux mêmes variées, on utilisera surtout les propriétés du composant Canvas dans ce programme. Grâce à l’héritage permis par la programmation objet nous pouvons créer nos propres composants graphiques pour afficher nos résultats.

Notre programme crée donc une fenêtre qui affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie.Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants. C semble tendre par ailleurs vers 0.7.

Dilemme du prisonnier

2019-05-19T07:01:13Z

Carmagnac : /* Automatisation des expériences */

== Introduction ==

Le dilemme du prisonnier à été inventer en 1950 par Albert William Tucker et fait parti de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix soit ils coopèrent avec l’autre individu soit ils le trahissent. Les individus sont récompensés selon la matrice des Paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des Paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du Dilemme du prisonnier ==

Nous spatialisons le dilemme du prisonnier afin d’expliquer en partie des observations dans le vivant où les êtres vivants coopèrent entre eux alors qu’ils ont tout à y gagner en ne le faisant pas. Pour étayer nos propos on propose la citation suivante :« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »([https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Nowak, M.A. et May, R.M. 1992. Evolutionary games and spatial chaos]). En spatialisant le dilemme du prisonnier nous pouvons observer l’évolution des pratiques dans des situations variées. Il est à noter que nous pouvons aussi établir des liens entre les domaines de l’économie et de la sociologie notamment.

Les prisonniers sont au voisinage de Moore (8 voisins) de tel sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À Chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Afin de pouvoir visualiser l'évolution de notre espace nous avons créer un programme en Java afin de profiter des aspects suivant de Java:

Le premier est la programmation objet, cela nous permet de diviser la complexité de notre programme dans plusieurs objets interagissants entre eux. Nous pouvons aussi créer des abstractions d'objets qui nous permettent d'avoir des objets qui ont des comportements différents les uns des autres mais ayants tous des points communs ce qui permet de les manipulés plus facilement.

Le second est la bibliothèque Abstract Windows Toolkit (ou AWT pour faire plus court). Qui nous permet de faire sans trop de problèmes une fenêtre personnalisable qui affiche des composants grapihques. Ces composants étant eux mêmes variées, on utilisera surtout les propriétés du composant Canvas dans ce programme. Grâce à l’héritage permis par la programmation objet nous pouvons créer nos propres composants graphiques pour afficher nos résultats.

Notre programme crée donc une fenêtre qui affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie.Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

[[Fichier:Screen Graph B 1,75 10%.PNG]]

Ce graphique nous permet d'affirmer que la simulation est à peut près stable car on observe toujours des petits chutes du nombre de croyants.

Fichier:Screen Graph B 1,75 10%.PNG

2019-05-19T06:59:02Z

Carmagnac :

Dilemme du prisonnier

2019-05-19T06:58:06Z

Carmagnac : /* Automatisation des expériences */

== Introduction ==

Le dilemme du prisonnier à été inventer en 1950 par Albert William Tucker et fait parti de la théorie des jeux qui est un domaine des mathématiques étudiant les interactions entre différents individus qui sont conscients ou non de ces interactions. Ils devront donc faire des choix dont ils sont conscients ou non lors de ces interactions.

== Le dilemme du prisonnier ==

Les individus sont soumis dans le dilemme du prisonnier à une interaction où ils ont deux choix soit ils coopèrent avec l’autre individu soit ils le trahissent. Les individus sont récompensés selon la matrice des Paiements suivante :

[[Fichier:Tableau matrice paiements.PNG]]

L’intérêt de la configuration actuelle de la matrice des Paiements actuelle est que les individus ont un intérêt certain à trahir l’autre mais que la coopération est la meilleur option pour les deux individus. On représente l’intérêt à trahir par rapport à la coopération par la variable B qui dans notre exemple est égale à 1,85.

Afin de simplifier notre modèle nous ne considérerons que deux comportements possibles qui sont :

-Le Croyant qui coopérera systématiquement

-Le Traître qui trahira systématiquement

== Spatialisation du Dilemme du prisonnier ==

Nous spatialisons le dilemme du prisonnier afin d’expliquer en partie des observations dans le vivant où les êtres vivants coopèrent entre eux alors qu’ils ont tout à y gagner en ne le faisant pas. Pour étayer nos propos on propose la citation suivante :« The prisoners’ Dilemma is an interesting metaphor for the fundamental biological problem of how cooperative behaviour may evolve and be maintained »([https://www.researchgate.net/publication/216634494_Evolutionary_Games_and_Spatial_Chaos Nowak, M.A. et May, R.M. 1992. Evolutionary games and spatial chaos]). En spatialisant le dilemme du prisonnier nous pouvons observer l’évolution des pratiques dans des situations variées. Il est à noter que nous pouvons aussi établir des liens entre les domaines de l’économie et de la sociologie notamment.

Les prisonniers sont au voisinage de Moore (8 voisins) de tel sorte à ce que dans l’espace les voisins d’un prisonnier lambda soient disposés de la manière suivante :

1 2 3

4 P 5

6 7 8

L’espace dans lequel ils évoluent est un espace toroïdale (bordures ouvertes) en forme de carré de dimension n*n. On peut aussi le représenter comme une matrice carré avec les bordures qui communiquent entre elles.

À Chaque tour les prisonniers vont jouer au dilemme du prisonnier avec chacun de leurs voisins. Ils obtiendront un score conformément à leurs choix et à la matrice des Paiements. Puis chacun leur tour mettre à jour leur stratégie en fonction du score des voisins.

Afin de pouvoir visualiser l'évolution de notre espace nous avons créer un programme en Java afin de profiter des aspects suivant de Java:

Le premier est la programmation objet, cela nous permet de diviser la complexité de notre programme dans plusieurs objets interagissants entre eux. Nous pouvons aussi créer des abstractions d'objets qui nous permettent d'avoir des objets qui ont des comportements différents les uns des autres mais ayants tous des points communs ce qui permet de les manipulés plus facilement.

Le second est la bibliothèque Abstract Windows Toolkit (ou AWT pour faire plus court). Qui nous permet de faire sans trop de problèmes une fenêtre personnalisable qui affiche des composants grapihques. Ces composants étant eux mêmes variées, on utilisera surtout les propriétés du composant Canvas dans ce programme. Grâce à l’héritage permis par la programmation objet nous pouvons créer nos propres composants graphiques pour afficher nos résultats.

Notre programme crée donc une fenêtre qui affiche les prisonniers en fonction de leur stratégie actuelle et de leur dernière stratégie.Le code couleur est le suivant :

-en rouge les Traîtres qui l’ont été pendant 2 tours consécutifs

-en jaune les Croyants qui sont devenus Traîtres

-en vert les Traîtres devenus Croyants

-en bleu les Croyants qui l’ont été pendant 2 tours consécutifs

== Une expérience intéressante ==

On propose dans cette partie de commencer à étudier un cas en particulier. Dans cette première expérience nous fixons B à 1,85 et plaçons un traître au milieu de croyants dans une grille de 301 par 301. Nous pensons que cette configuration donnera des résultats intéressants car B n'est pas assez grand pour permettre une domination complète des Traîtres ou pas assez petit pour permettre une domination complète des Croyants.

Après quelques tours de la simulation nous observons l'image suivante:

[[Fichier:Screen_première_exp.PNG]]

Nous pouvons voir grâce à la bordure verte que le carré de traîtres au centre de l'image est en train de rétrécir alors que dans les coins des îlots de traîtres apparaissent comme nous le montre la grand quantité de jaune.

Nous passons sous silence quelques tours pour arriver à la situation suivante:

[[Fichier:Screen première exp 2.PNG]]

Nous pouvons voir à présent que les comportements dans la simulation varient beaucoup comme témoignent l'abondance de prisonniers affichés en jaune et en vert.

Lors du déroulé de cette simulation nous avons pus récolter C qui est le rapport entre le nombre de croyants dans la matrice sur le nombre de prisonniers au total. Cette variable nous permettra de visualiser l'évolution du nombre de croyants dans la simulation rapidement. Nous allons maintenant montrer son évolution au court du temps dans la simulation.

[[Fichier:Screen Graph_première exp.PNG]]

Nous pouvons ainsi observer sur le graphique que C semble tendre vers environ 0.3 montrant de ce fait que la simulation est dominé par les traîtres mais que les croyants résistent tout de même.

== Automatisation des expériences ==

Nous avons pus observer une simulation particulière mais nous devons maintenant pouvoir faire des observations autres que visuelles car nous n’avons pas le temps de le faire pour toutes les expériences permisses par notre modèle. On n’as alors décidé donc de créer un objet dans le programme pour extraire les données des expériences et nous les résumées. Nous ne montrerons toutefois que les expériences que l’on juge intéressantes.

Nous voulons tout d'abord mesurer l'influence de B sur l'évolution d'une répartition aléatoire. Pour cela nous fixerons les paramètres suivants pour chaque simulation. Dans chaque simulation on aura systématiquement 10% de traîtres répartis aléatoirement parmi 90% de croyants. La dimension des matrices sera de 200*200. Nous ferons variez B entre 1.75 et 2.

Pour un B appartenant à [1.75;1.8[ On observe la simulation suivante au bout de 400 tours:

[[Fichier:Screen_B_1,75_10%.PNG]]

On observe des réseaux de traîtres interconnectés entre eux mais pouvant être indépendants avec une taille minimale d'un carré de 4 traîtres. On observe aussi des zones ou les prisonniers alternent entre traître et croyant, on les repères en cherchant les zones en jaune ou en vert.

Le graphique de l'évolution de C est le suivant:

Fichier:Screen B 1,75 10%.PNG

2019-05-19T06:52:36Z

Carmagnac :

Dilemme du prisonnier

2019-05-19T06:41:54Z

Carmagnac : /* Automatisation des expériences */

Dilemme du prisonnier

2019-05-19T06:35:47Z

Carmagnac : /* Une expérience intéressante */

Dilemme du prisonnier

2019-05-18T16:41:28Z

Carmagnac :

Dilemme du prisonnier

2019-05-18T16:25:40Z

Carmagnac :

Dilemme du prisonnier

2019-05-18T15:24:57Z

Carmagnac :

Dilemme du prisonnier

2019-05-18T15:24:03Z

Carmagnac : /* III-Une expérience intéressante */