## The Clique Algorithm

Institute of Mathematics
H-501 Palam Vihar
District Gurgaon
Haryana 122017
India

### Abstract

We present a new polynomial-time algorithm for finding maximal cliques in graphs. It is shown that every graph with n vertices and minimum vertex degree δ must have a maximum clique of size at least n/(n−δ) and that this condition is the best possible in terms of n and δ. As a corollary, we obtain new bounds on the famous Ramsey numbers in terms of the maximum and minimum vertex degrees of the corresponding Ramsey graphs. The algorithm finds a maximum clique in all known examples of graphs. In view of the importance of the P versus NP question, we ask if there exists a graph for which the algorithm cannot find a maximum clique. The algorithm is demonstrated by finding maximum cliques for several famous graphs, including two large benchmark graphs with hidden maximum cliques. We implement the algorithm in C++ and provide a demonstration program for Microsoft Windows [download].

### Acknowledgements

Thanks to Klaus D. Witzel for providing Example 7.20 that serves as the main benchmark for testing whether this algorithm actually finds a maximum clique in the hardest known cases. This algorithm was originally published in the special issue of Baltic Horizons, No. 8 (107), dedicated to the "270 Years of Graph Theory" conference in honour of Frank Harary at Eurouniversity, Tallinn, in 2006. We are pleased to announce that The Clique Algorithm has also been published by Amazon in 2011.

### 1. Introduction

In 1972, Karp [1] introduced a list of twenty-one NP-complete problems, one of which was the problem of finding a maximum clique in a graph. Given a graph, one must find a largest set of vertices such that any two vertices in the set are connected by an edge. Such a set of vertices is called a maximum clique of the graph and in general can be very difficult to find. For example, try to find a maximum clique with five vertices in the complement of the Frucht graph [2] shown below in Figure 1.1.

We present a new polynomial-time CLIQUE ALGORITHM for finding maximal cliques in graphs. In Section 2, we provide precise DEFINITIONS of all the terminology used. In Section 3, we present a formal description of the ALGORITHM followed by a small example to show how the algorithm works step-by-step. In Section 4, we show that the algorithm has polynomial-time COMPLEXITY. In Section 5, we give a new condition of SUFFICIENCY for a graph to have a maximum clique of a certain size. We prove that every graph with n vertices and minimum vertex degree δ must have a maximum clique of size at least n/(n−δ) and that the algorithm will always find a clique of at least this size. Furthermore, we prove that this condition is the best possible in terms of n and δ by explicitly constructing graphs for which the size of a maximum clique is exactly n/(n−δ). As a corollary, we obtain new bounds on the famous Ramsey numbers in terms of the maximum and minimum vertex degrees of the corresponding Ramsey graphs. For all known examples of graphs, the algorithm finds a maximum clique. In view of the importance of the P versus NP question [3], we ask: does there exist a graph for which this algorithm cannot find a maximum clique? In Section 6, we provide an IMPLEMENTATION of the algorithm as a C++ program, together with demonstration software for Microsoft Windows. In Section 7, we demonstrate the algorithm by finding maximum cliques for several EXAMPLES of famous graphs, including two large benchmark graphs with hidden maximum cliques. In Section 8, we list the REFERENCES.

### 2. Definitions

We begin with precise definitions of all the terminology and notation used in this presentation, following [4]. We use the usual notation x to denote the floor function i.e. the greatest integer not greater than x and x to denote the ceiling function i.e. the least integer not less than x.
A simple graph G with n vertices consists of a set of vertices V, with |V| = n, and a set of edges E, such that each edge is an unordered pair of distinct vertices. Note that the definition of G explicitly forbids loops (edges joining a vertex to itself) and multiple edges (many edges joining a pair of vertices), whence the set E must also be finite. The complement GC of a graph G is a simple graph with the same set of vertices as G but {u, v} is an edge in GC if and only if {u, v} is not an edge in G. We may label the vertices of G with the integers 1, 2, …, n. If the unordered pair of vertices {u, v} is an edge in G, we say that u is a neighbor of v and write uvE. Neighborhood is clearly a symmetric relationship: uvE if and only if vuE. The degree of a vertex v, denoted by d(v), is the number of neighbors of v. The minimum degree over all vertices of G is denoted by δ. The adjacency matrix of G is an n×n matrix with the entry in row u and column v equal to 1 if uvE and equal to 0 otherwise. A vertex cover C of G is a set of vertices such that for every edge {u,v} of G at least one of u or v is in C. An independent set S of G is a set of vertices such that no unordered pair of vertices in S is an edge. A clique Q of G is a set of vertices such that every unordered pair of vertices in Q is an edge. Given a clique Q of G and a vertex v outside Q, we say that v is adjoinable if the set Q∪{v} is also a clique of G. Denote by ρ(Q) the number of adjoinable vertices of a clique Q of G. A maximal clique has no adjoinable vertices. A maximum clique is a clique with the largest number of vertices. Note that a maximum clique is always maximal but not necessarily vice versa.
An algorithm is a problem-solving method suitable for implementation as a computer program. While designing algorithms we are typically faced with a number of different approaches. For small problems, it hardly matters which approach we use, as long as it is one that solves the problem correctly. However, there are many problems for which the only known algorithms take so long to compute the solution that they are practically useless. A polynomial-time algorithm is one whose number of computational steps is always bounded by a polynomial function of the size of the input. Thus, a polynomial-time algorithm is one that is actually useful in practice. The class of all such problems that have polynomial-time algorithms is denoted by P. For some problems, there are no known polynomial-time algorithms but these problems do have nondeterministic polynomial-time algorithms: try all candidates for solutions simultaneously and for each given candidate, verify whether it is a correct solution in polynomial-time. The class of all such problems is denoted by NP. Clearly P NP. On the other hand,  there are problems that are known to be in NP and are such that any polynomial-time algorithm for them can be transformed (in polynomial-time) into a polynomial-time algorithm for every problem in NP. Such problems are called NP-complete. The problem of finding a maximum clique is known to be NP-complete [1]. Thus, if we are able to show the existence of a polynomial-time algorithm that finds a maximum clique in any graph, we could prove that P = NP.  The present algorithm is, so far as we know, a promising candidate for the task. One of the greatest unresolved problems in mathematics and computer science today is whether P = NP or P  ≠  NP [3].

