Si tu parle de la conjecture forte, la démo est assez dure, elle a été faite en 2002 par Robertson, Seymour et compagnie . Celle de la conjecture faible est assez accessible elle a été faite par Lovász en 72. Tu trouveras les références sur http://fr.wikipedia.org/wiki/Théorème_des_graphes_parfaits.