private static void Test2() { Graph g = new Graph(3, new Edge(0, 2), new Edge(0, 1), new Edge(1, 2)); ThreeColoringCNFSentence cnf = new ThreeColoringCNFSentence(g); KColoringCNFSentence cnfK = new KColoringCNFSentence(g, 3); Console.WriteLine(cnf.ToDIMACS()); Console.WriteLine(); Console.WriteLine(cnfK.ToDIMACS()); Console.ReadLine(); }
static void Main(string[] args) { Graph graph3b = new Graph(7, Edge.FromChars('a', 'b'), Edge.FromChars('a', 'c'), Edge.FromChars('a', 'g'), Edge.FromChars('b', 'c'), Edge.FromChars('b', 'd'), Edge.FromChars('c', 'd'), Edge.FromChars('d', 'e'), Edge.FromChars('d', 'f'), Edge.FromChars('e', 'f'), Edge.FromChars('e', 'g'), Edge.FromChars('f', 'g')); Graph graph3c = new Graph(7, Edge.FromChars('a', 'b'), // Edge.FromChars('a', 'c'), Edge.FromChars('a', 'g'), Edge.FromChars('b', 'c'), Edge.FromChars('b', 'd'), Edge.FromChars('c', 'd'), Edge.FromChars('d', 'e'), Edge.FromChars('d', 'f'), Edge.FromChars('e', 'f'), Edge.FromChars('e', 'g'), Edge.FromChars('f', 'g')); ThreeColoringCNFSentence sentence3b = new ThreeColoringCNFSentence(graph3b); KColoringCNFSentence sentence3bK = new KColoringCNFSentence(graph3b, 3); ThreeColoringCNFSentence sentence3c = new ThreeColoringCNFSentence(graph3c); SaveCNF("week1_3b", sentence3b.ToDIMACS()); SaveCNF("week1_3c", sentence3c.ToDIMACS()); Console.WriteLine(sentence3b.ToDIMACS()); Console.WriteLine(); Console.WriteLine(sentence3bK.ToDIMACS()); Console.ReadLine(); }