### 3. Algorithm

We now present a formal description of the algorithm. This is followed by a small example illustrating the steps of the algorithm. We start by defining two procedures.

3.1. Procedure. Given a simple graph G with n vertices and a clique Q of G, if Q has no adjoinable vertices, output Q. Else, for each adjoinable vertex v of Q, find the number ρ(Q∪{v}) of adjoinable vertices of the clique Q∪{v}. Let vmax denote an adjoinable vertex such that ρ(Q∪{vmax}) is a maximum and obtain the clique Q∪{vmax}. Repeat until the clique has no adjoinable vertices.

3.2. Procedure. Given a simple graph G with n vertices and a maximal clique Q of G, if there is no vertex v outside Q such that there is exactly one vertex w in Q that is not a neighbor of v, output Q. Else, find a vertex v outside Q such that there is exactly one vertex w in Q that is not a neighbor of v. Define Qv,w by adjoining v to Q and removing w from Q. Perform procedure 3.1 on Qv,w and output the resulting clique.

3.3. Algorithm. Given as input a simple graph G with n vertices labeled 1, 2, …, n, search for a clique of size at least k. At each stage, if the clique obtained has size at least k, then stop.

• Part I. For i = 1, 2, ..., n in turn
• Initialize the clique Qi = {i}.
• Perform procedure 3.1 on Qi.
• For r = 1, 2, ..., k perform procedure 3.2 repeated r times.
• The result is a maximal clique Qi.
• Part II. For each pair of maximal cliques Qi, Qj found in Part I
• Initialize the clique Qi, j = QiQj .
• Perform procedure 3.1 on Qi, j.
• For r = 1, 2, ..., k perform procedure 3.2 repeated r times.
• The result is a maximal clique Qi, j.
3.4. Example. We demonstrate the steps of the algorithm with a small example. The input is the complement of the Frucht graph [2] shown below with n = 12 vertices labled

V = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10,11, 12}.

We search for a clique of size at least k = 5. Part I for i = 1 and i = 2 yields cliques Q1 and Q2 of size 4, so we give the details starting from i = 3. We initialize the clique as

Q3 = {i} = {3}.

We now perform procedure 3.1. Here are the results in tabular form:

Clique Q3 = {3}. Size: 1.
 Adjoinable vertex v of Q3 Adjoinable vertices of Q3∪{v} ρ(Q3∪{v}) 1 5, 6, 8, 9, 12 5 5 1, 7, 8, 11, 12 5 6 1, 9, 11, 12 4 7 5, 9, 11, 12 4 8 1, 5, 9, 11 4 9 1, 6, 7, 8, 11 5 11 5, 6, 7, 8, 9, 12 6 12 1, 5, 6, 7, 11 5
Maximum ρ(Q3∪{v}) = 6 for v = 11. Adjoin vertex 11 to Q3.
Clique Q3 = {3, 11}. Size: 2.
 Adjoinable vertex v of Q3 Adjoinable vertices of Q3∪{v} ρ(Q3∪{v}) 5 7, 8, 12 3 6 9, 12 2 7 5, 9, 12 3 8 5, 9 2 9 6, 7, 8 3 12 5, 6, 7 3
Maximum ρ(Q3∪{v}) = 3 for v = 5. Adjoin vertex 5 to Q3.
Clique Q3 = {3, 5, 11}. Size: 3.
 Adjoinable vertex v of Q3 Adjoinable vertices of Q3∪{v} ρ(Q3∪{v}) 7 12 1 8 None 0 12 7 1
