From 39bbae01916e8e001bd751bae3a393d47d1ab28d Mon Sep 17 00:00:00 2001 From: Philemon Eichin Date: Tue, 23 Jan 2018 13:58:31 +0100 Subject: [PATCH] Create README.md --- README.md | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..3769273 --- /dev/null +++ b/README.md @@ -0,0 +1,32 @@ +# phirSOFT.TopologicalComparison + +A library for weaker orderings. + +[![Build status](https://ci.appveyor.com/api/projects/status/k3w3e4rbo5ascn78/branch/master?svg=true)](https://ci.appveyor.com/project/phirSOFT/phirsoft-topologicalcomparison/branch/master) + +## Introduction + +Sometimes we cant compare all instances of a type with each other. In this case the usual sorting algoritms can't sort a collection of such instances. +The Topological comparison aims at this problem by providing an algorithm that can sort such instances topologically. That means there might be more than one correct ordering. To give an example. +We can etablish a partial ordetring on the `ISet` type by ordering differenct sets, if they are subsets of each other. This could be implemented as the following: + +``` c# +public class TopologicalSetComparer : ITopologicalComparer> +{ + public int Compare(ISet x, ISet y) + { + var xLessy = x.IsSubsetOf(y); + var yLessx = y.IsSubsetOf(x); + + if(xLessy && yLessx) + return 0; + return xLessy ? -1 : 1; + } + + public bool CanCompare(ISet x, ISet y) + { + return x.IsSubsetOf(y) || y.IsSubsetOf(x); + } + +} +```