コード例 #1
0
ファイル: Program.cs プロジェクト: lazy/icfpc2018
        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);
        }
コード例 #2
0
ファイル: StrategyTester.cs プロジェクト: lazy/icfpc2018
        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);
            }
        }