Produit tensoriel (graphe)

Un article de Wikipédia, l'encyclopédie libre.
Produit tensoriel de deux graphes.

Le produit tensoriel est une opération sur deux graphes et résultant en un graphe . Il est également appelé produit direct, produit de Kronecker ou produit catégorique.

Construction[modifier | modifier le code]

Soient deux graphes et . Le produit tensoriel est défini comme suit[1] :

  • l'ensemble de ses sommets est le produit cartésien  ;
  • et sont adjacents dans si et seulement si et sont adjacents dans et et sont adjacents dans . Autrement dit, deux sommets sont voisins si les sommets dont ils sont issus étaient voisins dans les deux graphes.

Propriétés[modifier | modifier le code]

  • La matrice d'adjacence de est le produit de Kronecker des matrices d'adjacence de et .
  • La conjecture d'Hedetniemi (en) concernait le nombre chromatique du produit tensoriel de deux graphes : . Elle est cependant réfutée en 2019 par Yaroslav Shitov qui montre qu'il est possible d'avoir [2].

Références[modifier | modifier le code]

  1. (en) Krishnaiyan Thulasiraman, Subramanian Arumugam, Andreas Brandstädt et Takao Nishizeki, Handbook of Graph Theory, Combinatorial Optimization, and Algorithms, CRC Press, coll. « Chapman & Hall/CRC Computer and Information Science Series », , 1195 p. (ISBN 9781420011074), Definition 10.5, p. 237
  2. (en) Yaroslav Shitov, « Counterexamples to Hedetniemi's conjecture », Annals of Mathematics, vol. 190, no 2,‎ , p. 663–667 (ISSN 0003-486X et 1939-8980, DOI 10.4007/annals.2019.190.2.6, lire en ligne, consulté le )