» ASP Competition | |
|
Maximal Clique ProblemProblem descriptionThis is the problem of finding a maximal clique C in an undirected graph G. I.e., for each other clique C' in G, the number of nodes in C should be larger than the number of nodes in C'. Input formatAs input, a directed graph is given. A solution is the largest clique in the symmetric closure of this input graph.The nodes of the input graph are given by facts of the form node(i). The edges of the graph are given by facts of the form edge(i,j). The following is an example input: Output formatThe output should consist of a set of facts of the formclique(i). The set of all 'i' that appear in such a fact, should form a maximal clique in the symmetric closure of the input graph. For the above example, the only correct output is Author: Johan Wittocx |