http://la-classe-exptime.blog2geek.com Blog specialise; geek et geek attitude. fr-FR http://la-classe-exptime.blog2geek.com/1-introduction-734.html La classe EXPTIME fait partie des classes d’algorithmes introduites par la théorie de la complexité. Cette théorie s’intéresse notamment à l’efficacité de la résolution en temps et en mémoire d’un algorithme en fonction de la taille de son entrée. On utilise généralement une machine de Turing pour représenter l’appareil de calcul. Ainsi, EXPTIME rassemble les problèmes décidables par une machine de Turing déterministe en  avec p polynôme, soit en un temps exponentiel par rapport à la taille de son entrée. Nous introduirons dans une première partie les propositions importantes d’EXPTIME, puis nous présenterons des problèmes connus. Mon, 21 May 2007 00:56:00 GMT http://la-classe-exptime.blog2geek.com/2-definitions-et-proprietes-733.html 2.1       EXPTIME La définition de la classe EXPTIME est :                              où DTIME représente le temps que prendrait un ordinateur pour résoudre un problème de décision avec une entrée de taille n, sans limite de mémoire. On a la hiérarchie de classe suivante : NEXPTIME correspond, par analogie à NP, à l’ensemble des problèmes décidables par une machine de Turing non-déterministe en un temps exponentiel. 2.2       EXPTIME-complet Un problème est dit EXPTIME-complet s’il appartient à EXPTIME et si tous les problèmes EXPTIME peuvent être réduits en temps polynomial vers lui. Une réduction est la transformation d’un problème vers un autre, notamment afin de résoudre le premier. Les problèmes EXPTIME-complets sont considérés comme les plus difficiles de la classe EXPTIME. De plus, nous savons que les problèmes EXPTIME-complets ne sont pas dans P, c'est-à-dire qu’ils ne peuvent pas être résolus en temps polynomial. Mon, 21 May 2007 00:55:00 GMT http://la-classe-exptime.blog2geek.com/3-problemes-exptime-732.html Les problèmes EXPTIME et EXPTIME-complets existent et malgré leur complexité, on cherche à les résoudre en utilisant en particulier les sciences cognitives. Nous nous proposons de faire une brève introduction à quelques exemples connus de tels problèmes. 3.1       EXPTIME dans les jeux Voici un tableau regroupant des jeux connus ayant au moins une complexité EXPTIME ou qui sont EXPTIME-complets. 3.2       Le jeu de Go Le Go est un jeu à deux joueurs plaçant alternativement  des pierres blanches et noires sur un plateau de 19x19. L’objectif est de contrôler le plus grand territoire en l’encerclant ou en capturant des pierres adverses. Les joueurs sont classés dans une échelle allant de 9dans à 30kyu en passant par 1kyu. Bien que le concept soit vraiment simple en apparence, les meilleurs ordinateurs se situent aux alentours de 8kyu, alors que dans les échecs ils rivalisent contre les meilleurs ! Les raisons qui font du jeu de Go un problème EXPTIME-complet sont principalement : ·         La grande dimension du plateau et le nombre de coups possibles (en moyenne 150 à 250). ·         La difficulté augmente au fur et à mesure, contrairement aux échecs où les pièces disparaissent. ·         La stratégie consiste parfois à céder des points pour en prendre plus ultérieurement. Il est souvent intéressant d’enfermer l’ennemi même si on ne prend aucun point contrairement à l’adversaire. Le mur construit peut servir lors d’une prise de territoire au centre par exemple. ·         La règle du ko, qui consiste au fait que le plateau ne peut pas se retrouver dans la même configuration deux tours de suite. ·         Les formes prises par les groupes de pierre sont importantes. Cela relève de la détection de forme et donc d’IA. Cette importance s’explique en particulier pour des raisons telles que l’ « influence » dans le Go. 3.3       Le jeu d’échecs Le jeu d’échecs est un jeu bien connu de tous. Il s’agit d’un problème EXPTIME-complet. La conception d’un ordinateur de jeu a passionné durant de nombreuses années les chercheurs. Aujourd’hui, l’ordinateur est aussi fort que les meilleurs au monde. Néanmoins, l’augmentation de leur force se justifie plus par l’augmentation de la puissance de calcul que par l’intelligence. 3.4       Les circuits succincts Un exemple de problème plus théorique est la représentation par circuits succincts. Les circuits succincts sont des machines simples utilisées pour décrire des graphes, comme les matrices d’adjacence, mais avec un espace exponentiellement plus petit. Ils acceptent deux sommets en entrée et trouvent s‘il existe ou non un arc entre eux. On peut alors représenter un graphe avec un ensemble de circuits succincts. Si la résolution d'un problème sur un graphe dans une représentation naturelle, comme une matrice d'adjacence, est P-complète, alors la résolution du même problème dans une représentation sous forme de circuits succincts est EXPTIME-complète Mon, 21 May 2007 00:54:00 GMT http://la-classe-exptime.blog2geek.com/4-references-731.html http://en.wikipedia.org/wiki/EXPTIME http://fr.wikipedia.org/wiki/Th%C3%A9orie_de_la_complexit%C3%A9 http://en.wikipedia.org/wiki/Go_%28board_game%29 Mon, 21 May 2007 00:54:00 GMT