public void BalanceTwice()
{
g = GraphFactory.UnBalancedFlow();
algo = new GraphBalancerAlgorithm(g, Traversal.FirstVertex(g), Traversal.FirstVertex(g));
algo.Balance();
algo.Balance();
}
public void BalanceUnBalancedFlowGraph()
{
g = GraphFactory.UnBalancedFlow();
IVertex source = null;
IVertex sink = null;
foreach (IVertex v in g.Vertices)
{
if (g.InDegree(v) == 0)
{
source = v;
continue;
}
if (g.OutDegree(v) == 0)
{
sink = v;
continue;
}
}
Assert.IsNotNull(source);
Assert.IsNotNull(sink);
int vertexCount = g.VerticesCount;
int edgeCount = g.EdgesCount;
algo = new GraphBalancerAlgorithm(g,source, sink);
algo.DeficientVertexAdded+=new VertexEventHandler(algo_DeficientVertexAdded);
algo.SurplusVertexAdded+=new VertexEventHandler(algo_SurplusVertexAdded);
algo.Balance();
VerifyBalanced(vertexCount, edgeCount);
}
public static BidirectionalGraph Simple()
{
// create a new adjacency graph
BidirectionalGraph g = new BidirectionalGraph(
new NamedVertexProvider(),
new EdgeProvider(),
false);
NamedVertex u = (NamedVertex)g.AddVertex(); u.Name = "u";
NamedVertex w = (NamedVertex)g.AddVertex(); w.Name = "w";
NamedVertex x = (NamedVertex)g.AddVertex(); x.Name = "x";
NamedVertex y = (NamedVertex)g.AddVertex(); y.Name = "y";
NamedVertex z = (NamedVertex)g.AddVertex(); z.Name = "z";
NamedVertex v = (NamedVertex)g.AddVertex(); v.Name = "v";
g.AddEdge(u,x);
g.AddEdge(u,v);
g.AddEdge(w,z);
g.AddEdge(w,y);
g.AddEdge(w,u);
g.AddEdge(x,v);
g.AddEdge(v,y);
g.AddEdge(y,x);
g.AddEdge(z,y);
return g;
}
public static BidirectionalGraph CreateCyclicGraph(
VertexAndEdgeProvider provider_iVertexAndEdgeProvider,
bool allowParallelEdges_b,
int numberOfVertices)
{
PexAssume.IsTrue(numberOfVertices < 50);
BidirectionalGraph biGraph
= new BidirectionalGraph(provider_iVertexAndEdgeProvider, allowParallelEdges_b);
IVertex u = biGraph.AddVertex();
IVertex v = biGraph.AddVertex();
IVertex w = biGraph.AddVertex();
biGraph.AddEdge(u, v);
biGraph.AddEdge(v, w);
biGraph.AddEdge(w, u);
//Adding remaining number of vertices
for (int count = 3; count < numberOfVertices; count++)
{
biGraph.AddVertex();
}
return biGraph;
}
public static BidirectionalGraph FileDependency()
{
// create a new adjacency graph
BidirectionalGraph g = new BidirectionalGraph(
new NamedVertexProvider(),
new EdgeProvider(),
false);
// adding files and storing names
NamedVertex zig_cpp = (NamedVertex)g.AddVertex();
zig_cpp.Name = "zip.cpp";
NamedVertex boz_h = (NamedVertex)g.AddVertex();
boz_h.Name="boz.h";
NamedVertex zag_cpp = (NamedVertex)g.AddVertex();
zag_cpp.Name="zag.cpp";
NamedVertex yow_h = (NamedVertex)g.AddVertex(); yow_h.Name="yow.h";
NamedVertex dax_h = (NamedVertex)g.AddVertex(); dax_h.Name="dax.h";
NamedVertex bar_cpp = (NamedVertex)g.AddVertex(); bar_cpp.Name="bar.cpp";
NamedVertex zow_h = (NamedVertex)g.AddVertex(); zow_h.Name="zow.h";
NamedVertex foo_cpp = (NamedVertex)g.AddVertex(); foo_cpp.Name="foo.cpp";
NamedVertex zig_o = (NamedVertex)g.AddVertex(); zig_o.Name="zig.o";
NamedVertex zag_o = (NamedVertex)g.AddVertex(); zag_o.Name="zago";
NamedVertex bar_o = (NamedVertex)g.AddVertex(); bar_o.Name="bar.o";
NamedVertex foo_o = (NamedVertex)g.AddVertex(); foo_o.Name="foo.o";
NamedVertex libzigzag_a = (NamedVertex)g.AddVertex();libzigzag_a.Name="libzigzig.a";
NamedVertex libfoobar_a = (NamedVertex)g.AddVertex();libfoobar_a.Name="libfoobar.a";
NamedVertex killerapp = (NamedVertex)g.AddVertex(); killerapp.Name="killerapp";
// adding dependencies
g.AddEdge(dax_h, foo_cpp);
g.AddEdge(dax_h, bar_cpp);
g.AddEdge(dax_h, yow_h);
g.AddEdge(yow_h, bar_cpp);
g.AddEdge(yow_h, zag_cpp);
g.AddEdge(boz_h, bar_cpp);
g.AddEdge(boz_h, zig_cpp);
g.AddEdge(boz_h, zag_cpp);
g.AddEdge(zow_h, foo_cpp);
g.AddEdge(foo_cpp, foo_o);
g.AddEdge(foo_o, libfoobar_a);
g.AddEdge(bar_cpp, bar_o);
g.AddEdge(bar_o, libfoobar_a);
g.AddEdge(libfoobar_a, libzigzag_a);
g.AddEdge(zig_cpp, zig_o);
g.AddEdge(zig_o, libzigzag_a);
g.AddEdge(zag_cpp, zag_o);
g.AddEdge(zag_o, libzigzag_a);
g.AddEdge(libzigzag_a, killerapp);
return g;
}
public MinimumFlowAlgorithm(BidirectionalGraph visitedGraph)
{
if (visitedGraph == null)
throw new ArgumentNullException("visitedGraph");
if (capacities == null)
throw new ArgumentNullException("capacities");
this.visitedGraph = visitedGraph;
this.capacities = new EdgeDoubleDictionary();
foreach (IEdge edge in this.visitedGraph.Edges)
this.capacities.Add(edge, double.MaxValue);
this.Initialize();
}
public MinimumFlowAlgorithm(
BidirectionalGraph visitedGraph,
EdgeDoubleDictionary capacities)
{
if (visitedGraph == null)
throw new ArgumentNullException("visitedGraph");
if (capacities == null)
throw new ArgumentNullException("capacities");
this.visitedGraph = visitedGraph;
this.capacities = capacities;
this.Initialize();
}
public MinimumFlowAlgorithm(BidirectionalGraph visitedGraph, EdgeDoubleDictionary capacities)
{
this.reverser = null;
this.balancer = null;
this.maxFlowF1 = null;
this.maxFlowf2 = null;
if (visitedGraph == null)
{
throw new ArgumentNullException("visitedGraph");
}
if (capacities == null)
{
throw new ArgumentNullException("capacities");
}
this.visitedGraph = visitedGraph;
this.capacities = capacities;
this.Initialize();
}
public static void BasicTest()
{
BidirectionalGraph gA = new BidirectionalGraph(false);
BidirectionalGraph gB = new BidirectionalGraph(false);
IVertex a1 = gA.AddVertex();
IVertex a2 = gA.AddVertex();
IVertex a3 = gA.AddVertex();
IVertex a4 = gA.AddVertex();
gA.AddEdge(a1,a2);
gA.AddEdge(a2,a3);
gA.AddEdge(a3,a1);
gA.AddEdge(a3,a4);
SimilarityMatrix similarity = new SimilarityMatrix(gA);
WriteMatrix(similarity.Matrix);
}
public static BidirectionalGraph Loop()
{
// create a new adjacency graph
BidirectionalGraph g = new BidirectionalGraph(
new NamedVertexProvider(),
new EdgeProvider(),
false);
NamedVertex x = (NamedVertex)g.AddVertex(); x.Name = "x";
NamedVertex y = (NamedVertex)g.AddVertex(); y.Name = "y";
NamedVertex z = (NamedVertex)g.AddVertex(); z.Name = "z";
g.AddEdge(x,y);
g.AddEdge(y,z);
g.AddEdge(z,x);
return g;
}
public static BidirectionalGraph UnBalancedFlow()
{
// create a new adjacency graph
BidirectionalGraph g = new BidirectionalGraph(
new NamedVertexProvider(),
new EdgeProvider(),
false);
NamedVertex x = (NamedVertex)g.AddVertex(); x.Name = "x";
NamedVertex y = (NamedVertex)g.AddVertex(); y.Name = "y";
NamedVertex z = (NamedVertex)g.AddVertex(); z.Name = "z";
NamedVertex w = (NamedVertex)g.AddVertex(); w.Name = "w";
g.AddEdge(x, y);
g.AddEdge(x, z);
g.AddEdge(y, z);
g.AddEdge(x, w);
g.AddEdge(w, y);
g.AddEdge(w, z);
return g;
}
public MinimumFlowAlgorithm(BidirectionalGraph visitedGraph)
{
this.reverser = null;
this.balancer = null;
this.maxFlowF1 = null;
this.maxFlowf2 = null;
if (visitedGraph == null)
{
throw new ArgumentNullException("visitedGraph");
}
if (this.capacities == null)
{
throw new ArgumentNullException("capacities");
}
this.visitedGraph = visitedGraph;
this.capacities = new EdgeDoubleDictionary();
VertexEdgesEnumerator enumerator = this.visitedGraph.Edges.GetEnumerator();
while (enumerator.MoveNext())
{
IEdge edge = enumerator.get_Current();
this.capacities.Add(edge, double.MaxValue);
}
this.Initialize();
}
public void ConstructorWithNullSink()
{
g = GraphFactory.UnBalancedFlow();
Vertex v = new Vertex();
new GraphBalancerAlgorithm(g, Traversal.FirstVertex(g),null);
}
public void GenerateGraph()
{
this.vertexIndices = new Hashtable();
// create a new adjacency graph
this.graph = new BidirectionalGraph(
new NamedVertexProvider(),
new EdgeProvider(),
false);
int rows = this.Rows;
int columns = this.Columns;
// adding vertices
for(int i=0;i<rows;++i)
{
for(int j=0;j<columns;++j)
{
NamedVertex v =(NamedVertex)this.graph.AddVertex();
v.Name = String.Format("{0},{1}",i.ToString(),j.ToString());
latice[i,j] = v;
vertexIndices[v]=new DictionaryEntry(i,j);
}
}
// adding edges
for(int i =0;i<rows-1;++i)
{
for(int j=0;j<columns-1;++j)
{
this.graph.AddEdge(latice[i,j], latice[i,j+1]);
this.graph.AddEdge(latice[i,j+1], latice[i,j]);
this.graph.AddEdge(latice[i,j], latice[i+1,j]);
this.graph.AddEdge(latice[i+1,j], latice[i,j]);
}
}
for(int j=0;j<columns-1;++j)
{
this.graph.AddEdge(latice[rows-1,j], latice[rows-1,j+1]);
this.graph.AddEdge(latice[rows-1,j+1], latice[rows-1,j]);
}
for(int i=0;i<rows-1;++i)
{
this.graph.AddEdge(latice[i,columns-1], latice[i+1,columns-1]);
this.graph.AddEdge(latice[i+1,columns-1], latice[i,columns-1]);
}
}
public void RemoveEdgeIf(BidirectionalGraph g)
{
IEdge e = RandomGraph.Edge(g, Rnd);
g.RemoveEdgeIf(new DummyEdgeEqualPredicate(e,false));
g.RemoveEdgeIf(new DummyEdgeEqualPredicate(e,true));
}
public void Init()
{
parents = new VertexVertexDictionary();
discoverTimes = new VertexIntDictionary();
finishTimes = new VertexIntDictionary();
time = 0;
g = new BidirectionalGraph(true);
dfs = new UndirectedDepthFirstSearchAlgorithm(g);
dfs.StartVertex += new VertexEventHandler(this.StartVertex);
dfs.DiscoverVertex += new VertexEventHandler(this.DiscoverVertex);
dfs.ExamineEdge += new EdgeEventHandler(this.ExamineEdge);
dfs.TreeEdge += new EdgeEventHandler(this.TreeEdge);
dfs.BackEdge += new EdgeEventHandler(this.BackEdge);
dfs.FinishVertex += new VertexEventHandler(this.FinishVertex);
}
public static BidirectionalGraph RegularLattice(int rows, int columns)
{
// create a new adjacency graph
BidirectionalGraph g = new BidirectionalGraph(
new NamedVertexProvider(),
new EdgeProvider(),
false);
NamedVertex[,] latice = new NamedVertex[rows,columns];
// adding vertices
for(int i=0;i<rows;++i)
{
for(int j=0;j<columns;++j)
{
latice[i,j] = (NamedVertex)g.AddVertex();
latice[i,j].Name = String.Format("{0},{1}",i.ToString(),j.ToString());
}
}
// adding edges
for(int i =0;i<rows-1;++i)
{
for(int j=0;j<columns-1;++j)
{
g.AddEdge(latice[i,j], latice[i,j+1]);
g.AddEdge(latice[i,j+1], latice[i,j]);
g.AddEdge(latice[i,j], latice[i+1,j]);
g.AddEdge(latice[i+1,j], latice[i,j]);
}
}
for(int j=0;j<columns-1;++j)
{
g.AddEdge(latice[rows-1,j], latice[rows-1,j+1]);
g.AddEdge(latice[rows-1,j+1], latice[rows-1,j]);
}
for(int i=0;i<rows-1;++i)
{
g.AddEdge(latice[i,columns-1], latice[i+1,columns-1]);
g.AddEdge(latice[i+1,columns-1], latice[i,columns-1]);
}
return g;
}
public void ConstructorWithSourceNotPartOfTheGraph()
{
g = GraphFactory.UnBalancedFlow();
Vertex v = new Vertex();
new GraphBalancerAlgorithm(g, v, Traversal.FirstVertex(g));
}
public static AdjacencyGraph Fsm()
{
// create a new adjacency graph
AdjacencyGraph g = new BidirectionalGraph(
new NamedVertexProvider(),
new NamedEdgeProvider(),
true);
NamedEdge e=null;
NamedVertex s0 = (NamedVertex)g.AddVertex(); s0.Name="S0";
NamedVertex s1 = (NamedVertex)g.AddVertex(); s1.Name="S1";
NamedVertex s2 = (NamedVertex)g.AddVertex(); s2.Name="S2";
NamedVertex s3 = (NamedVertex)g.AddVertex(); s3.Name="S3";
NamedVertex s4 = (NamedVertex)g.AddVertex(); s4.Name="S4";
NamedVertex s5 = (NamedVertex)g.AddVertex(); s5.Name="S5";
e=(NamedEdge)g.AddEdge(s0,s1); e.Name="StartCalc";
e=(NamedEdge)g.AddEdge(s1,s0); e.Name="StopCalc";
e=(NamedEdge)g.AddEdge(s1,s1); e.Name="SelectStandard";
e=(NamedEdge)g.AddEdge(s1,s1); e.Name="ClearDisplay";
e=(NamedEdge)g.AddEdge(s1,s2); e.Name="SelectScientific";
e=(NamedEdge)g.AddEdge(s1,s3); e.Name="EnterDecNumber";
e=(NamedEdge)g.AddEdge(s2,s1); e.Name="SelectStandard";
e=(NamedEdge)g.AddEdge(s2,s2); e.Name="SelectScientific";
e=(NamedEdge)g.AddEdge(s2,s2); e.Name="ClearDisplay";
e=(NamedEdge)g.AddEdge(s2,s4); e.Name="EnterDecNumber";
e=(NamedEdge)g.AddEdge(s2,s5); e.Name="StopCalc";
e=(NamedEdge)g.AddEdge(s3,s0); e.Name="StopCalc";
e=(NamedEdge)g.AddEdge(s3,s1); e.Name="ClearDisplay";
e=(NamedEdge)g.AddEdge(s3,s3); e.Name="SelectStandard";
e=(NamedEdge)g.AddEdge(s3,s3); e.Name="EnterDecNumber";
e=(NamedEdge)g.AddEdge(s3,s4); e.Name="SelectScientific";
e=(NamedEdge)g.AddEdge(s4,s2); e.Name="ClearDisplay";
e=(NamedEdge)g.AddEdge(s4,s3); e.Name="SelectStandard";
e=(NamedEdge)g.AddEdge(s4,s4); e.Name="SelectScientific";
e=(NamedEdge)g.AddEdge(s4,s4); e.Name="EnterDecNumber";
e=(NamedEdge)g.AddEdge(s4,s5); e.Name="StopCalc";
e=(NamedEdge)g.AddEdge(s5,s2); e.Name="StartCalc";
return g;
}
public void UnBalanceBeforeBalancing()
{
g = GraphFactory.UnBalancedFlow();
algo = new GraphBalancerAlgorithm(g, Traversal.FirstVertex(g), Traversal.FirstVertex(g));
algo.UnBalance();
}
