Exercice 1

Tableau de tests

Chemin	Mot	Vie	Lettres	Résultat
abikl	“ “	3	[ ]	Bravo
abijl	“ “	0	[ ]	Échec
abijlabcijl	“bleu”	0	[ ]	Échec
ab(cdefhb)⁴ihl	“bleu”	1	[”e”, “u”, “l”, “b”]	Bravo
abcdeghbcijl	“bleu”	1	[”a”]	Échec

Tableau de couvertures des arcs par les tests

ab	bc	bi	cd	ci	de	ef	eg	fd	gh	hb	ij	ik	jl	kl
1	0	1	0	0	0	0	0	0	0	0	0	1	0	1
1	0	1	0	0	0	0	0	0	0	0	1	0	1	0
1	1	0	0	1	0	0	0	0	0	0	1	0	1	0
1	4	1	4	0	4	4	0	4	0	4	0	1	0	1
1	2	0	1	1	1	0	1	0	1	1	1	0	1	0

Untitled

Exercice 2

V(G) = 5

Tableau de tests

Chemin	Vecteur	Résultat
abj	[ ]	[ ]
abcdkfghgibj	[5, 3]	[3, 5]
abcdkedfgibj	[1, 2]	[1, 2]
abcdkefgibcdkedhfghgibj	[1, 3, 2]	[1, 2, 3]

Tableau de couvertures des arcs par les tests

ab	bc	bj	cd	dk	df	ke	kf	ed	fg	gh	gi	hg	ib
1	0	1	0	0	0	0	0	0	0	0	0	0	0
1	1	1	1	1	0	0	1	0	1	1	1	1	1
1	1	1	1	1	1	1	0	1	1	0	1	0	1
1	2	1	2	3	1	2	1	2	2	1	2	1	2

x1 + x2 + x3 + x4 = 0

x2 + x3 + 2 x4 = 0

x2 + x3 + 3 x4 = 0

x3 + x4 = 0

x3 + 2 x4 = 0

x2 + x4 = 0

→ x5 + 2 x4 - (x3 - x4) = 0 - 0