Maximum ρ(Q3∪{v}) = 1 for v = 7. Adjoin vertex 7 to Q3
Clique Q3 = {3, 5, 7, 11}. Size: 4.
 Adjoinable vertex v of Q3 Adjoinable vertices of Q3∪{v} ρ(Q3∪{v}) 12 None 0
Maximum ρ(Q3∪{v}) = 0 for v = 12. Adjoin vertex 12 to Q3.

We obtain a maximal clique

Q3 = {3, 5, 7, 11, 12}

of the requested size k = 5 and the algorithm terminates.

### 4. Complexity

We shall now show that the algorithm terminates in polynomial-time, by specifying a polynomial of the number of vertices n of the input graph, that is an upper bound on the total number of computational steps performed by the algorithm. Note that we consider
• checking whether a given pair of vertices is connected by an edge in G, and
• comparing whether a given integer is less than another given integer
to be elementary computational steps

4.1. Proposition. Given a simple graph G with n vertices and a clique Q, procedure 3.1 takes at most n5 steps.

Proof. Checking whether a particular vertex is adjoinable takes at most n2 steps, since the vertex has less than n vertices that are not its neighbors and for each vertex that is not a neighbor it takes less than n steps to check whether it is outside the clique. For a particular clique, finding the number ρ of adjoinable vertices takes at most n3 = nn2 steps, since for each of the at most n vertices outside the clique we must check whether it is adjoinable or not. For a particular clique, finding a vertex for which ρ is maximum then takes at most n4 = nn3 steps, since there are at most n vertices outside. Procedure 3.1 terminates when at most n vertices are adjoined, so it takes a total of at most n5 = nn4 steps. ☐

4.2. Proposition. Given a simple graph G with n vertices and a maximal clique Q, procedure 3.2 takes at most n5+n2+1 steps.

Proof. To find a vertex v outside Q that has exactly one vertex w inside Q which is not its neighbor takes at most n2 steps, since there are less than n vertices outside Q and we must find out if at least one of the less than n vertices that are not neighbors of any such fixed vertex are inside Q. If such a vertex v has been found, it takes one step to exchange v and w. Thereafter, by proposition 4.1, it takes at most n5 steps to perform procedure 3.1 on the resulting clique. Thus, procedure 3.2 takes at most n2+1+n5 steps. ☐

4.3. Proposition. Given a simple graph G with n vertices, part I of the algorithm takes at most n7+n6+n4+n2 steps.

Proof. At each turn, procedure 3.1 takes at most n5 steps by proposition 4.1. Then procedure 3.2 is performed at most n times, since k can be at most n. This, by proposition 4.2, takes at most n(n5+n2+1) = n6+n3+n steps. So, at each turn, at most  n5+n6+n3+n steps are executed. There are n turns for  i = 1, 2, ..., n, so part I performs a total of at most n(n5+n6+n3+n) = n6+n7+n4+n2 steps. ☐

4.4. Proposition. Given a simple graph G with n vertices, the algorithm takes less than n8+2n7+n6+n5+n4+n3+n2 steps to terminate.

Proof. There are less than n2 distinct pairs of maximal cliques found by part I, that are treated in turn. Similar to the proof of proposition 4.3, part II takes less than n2(n5+n6+n3+n) = n7+n8+n5+n3. Hence, part I and part II together take less than a grand total of (n7+n6+n4+n2)+(n8+n7+n5+n3) = n8+2n7+n6+n5+n4+n3+n2 steps to terminate. ☐

4.5. Remark. These are pessimistic upper bounds for the worst possible cases. The actual number of steps taken by the algorithm to terminate will depend on both n and k. For smaller values of k, the algorithm terminates much faster. In almost all of the examples in section 7, one or two steps of part I already find a maximum clique. Only the second benchmark, the complement of Witzel's graph 7.20, requires part II of the algorithm to find a maximum clique.

### 5. Sufficiency

The algorithm may be applied to any simple graph and will always terminate in polynomial-time, finding many maximal cliques. The propositions below establish sufficient conditions on the input graph which guarantee that the algorithm will find maximal cliques of a certain size. Specifically, we prove that every graph with n vertices and minimum vertex degree δ must have a maximum clique of size at least n/(n−δ) and that the algorithm will always find a clique of at least this size. Furthermore, we prove that this condition is the best possible in terms of n and δ by explicitly constructing graphs for which the size of a maximum clique is exactly n/(n−δ). As a corollary, we obtain new bounds on the famous Ramsey numbers in terms of the maximum and minimum vertex degrees of the corresponding Ramsey graphs. The proofs use two fundamental axioms: Euclid's Division Lemma [5] and the Pigeonhole Principle [6].

Euclid's Division Lemma. Given a positive integer m and any integer n, there exist unique integers q and r with 0  ≤  r  <  m such that n = qm+r.

Pigeonhole Principle. If l letters are distributed into p pigeonholes, then some pigeonhole receives at least l/p letters and some pigeonhole receives at most l/p letters.

