private void LoadTrace(string traceFile)
{
var trace = TraceReader.Read(File.ReadAllBytes(traceFile));
var state = new TState(new TModel("FA055_tgt.mdl"), true);
var reader = new TCommandsReader(trace);
while (!reader.AtEnd())
{
state.Step(reader);
}
}
private static void Main(string[] args)
{
var modelName = "FR001";
//var modelName = "FA001";
var srcModel = new TModel($"Data/Problems/{modelName}_src.mdl");
var tgtModel = new TModel($"Data/Problems/{modelName}_tgt.mdl");
//var srcModel = TModel.MakeEmpty(tgtModel.Name, tgtModel.R);
//var tgtModel = TModel.MakeEmpty(srcModel.Name, srcModel.R);
void TestStrategy(IStrategy strategy, bool saveTrace = false)
{
Console.WriteLine($"=== {strategy.Name}");
try
{
var trace = strategy.MakeTrace(srcModel, tgtModel);
if (saveTrace)
{
File.WriteAllBytes("trace.nbt", TraceSerializer.Serialize(trace));
}
if (trace == null)
{
Console.WriteLine(" empty trace");
return;
}
var state = new TState(srcModel);
var reader = new TCommandsReader(trace);
while (!reader.AtEnd())
{
state.Step(reader);
}
Console.WriteLine(state.HasValidFinalState(tgtModel));
Console.WriteLine(state.Energy);
}
catch (Exception e)
{
Console.Write($"BROKENL {e}");
}
}
//TestStrategy(new DumpCubeStrategy());
//TestStrategy(new DumpCubeStrategy(), true);
TestStrategy(new TTraceReaderStrategy($"data/DefaultTraces"));
TestStrategy(new BfsStrategy(), true);
}
private (long?energy, List <ICommand> commands) RunStrategy(Task task, IStrategy strategy, StreamWriter writer)
{
writer.Write($" {strategy.Name}: ");
try
{
var commands = strategy.MakeTrace(task.Src, task.Tgt);
if (commands == null)
{
return(null, null);
}
var state = new TState(task.Src);
var step = 0;
var commandsReader = new TCommandsReader(commands);
while (!commandsReader.AtEnd())
{
state.Step(commandsReader);
step += 1;
if (step % 1000000 == 0)
{
writer.Write(".");
}
}
writer.Write(state.Energy);
if (!state.HasValidFinalState(task.Tgt))
{
writer.WriteLine(" !!FAIL!! ");
return(null, null);
}
writer.WriteLine();
return(state.Energy, commands);
}
catch (Exception e)
{
writer.WriteLine($"exception: {e}");
return(null, null);
}
}
public List <ICommand> MakeReassemblyTrace(TModel srcModel, TModel tgtModel)
{
Fill doFill = new Fill();
doFill.Diff.Dy = -1;
Void doVoid = new Void();
doVoid.Diff.Dy = -1;
var result = new List <ICommand>();
result.Add(new Flip());
var current = new TCoord();
var dumpCureTraverse = new TDumpCubeTraverse(srcModel, tgtModel);
TState state = new TState(srcModel);
List <ICommand> ss = new List <ICommand>();
var iteration = 0;
while ((iteration == 0) || !current.IsAtStart())
{
var next = dumpCureTraverse.Next();
if (srcModel[next] > 0)
{
Void curVoid = new Void();
curVoid.Diff = dumpCureTraverse.GetDirection();
result.Add(curVoid);
{
if (ss.Count == 0)
{
ss.Add(curVoid);
}
else
{
ss[0] = curVoid;
}
ss.Add(curVoid);
TCommandsReader cr = new TCommandsReader(ss);
state.Step(cr);
}
}
var move = new StraightMove();
move.Diff = dumpCureTraverse.GetDirection();
result.Add(move);
{
if (ss.Count == 0)
{
ss.Add(move);
}
else
{
ss[0] = move;
}
TCommandsReader cr = new TCommandsReader(ss);
state.Step(cr);
}
if ((next.Y > 0) && (tgtModel[next.X, next.Y - 1, next.Z] > 0) && state.Matrix[next.X, next.Y - 1, next.Z] == 0)
{
result.Add(doFill);
{
if (ss.Count == 0)
{
ss.Add(doFill);
}
else
{
ss[0] = doFill;
}
TCommandsReader cr = new TCommandsReader(ss);
state.Step(cr);
}
}
if ((next.Y > 0) && (tgtModel[next.X, next.Y - 1, next.Z] == 0) && state.Matrix[next.X, next.Y - 1, next.Z] > 0)
{
result.Add(doVoid);
{
if (ss.Count == 0)
{
ss.Add(doVoid);
}
else
{
ss[0] = doVoid;
}
TCommandsReader cr = new TCommandsReader(ss);
state.Step(cr);
}
}
current = next;
++iteration;
}
result.Add(new Flip());
result.Add(new Halt());
return(result);
}
