示例#1
0
        public static string PostSolution(string problemId, int size, string[] operations)
        {
            var gsc = new GameServerClient();

            log.DebugFormat("Trying to solve problem {0}...", problemId);
            var random = new Random();
            IEnumerable <byte[]> trees = new BinaryBruteForcer(operations).Enumerate(size - 1);

            ulong[] inputs = InputGenerator.Generate();

            List <ulong> outputs = gsc.Eval(problemId, inputs);

            log.Debug("Eval result for samples received");

            IEnumerable <byte[]> solutions = Guesser.Guesser.Guess(trees, inputs, outputs.ToArray());

            while (true)
            {
                log.Debug("Start find solution");
                byte[] solution = solutions.First();
                log.Debug("First solution finded, asking the guess...");

                string      formula     = String.Format("(lambda (x) {0})", solution.ToSExpr().Item1);
                WrongAnswer wrongAnswer = gsc.Guess(problemId, formula);

                log.Debug("Guess answer received");

                if (wrongAnswer == null)
                {
                    log.DebugFormat("Problem solved!!!. Problem Id: {0}", problemId);
                    return(formula);
                }

                log.Debug(string.Format("WrongAnswer received: {0}", wrongAnswer));

                solutions = AddCase(solutions, wrongAnswer);
            }
        }
示例#2
0
        public static string PostSolution(string problemId, int size, string[] operations)
        {
            var gsc = new GameServerClient();

            log.DebugFormat("Trying to solve problem {0}...", problemId);
            var random = new Random();

            List <ulong> inputs  = Enumerable.Range(1, 256).Select(e => random.NextUInt64()).ToList();
            List <ulong> outputs = gsc.Eval(problemId, inputs).ToList();

            log.Debug("Eval result for samples received");

            IEnumerable <byte[]> trees = new SmartGenerator(inputs, outputs, operations).Enumerate(size - 1, size - 1, false);

            int tasksCount = 4;
            IEnumerable <byte[][]>   chunckedTrees          = Chuncked(trees, 1 * 1024 * 1024);
            IEnumerable <byte[][][]> chunckedTreesPerWorker = Chuncked(chunckedTrees, tasksCount);
            var results = new byte[0][];
            IEnumerator <byte[][][]> enumerator = chunckedTreesPerWorker.GetEnumerator();

            enumerator.MoveNext();

            var sw = Stopwatch.StartNew();

            while (true)
            {
                if (sw.Elapsed.TotalSeconds > 400)
                {
                    throw new InvalidOperationException(string.Format("TIME_LIMIT: {0} sec", sw.Elapsed.TotalSeconds));
                }

                byte[][][] treesPerWorkerChunk = enumerator.Current;
                var        tasks = new List <Task <byte[][]> >(tasksCount);
                log.Debug("Starting creating tasks");
                foreach (var treesChunk in treesPerWorkerChunk)
                {
                    byte[][]        treeToCheck = treesChunk;
                    Task <byte[][]> task        = Task.Factory.StartNew(() => FilterTrees(treeToCheck, inputs, outputs));
                    tasks.Add(task);
                }
                log.Debug("Finished created tasks and starts new chunk");
                enumerator.MoveNext();
                log.Debug("Finished new chunk");
                Task.WaitAll(tasks.ToArray <Task>());

                List <byte[][]> tasksResults = Results(tasks);
                log.DebugFormat("All tasks completed, {0} results", results.Length);
                byte[] solution;
                while ((solution = GetSolution(tasksResults)) != null)
                {
                    log.Debug("First solution finded, asking the guess...");
                    var         s           = solution.SkipWhile(b => b == 16).ToArray();
                    string      formula     = String.Format("(lambda (x) {0})", s.ToSExpr().Item1);
                    WrongAnswer wrongAnswer = gsc.Guess(problemId, formula);

                    log.Debug("Guess answer received");

                    if (wrongAnswer == null)
                    {
                        log.DebugFormat("Problem solved!!!. Problem Id: {0}", problemId);
                        return(formula);
                    }

                    log.Debug(string.Format("WrongAnswer received: {0}", wrongAnswer));
                    inputs       = inputs.Concat(new[] { wrongAnswer.Arg }).ToList();
                    outputs      = outputs.Concat(new[] { wrongAnswer.CorrectValue }).ToList();
                    tasksResults =
                        tasksResults.Select(
                            r =>
                            FilterTrees(r, new List <ulong> {
                        wrongAnswer.Arg
                    }, new List <ulong> {
                        wrongAnswer.CorrectValue
                    }))
                        .ToList();
                }
            }
        }
示例#3
0
 public Solver()
 {
     rnd  = new Random();
     gsc  = new GameServerClient();
     args = new ulong[] { 0, 1, ulong.MaxValue, ulong.MinValue }.Concat(Enumerable.Range(1, 256).Select(e => rnd.NextUInt64())).Take(256).ToList();
 }