5.1. Proposition. Given a simple graph G with n vertices and an initial clique Q. At each stage of  procedure 3.1, if there are l vertices outside Q and the minimum degree among the vertices inside Q is greater than nl/(nl)−1, then procedure 3.1 produces a strictly larger clique.

Proof. By contradiction. Suppose the clique Q is maximal. Then Q has no adjoinable vertices in G. In the complement graph GC, every vertex outside Q must have a neighbor inside Q. Thus, in the complement graph GC, there are at least l edges (letters) with one end vertex outside Q and the other end vertex inside Q, there being exactly p = nl vertices inside Q (pigeonholes). By the pigeonhole principle, some vertex inside Q must receive at least l/p edges in the complement graph GC. But this is a contradiction because the maximum degree among the vertices inside Q is less than l/(nl) = l/p in the complement graph GC, given that the minimum degree among the vertices inside Q is greater than nl/(nl)−1 in G by hypothesis. ☐

5.2. Proposition. Given a clique Q of G, procedure 3.1 always produces a maximal clique of G.

Proof. Procedure 3.1 terminates only when there are no adjoinable vertices. By definition, the resulting clique must be maximal. ☐

5.3. Proposition. Given a simple graph G with n vertices and an initial maximal clique Q. If there are m vertices outside the maximal clique Q and the minimum degree among the vertices inside Q is greater than n2m/(nm)−1, then there exists a vertex v outside Q such that there is exactly one vertex w in Q that is not a neighbor of v and procedure 3.2 produces a maximal clique different from Q and of size greater than or equal to the size of Q.

Proof. By contradiction. Note that since Q is maximal, there are no adjoinable vertices in G. In the complement graph GC, every vertex outside Q has at least one neighbor inside Q. Suppose that in the complement graph GC every vertex outside Q has more than one neighbor inside Q. Then in the complement graph GC there are at least l = 2m edges (letters) with one end vertex outside Q and the other end vertex inside Q, there being exactly p = nm vertices inside Q (pigeonholes). By the pigeonhole principle, in the complement graph GC some vertex inside Q must receive at least l/p edges. This is a contradiction because by hypothesis the minimum degree among the vertices inside Q is greater than nl/p−1 in G, so the maximum degree among the vertices inside Q is less than l/p in the complement graph GC. Thus, in the complement graph GC, there exists a vertex v outside Q such that v has exactly one neighbor w inside Q. This means that in G there exists a vertex v outside Q such that there is exactly one vertex w in Q that is not a neighbor of v. Now since procedure 3.2 exchanges v and w, a clique different from Q but of the same size as Q is created. Note that in the process some vertices outside the clique might have become adjoinable. Then, procedure 3.2 applies procedure 3.1 that produces a maximal clique different from Q and of size greater than or equal to the size of Q. ☐

5.4. Proposition. Given a simple graph G with n vertices and minimum vertex degree δ, the algorithm always finds a maximal clique of size at least n/(n−δ).

Proof. Consider any one turn of part I in the algorithm. After t vertices have been adjoined from a total of n, there are l = nt vertices outside the clique Q and the minimum degree among the vertices inside Q is certainly greater than or equal to δ. By proposition 5.1, if δ is greater than nl/(nl)−1= n(nt)/(n−(nt))−1= n(nt)/t−1= n(n/t)−1−1 = nn/t, then a strictly larger clique is produced by adjoining a vertex. Hence, as long as t is less than n/(n−δ), a vertex can still be adjoined and procedure 3.1 continues. Thus, at least n/(n−δ) vertices are adjoined, producing a clique of size at least n/(n−δ). By propositions 5.1, 5.2 and 5.3, all of the cliques produced by the algorithm are maximal and of size at least  n/(n−δ). ☐

5.5. Proposition. A simple graph G with n vertices and minimum vertex degree δ has a maximal clique of size at least n/(n−δ).

Proof. By proposition 5.4, the algorithm finds a maximal clique of size at least n/(n−δ). ☐

5.6. Proposition. Given any positive integers n and δ such that 0  <  δ  <  n, there exists a graph G with minimum vertex degree δ and a maximum clique of size n/(n−δ). For any such graph the algorithm always finds a maximum clique.

Proof. Let n = q(n−δ)+r with 0  ≤  r  <  n−δ by Euclid's division lemma. There are two cases.

