Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of...
Transcript of Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of...
![Page 1: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/1.jpg)
Applications of Graph Theoryto Covering Arrays
Karen Meagher
joint work with Lucia Moura and Brett Stevens
University of Regina
Applications of Graph Theory to Covering Arrays – p. 1/14
![Page 2: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/2.jpg)
Covering Arrays⋆ You have installed light switches to 4 rooms
and you want to test that they work.
Applications of Graph Theory to Covering Arrays – p. 2/14
![Page 3: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/3.jpg)
Covering Arrays⋆ You have installed light switches to 4 rooms
and you want to test that they work.
tests bedroom hall bathroom kitchen1 0 0 0 02 0 1 1 13 1 0 1 14 1 1 0 15 1 1 1 0
Applications of Graph Theory to Covering Arrays – p. 2/14
![Page 4: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/4.jpg)
Covering Arrays⋆ You have installed light switches to 4 rooms
and you want to test that they work.
tests bedroom hall bathroom kitchen1 0 0 0 02 0 1 1 13 1 0 1 14 1 1 0 15 1 1 1 0
Any two columns are qualitatively independent(every possible pair occurs in some row.)
Applications of Graph Theory to Covering Arrays – p. 2/14
![Page 5: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/5.jpg)
Covering Arrays on GraphsA covering array on a graph G, denoted CA(n,G, k), is:
⋆ an n × r array where r = |V (G)|,
⋆ with entries from Zk (k is the alphabet),
⋆ columns for adjacent vertices are qualitativelyindependent (have all possible pairs).
Applications of Graph Theory to Covering Arrays – p. 3/14
![Page 6: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/6.jpg)
Covering Arrays on GraphsA covering array on a graph G, denoted CA(n,G, k), is:
⋆ an n × r array where r = |V (G)|,
⋆ with entries from Zk (k is the alphabet),
⋆ columns for adjacent vertices are qualitativelyindependent (have all possible pairs).
CAN(G, k) denotes the least n such that a CA(n,G, k) exists.
Applications of Graph Theory to Covering Arrays – p. 3/14
![Page 7: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/7.jpg)
Covering Arrays on GraphsA covering array on a graph G, denoted CA(n,G, k), is:
⋆ an n × r array where r = |V (G)|,
⋆ with entries from Zk (k is the alphabet),
⋆ columns for adjacent vertices are qualitativelyindependent (have all possible pairs).
CAN(G, k) denotes the least n such that a CA(n,G, k) exists.
5
74
1
2
63
1 2 3 4 5 6 7
0 0 0 0 0 0 0
0 1 1 0 1 1 1
1 0 1 1 0 1 1
1 1 0 1 1 0 1
1 1 1 1 1 1 0
Applications of Graph Theory to Covering Arrays – p. 3/14
![Page 8: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/8.jpg)
Covering Arrays on GraphsA covering array on a graph G, denoted CA(n,G, k), is:
⋆ an n × r array where r = |V (G)|,
⋆ with entries from Zk (k is the alphabet),
⋆ columns for adjacent vertices are qualitativelyindependent (have all possible pairs).
CAN(G, k) denotes the least n such that a CA(n,G, k) exists.
5
1
2
634 7
1 2 3 4 5 6 7
0 0 0 0 0 0 0
0 1 1 0 1 1 1
1 0 1 1 0 1 1
1 1 0 1 1 0 1
1 1 1 1 1 1 0
Applications of Graph Theory to Covering Arrays – p. 3/14
![Page 9: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/9.jpg)
Graph HomomorphismsA homomorphism of graphs G and H is a map
f : V (G) → V (H)
and if vertices u, v ∈ G are adjacent then verticesf(u), f(v) ∈ H are also adjacent
Applications of Graph Theory to Covering Arrays – p. 4/14
![Page 10: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/10.jpg)
Graph HomomorphismsA homomorphism of graphs G and H is a map
f : V (G) → V (H)
and if vertices u, v ∈ G are adjacent then verticesf(u), f(v) ∈ H are also adjacent
4
3
21
2
3
6
54
7
1
52
63
4 7
Applications of Graph Theory to Covering Arrays – p. 4/14
![Page 11: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/11.jpg)
A Construction
52
63
1
2
3
6
54
7
1
4 7
Applications of Graph Theory to Covering Arrays – p. 5/14
![Page 12: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/12.jpg)
A Construction
52
63
1
2
3
6
54
7
1
4 7
red blue green yellow
0 0 0 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 0
Applications of Graph Theory to Covering Arrays – p. 5/14
![Page 13: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/13.jpg)
A Construction
52
63
1
2
3
6
54
7
1
4 7
1 2 3 4 5 6 7
0 0 0 0 0 0 0
0 1 1 0 1 1 1
1 0 1 1 0 1 1
1 1 0 1 1 0 1
1 1 1 1 1 1 0
red blue green yellow
0 0 0 0
0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 0
Applications of Graph Theory to Covering Arrays – p. 5/14
![Page 14: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/14.jpg)
Bounds from Complete GraphsFor a graph G, the size of a maximum clique, denoted ω(G),is the largest integer such that
Kω(G) → G
Applications of Graph Theory to Covering Arrays – p. 6/14
![Page 15: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/15.jpg)
Bounds from Complete GraphsFor a graph G, the size of a maximum clique, denoted ω(G),is the largest integer such that
Kω(G) → G
The chromatic number, denoted χ(G), is the smallest integersuch that
G → Kχ(G).
Applications of Graph Theory to Covering Arrays – p. 6/14
![Page 16: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/16.jpg)
Bounds from Complete GraphsFor a graph G, the size of a maximum clique, denoted ω(G),is the largest integer such that
Kω(G) → G
The chromatic number, denoted χ(G), is the smallest integersuch that
G → Kχ(G).
There is a lower bound from maximum clique size
CAN(Kω(G), k) ≤ CAN(G, k) ≤ CAN(Kχ(G), k),
and an upper a bound from the chromatic number.
Applications of Graph Theory to Covering Arrays – p. 6/14
![Page 17: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/17.jpg)
Partitions1 2 3 4
1 0 0 0 02 0 1 1 13 0 2 2 24 1 0 1 25 1 1 2 06 1 2 0 17 2 0 2 18 2 1 0 29 2 2 1 0
Applications of Graph Theory to Covering Arrays – p. 7/14
![Page 18: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/18.jpg)
Partitions1 2 3 4
1 0 0 0 02 0 1 1 13 0 2 2 24 1 0 1 25 1 1 2 06 1 2 0 17 2 0 2 18 2 1 0 29 2 2 1 0
1 → {{1, 2, 3}, {4, 5, 6}, {7, 8, 9}}
2 → {{1, 4, 7}, {2, 5, 8}, {3, 6, 9}}
3 → {{1, 6, 8}, {2, 4, 9}, {3, 5, 7}}
4 → {{1, 5, 9}, {2, 6, 7}, {3, 4, 8}}
Applications of Graph Theory to Covering Arrays – p. 7/14
![Page 19: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/19.jpg)
Partitions1 2 3 4
1 0 0 0 02 0 1 1 13 0 2 2 24 1 0 1 25 1 1 2 06 1 2 0 17 2 0 2 18 2 1 0 29 2 2 1 0
1 → {{1, 2, 3}, {4, 5, 6}, {7, 8, 9}}
2 → {{1, 4, 7}, {2, 5, 8}, {3, 6, 9}}
3 → {{1, 6, 8}, {2, 4, 9}, {3, 5, 7}}
4 → {{1, 5, 9}, {2, 6, 7}, {3, 4, 8}}
The columns of a covering array with a k-alphabet and n
rows determine k-partitions of an n-set.
Applications of Graph Theory to Covering Arrays – p. 7/14
![Page 20: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/20.jpg)
Qualitative IndependenceLet A,B be k-partitions of an n-set,
A = {A1, A2, . . . , Ak} and B = {B1, B2, . . . , Bk}.
Applications of Graph Theory to Covering Arrays – p. 8/14
![Page 21: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/21.jpg)
Qualitative IndependenceLet A,B be k-partitions of an n-set,
A = {A1, A2, . . . , Ak} and B = {B1, B2, . . . , Bk}.
A and B are qualitatively independent if
Ai ∩ Bj 6= ∅ for all i and j.
Applications of Graph Theory to Covering Arrays – p. 8/14
![Page 22: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/22.jpg)
Qualitative IndependenceLet A,B be k-partitions of an n-set,
A = {A1, A2, . . . , Ak} and B = {B1, B2, . . . , Bk}.
A and B are qualitatively independent if
Ai ∩ Bj 6= ∅ for all i and j.
Two partitions formed from the columns in acovering array are qualitatively independent.
Applications of Graph Theory to Covering Arrays – p. 8/14
![Page 23: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/23.jpg)
Qualitative Independence GraphThe graph QI(n, k) has
Applications of Graph Theory to Covering Arrays – p. 9/14
![Page 24: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/24.jpg)
Qualitative Independence GraphThe graph QI(n, k) has
⋆ vertex set the set of all k-partitions of ann-set,
Applications of Graph Theory to Covering Arrays – p. 9/14
![Page 25: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/25.jpg)
Qualitative Independence GraphThe graph QI(n, k) has
⋆ vertex set the set of all k-partitions of ann-set,
⋆ and vertices are connected iff the partitionsare qualitatively independent.
Applications of Graph Theory to Covering Arrays – p. 9/14
![Page 26: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/26.jpg)
Qualitative Independence GraphThe graph QI(n, k) has
⋆ vertex set the set of all k-partitions of ann-set,
⋆ and vertices are connected iff the partitionsare qualitatively independent.
The graph QI(4, 2):1 2 | 3 4
1 3 | 2 4 1 4 | 2 3
Applications of Graph Theory to Covering Arrays – p. 9/14
![Page 27: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/27.jpg)
Qualitative Independence GraphThe graph QI(n, k) has
⋆ vertex set the set of all k-partitions of ann-set,
⋆ and vertices are connected iff the partitionsare qualitatively independent.
The graph QI(5, 2):
134 | 25 145 | 23
125 | 34
135 | 24
124 | 3515 | 234
12 | 345
13 | 245
123 | 45
14 | 235
124 | 35
135 | 24
Applications of Graph Theory to Covering Arrays – p. 9/14
![Page 28: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/28.jpg)
Why is QI(n, k) Interesting?
Applications of Graph Theory to Covering Arrays – p. 10/14
![Page 29: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/29.jpg)
Why is QI(n, k) Interesting?Theorem (M. and Stevens, 2002) An r-clique inQI(n, k) is equivalent to a covering array withr columns and n rows.
Applications of Graph Theory to Covering Arrays – p. 10/14
![Page 30: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/30.jpg)
Why is QI(n, k) Interesting?Theorem (M. and Stevens, 2002) An r-clique inQI(n, k) is equivalent to a covering array withr columns and n rows.
Theorem (M. and Stevens, 2002) A covering array ona graph G with n rows and alphabet k exists iffthere is a homomorphism to QI(n, k).
Applications of Graph Theory to Covering Arrays – p. 10/14
![Page 31: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/31.jpg)
Why is QI(n, k) Interesting?Theorem (M. and Stevens, 2002) An r-clique inQI(n, k) is equivalent to a covering array withr columns and n rows.
Theorem (M. and Stevens, 2002) A covering array ona graph G with n rows and alphabet k exists iffthere is a homomorphism to QI(n, k).
Theorem (M. and Stevens, 2002) The minimalsize of a covering array on a graph G is
min{n : G → QI(n, k).}
Applications of Graph Theory to Covering Arrays – p. 10/14
![Page 32: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/32.jpg)
Uniform SubgraphThe uniform qualitative independence graph,UQI(kℓ, k) has
Applications of Graph Theory to Covering Arrays – p. 11/14
![Page 33: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/33.jpg)
Uniform SubgraphThe uniform qualitative independence graph,UQI(kℓ, k) has
⋆ vertex set all uniform k-partitions of a kℓ-set
Applications of Graph Theory to Covering Arrays – p. 11/14
![Page 34: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/34.jpg)
Uniform SubgraphThe uniform qualitative independence graph,UQI(kℓ, k) has
⋆ vertex set all uniform k-partitions of a kℓ-set
⋆ and partitions are adjacent iff they arequalitatively independent.
Applications of Graph Theory to Covering Arrays – p. 11/14
![Page 35: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/35.jpg)
Uniform SubgraphThe uniform qualitative independence graph,UQI(kℓ, k) has
⋆ vertex set all uniform k-partitions of a kℓ-set
⋆ and partitions are adjacent iff they arequalitatively independent.
A clique in UQI(kℓ, k) is equivalent to abalanced covering array
(each letter occurs the same number oftimes in each column.)
Applications of Graph Theory to Covering Arrays – p. 11/14
![Page 36: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/36.jpg)
Example 1: UQI(k2, k)⋆ The graph UQI(k2, k) is vertex transitive.
Applications of Graph Theory to Covering Arrays – p. 12/14
![Page 37: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/37.jpg)
Example 1: UQI(k2, k)⋆ The graph UQI(k2, k) is vertex transitive.
⋆ The size of the maximum clique is bounded by
number of vertices
size of an independent set
Applications of Graph Theory to Covering Arrays – p. 12/14
![Page 38: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/38.jpg)
Example 1: UQI(k2, k)⋆ The graph UQI(k2, k) is vertex transitive.
⋆ The size of the maximum clique is bounded by
number of vertices
size of an independent set
⋆ The collection of all partitions with 1 and 2 in the samepart is an independent set.
Applications of Graph Theory to Covering Arrays – p. 12/14
![Page 39: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/39.jpg)
Example 1: UQI(k2, k)⋆ The graph UQI(k2, k) is vertex transitive.
⋆ The size of the maximum clique is bounded by
number of vertices
size of an independent set
⋆ The collection of all partitions with 1 and 2 in the samepart is an independent set.
⋆ This bounds the size of a clique by k + 1.
Applications of Graph Theory to Covering Arrays – p. 12/14
![Page 40: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/40.jpg)
Example 1: UQI(k2, k)⋆ The graph UQI(k2, k) is vertex transitive.
⋆ The size of the maximum clique is bounded by
number of vertices
size of an independent set
⋆ The collection of all partitions with 1 and 2 in the samepart is an independent set.
⋆ This bounds the size of a clique by k + 1.
⋆ A covering array with k2 rows on a k-alphabet can haveno more than k + 1 columns.
Applications of Graph Theory to Covering Arrays – p. 12/14
![Page 41: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/41.jpg)
Example 2: UQI(12, 3)It is known that the minimal number of rows in coveringarray with 8 columns and an alphabet size 3 is 12 or 13.
Applications of Graph Theory to Covering Arrays – p. 13/14
![Page 42: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/42.jpg)
Example 2: UQI(12, 3)It is known that the minimal number of rows in coveringarray with 8 columns and an alphabet size 3 is 12 or 13.
What is ω(UQI(12, 3))?
Applications of Graph Theory to Covering Arrays – p. 13/14
![Page 43: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/43.jpg)
Example 2: UQI(12, 3)It is known that the minimal number of rows in coveringarray with 8 columns and an alphabet size 3 is 12 or 13.
What is ω(UQI(12, 3))?
UQI(12, 3) in an association scheme so the ratio bound holds
ω(UQI(12, 3)) ≤ 1 −d
τ= 7
where d is the largest eigenvalue and τ is the smallest.
Applications of Graph Theory to Covering Arrays – p. 13/14
![Page 44: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/44.jpg)
Example 2: UQI(12, 3)It is known that the minimal number of rows in coveringarray with 8 columns and an alphabet size 3 is 12 or 13.
What is ω(UQI(12, 3))?
UQI(12, 3) in an association scheme so the ratio bound holds
ω(UQI(12, 3)) ≤ 1 −d
τ= 7
where d is the largest eigenvalue and τ is the smallest.
There does not exist a balanced covering array with 12rows and 8 columns with an alphabet of size three.
Applications of Graph Theory to Covering Arrays – p. 13/14
![Page 45: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/45.jpg)
ConclusionOpen problems:
Applications of Graph Theory to Covering Arrays – p. 14/14
![Page 46: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/46.jpg)
ConclusionOpen problems:
⋆ Determine the chromatic number of QI(n, k)and UQI(n, k).
Applications of Graph Theory to Covering Arrays – p. 14/14
![Page 47: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/47.jpg)
ConclusionOpen problems:
⋆ Determine the chromatic number of QI(n, k)and UQI(n, k).
⋆ Find the maximum independent sets inUQI(kℓ, k).
Applications of Graph Theory to Covering Arrays – p. 14/14
![Page 48: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/48.jpg)
ConclusionOpen problems:
⋆ Determine the chromatic number of QI(n, k)and UQI(n, k).
⋆ Find the maximum independent sets inUQI(kℓ, k).
⋆ Find all eigenvalues of UQI(kℓ, k).
Applications of Graph Theory to Covering Arrays – p. 14/14
![Page 49: Applications of Graph Theory to Covering Arraysuregina.ca/~meagherk/docs/CAG.pdf · Applications of Graph Theory to Covering Arrays Karen Meagher joint work with Lucia Moura and Brett](https://reader034.fdocuments.net/reader034/viewer/2022051408/60065877611d214d1974ddce/html5/thumbnails/49.jpg)
ConclusionOpen problems:
⋆ Determine the chromatic number of QI(n, k)and UQI(n, k).
⋆ Find the maximum independent sets inUQI(kℓ, k).
⋆ Find all eigenvalues of UQI(kℓ, k).
⋆ Generalize eigenvalue bound for UQI(12, 3)to more cases.
Applications of Graph Theory to Covering Arrays – p. 14/14