public void GetVertexCountTest()
{
int n = 10;
Graph g = new Graph(n);
MockRefiner refiner = new MockRefiner(g);
Assert.AreEqual(g.vertexCount, refiner.GetVertexCount());
}
public void SetupTest()
{
int n = 5;
PermutationGroup group = new PermutationGroup(n);
Graph g = new Graph(n);
MockRefiner refiner = new MockRefiner(g);
Setup(refiner, group, g);
Assert.AreEqual(group, refiner.GetAutomorphismGroup());
}
public void GetConnectivityTest()
{
int n = 3;
Graph g = new Graph(n)
{
connectionTable = new int[][] { new[] { 0, 1, 0 }, new[] { 1, 0, 1 }, new[] { 0, 1, 0 } }
};
MockRefiner refiner = new MockRefiner(g);
Assert.AreEqual(1, refiner.GetConnectivity(0, 1));
}
public void GetGroupTest()
{
int n = 3;
Graph g = new Graph(n)
{
connectionTable = new int[][] { new[] { 0, 1, 0 }, new[] { 1, 0, 1 }, new[] { 0, 1, 0 } }
};
PermutationGroup group = new PermutationGroup(n);
MockRefiner refiner = new MockRefiner(g);
Setup(refiner, group, g);
Assert.IsNotNull(refiner.GetAutomorphismGroup());
}
public void RefineTest()
{
int n = 3;
Graph g = new Graph(n)
{
connectionTable = new int[][] { new[] { 0, 1, 1 }, new[] { 1, 0, 0 }, new[] { 1, 0, 0 } }
};
PermutationGroup group = new PermutationGroup(n);
MockRefiner refiner = new MockRefiner(g);
Setup(refiner, group, g);
refiner.Refine(Partition.Unit(n));
Assert.IsNotNull(refiner);
}
public void GetFirstTest()
{
int n = 3;
Graph g = new Graph(n)
{
connectionTable = new int[][] { new[] { 0, 1, 0 }, new[] { 1, 0, 1 }, new[] { 0, 1, 0 } }
};
PermutationGroup group = new PermutationGroup(n);
MockRefiner refiner = new MockRefiner(g);
Setup(refiner, group, g);
refiner.Refine(Partition.Unit(n));
Permutation first = refiner.GetFirst();
Permutation expected = new Permutation(1, 0, 2);
Assert.AreEqual(expected, first);
}
public void GetFirstHalfMatrixStringTest()
{
int n = 3;
Graph g = new Graph(n)
{
connectionTable = new int[][] { new[] { 0, 0, 1 }, new[] { 0, 0, 1 }, new[] { 1, 1, 0 } }
};
PermutationGroup group = new PermutationGroup(n);
MockRefiner refiner = new MockRefiner(g);
Setup(refiner, group, g);
refiner.Refine(Partition.Unit(n));
string hms = refiner.GetFirstHalfMatrixString();
string expected = "110";
Assert.AreEqual(expected, hms);
}
public void GetAutomorphismPartitionTest()
{
int n = 3;
Graph g = new Graph(n)
{
connectionTable = new int[][] { new[] { 0, 1, 1 }, new[] { 1, 0, 0 }, new[] { 1, 0, 0 } }
};
PermutationGroup group = new PermutationGroup(n);
MockRefiner refiner = new MockRefiner(g);
Setup(refiner, group, g);
refiner.Refine(Partition.Unit(n));
Partition autPartition = refiner.GetAutomorphismPartition();
Partition expected = Partition.FromString("0|1,2");
Assert.AreEqual(expected, autPartition);
}
private void Setup(MockRefiner refiner, PermutationGroup group, Graph g)
{
refiner.Setup(group, new EquitablePartitionRefiner(new GraphRefinable(g)));
}
public void EmptyConstructor()
{
MockRefiner refiner = new MockRefiner(null);
Assert.IsNotNull(refiner);
}