• Case 1. Suppose r = 0. Define the complement graph GC to be the graph consisting of q disjoint cliques Q1, ..., Qq with n−δ vertices each. Then GC is a graph with maximum vertex degree n−δ−1, so the graph G has minimum vertex degree δ. Suppose Qmaximum is a maximum clique of G. Then Qmaximum must contain exactly one vertex from each clique in the complement graph GC, i.e. the size of Qmaximum must be at most q. On the other hand, by proposition 5.4, the algorithm finds a maximal clique Q of size at least n/(n−δ) = q(n−δ) /(n−δ) = q in the graph G. Thus, the size of Q and Qmaximum must be the same, i.e. n/(n−δ).
• Case 2. Suppose r is positive. Define the complement graph GC to be the graph consisting of q disjoint cliques Q1, ...,Qq with n−δ vertices each and a disjoint clique R with r vertices. Then GC is a graph with maximum vertex degree n−δ−1, so the graph G has minimum vertex degree δ. Suppose Qmaximum is a maximum clique of G. Then Qmaximum must contain exactly one vertex from each clique in the complement graph GC, i.e. the size of Qmaximum must be at most q+1. On the other hand, by proposition 5.4, the algorithm finds a maximal clique Q of size at least n/(n−δ) = (q(n−δ)+r )/(n−δ) = q+r/(n−δ) = q+1 in the graph G, using the fact that r/(n−δ) = 1 since 0  <  r  <  n−δ. Thus, the size of Q and Qmaximum must be the same, i.e. n/(n−δ). ☐
In 1930, Ramsey [6] proved that given any positive integers k and l, there exists a smallest integer r(k, l) such that every graph with r(k, l) vertices contains either a clique of k vertices or an independent set of l vertices. The determination of the Ramsey numbers r(k, l) is in general a very difficult unsolved problem. A Ramsey graph R(k, l) is a graph with n = r(k, l)−1 vertices that contains neither a clique of k vertices nor an independent set of l vertices. From the definition of the Ramsey numbers it follows that Ramsey graphs R(k, l) exist for all values of k and l greater than 2. We have an immediate

5.7. Corollary. A Ramsey graph R(k, l) with minimum vertex degree δ, maximum vertex degree Δ and n = r(k, l)−1 vertices must satisfy

kδ/(k−1)  <  n  <  l(Δ+1).

Proof. By definition, the graph G = R(k, l) has no clique of size k and no independent set of size l.

 By [20] proposition 5.5, ⌈n/(Δ+1)⌉  <  l ⇒ n  <  l(Δ+1) (1) On the other hand, by proposition 5.5, ⌈n/(n−δ)⌉  <  k ⇒ n  <  k(n−δ) ⇒ n  <  kn−kδ ⇒ kδ  <  kn−n ⇒ kδ  <  n(k−1) ⇒ ⌈kδ/(k−1)⌉  <  n (2)
By (1) and (2), the corollary follows. ☐

5.8. Question. For all known examples of graphs, the algorithm finds a maximum clique. In view of the importance of the P versus NP question [3], we ask: does there exist a graph for which this algorithm cannot find a maximum clique?

### 6. Implementation

We demonstrate the algorithm with a C++ program following the style of [7]. The demonstration program package [download] contains a detailed help file and section 7 gives several examples of input/output files for the program.

 clique.cpp #include #include #include #include using namespace std; bool removable(vector neighbor, vector cover); int max_removable(vector > neighbors, vector cover); vector procedure_1(vector > neighbors, vector cover); vector procedure_2(vector > neighbors, vector cover, int k); int cover_size(vector cover); ifstream infile ("graph.txt"); ofstream outfile ("cliques.txt"); int main() {  //Read Graph (note we work with the complement of the input graph)  cout<<"Clique Algorithm."<>n;  vector< vector > graph;  for(i=0; i row;   for(j=0; j>edge;    if(edge==0)row.push_back(1);    else row.push_back(0);   }   graph.push_back(row);  }  //Find Neighbors  vector > neighbors;  for(i=0; i neighbor;   for(j=0; j > covers;  vector allcover;  for(i=0; i cover=allcover;   cover[i]=0;   cover=procedure_1(neighbors,cover);   s=cover_size(cover);   if(s cover=allcover;    for(r=0; r neighbor, vector cover) {  bool check=true;  for(int i=0; i > neighbors, vector cover) {  int r=-1, max=-1;  for(int i=0; i temp_cover=cover;    temp_cover[i]=0;    int sum=0;    for(int j=0; jmax)    {     max=sum;     r=i;    }   }  }  return r; } vector procedure_1(vector > neighbors, vector cover) {  vector temp_cover=cover;  int r=0;  while(r!=-1)  {   r= max_removable(neighbors,temp_cover);   if(r!=-1) temp_cover[r]=0;  }  return temp_cover; } vector procedure_2(vector > neighbors, vector cover, int k) {  int count=0;  vector temp_cover=cover;  int i=0;  for(int i=0; ik) break;   }  }  return temp_cover; } int cover_size(vector cover) {  int count=0;  for(int i=0; i

### 7. Examples

We demonstrate the algorithm by running the program on several famous graphs and two large benchmark graphs with hidden maximum cliques. In each case, the algorithm finds a maximum clique in polynomial-time.

7.1. The Tetrahedron [8]. We run the program on the graph of the Tetrahedron with n = 4 vertices. The algorithm finds a maximum clique of size k = 4.

 graph.txt 4 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0
 clique.txt Clique ( 4 ): 1 2 3 4

