private void CheckAndWriteOutput(Graph g, string additionalInfo = "")
{
if (additionalInfo != "")
{
output.WriteLine(additionalInfo);
}
Stopwatch sw = new();
sw.Reset();
sw.Start();
var brut = new BruteForce().ThreeColorig(g);
sw.Stop();
output.WriteLine($"Graph with {g.VerticesCount} vertices:");
var found = brut == null ? "No" : "Yes";
output.WriteLine($"Brute time: {sw.Elapsed}. Found: {found}");
sw.Reset();
sw.Start();
var super = new CspColoring().ThreeColorig(g);
sw.Stop();
found = super == null ? "No" : "Yes";
output.WriteLine($"CSP time: {sw.Elapsed}. Found: {found}");
output.WriteLine("-----------------------------------------------");
if (brut == null)
{
Assert.Null(super);
}
else
{
ColoringTestUtils.CheckColoringCorrectness(g, super);
}
}
public static void CheckAndWriteOutput(Graph g)
{
Stopwatch sw = new();
sw.Reset();
sw.Start();
var super = new CspColoring().ThreeColorig(g);
sw.Stop();
var found = super == null ? "No" : "Yes";
if (super != null)
{
ColoringTestUtils.CheckColoringCorrectness(g, super);
}
File.AppendAllLines(@"..\result.txt", new string[]
{ $"Graph with {g.VerticesCount} vertices:"
, $"CSP time: {sw.Elapsed}. Found: {found}"
, "-----------------------------------------------" });
}
public void TestColoringSuccesfull(Graph g)
{
var coloring = new CspColoring().ThreeColorig(g);
ColoringTestUtils.CheckColoringCorrectness(g, coloring);
}
