source: branches/2457_ExpertSystem/HeuristicLab.Algorithms.MemPR/3.3/Permutation/LocalSearch/StaticAPI/Exhaustive1Shift.cs @ 18242

#region License Information
/* HeuristicLab
 * Copyright (C) 2002-2016 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
 *
 * This file is part of HeuristicLab.
 *
 * HeuristicLab is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * HeuristicLab is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
 */
#endregion

using System;
using System.Collections.Generic;
using System.Linq;
using System.Threading;
using HeuristicLab.Algorithms.MemPR.Util;
using HeuristicLab.Core;
using HeuristicLab.Encodings.PermutationEncoding;
using HeuristicLab.Random;

namespace HeuristicLab.Algorithms.MemPR.Permutation.LocalSearch {
  public static class Exhaustive1Shift {
    public static IEnumerable<Tuple<Encodings.PermutationEncoding.Permutation, double, int>>
      HillClimb(IRandom random, Encodings.PermutationEncoding.Permutation perm,
      double quality, bool maximization, Func<Encodings.PermutationEncoding.Permutation, CancellationToken, double> eval,
      CancellationToken token, bool[,] subspace = null) {
      var evaluations = 0;
      var current = perm;
      if (double.IsNaN(quality)) {
        quality = eval(current, token);
        evaluations++;
      }
      TranslocationMove lastSuccessMove = null;
      var neighborhood = ExhaustiveInsertionMoveGenerator.Generate(current).Shuffle(random).ToList();
      while (true) {
        foreach (var shift in neighborhood) {
          if (lastSuccessMove != null && shift.Index1 == lastSuccessMove.Index1 && shift.Index2 == lastSuccessMove.Index2 && shift.Index3 == lastSuccessMove.Index3) {
            // been there, done that
            lastSuccessMove = null;
            break;
          }
          var prev1 = shift.Index1 - 1;
          var next1 = (shift.Index1 + 1) % current.Length;
          if (prev1 < 0) prev1 += current.Length;
          var prev3 = shift.Index3 - 1;
          var next3 = (shift.Index3 + 1) % current.Length;
          if (prev3 < 0) prev3 += current.Length;
          if (subspace != null && !(subspace[current[prev1], current[shift.Index1]] && subspace[current[shift.Index1], current[next1]]
                                && subspace[current[prev3], current[shift.Index3]] && subspace[current[shift.Index3], current[next3]]))
            continue;
          TranslocationManipulator.Apply(current, shift.Index1, shift.Index2, shift.Index3);
          var q = eval(current, token);
          evaluations++;
          if (FitnessComparer.IsBetter(maximization, q, quality)) {
            yield return Tuple.Create(current, q, evaluations);
            quality = q;
            lastSuccessMove = shift;
          } else TranslocationManipulator.Apply(current, shift.Index3, shift.Index3, shift.Index1);

          if (token.IsCancellationRequested) {
            lastSuccessMove = null;
            break;
          }
        }
        if (lastSuccessMove == null) break;
      }
      yield return Tuple.Create(current, quality, evaluations);
    }
  }
}