Qst3. Les sommets 𝑥 pour les quels 𝑇 𝑥 = 1 représentent sont les sommets formant le transversal tel que 𝑛𝑇 représente le cardinal de cet ensemble. Qst4.
Algorithme APX-T ; tant que cpt < m faire
Entrées: n, m : entiers; // Instruction 6 ex1, ex2: tableaux de m entiers; trouver <- vrai; i <- 1; Sorties: nT: entier; tant que i<=m et trouver=vrai faire T: tableau de n entiers; si couv[i]=0 alors var trouver <- faux; i, e, a, b, cpt : entier; sinon trouver: booléen; i <- i+1; Début fsi // Instruction 1 fait pour i <- 1 haut n faire e <- i; a <- ex1[e]; b <- ex2[e]; T[i] <- 0; T[a] <- 1; T[b] <- 1; nT <- nT +2; fait // Instructions 8 et 9 nT <- 0; pour i<-1 haut m faire // Instruction 3 si couv[i] = 0 et (ex1[i] = a ou ex2[i] = b) pour i <- 1 haut m faire et (ex1[i] = b ou ex2[i] = a) alors couv[i] <- 0; cpt <- cpt +1; fait couv[i] <- 1; cpt <- 0; fsi fait fait retourner T et nT; Fin Qst5.
TRANSVERSAL : Input: Un graphe 𝐺 = (𝑉, 𝐸) non orienté simple et un entier 𝑘. Output: Existe-t-il dans 𝐺 un transversal de taille ≤ 𝑘? Qst8.
Il suffit de donner un algorithme polynomial qui vérifie qu’un tableau donné 𝑇 . décrit bien un transversal de taille 𝑘. Algorithme VERIFIE_TRANSVERSAL ; tant que x < n et h < m faire Entrées: n, m, k : entiers; si T[x] = 1 alors ex1, ex2: tableaux de m entiers; cpt <- cpt + 1; T : tableau de n entiers; pour i <- 1 haut m faire Sorties: VRAI si T[.] représente un si couv[i]=0 et (ex1[i]=x ou ex2[i]=x) alors transversal de taille k, FAUX sinon couv[i] <- 1; var h <- h + 1; i, e, h, x, cpt : entier; fsi trouver: booléen; fait Début fsi cpt <- 0; // compte le nombre de x <- x + 1; sommets dans T fait h <- 0; // compte le nombre d’arrêtes retourner (cpt = k et h = m); couvertes Fin pour i <- 1 haut m faire couv[i] <- 0; On remarque que l’algorithme est en 𝑂 𝑟 2 où fait 𝑟 = max 𝑛, 𝑚 donc il est polynomial. x <- 1;
