/// <summary>
/// Executes the CH contractions while verifying each step.
/// </summary>
/// <param name="stream"></param>
public void DoTestCHSparseVerifiedContraction(Stream stream)
{
_pathsBeforeContraction = new Dictionary <uint, Dictionary <uint, Dictionary <uint, PathSegment <long> > > >();
_interpreter = new OsmRoutingInterpreter();
var tagsIndex = new TagsTableCollectionIndex();
// do the data processing.
_data = new DynamicGraphRouterDataSource <CHEdgeData>(new MemoryDirectedGraph <CHEdgeData>(), tagsIndex);
var targetData = new CHEdgeGraphOsmStreamTarget(
_data, _interpreter, tagsIndex, Vehicle.Car);
var dataProcessorSource = new XmlOsmStreamSource(stream);
var sorter = new OsmStreamFilterSort();
sorter.RegisterSource(dataProcessorSource);
targetData.RegisterSource(sorter);
targetData.Pull();
// do the pre-processing part.
var witnessCalculator = new DykstraWitnessCalculator();
var preProcessor = new CHPreProcessor(_data,
new EdgeDifferenceContractedSearchSpace(_data, witnessCalculator), witnessCalculator);
preProcessor.OnBeforeContractionEvent += new CHPreProcessor.VertexDelegate(pre_processor_OnBeforeContractionEvent);
preProcessor.OnAfterContractionEvent += new CHPreProcessor.VertexDelegate(pre_processor_OnAfterContractionEvent);
preProcessor.Start();
}
/// <summary>
/// Returns a new router.
/// </summary>
/// <param name="interpreter"></param>
/// <param name="embeddedName"></param>
/// <param name="contract"></param>
/// <returns></returns>
public override Router BuildRouter(IOsmRoutingInterpreter interpreter, string embeddedName, bool contract)
{
if (_data == null)
{
_data = new Dictionary <string, DynamicGraphRouterDataSource <CHEdgeData> >();
}
DynamicGraphRouterDataSource <CHEdgeData> data = null;
if (!_data.TryGetValue(embeddedName, out data))
{
var tagsIndex = new TagsTableCollectionIndex();
// do the data processing.
data =
new DynamicGraphRouterDataSource <CHEdgeData>(tagsIndex);
var targetData = new CHEdgeGraphOsmStreamTarget(
data, interpreter, tagsIndex, Vehicle.Car);
var dataProcessorSource = new XmlOsmStreamSource(
Assembly.GetExecutingAssembly().GetManifestResourceStream(string.Format(
"OsmSharp.Test.Unittests.{0}", embeddedName)));
var sorter = new OsmStreamFilterSort();
sorter.RegisterSource(dataProcessorSource);
targetData.RegisterSource(sorter);
targetData.Pull();
// do the pre-processing part.
var preProcessor = new CHPreProcessor(data,
new SparseOrdering(data), new DykstraWitnessCalculator());
preProcessor.Start();
_data[embeddedName] = data;
}
return(Router.CreateCHFrom(data, new CHRouter(), interpreter));
}
/// <summary>
/// Preprocesses the data from the given OsmStreamReader and converts it directly to a routable data source.
/// </summary>
/// <param name="reader"></param>
/// <param name="tagsIndex"></param>
/// <param name="interpreter"></param>
/// <param name="vehicle"></param>
/// <param name="leaveReverseEdges"></param>
/// <returns></returns>
public static DynamicGraphRouterDataSource <CHEdgeData> Preprocess(OsmStreamSource reader,
ITagsIndex tagsIndex,
IOsmRoutingInterpreter interpreter,
Vehicle vehicle,
bool leaveReverseEdges)
{
// pull in the data.
var dynamicGraphRouterDataSource =
new DynamicGraphRouterDataSource <CHEdgeData>(tagsIndex);
var targetData = new CHEdgeGraphOsmStreamTarget(
dynamicGraphRouterDataSource, interpreter, tagsIndex, vehicle);
targetData.RegisterSource(reader);
targetData.Pull();
// compress the graph.
INodeWitnessCalculator witnessCalculator = new DykstraWitnessCalculator();
var edgeDifference = new EdgeDifference(
dynamicGraphRouterDataSource, witnessCalculator);
var preProcessor = new CHPreProcessor(
dynamicGraphRouterDataSource, edgeDifference, witnessCalculator);
preProcessor.Start();
return(dynamicGraphRouterDataSource);
}
public void TestVerifiedContraction4ReplacePrevious()
{
var graph = new MemoryDirectedGraph <CHEdgeData>();
var vertex1 = graph.AddVertex(1, 0);
var vertex2 = graph.AddVertex(2, 0);
var vertex3 = graph.AddVertex(3, 0);
var vertex4 = graph.AddVertex(4, 0);
graph.AddEdge(vertex1, vertex4, new CHEdgeData(1, true, true, true, 15));
graph.AddEdge(vertex4, vertex1, new CHEdgeData(1, false, true, true, 15));
graph.AddEdge(vertex2, vertex4, new CHEdgeData(1, true, true, true, 15));
graph.AddEdge(vertex4, vertex2, new CHEdgeData(1, false, true, true, 15));
var witnessCalculator = new DykstraWitnessCalculator();
var preProcessor = new CHPreProcessor(graph,
new EdgeDifferenceContractedSearchSpace(graph, witnessCalculator), witnessCalculator);
preProcessor.Contract(4);
Assert.IsTrue(graph.ContainsEdge(vertex1, vertex2, new CHEdgeData(4, true, true, 30)));
Assert.IsTrue(graph.ContainsEdge(vertex2, vertex1, new CHEdgeData(4, true, true, 30)));
// add edges later to prevent witnesses from being found!
graph.AddEdge(vertex1, vertex3, new CHEdgeData(1, true, true, true, 10));
graph.AddEdge(vertex3, vertex1, new CHEdgeData(1, false, true, true, 10));
graph.AddEdge(vertex2, vertex3, new CHEdgeData(1, true, true, true, 10));
graph.AddEdge(vertex3, vertex2, new CHEdgeData(1, false, true, true, 10));
preProcessor.Contract(3);
Assert.IsTrue(graph.ContainsEdge(vertex1, vertex2, new CHEdgeData(3, true, true, 20)));
Assert.IsTrue(graph.ContainsEdge(vertex2, vertex1, new CHEdgeData(3, true, true, 20)));
}
/// <summary>
/// Executes the CH contractions while verifying each step.
/// </summary>
/// <param name="stream"></param>
public void DoTestCHSparseVerifiedContraction(Stream stream)
{
_interpreter = new OsmRoutingInterpreter();
var tagsIndex = new SimpleTagsIndex();
// do the data processing.
_data = new DynamicGraphRouterDataSource <CHEdgeData>(tagsIndex);
var targetData = new CHEdgeGraphOsmStreamWriter(
_data, _interpreter, _data.TagsIndex, Vehicle.Car);
var dataProcessorSource = new XmlOsmStreamSource(stream);
var sorter = new OsmStreamFilterSort();
sorter.RegisterSource(dataProcessorSource);
targetData.RegisterSource(sorter);
targetData.Pull();
// do the pre-processing part.
//INodeWitnessCalculator witness_calculator = new CHRouterWitnessCalculator(_data);
INodeWitnessCalculator witnessCalculator = new DykstraWitnessCalculator(_data);
var preProcessor = new CHPreProcessor(_data,
new EdgeDifferenceContractedSearchSpace(_data, witnessCalculator), witnessCalculator);
preProcessor.OnBeforeContractionEvent += new CHPreProcessor.VertexDelegate(pre_processor_OnBeforeContractionEvent);
preProcessor.OnAfterContractionEvent += new CHPreProcessor.VertexDelegate(pre_processor_OnAfterContractionEvent);
preProcessor.Start();
}
public void TestVerifiedContraction6DuplicateForward()
{
var graph = new MemoryDirectedGraph <CHEdgeData>();
var witnessCalculator = new DykstraWitnessCalculator();
var preProcessor = new CHPreProcessor(graph,
new EdgeDifferenceContractedSearchSpace(graph, witnessCalculator), witnessCalculator);
var vertex1 = graph.AddVertex(1, 0);
var vertex2 = graph.AddVertex(2, 0);
var vertex3 = graph.AddVertex(3, 0);
var vertex4 = graph.AddVertex(4, 0);
graph.AddEdge(vertex1, vertex3, new CHEdgeData(1, true, false, true, 10));
graph.AddEdge(vertex3, vertex1, new CHEdgeData(1, false, true, false, 10));
graph.AddEdge(vertex2, vertex3, new CHEdgeData(1, true, true, false, 10));
graph.AddEdge(vertex3, vertex2, new CHEdgeData(1, false, false, true, 10));
graph.AddEdge(vertex1, vertex4, new CHEdgeData(1, true, true, false, 15));
graph.AddEdge(vertex4, vertex1, new CHEdgeData(1, false, false, true, 15));
graph.AddEdge(vertex2, vertex4, new CHEdgeData(1, true, false, true, 15));
graph.AddEdge(vertex4, vertex2, new CHEdgeData(1, false, true, false, 15));
preProcessor.Contract(3);
Assert.IsTrue(graph.ContainsEdge(vertex1, vertex2, new CHEdgeData(3, false, true, 20)));
Assert.IsTrue(graph.ContainsEdge(vertex2, vertex1, new CHEdgeData(3, true, false, 20)));
preProcessor.Contract(4);
Assert.IsTrue(graph.ContainsEdge(vertex1, vertex2, new CHEdgeData(4, true, false, 30)));
Assert.IsTrue(graph.ContainsEdge(vertex2, vertex1, new CHEdgeData(4, false, true, 30)));
Assert.IsTrue(graph.ContainsEdge(vertex1, vertex2, new CHEdgeData(3, false, true, 20)));
Assert.IsTrue(graph.ContainsEdge(vertex2, vertex1, new CHEdgeData(3, true, false, 20)));
}
/// <summary>
/// Creates a router.
/// </summary>
/// <param name="interpreter"></param>
/// <param name="manifestResourceName"></param>
/// <returns></returns>
protected override Router CreateRouter(IOsmRoutingInterpreter interpreter, string manifestResourceName)
{
SimpleTagsIndex tagsIndex = new SimpleTagsIndex();
// do the data processing.
var data = new DynamicGraphRouterDataSource <CHEdgeData>(tagsIndex);
var targetData = new CHEdgeGraphOsmStreamTarget(
data, interpreter, tagsIndex, Vehicle.Car);
var dataProcessorSource = new XmlOsmStreamSource(
Assembly.GetExecutingAssembly().GetManifestResourceStream(manifestResourceName));
var sorter = new OsmStreamFilterSort();
sorter.RegisterSource(dataProcessorSource);
targetData.RegisterSource(sorter);
targetData.Pull();
// do the pre-processing part.
var witnessCalculator = new DykstraWitnessCalculator();
var preProcessor = new CHPreProcessor(data,
new EdgeDifference(data, witnessCalculator), witnessCalculator);
preProcessor.Start();
//IBasicRouter<LiveEdge> basicRouter = new DykstraRoutingLive(memoryData.TagsIndex);
return(Router.CreateCHFrom(data, new CHRouter(), interpreter));
}
/// <summary>
/// Builds the data.
/// </summary>
/// <param name="interpreter"></param>
/// <param name="embeddedString"></param>
/// <returns></returns>
public override IBasicRouterDataSource <CHEdgeData> BuildData(IOsmRoutingInterpreter interpreter,
string embeddedString)
{
var tagsIndex = new TagsTableCollectionIndex();
// do the data processing.
var memoryData = new DynamicGraphRouterDataSource <CHEdgeData>(tagsIndex);
var targetData = new CHEdgeGraphOsmStreamTarget(
memoryData, interpreter, tagsIndex, Vehicle.Car);
var dataProcessorSource = new XmlOsmStreamSource(
Assembly.GetExecutingAssembly().GetManifestResourceStream(embeddedString));
var sorter = new OsmStreamFilterSort();
sorter.RegisterSource(dataProcessorSource);
targetData.RegisterSource(sorter);
targetData.Pull();
// do the pre-processing part.
var preProcessor = new CHPreProcessor(memoryData,
new SparseOrdering(memoryData), new DykstraWitnessCalculator());
preProcessor.Start();
return(memoryData);
}
/// <summary>
/// Builds the data.
/// </summary>
/// <param name="interpreter"></param>
/// <param name="embeddedString"></param>
/// <returns></returns>
public override IBasicRouterDataSource <CHEdgeData> BuildData(IOsmRoutingInterpreter interpreter,
string embeddedString)
{
string key = string.Format("CHEdgeDifference.Routing.IBasicRouterDataSource<CHEdgeData>.OSM.{0}",
embeddedString);
var data = StaticDictionary.Get <IBasicRouterDataSource <CHEdgeData> >(
key);
if (data == null)
{
var tagsIndex = new TagsTableCollectionIndex();
// do the data processing.
var memoryData = new DynamicGraphRouterDataSource <CHEdgeData>(tagsIndex);
var targetData = new CHEdgeGraphOsmStreamTarget(
memoryData, interpreter, tagsIndex, Vehicle.Car);
var dataProcessorSource = new XmlOsmStreamSource(
Assembly.GetExecutingAssembly().GetManifestResourceStream(embeddedString));
var sorter = new OsmStreamFilterSort();
sorter.RegisterSource(dataProcessorSource);
targetData.RegisterSource(sorter);
targetData.Pull();
// do the pre-processing part.
var witnessCalculator = new DykstraWitnessCalculator();
var preProcessor = new CHPreProcessor(memoryData,
new EdgeDifference(memoryData, witnessCalculator), witnessCalculator);
preProcessor.Start();
data = memoryData;
StaticDictionary.Add <IBasicRouterDataSource <CHEdgeData> >(key, data);
}
return(data);
}
public void TestVerifiedContraction1NoWitnesses()
{
var graph = new MemoryDirectedGraph <CHEdgeData>();
var vertex1 = graph.AddVertex(1, 0);
var vertex2 = graph.AddVertex(2, 0);
var vertex3 = graph.AddVertex(3, 0);
graph.AddEdge(vertex1, vertex3, new CHEdgeData(1, true, true, true, 10));
graph.AddEdge(vertex3, vertex1, new CHEdgeData(1, false, true, true, 10));
graph.AddEdge(vertex2, vertex3, new CHEdgeData(1, true, true, true, 10));
graph.AddEdge(vertex3, vertex2, new CHEdgeData(1, false, true, true, 10));
var witnessCalculator = new DykstraWitnessCalculator();
var preProcessor = new CHPreProcessor(graph,
new EdgeDifferenceContractedSearchSpace(graph, witnessCalculator), witnessCalculator);
preProcessor.Contract(3);
// there should be no edge from 1->3 and from 2->3.
Assert.IsFalse(graph.ContainsEdges(1, 3));
Assert.IsFalse(graph.ContainsEdges(2, 3));
var router = new CHRouter();
// expected: (1)-10s-(3)-10s-(2) (20s in total).
var path = router.Calculate(graph, 1, 2);
Assert.IsNotNull(path);
Assert.AreEqual(20, path.Weight);
var pathArray = path.ToArrayWithWeight();
Assert.AreEqual(3, pathArray.Length);
float latitude, longitude;
Assert.AreEqual(0, pathArray[0].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[0].Item1, out latitude, out longitude));
Assert.AreEqual(1, latitude);
Assert.AreEqual(10, pathArray[1].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[1].Item1, out latitude, out longitude));
Assert.AreEqual(3, latitude);
Assert.AreEqual(20, pathArray[2].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[2].Item1, out latitude, out longitude));
Assert.AreEqual(2, latitude);
// expected: (2)-10s-(3)-10s-(1) (20s in total).
path = router.Calculate(graph, 2, 1);
Assert.IsNotNull(path);
Assert.AreEqual(20, path.Weight);
pathArray = path.ToArrayWithWeight();
Assert.AreEqual(3, pathArray.Length);
Assert.AreEqual(0, pathArray[0].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[0].Item1, out latitude, out longitude));
Assert.AreEqual(2, latitude);
Assert.AreEqual(10, pathArray[1].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[1].Item1, out latitude, out longitude));
Assert.AreEqual(3, latitude);
Assert.AreEqual(20, pathArray[2].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[2].Item1, out latitude, out longitude));
Assert.AreEqual(1, latitude);
}
/// <summary>
/// Builds the edge difference.
/// </summary>
private CHPreProcessor BuildCHPreProcessor(IOsmRoutingInterpreter interpreter)
{
DynamicGraphRouterDataSource <CHEdgeData> data = this.BuildData(interpreter);
// do the pre-processing part.
INodeWitnessCalculator witnessCalculator = new DykstraWitnessCalculator();
var edgeDifference = new EdgeDifference(
data, witnessCalculator);
var preProcessor = new CHPreProcessor(
data, edgeDifference, witnessCalculator);
return(preProcessor);
}
public void TestCHContractionTest2()
{
//
// (-1/1)-------->(-3/2)------->(-5/3)
//
// build the data.
DynamicGraphRouterDataSource <CHEdgeData> data = this.BuildData(
Assembly.GetExecutingAssembly().GetManifestResourceStream(
"OsmSharp.Test.Unittests.Routing.CH.Contraction.contraction_test2.osm"));
// build the witness calculator.
INodeWitnessCalculator witness_calculator = new DykstraWitnessCalculator();
// test the ordering operators.
SparseOrdering sparse_ordering = new SparseOrdering(
data);
Assert.AreEqual(-1, sparse_ordering.Calculate(2));
EdgeDifference edge_difference_ordering = new EdgeDifference(
data, witness_calculator);
Assert.AreEqual(0, edge_difference_ordering.Calculate(2));
// do the actual contraction.
CHPreProcessor pre_processor = new CHPreProcessor(
data, edge_difference_ordering, witness_calculator);
pre_processor.Contract(2);
// check the neighbours of each vertex.
HashSet <uint> neighbours = this.BuildNeighboursSet(data.GetArcs(2));
Assert.IsTrue(neighbours.Contains(1));
Assert.IsTrue(neighbours.Contains(3));
neighbours = this.BuildNeighboursSet(data.GetArcs(1));
Assert.IsTrue(neighbours.Contains(3));
Assert.IsFalse(neighbours.Contains(2));
neighbours = this.BuildNeighboursSet(data.GetArcs(3));
Assert.IsTrue(neighbours.Contains(1));
Assert.IsFalse(neighbours.Contains(2));
}
/// <summary>
/// Flushes all data.
/// </summary>
public override void Flush()
{
base.Flush();
// compress the graph.
INodeWitnessCalculator witnessCalculator = new DykstraWitnessCalculator();
var edgeDifference = new EdgeDifference(
_graph, witnessCalculator);
var preProcessor = new CHPreProcessor(
_graph, edgeDifference, witnessCalculator);
preProcessor.Start();
// create serializer.
var routingSerializer = new CHEdgeDataDataSourceSerializer(true);
routingSerializer.Serialize(_graphStream, _graph);
_graphStream.Flush();
}
/// <summary>
/// Preprocesses the data from the given OsmStreamReader and converts it directly to a routable data source.
/// </summary>
/// <param name="reader"></param>
/// <param name="tagsIndex"></param>
/// <param name="interpreter"></param>
/// <param name="vehicle"></param>
/// <returns></returns>
public static DynamicGraphRouterDataSource <CHEdgeData> Preprocess(OsmStreamSource reader,
ITagsCollectionIndex tagsIndex, IOsmRoutingInterpreter interpreter, Vehicle vehicle)
{
// pull in the data.
var graph = new DynamicGraphRouterDataSource <CHEdgeData>(new MemoryDirectedGraph <CHEdgeData>(), tagsIndex);
var targetData = new CHEdgeGraphOsmStreamTarget(
graph, interpreter, tagsIndex, vehicle);
targetData.RegisterSource(reader);
targetData.Pull();
// compress the graph.
var witnessCalculator = new DykstraWitnessCalculator();
var edgeDifference = new EdgeDifferenceContractedSearchSpace(graph, witnessCalculator);
var preProcessor = new CHPreProcessor(graph, edgeDifference, witnessCalculator);
preProcessor.Start();
return(graph);
}
/// <summary>
/// Flushes all data.
/// </summary>
public override void Flush()
{
base.Flush();
// compress the graph.
INodeWitnessCalculator witnessCalculator = new DykstraWitnessCalculator();
var edgeDifference = new EdgeDifferenceContractedSearchSpace(
_graph, witnessCalculator);
var preProcessor = new CHPreProcessor(
_graph, edgeDifference, witnessCalculator);
preProcessor.Start();
// create tags.
TagsCollectionBase metaTags = new TagsCollection();
// create serializer.
var routingSerializer = new CHEdgeDataDataSourceSerializer();
routingSerializer.Serialize(_graphStream, _graph, metaTags);
_graphStream.Flush();
}
public void TestCHContractionTest1()
{
//
// (-1/1)---------(-3/2)--------(-5/3)
//
// build the data.
var data = this.BuildData(
Assembly.GetExecutingAssembly().GetManifestResourceStream(
"OsmSharp.Test.Unittests.Routing.CH.Contraction.contraction_test1.osm"));
// build the witness calculator.
var witnessCalculator = new DykstraWitnessCalculator();
// test the ordering operators.
var sparseOrdering = new SparseOrdering(
data);
Assert.AreEqual(-1, sparseOrdering.Calculate(2));
var edgeDifferenceOrdering = new EdgeDifference(
data, witnessCalculator);
Assert.AreEqual(2, edgeDifferenceOrdering.Calculate(2));
// do the actual contraction.
var preProcessor = new CHPreProcessor(
data, edgeDifferenceOrdering, witnessCalculator);
preProcessor.Contract(2);
// check the neighbours of each vertex.
var neighbours = data.GetEdges(2);
Assert.AreEqual(2, neighbours.Length);
Assert.IsTrue(neighbours.Any((x) =>
{
return(x.Key == 1 && x.Value.ToHigher);
}));
Assert.IsTrue(neighbours.Any((x) =>
{
return(x.Key == 3 && x.Value.ToHigher);
}));
neighbours = data.GetEdges(1);
Assert.AreEqual(2, neighbours.Length);
Assert.IsTrue(neighbours.Any((x) =>
{
return(x.Key == 2 && x.Value.ToLower);
}));
Assert.IsTrue(neighbours.Any((x) =>
{
return(x.Key == 3 && !x.Value.ToHigher && !x.Value.ToLower);
}));
neighbours = data.GetEdges(3);
Assert.AreEqual(2, neighbours.Length);
Assert.IsTrue(neighbours.Any((x) =>
{
return(x.Key == 2 && x.Value.ToLower);
}));
Assert.IsTrue(neighbours.Any((x) =>
{
return(x.Key == 1 && !x.Value.ToHigher && !x.Value.ToLower);
}));
}
public void TestCHEdgeDifferenceContractions()
{
IOsmRoutingInterpreter interpreter = new OsmSharp.Routing.Osm.Interpreter.OsmRoutingInterpreter();
CHPreProcessor processor = this.BuildCHPreProcessor(interpreter);
//processor.InitializeQueue();
INodeWeightCalculator edgeDifference = processor.NodeWeightCalculator;
Assert.AreEqual(1, edgeDifference.Calculate(1)); // witness paths from 2<->4.
Assert.AreEqual(6, edgeDifference.Calculate(2));
Assert.AreEqual(0, edgeDifference.Calculate(3));
Assert.AreEqual(0, edgeDifference.Calculate(4));
Assert.AreEqual(0, edgeDifference.Calculate(5));
Assert.AreEqual(0, edgeDifference.Calculate(6));
Assert.AreEqual(3, edgeDifference.Calculate(7));
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(3, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(3, edgeDifference.Calculate(16));
Assert.AreEqual(0, edgeDifference.Calculate(17));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
Assert.AreEqual(-1, edgeDifference.Calculate(20));
Assert.AreEqual(0, edgeDifference.Calculate(21));
Assert.AreEqual(0, edgeDifference.Calculate(22));
Assert.AreEqual(-1, edgeDifference.Calculate(23));
// contract 20.
processor.Contract(20);
Assert.AreEqual(1, edgeDifference.Calculate(1)); // witness paths from 2<->4.
Assert.AreEqual(6, edgeDifference.Calculate(2));
Assert.AreEqual(0, edgeDifference.Calculate(3));
Assert.AreEqual(0, edgeDifference.Calculate(4));
Assert.AreEqual(0, edgeDifference.Calculate(5));
Assert.AreEqual(0, edgeDifference.Calculate(6));
Assert.AreEqual(3, edgeDifference.Calculate(7));
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(3, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(3, edgeDifference.Calculate(16));
Assert.AreEqual(0, edgeDifference.Calculate(17));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
Assert.AreEqual(-1, edgeDifference.Calculate(21));
Assert.AreEqual(0, edgeDifference.Calculate(22));
Assert.AreEqual(-1, edgeDifference.Calculate(23));
// contract 21.
processor.Contract(21);
Assert.AreEqual(1, edgeDifference.Calculate(1)); // witness paths from 2<->4.
Assert.AreEqual(6, edgeDifference.Calculate(2));
Assert.AreEqual(0, edgeDifference.Calculate(3));
Assert.AreEqual(0, edgeDifference.Calculate(4));
Assert.AreEqual(0, edgeDifference.Calculate(5));
Assert.AreEqual(0, edgeDifference.Calculate(6));
Assert.AreEqual(3, edgeDifference.Calculate(7));
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(3, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(0, edgeDifference.Calculate(16));
Assert.AreEqual(0, edgeDifference.Calculate(17));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
Assert.AreEqual(0, edgeDifference.Calculate(22));
Assert.AreEqual(-1, edgeDifference.Calculate(23));
// contract 23.
processor.Contract(23);
Assert.AreEqual(1, edgeDifference.Calculate(1)); // witness paths from 2<->4.
Assert.AreEqual(6, edgeDifference.Calculate(2));
Assert.AreEqual(0, edgeDifference.Calculate(3));
Assert.AreEqual(0, edgeDifference.Calculate(4));
Assert.AreEqual(0, edgeDifference.Calculate(5));
Assert.AreEqual(0, edgeDifference.Calculate(6));
Assert.AreEqual(3, edgeDifference.Calculate(7));
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(3, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(0, edgeDifference.Calculate(16));
Assert.AreEqual(0, edgeDifference.Calculate(17));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
Assert.AreEqual(-1, edgeDifference.Calculate(22));
// contract 22.
processor.Contract(22);
Assert.AreEqual(1, edgeDifference.Calculate(1)); // witness paths from 2<->4.
Assert.AreEqual(6, edgeDifference.Calculate(2));
Assert.AreEqual(0, edgeDifference.Calculate(3));
Assert.AreEqual(0, edgeDifference.Calculate(4));
Assert.AreEqual(0, edgeDifference.Calculate(5));
Assert.AreEqual(0, edgeDifference.Calculate(6));
Assert.AreEqual(3, edgeDifference.Calculate(7));
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(3, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(-1, edgeDifference.Calculate(16));
Assert.AreEqual(0, edgeDifference.Calculate(17));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
// contract 16.
processor.Contract(16);
Assert.AreEqual(1, edgeDifference.Calculate(1)); // witness paths from 2<->4.
Assert.AreEqual(6, edgeDifference.Calculate(2));
Assert.AreEqual(0, edgeDifference.Calculate(3));
Assert.AreEqual(0, edgeDifference.Calculate(4));
Assert.AreEqual(0, edgeDifference.Calculate(5));
Assert.AreEqual(0, edgeDifference.Calculate(6));
Assert.AreEqual(3, edgeDifference.Calculate(7));
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(3, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(-1, edgeDifference.Calculate(17));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
// contract 17.
processor.Contract(17);
Assert.AreEqual(1, edgeDifference.Calculate(1)); // witness paths from 2<->4.
Assert.AreEqual(6, edgeDifference.Calculate(2));
Assert.AreEqual(0, edgeDifference.Calculate(3));
Assert.AreEqual(0, edgeDifference.Calculate(4));
Assert.AreEqual(0, edgeDifference.Calculate(5));
Assert.AreEqual(0, edgeDifference.Calculate(6));
Assert.AreEqual(0, edgeDifference.Calculate(7));
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(3, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
processor.Contract(3);
Assert.AreEqual(1, edgeDifference.Calculate(1)); // witness paths from 2<->4.
Assert.AreEqual(6, edgeDifference.Calculate(2));
Assert.AreEqual(-2, edgeDifference.Calculate(4));
Assert.AreEqual(0, edgeDifference.Calculate(5));
Assert.AreEqual(0, edgeDifference.Calculate(6));
Assert.AreEqual(0, edgeDifference.Calculate(7));
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(3, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
processor.Contract(4);
Assert.AreEqual(0, edgeDifference.Calculate(1)); // witness paths from 2<->4.
Assert.AreEqual(3, edgeDifference.Calculate(2));
Assert.AreEqual(0, edgeDifference.Calculate(5));
Assert.AreEqual(0, edgeDifference.Calculate(6));
Assert.AreEqual(0, edgeDifference.Calculate(7));
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(3, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
processor.Contract(1);
Assert.AreEqual(1, edgeDifference.Calculate(2)); // witness paths from 11<->5.
Assert.AreEqual(-2, edgeDifference.Calculate(5)); // witness paths from 11<->6.
Assert.AreEqual(0, edgeDifference.Calculate(6));
Assert.AreEqual(0, edgeDifference.Calculate(7));
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(3, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
processor.Contract(5);
Assert.AreEqual(1, edgeDifference.Calculate(2)); // witness paths from 11<->5.
Assert.AreEqual(-2, edgeDifference.Calculate(6));
Assert.AreEqual(0, edgeDifference.Calculate(7));
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(3, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
processor.Contract(6);
Assert.AreEqual(0, edgeDifference.Calculate(2)); // witness paths from 11<->5.
Assert.AreEqual(-1, edgeDifference.Calculate(7));
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(3, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
processor.Contract(7);
Assert.AreEqual(0, edgeDifference.Calculate(2)); // witness paths from 11<->5.
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(0, edgeDifference.Calculate(11));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
processor.Contract(2);
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(3, edgeDifference.Calculate(10));
Assert.AreEqual(-2, edgeDifference.Calculate(11)); // witness paths from 18<->10.
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(0, edgeDifference.Calculate(18));
Assert.AreEqual(0, edgeDifference.Calculate(19));
processor.Contract(11);
Assert.AreEqual(3, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(1, edgeDifference.Calculate(10));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(-2, edgeDifference.Calculate(18)); // witness paths from 10<->8.
Assert.AreEqual(0, edgeDifference.Calculate(19));
processor.Contract(18);
Assert.AreEqual(0, edgeDifference.Calculate(8));
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(0, edgeDifference.Calculate(10));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(0, edgeDifference.Calculate(19));
processor.Contract(8);
Assert.AreEqual(0, edgeDifference.Calculate(9));
Assert.AreEqual(0, edgeDifference.Calculate(10));
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(0, edgeDifference.Calculate(19));
processor.Contract(9);
Assert.AreEqual(-2, edgeDifference.Calculate(10)); // witness paths from 19<->12.
Assert.AreEqual(0, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(-2, edgeDifference.Calculate(19)); // witness paths from 15<->10.
processor.Contract(10);
Assert.AreEqual(-2, edgeDifference.Calculate(12));
Assert.AreEqual(0, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(-2, edgeDifference.Calculate(19)); // witness paths from 15<->10.
processor.Contract(12);
Assert.AreEqual(-1, edgeDifference.Calculate(13));
Assert.AreEqual(0, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(-1, edgeDifference.Calculate(19)); // witness paths from 15<->10.
processor.Contract(13);
Assert.AreEqual(-1, edgeDifference.Calculate(14));
Assert.AreEqual(0, edgeDifference.Calculate(15));
Assert.AreEqual(-1, edgeDifference.Calculate(19)); // witness paths from 15<->10.
processor.Contract(14);
Assert.AreEqual(-1, edgeDifference.Calculate(15));
Assert.AreEqual(-1, edgeDifference.Calculate(19)); // witness paths from 15<->10.
processor.Contract(15);
Assert.AreEqual(0, edgeDifference.Calculate(19));
processor.Contract(19);
}
public void TestVerifiedContraction3TinyOneWay()
{
var graph = new MemoryDirectedGraph <CHEdgeData>();
var vertex1 = graph.AddVertex(1, 0);
var vertex2 = graph.AddVertex(2, 0);
var vertex3 = graph.AddVertex(3, 0);
var vertex4 = graph.AddVertex(4, 0);
var vertex5 = graph.AddVertex(5, 0);
graph.AddEdge(vertex1, vertex4, new CHEdgeData(1, true, true, true, 10));
graph.AddEdge(vertex4, vertex1, new CHEdgeData(1, false, true, true, 10));
graph.AddEdge(vertex1, vertex2, new CHEdgeData(1, true, true, false, 10)); // oneway forward
graph.AddEdge(vertex2, vertex1, new CHEdgeData(1, false, false, true, 10)); // oneway backward.
graph.AddEdge(vertex1, vertex3, new CHEdgeData(1, true, true, true, 10));
graph.AddEdge(vertex3, vertex1, new CHEdgeData(1, false, true, true, 10));
graph.AddEdge(vertex2, vertex3, new CHEdgeData(1, true, true, true, 10));
graph.AddEdge(vertex3, vertex2, new CHEdgeData(1, false, true, true, 10));
graph.AddEdge(vertex2, vertex5, new CHEdgeData(1, true, true, true, 10));
graph.AddEdge(vertex5, vertex2, new CHEdgeData(1, false, true, true, 10));
Assert.IsFalse(graph.ContainsEdges(vertex1, vertex1));
Assert.IsTrue(graph.ContainsEdges(vertex2, vertex1));
Assert.IsTrue(graph.ContainsEdges(vertex3, vertex1));
Assert.IsTrue(graph.ContainsEdges(vertex4, vertex1));
Assert.IsFalse(graph.ContainsEdges(vertex5, vertex1));
Assert.IsTrue(graph.ContainsEdges(vertex1, vertex2));
Assert.IsFalse(graph.ContainsEdges(vertex2, vertex2));
Assert.IsTrue(graph.ContainsEdges(vertex3, vertex2));
Assert.IsFalse(graph.ContainsEdges(vertex4, vertex2));
Assert.IsTrue(graph.ContainsEdges(vertex5, vertex2));
Assert.IsTrue(graph.ContainsEdges(vertex1, vertex3));
Assert.IsTrue(graph.ContainsEdges(vertex2, vertex3));
Assert.IsFalse(graph.ContainsEdges(vertex3, vertex3));
Assert.IsFalse(graph.ContainsEdges(vertex4, vertex3));
Assert.IsFalse(graph.ContainsEdges(vertex5, vertex3));
Assert.IsTrue(graph.ContainsEdges(vertex1, vertex4));
Assert.IsFalse(graph.ContainsEdges(vertex2, vertex4));
Assert.IsFalse(graph.ContainsEdges(vertex3, vertex4));
Assert.IsFalse(graph.ContainsEdges(vertex4, vertex4));
Assert.IsFalse(graph.ContainsEdges(vertex5, vertex4));
Assert.IsFalse(graph.ContainsEdges(vertex1, vertex5));
Assert.IsTrue(graph.ContainsEdges(vertex2, vertex5));
Assert.IsFalse(graph.ContainsEdges(vertex3, vertex5));
Assert.IsFalse(graph.ContainsEdges(vertex4, vertex5));
Assert.IsFalse(graph.ContainsEdges(vertex5, vertex5));
var witnessCalculator = new DykstraWitnessCalculator();
var preProcessor = new CHPreProcessor(graph,
new EdgeDifferenceContractedSearchSpace(graph, witnessCalculator), witnessCalculator);
preProcessor.Start();
var router = new CHRouter();
// expected: (4)-10s-(1)-10s-(2)-10s-(3) (30s in total).
var path = router.Calculate(graph, 4, 5);
Assert.IsNotNull(path);
Assert.AreEqual(30, path.Weight);
var pathArray = path.ToArrayWithWeight();
Assert.AreEqual(4, pathArray.Length);
float latitude, longitude;
Assert.AreEqual(0, pathArray[0].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[0].Item1, out latitude, out longitude));
Assert.AreEqual(4, latitude);
Assert.AreEqual(10, pathArray[1].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[1].Item1, out latitude, out longitude));
Assert.AreEqual(1, latitude);
Assert.AreEqual(20, pathArray[2].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[2].Item1, out latitude, out longitude));
Assert.AreEqual(2, latitude);
Assert.AreEqual(30, pathArray[3].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[3].Item1, out latitude, out longitude));
Assert.AreEqual(5, latitude);
// expected: (5)-10s-(2)-10s-(3)-10s-(1)-10s-(4) (40s in total).
path = router.Calculate(graph, 5, 4);
Assert.IsNotNull(path);
Assert.AreEqual(40, path.Weight);
pathArray = path.ToArrayWithWeight();
Assert.AreEqual(5, pathArray.Length);
Assert.AreEqual(0, pathArray[0].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[0].Item1, out latitude, out longitude));
Assert.AreEqual(5, latitude);
Assert.AreEqual(10, pathArray[1].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[1].Item1, out latitude, out longitude));
Assert.AreEqual(2, latitude);
Assert.AreEqual(20, pathArray[2].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[2].Item1, out latitude, out longitude));
Assert.AreEqual(3, latitude);
Assert.AreEqual(30, pathArray[3].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[3].Item1, out latitude, out longitude));
Assert.AreEqual(1, latitude);
Assert.AreEqual(40, pathArray[4].Item2);
Assert.IsTrue(graph.GetVertex((uint)pathArray[4].Item1, out latitude, out longitude));
Assert.AreEqual(4, latitude);
}