7.2. The Complement of the Kuratowski Bipartite Graph K3, 3 [9]. We run the program on the complement of the Kuratowski bipartite graph K3, 3 with n = 6 vertices. The algorithm finds a maximum clique of size k = 3.

 graph.txt 6 0 1 1 0 0 0  1 0 1 0 0 0  1 1 0 0 0 0  0 0 0 0 1 1  0 0 0 1 0 1  0 0 0 1 1 0
 clique.txt Clique ( 3 ): 1 2 3

7.3. The Octahedron [8]. We run the program on the graph of the Octahedron with n = 6 vertices. The algorithm finds a maximum clique of size k = 3.

 graph.txt 6 0 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 0
 clique.txt Clique ( 3 ): 2 4 6

7.4. The Complement of the Bondy-Murty Graph G1 [4]. We run the program on the complement of the Bondy-Murty graph G1 with n = 7 vertices. The algorithm finds a maximum clique of size k = 3.

 graph.txt 7 0 0 0 1 0 0 1  0 0 0 0 1 0 1  0 0 0 0 0 1 1  1 0 0 0 1 1 0  0 1 0 1 0 1 0  0 0 1 1 1 0 0  1 1 1 0 0 0 0
 clique.txt Clique ( 3 ): 4 5 6

7.5. The Turán Graph T3, 8 [10]. We run the program on the Turán Graph T3, 8 with n = 8 vertices. The algorithm finds a maximum clique of size k = 3.

 graph.txt 8 0 0 0 1 1 1 1 1  0 0 0 1 1 1 1 1  0 0 0 1 1 1 1 1  1 1 1 0 0 1 1 1  1 1 1 0 0 1 1 1  1 1 1 1 1 0 0 0  1 1 1 1 1 0 0 0  1 1 1 1 1 0 0 0
 clique.txt Clique ( 3 ): 2 4 7

7.6. The Complement of the Cube [8]. We run the program on the complement graph of the Cube with n = 8 vertices. The algorithm finds a maximum clique of size k = 4.

 graph.txt 8 0 0 1 0 1 0 1 1  0 0 0 1 1 1 0 1  1 0 0 0 1 1 1 0  0 1 0 0 0 1 1 1  1 1 1 0 0 0 1 0  0 1 1 1 0 0 0 1  1 0 1 1 1 0 0 0  1 1 0 1 0 1 0 0
 clique.txt Clique ( 4 ): 1 3 5 7

7.7. The Complement of the Petersen Graph [11]. We run the program on the complement of the Petersen graph with n = 10 vertices. The algorithm finds a maximum clique of size k = 4.

 graph.txt 10 0 0 1 1 0 1 0 1 1 1  0 0 0 1 1 1 1 0 1 1  1 0 0 0 1 1 1 1 0 1  1 1 0 0 0 1 1 1 1 0  0 1 1 0 0 0 1 1 1 1  1 1 1 1 0 0 1 0 0 1  0 1 1 1 1 1 0 1 0 0  1 0 1 1 1 0 1 0 1 0  1 1 0 1 1 0 0 1 0 1  1 1 1 0 1 1 0 0 1 0
 clique.txt Clique ( 4 ): 1 3 6 10

7.8. The Complement of the Bondy-Murty graph G2 [4]. We run the program on the complement of the Bondy-Murty graph G2 with n = 11 vertices. The algorithm finds a maximum clique of size k = 4.

 graph.txt 11 0 1 0 0 0 0 1 0 0 0 0  1 0 0 0 0 0 1 0 0 0 0  0 0 0 0 1 1 0 1 1 1 1  0 0 0 0 1 1 0 1 1 1 1  0 0 1 1 0 0 0 1 1 1 1  0 0 1 1 0 0 0 1 1 1 1  1 1 0 0 0 0 0 0 0 0 0  0 0 1 1 1 1 0 0 0 1 1  0 0 1 1 1 1 0 0 0 1 1  0 0 1 1 1 1 0 1 1 0 0  0 0 1 1 1 1 0 1 1 0 0
 clique.txt Clique ( 3 ): 1 2 7  Clique ( 3 ): 1 2 7  Clique ( 4 ): 3 6 8 11

7.9. The Complement of the Grötzsch Graph [12]. We run the program on the complement of the Grötzsch graph with n = 11 vertices. The algorithm finds a maximum clique of size k = 5.

 graph.txt 11 0 0 0 0 0 0 1 1 1 1 1  0 0 1 1 1 1 0 1 0 1 1  0 1 0 1 1 1 1 0 1 0 1  0 1 1 0 1 1 1 1 0 1 0  0 1 1 1 0 1 0 1 1 0 1  0 1 1 1 1 0 1 0 1 1 0  1 0 1 1 0 1 0 0 1 1 0  1 1 0 1 1 0 0 0 0 1 1  1 0 1 0 1 1 1 0 0 0 1  1 1 0 1 0 1 1 1 0 0 0  1 1 1 0 1 0 0 1 1 0 0
 clique.txt Clique ( 5 ): 2 3 4 5 6

