public Solution(Puzzle puzzle, State final, HashSet<State> reachedStates, HashSet<State> statesExitReachedFrom = null)
{
this.puzzle = puzzle;
this.final = final;
this.reachedStates = reachedStates;
this.statesExitReachedFrom = statesExitReachedFrom ?? new HashSet<State>();
}
public static void Preprocess(Puzzle puzzle)
{
puzzle.locations.ForEach(location => {
location.edgesFrom.ForEach(edge => {
edge.to.edgesTo.Add(edge);
});
});
}
public Puzzle(string name, params Location[] locations)
{
this.name = name;
if (locations.Count() != 0) {
this.locations = locations.ToList();
start = locations[0];
} else {
current = this;
}
}
public static Solution Solve(Puzzle puzzle)
{
HashSet<State> reachedStates = new HashSet<State>(new StateComparer());
State start = StartState(puzzle);
Bfs(puzzle, reachedStates, start);
State finish = reachedStates.FirstOrDefault(Final);
//Preprocess(puzzle);
//State exit =
return new Solution(puzzle, finish, reachedStates);
}
public static void Bfs(Puzzle puzzle, HashSet<State> reachedStates, State start)
{
Queue<State> queue = new Queue<State>();
queue.Enqueue(start);
reachedStates.Add(start);
while (queue.Count > 0) {
List<State> nextStates = NextStates(puzzle, queue.Dequeue());
nextStates.ForEach(nextState => {
if (!reachedStates.Contains(nextState)) {
reachedStates.Add(nextState);
queue.Enqueue(nextState);
}
});
}
}
public static List<State> PreviousStates(Puzzle puzzle, State state)
{
var result = new List<State>();
state.position.edgesTo.ForEach(edge => {
var prevState = edge.Unmove(state);
if (prevState != null) {
result.Add(prevState);
}
});
state.position.buttons.ForEach(button => {
var prevState = button.Unpush(state);
if (prevState != null) {
result.Add(prevState);
}
});
return result;
}
public static List<State> NextStates(Puzzle puzzle, State state)
{
var result = new List<State>();
state.position.edgesFrom.ForEach(edge => {
var nextState = edge.Move(state);
if (nextState != null) {
result.Add(nextState);
}
});
state.position.buttons.ForEach(button => {
var nextState = button.Push(state);
if (nextState != null) {
result.Add(nextState);
}
});
return result;
}
public static Puzzle Hold() {
var result = new Puzzle("Hold");
var ground = new Location("ground");
var pit = new Location("pit");
var floor1 = new Location("floor 1");
var floor2 = new Location("floor 2").WithExit();
var tower1 = new Location("tower 1");
var tower2 = new Location("tower 2");
var tower3 = new Location("tower 3");
pit.DirectLiftTo(floor1).Named("launch").CallFrom(pit);
ground.LiftTo(floor1).Named("hold").CallFrom(floor1);
floor1.LiftTo(floor2).Named("final").CallFrom(tower3);
ground.DirectLiftTo(tower1).Named("tower 1 lift");
ground.LiftTo(tower2).Named("tower 2 lift").CallFrom(tower1);
ground.LiftTo(tower3).Named("tower 3 lift").CallFrom(tower2);
ground.JumpTo(pit);
return result;
}
public static Puzzle TwoPits() {
var result = new Puzzle("Two Pits");
var ground = new Location("ground");
var pit1 = new Location("pit 1");
var pit2 = new Location("pit 2");
var floor1 = new Location("floor 1");
var floor2 = new Location("floor 2");
var floor3 = new Location("floor 3");
var floor4 = new Location("floor 4").WithExit();
var l1 = ground.LiftTo(floor1).Named("L1").CallFrom(pit2);
var l2 = floor1.LiftTo(floor2).Named("L2").CallFrom(pit1);
var l3 = floor2.LiftTo(floor3).Named("L3").CallFrom(pit2);
var l4 = floor3.LiftTo(floor4).Named("L4").CallFrom(pit1);
var pit1self = pit1.DirectLiftTo(ground).Named("pit 1 self");
var pit2self = pit2.DirectLiftTo(ground).Named("pit 2 self");
var pit1other = pit1.LiftTo(ground).Named("pit 1 other").CallFrom(pit2);
var pit2other = pit2.LiftTo(ground).Named("pit 2 other").CallFrom(pit1);
return result;
}
static void PrintSolution(Puzzle puzzle)
{
Console.WriteLine(Solver.Solver.Solve(puzzle));
}
public static State StartState(Puzzle puzzle)
{
return new State(puzzle.start);
}
public static Puzzle Tower() {
var result = new Puzzle("Tower");
var leftBank = new Location("left bank");
var rightBank = new Location("right bank");
var farPit = new Location("far pit");
var nearPit = new Location("near pit");
var tower = new Location("tower");
var lowTower = new Location("low tower");
var exit = new Location("exit").WithExit();
farPit.LiftTo(leftBank).CallFrom(nearPit);
farPit.DirectLiftTo(rightBank);
nearPit.LiftTo(leftBank).CallFrom(farPit);
nearPit.DirectLiftTo(rightBank);
leftBank.DirectLiftTo(tower);
rightBank.DirectLiftTo(tower);
tower.LiftTo(exit).CallFrom(lowTower);
tower.JumpTo(lowTower);
lowTower.JumpTo(farPit);
lowTower.JumpTo(nearPit);
return result;
}
public static Puzzle Quarters() {
var result = new Puzzle("Quarters");
var zone1 = new Location("zone 1");
var zone2 = new Location("zone 2");
var zone3 = new Location("zone 3");
var zone4 = new Location("zone 4");
var exit = new Location("exit").WithExit();
zone1.JumpLiftTo(zone2).Named("12A").CallFrom(zone1, zone2);
zone1.JumpLiftTo(zone2).Named("12B").CallFrom(zone1, zone2);
zone2.JumpLiftTo(zone3).Named("23A").CallFrom(zone2, zone3);
zone2.JumpLiftTo(zone3).Named("23B").CallFrom(zone2, zone3);
zone3.JumpLiftTo(zone4).Named("34A").CallFrom(zone3, zone4);
zone3.JumpLiftTo(zone4).Named("34B").CallFrom(zone3, zone4);
zone4.JumpLiftTo(zone1, back: false).Named("R").CallFrom(zone4);
zone4.LiftTo(exit).Named("E").CallFrom(zone1);
return result;
}
public static Puzzle Temple() {
var result = new Puzzle("Temple");
var ground = new Location("ground");
var floor1a = new Location("floor 1 A");
var floor1b = new Location("floor 1 B");
var floor2 = new Location("floor 2");
var floor3 = new Location("floor 3");
var highPit = new Location("high pit");
var lowPit = new Location("low pit");
var exit = new Location("exit").WithExit();
lowPit.DirectLiftTo(floor3).Named("low pit lift").CallFrom(floor1b);
floor3.LiftTo(exit).Named("exit lift").CallFrom(highPit);
highPit.DirectLiftTo(floor2).Named("high pit self").CallFrom(floor1a);
ground.LiftTo(floor1b).Named("floor 1 B lift").CallFrom(floor2);
floor1b.LiftTo(floor2).Named("floor 1 B - floor 2 lift").CallFrom(highPit);
floor3.JumpTo(floor2);
floor2.JumpTo(floor1a);
floor1a.JumpTo(ground);
ground.JumpTo(lowPit);
return result;
}
public static Puzzle LaunchModified() {
var result = new Puzzle("Launch");
var ground = new Location("ground");
var tower1 = new Location("tower 1");
var tower2 = new Location("tower 2");
var tower3 = new Location("tower 3");
var tower4 = new Location("tower 4");
var exitFloor1 = new Location("exit floor 1");
var exitFloor2 = new Location("exit floor 2");
var exitFloor3 = new Location("exit floor 3");
var exitFloor4 = new Location("exit floor 4");
var exitFloor5 = new Location("exit floor 5").WithExit();
var top = new Location("top");
ground.DirectLiftTo(top).Named("main");
ground.LiftTo(tower1).Named("1").CallFrom(tower2);
ground.LiftTo(tower2).Named("2").CallFrom(tower1, tower3);
ground.LiftTo(tower3).Named("3").CallFrom(tower2, tower4);
ground.LiftTo(tower4).Named("4").CallFrom(tower3);
exitFloor4.JumpTo(ground);
exitFloor3.JumpTo(ground);
exitFloor2.JumpTo(ground);
exitFloor1.JumpTo(ground);
top.JumpTo(tower1);
top.JumpTo(tower2);
top.JumpTo(tower3);
top.JumpTo(tower4);
top.JumpTo(ground);
tower4.JumpTo(ground);
tower3.JumpTo(ground);
tower2.JumpTo(ground);
tower1.JumpTo(ground);
ground.LiftTo(exitFloor1).Named("E1").CallFrom(tower1);
exitFloor1.LiftTo(exitFloor2).Named("E2").CallFrom(tower2);
exitFloor2.LiftTo(exitFloor3).Named("E3").CallFrom(tower3);
exitFloor3.LiftTo(exitFloor4).Named("E4").CallFrom(tower4);
exitFloor4.LiftTo(exitFloor5).Named("E5").CallFrom(tower1);
return result;
}
public static Puzzle Ascention() {
var result = new Puzzle("Ascention");
var ground = new Location("ground");
var floor1 = new Location("floor 1");
var floor2 = new Location("floor 2");
var floor3 = new Location("floor 3");
var floor4 = new Location("floor 4");
var exitFloor1 = new Location("exit floor 1");
var exitFloor2 = new Location("exit floor 2");
var exitFloor3 = new Location("exit floor 3");
var exitFloor4 = new Location("exit floor 4").WithExit();
ground.LiftTo(floor1).Named("1").CallFrom(ground);
ground.LiftTo(floor2).Named("2").CallFrom(floor1);
ground.LiftTo(floor3).Named("3").CallFrom(floor2);
ground.LiftTo(floor4).Named("4").CallFrom(floor3);
floor4.JumpTo(floor3);
floor3.JumpTo(floor2);
floor2.JumpTo(floor1);
floor1.JumpTo(ground);
exitFloor4.JumpTo(ground);
exitFloor3.JumpTo(ground);
exitFloor2.JumpTo(ground);
exitFloor1.JumpTo(ground);
ground.LiftTo(exitFloor1).Named("E1").CallFrom(floor1);
exitFloor1.LiftTo(exitFloor2).Named("E2").CallFrom(floor2);
exitFloor2.LiftTo(exitFloor3).Named("E3").CallFrom(floor3);
exitFloor3.LiftTo(exitFloor4).Named("E4").CallFrom(floor4);
return result;
}
