aboutsummaryrefslogtreecommitdiff
path: root/tests/functional/15_graph_coloring.sy
blob: 6e28be57d3015c357594b6e8cde22764c2429da2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
const int V = 4;
const int space = 32;
const int LF = 10;

void printSolution(int color[]) {
  int i = 0;
  while (i < V) {
    putint(color[i]);
    putch(space);
    i = i + 1;
  }
  putch(LF);
}

void printMessage() {
  putch(78);putch(111);putch(116);
  putch(space);
  putch(101);putch(120);putch(105);putch(115);putch(116);
}

int isSafe(int graph[][V], int color[]) {
  int i = 0;
  while (i < V) {
    int j = i + 1;
    while (j < V) {
      if (graph[i][j] && color[j] == color[i])
        return 0;
      j = j + 1;
    }
    i = i + 1;
  }
  return 1;
}

int graphColoring(int graph[][V], int m, int i, int color[]) {
  if (i == V) {
    if (isSafe(graph, color)) {
      printSolution(color);
      return 1;
    }
    return 0;
  }
  int j = 1;
  while (j <= m) {
    color[i] = j;
    if (graphColoring(graph, m, i + 1, color))
      return 1;
    color[i] = 0;
    j = j + 1;
  }
  return 0;
}

int main() {
  int graph[V][V] = {
    {0, 1, 1, 1},
    {1, 0, 1, 0},
    {1, 1, 0, 1},
    {1, 0, 1, 0}
  }, m = 3;
  int color[V], i = 0;
  while (i < V) {
    color[i] = 0;
    i = i + 1;
  }
  if (!graphColoring(graph, m, 0, color))
    printMessage();
  return 0;
}