7.10. The Complement of the Herschel Graph [13]. We run the program on the complement of the Herschel graph with n = 11 vertices. The algorithm finds a maximum clique of size k = 6.

 graph.txt 11 0 0 1 0 0 1 0 1 1 1 1  0 0 0 1 1 1 1 0 1 1 1  1 0 0 0 1 1 1 1 0 1 1  0 1 0 0 1 1 1 1 1 0 1  0 1 1 1 0 0 1 1 1 0 1  1 1 1 1 0 0 0 1 1 1 0  0 1 1 1 1 0 0 0 1 1 1  1 0 1 1 1 1 0 0 0 1 0  1 1 0 1 1 1 1 0 0 0 1  1 1 1 0 0 1 1 1 0 0 0  1 1 1 1 1 0 1 0 1 0 0
 clique.txt Clique ( 5 ): 1 3 6 8 10  Clique ( 6 ): 2 4 5 7 9 11

7.11. The Icosahedron [8]. We run the program on the graph of the Icosahedron with n = 12 vertices. The algorithm finds a maximum clique of size k = 3.

 graph.txt 12  0 1 1 0 0 1 1 1 0 0 0 0  1 0 1 1 1 1 0 0 0 0 0 0  1 1 0 1 0 0 0 1 1 0 0 0  0 1 1 0 1 0 0 0 1 1 0 0  0 1 0 1 0 1 0 0 0 1 1 0  1 1 0 0 1 0 1 0 0 0 1 0  1 0 0 0 0 1 0 1 0 0 1 1  1 0 1 0 0 0 1 0 1 0 0 1  0 0 1 1 0 0 0 1 0 1 0 1  0 0 0 1 1 0 0 0 1 0 1 1  0 0 0 0 1 1 1 0 0 1 0 1  0 0 0 0 0 0 1 1 1 1 1 0
 clique.txt Clique ( 3 ): 3 4 9

7.12. The Complement of the Bondy-Murty graph G3 [4]. We run the program on the complement of the Bondy-Murty graph G3 with n = 14 vertices. The algorithm finds a maximum clique of size k = 7.

 graph.txt 14 0 1 1 0 1 1 1 0 1 1 1 0 1 1  1 0 0 1 1 1 0 1 1 1 0 1 1 1  1 0 0 0 1 1 1 1 1 1 1 1 1 0  0 1 0 0 0 1 1 1 1 1 1 1 1 1  1 1 1 0 0 0 1 1 1 0 1 1 1 1  1 1 1 1 0 0 0 1 1 1 1 1 0 1  1 0 1 1 1 0 0 0 1 1 1 1 1 1  0 1 1 1 1 1 0 0 0 1 1 1 1 1  1 1 1 1 1 1 1 0 0 0 1 1 1 0  1 1 1 1 0 1 1 1 0 0 0 1 1 1  1 0 1 1 1 1 1 1 1 0 0 0 1 1  0 1 1 1 1 1 1 1 1 1 0 0 0 1  1 1 1 1 1 0 1 1 1 1 1 0 0 0  1 1 0 1 1 1 1 1 0 1 1 1 0 0
 clique.txt Clique ( 7 ): 1 3 5 7 9 11 13

7.13. The Complement of the Bondy-Murty graph G4 [4]. We run the program on the complement of the Bondy-Murty graph G4 with n = 16 vertices. The algorithm finds a maximum clique of size k = 9.

 graph.txt 16 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1  1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1  1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1  1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1  0 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1  1 0 1 1 1 1 0 1 0 1 1 1 1 1 1 1  1 1 1 1 0 1 1 0 1 1 1 0 1 0 1 1  1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1  1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1  1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1  1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1  0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1  1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1  1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0  1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0
 clique.txt Clique ( 9 ): 1 3 4 5 9 10 12 14 16

7.14. The Ramsey Graph R(4,4) [6]. We run the program on the Ramsey graph R(4,4) with n = 17 vertices. The algorithm finds a maximum clique of size k = 3.

 graph.txt 17 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1  1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1  1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0  0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1  1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0  0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0  0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0  0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1  1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1  1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0  0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0  0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0  0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1  1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0  0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1  1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1  1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0
 clique.txt Clique ( 3 ): 3 4 5

7.15. The Complement of the Folkman Graph [14]. We run the program on the complement of the Folkman graph with n = 20 vertices. The algorithm finds a maximum clique of size k = 10.

 graph.txt 20 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0  1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 0 1  1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1  1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 1  1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0  1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 0 1 1 1 0  1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 0 0 1 1 1  1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 1 1  1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 0 0 1  1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 0 0  0 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1  1 0 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1  0 1 0 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1  1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1  1 1 0 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1  1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1  1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1  1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1  0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1  0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0
 clique.txt Clique ( 10 ): 1 2 3 4 5 6 7 8 9 10

