static void Main(string[] args)
{
#region Model
var leagueSize = (args.Length >= 1) ? Int32.Parse(args[0]) : 20;
var variables = new VariableInteger[leagueSize - 1][];
for (var i = 0; i < variables.Length; ++i)
{
variables[i] = new VariableInteger[i + 1];
}
for (var i = 0; i < variables.Length; ++i)
{
for (var j = 0; j < variables[i].Length; ++j)
{
variables[i][j] = new VariableInteger(string.Format("{0} v {1}", i, j), 1, leagueSize - 1);
}
}
for (var week = 1; week < leagueSize; ++week)
{
var i = week - 1;
var j = 0;
do
{
variables[i][j] = new VariableInteger(string.Format("{0} v {1}", i, j), week, week);
--i;
++j;
} while (i >= j);
}
#endregion
#region Constraints
var constraints = new List <IConstraint>();
for (int row = -1; row < leagueSize - 1; ++row)
{
var j = 0;
var i = row;
var allDifferentRow = new List <VariableInteger>();
while (i >= j)
{
allDifferentRow.Add(variables[i][j++]);
}
++i;
while (i < leagueSize - 1)
{
allDifferentRow.Add(variables[i++][j]);
}
constraints.Add(new AllDifferentInteger(allDifferentRow));
}
#endregion
#region Search
IState <int> state = new StateInteger(variables.SelectMany(s => s.Select(a => a)), constraints);
StateOperationResult searchResult;
state.StartSearch(out searchResult);
for (var i = 0; i < variables.Length; ++i)
{
for (var j = 0; j < variables[i].Length; ++j)
{
Console.Write(string.Format("{0,2}", variables[i][j]) + " ");
}
Console.WriteLine();
}
Console.WriteLine();
Console.WriteLine("Runtime:\t{0}\nBacktracks:\t{1}", state.Runtime, state.Backtracks);
Console.WriteLine("Solutions:\t{0}", state.NumberOfSolutions);
/*
* Create a full, random home and away schedule from the solved CSP.
*
*
* var random = new Random();
* var map = Enumerable.Range(1, (leagueSize - 1) * 2).
* OrderBy(i => random.Next()).
* Select((e, i) => Tuple.Create(i + 1, e)).
* ToDictionary(t => t.Item1, t => t.Item2);
*
* var fixtureWeeks = new int[leagueSize][];
* for (var i = 0; i < fixtureWeeks.Length; ++i)
* fixtureWeeks[i] = new int[leagueSize];
*
* for (int i = 0; i < variables.Length; ++i)
* for (int j = 0; j < variables[i].Length; ++j)
* {
* fixtureWeeks[i + 1][j] = map[variables[i][j].Value];
* fixtureWeeks[j][i + 1] = map[variables[i][j].Value + leagueSize - 1];
* }
*
* for (var i = 0; i < fixtureWeeks.Length; ++i)
* {
* for (var j = 0; j < fixtureWeeks[i].Length; ++j)
* Console.Write(string.Format("{0,2}", fixtureWeeks[i][j]) + " ");
*
* Console.WriteLine();
* }
*/
Console.ReadKey();
#endregion
}
static void Main(string[] args)
{
#region Model
var leagueSize = (args.Length >= 1) ? Int32.Parse(args[0]) : 20;
var variables = new VariableInteger[leagueSize - 1][];
for (var i = 0; i < variables.Length; ++i)
{
variables[i] = new VariableInteger[i + 1];
}
for (var i = 0; i < variables.Length; ++i)
{
for (var j = 0; j < variables[i].Length; ++j)
{
variables[i][j] = new VariableInteger(string.Format("{0} v {1}", i, j), 1, leagueSize - 1);
}
}
for (var week = 1; week < leagueSize; ++week)
{
var i = week - 1;
var j = 0;
do
{
variables[i][j] = new VariableInteger(string.Format("{0} v {1}", i, j), week, week);
--i;
++j;
} while (i >= j);
}
#endregion
#region Constraints
var constraints = new List <IConstraint>();
for (int row = -1; row < leagueSize - 1; ++row)
{
var j = 0;
var i = row;
var allDifferentRow = new List <VariableInteger>();
while (i >= j)
{
allDifferentRow.Add(variables[i][j++]);
}
++i;
while (i < leagueSize - 1)
{
allDifferentRow.Add(variables[i++][j]);
}
constraints.Add(new AllDifferentInteger(allDifferentRow));
}
#endregion
#region Search
IState <int> state = new StateInteger(variables.SelectMany(s => s.Select(a => a)), constraints);
StateOperationResult searchResult;
state.StartSearch(out searchResult);
for (var i = 0; i < variables.Length; ++i)
{
for (var j = 0; j < variables[i].Length; ++j)
{
Console.Write(string.Format("{0,2}", variables[i][j]) + " ");
}
Console.WriteLine();
}
Console.WriteLine();
Console.WriteLine("Runtime:\t{0}\nBacktracks:\t{1}", state.Runtime, state.Backtracks);
Console.WriteLine("Solutions:\t{0}", state.NumberOfSolutions);
Console.ReadKey();
#endregion
}