7.16. The Complement of the Dodecahedron [8]. We run the program on the complement graph of the Dodecahedron with n = 20 vertices. The algorithm finds a maximum clique of size k = 8.

 graph.txt 20 0 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1  0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1  1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1  1 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1  0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1  1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1  1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1  1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1  1 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0  0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1  1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0  1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 1  1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1  1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0  1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0
 clique.txt Clique ( 8 ): 1 3 6 8 11 13 16 18

7.17. The Complement of the Tutte-Coxeter Graph [15]. We run the program on the complement of the Tutte-Coxeter graph with n = 30 vertices. The algorithm finds a maximum clique of size k = 15.

 graph.txt 30 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0  0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1  1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1  1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1  1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1  1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0  1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1  0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1  1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1  1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1  1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1  1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0  0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0
 clique.txt Clique ( 15 ): 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29

7.18. The Complement of the Thomassen Graph [16]. We run the program on the complement of the Thomassen graph with n = 34 vertices. The algorithm finds a maximum clique of size k = 14.

 graph.txt 34 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 1 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1  1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1  1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 0 1  1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0
 clique.txt Clique ( 14 ): 1 2 8 9 13 15 17 19 21 24 25 29 32 33

7.19. The Complement of the Berge Graph [17]. This is the first benchmark graph with n = 60 vertices, following a construction due to Claude Berge. Let G denote the graph of the Dodecahedron and let H = K3 denote the graph of the Triangle i.e. the clique on three vertices. The Berge graph G×H is defined as the graph whose set of vertices is V(GV(H) with an edge connecting vertex (u1,v1) with vertex (u2,v2) if and only if either u1 = u2  and {v1, v2} is an edge in H or v1 = v2  and {u1, u2} is an edge in G.  It is known that the vertices of the Dodecahedron can be properly coloured with three colours. As a consequence, the complement of the Berge graph should have a clique with at least twenty vertices. Indeed, the algorithm finds a maximum clique of size k = 20.

 clique.txt Clique ( 20 ): 2 6 7 11 15 16 20 22 26 30 32 34 38 40 45 47 51 52 57 58

7.20. The Complement of the Witzel Graph [18]. This is the second benchmark graph with n = 450 vertices, following a construction due to Klaus D. Witzel. Take thirty disjoint cliques on fifteen vertices and connect random pairs of cliques by random edges. Shuffle the labels of the vertices well so that the original cliques are hidden. Provided this is done carefully without adding too many extra edges, such a graph should have a maximum independent set with at least 30 vertices (one vertex from each original clique). Thus, the complement graph should have a maximum clique with at least 30 vertices. Moreover, the maximum clique is well and truly hidden in the complement graph. Indeed, the algorithm finds a maximum clique of size k = 30.

 clique.txt Clique ( 30 ): 5 19 34 55 74 78 97 120 122 142 159 167 186 206 211 227 242 268 280 298 314 329 336 351 364 384 400 411 426 442

### 8. References

[1] R.M. Karp, Reducibility among combinatorial problems, Complexity of Computer Computations, Plenum Press, 1972.
[2] R. Frucht, Graphs of degree three with a given abstract group, Canad. J. Math., 1949.
[3] Stephen Cook, The P versus NP Problem, Official Problem Description, Millennium Problems, Clay Mathematics Institute, 2000.
[4] J.A. Bondy and U.S.R. Murty, Graph Theory with Applications, Elsevier Science Publishing Co., Inc, 1976.
[5] Euclid, Elements, circa 300 B.C.
[6] F.P. Ramsey, On a problem of formal logic, Proc. London Math. Soc., 1930.
[7] Stanley Lippman, Essential C++, Addison-Wesley, 2000.
[8] Plato, Timaeaus, circa 350 B.C.
[9] K. Kuratowski, Sur le problème des courbes gauches en topologie, Fund. Math., 1930.
[10] P. Turán, An extremal problem in graph theory, Mat. Fiz. Lapok, 1941.
[11] J. Petersen, Die Theorie der regulären Graphen, Acta Math., 1891.
[12] H. Grötzsch, Ein Dreifarbensatz für dreikreisfreie Netz auf der Kugel, Z. Martin-Luther-Univ., 1958.
[13] A.S. Herschel, Sir Wm. Hamilton's Icosian Game, Quart. J. Pure Applied Math., 1862.
[14] J. Folkman, Regular line-symmetric graphs, J. Combinatorial Theory, 1967.
[15] H.S.M. Coxeter and W.T. Tutte, The Chords of the Non-Ruled Quadratic in PG(3,3), Canad. J. Math., 1958.
[16] C. Thomassen, Hypohamiltonian and hypotraceable graphs, Discrete Math., 1974.
[17] C. Berge, Graphes et Hypergraphes, Dunod, 1970.
[18] Klaus D. Witzel, Personal Communication, 2006.