static void offlist(void *bp){
if (PREV(bp) && NEXT(bp)){
PUT(SUC(PREV(bp)), NEXT(bp));
PUT(NEXT(bp), PREV(bp));
}
else if (PREV(bp)){
PUT(SUC(PREV(bp)), NULL);
endfree = PREV(bp);
}
else if (NEXT(bp))
PUT(NEXT(bp), NULL);
else
endfree = 0;
}
/*
* mm_free - Freeing a block does nothing.
*/
void mm_free(void *ptr)
{
void* bp;
bp=ptr;
size_t size = GET_SIZE(HDRP(bp));
PUT(HDRP(bp),PACK(size,0));
PUT(FTRP(bp),PACK(size,0));
PUT(bp, endfree);
PUT(SUC(bp), NULL);
if (endfree)
PUT(SUC(endfree), bp);
endfree = bp;
coalesce(bp);
}
/*
* mm_realloc - Implemented simply in terms of mm_malloc and mm_free
*/
void *mm_realloc(void *ptr, size_t size)
{
size_t asize; //adjusted block size
if (size <= DSIZE)
asize = 2*DSIZE;
else
asize = DSIZE * ((size + (DSIZE)+(DSIZE-1))/DSIZE);
size_t oldSize=GET_SIZE(HDRP(ptr));
size_t nextSize=GET_SIZE(HDRP(NEXT_BLKP(ptr)));
//if two blocks can fit, then we just return the original ptr and adjust the size
if(!GET_ALLOC(HDRP(NEXT_BLKP(ptr)))){
if(asize < (oldSize+nextSize-2*DSIZE)){
void *bp=ptr;
void* prevfree=PREV(NEXT_BLKP(ptr));
void* nextfree=NEXT(NEXT_BLKP(ptr));
PUT(HDRP(bp),PACK(asize,1));
PUT(FTRP(bp),PACK(asize,1));
bp=(char*)bp+asize;
PUT(HDRP(bp),PACK(oldSize+nextSize-asize,0));
PUT(FTRP(bp),PACK(oldSize+nextSize-asize,0));
PUT(bp,prevfree);
if(prevfree)
PUT(SUC(prevfree),bp);
if(nextfree)
PUT(nextfree,bp);
else endfree=bp;
return ptr;
}
}
//else...
void *oldptr = ptr;
size_t copySize;
void *newptr;
if(ptr == NULL)
return mm_malloc(size);
if (asize==0) {
mm_free(oldptr);
return NULL;
}
else{
newptr = mm_malloc(size);
if (newptr == NULL)
return NULL;
copySize = GET_SIZE(HDRP(oldptr));
if (asize < copySize)
copySize = asize;
memcpy(newptr, oldptr, copySize-WSIZE);
mm_free(oldptr);
return newptr;
}
}
void LKH::LKHAlg::NormalizeNodeList()
{
Node *t1, *t2;
t1 = FirstNode;
do {
t2 = SUC(t1);
t1->Pred = PRED(t1);
t1->Suc = t2;
}
while ((t1 = t2) != FirstNode);
}
static void place (void*bp, size_t asize){
size_t csize = GET_SIZE(HDRP(bp));
offlist(bp);
if((csize - asize) >= (2*DSIZE)) {
PUT(HDRP(bp),PACK(asize,1));
PUT(FTRP(bp),PACK(asize,1));
bp = NEXT_BLKP(bp);
PUT(HDRP(bp),PACK(csize-asize,0));
PUT(FTRP(bp),PACK(csize-asize,0));
PUT(bp, endfree);
PUT(SUC(bp), NULL);
if (endfree)
PUT(SUC(endfree), bp);
endfree = bp;
}
else{
PUT(HDRP(bp),PACK(csize,1));
PUT(FTRP(bp),PACK(csize,1));
}
}
static void *extend_heap(size_t words){
char *bp;
size_t size;
/*Allocate an even numer of words to maintain alignment*/
size = (words%2)? (words+1)*WSIZE : words * WSIZE;
if((long)(bp=mem_sbrk(size))== -1)
return NULL;
/*Initialize free block header/footer and the epilogue header*/
PUT(HDRP(bp),PACK(size,0)); //free block header
PUT(FTRP(bp),PACK(size,0)); //free block footer
PUT(HDRP(NEXT_BLKP(bp)),PACK(0,1)); //New epilogue header
PUT(bp, endfree);
PUT(SUC(bp), NULL);
if (endfree)
PUT(SUC(endfree), bp);
endfree = bp;
/*Coalesce if the previous block was free*/
return coalesce(bp);
}
GainType LKH::LKHAlg::PatchCycles(int k, GainType Gain)
{
Node *s1, *s2, *sStart, *sStop;
GainType NewGain;
int M, i;
if(!CurrentCycle.get())
{
CurrentCycle.reset(new int(0));
Patchwork.reset(new int(0));
RecLevel.reset(new int(0));
}
FindPermutation(k,this);
M = Cycles(k);
if (M == 1 && Gain > 0) {
MakeKOptMove(k);
return Gain;
}
if (M == 1 || M > PatchingC || k + M > NonsequentialMoveType)
return 0;
if (*RecLevel == 0)
*Patchwork = 0;
*CurrentCycle = ShortestCycle(M, k,this);
for (i = 0; i < k; i++) {
if ((*cycle.get())[(*p.get())[2 * i]] != *CurrentCycle)
continue;
sStart = (*t.get())[(*p.get())[2 * i]];
sStop = (*t.get())[(*p.get())[2 * i + 1]];
for (s1 = sStart; s1 != sStop; s1 = s2) {
s2 = SUC(s1);
if (FixedOrCommon(s1, s2))
continue;
if (++(*Patchwork) > Dimension)
return 0;
(*t.get())[2 * k + 1] = s1;
(*t.get())[2 * k + 2] = s2;
MarkDeleted(s1, s2);
/* Find a set of gainful alternating cycles */
NewGain = PatchCyclesRec(k, 2, M, Gain + (this->*C)(s1, s2),this);
UnmarkDeleted(s1, s2);
if (NewGain > 0)
return NewGain;
}
}
return 0;
}
void
LKH::LKHAlg::Make4OptMove(Node * t1, Node * t2, Node * t3, Node * t4,
Node * t5, Node * t6, Node * t7, Node * t8, int Case)
{
if (SUC(t1) != t2)
Reversed ^= 1;
switch (Case) {
case 1:
case 2:
Swap3(t1, t2, t3, t6, t5, t4, t7, t8, t1);
return;
case 3:
case 4:
Swap3(t1, t2, t3, t8, t7, t6, t5, t8, t1);
return;
case 5:
if (!BETWEEN(t2, t7, t3))
Swap3(t5, t6, t7, t2, t1, t4, t1, t4, t5);
else if (BETWEEN(t2, t7, t6))
Swap3(t5, t6, t7, t5, t8, t3, t3, t8, t1);
else
Swap3(t1, t2, t7, t7, t2, t3, t4, t7, t6);
return;
case 6:
Swap3(t3, t4, t5, t6, t3, t2, t1, t6, t7);
return;
case 7:
Swap3(t6, t5, t8, t2, t1, t4, t8, t5, t4);
return;
case 11:
Swap3(t1, t2, t7, t3, t4, t5, t3, t6, t7);
return;
case 12:
Swap3(t3, t4, t5, t7, t8, t1, t3, t6, t7);
return;
case 15:
Swap3(t3, t4, t5, t3, t6, t7, t8, t3, t2);
return;
default:
eprintf("Make4OptMove: Internal error");
}
}
static void *coalesce(void *bp)
{
size_t prev_alloc = GET_ALLOC(FTRP(PREV_BLKP(bp)));
size_t next_alloc = GET_ALLOC(HDRP(NEXT_BLKP(bp)));
size_t size = GET_SIZE(HDRP(bp));
if(prev_alloc && next_alloc){
return bp;
}
else if (prev_alloc && !next_alloc){
offlist(NEXT_BLKP(bp));
size += GET_SIZE(HDRP(NEXT_BLKP(bp)));
PUT(SUC(NEXT_BLKP(bp)), GET(SUC(bp)));
PUT(HDRP(bp),PACK(size,0));
PUT(FTRP(bp),PACK(size,0));
}
else if (!prev_alloc && next_alloc){
offlist(bp);
size += GET_SIZE(HDRP(PREV_BLKP(bp)));
PUT(SUC(bp), GET(SUC(PREV_BLKP(bp))));
PUT(FTRP(bp),PACK(size,0));
PUT(HDRP(PREV_BLKP(bp)),PACK(size,0));
bp = PREV_BLKP(bp);
}
else {
offlist(bp);
offlist(NEXT_BLKP(bp));
size += GET_SIZE(HDRP(PREV_BLKP(bp))) + GET_SIZE(FTRP(NEXT_BLKP(bp)));
PUT(SUC(NEXT_BLKP(bp)), GET(SUC(PREV_BLKP(bp))));
PUT(HDRP(PREV_BLKP(bp)),PACK(size,0));
PUT(FTRP(NEXT_BLKP(bp)),PACK(size,0));
bp = PREV_BLKP(bp);
}
return bp;
}
void Flip_SL(Node * t1, Node * t2, Node * t3)
{
Node *t4, *a, *b, *c, *d;
Segment *P1, *P2, *P3, *P4, *Q1, *Q2;
Node *s1, *s2;
int i, Temp;
assert(t1->Pred == t2 || t1->Suc == t2);
if (t3 == t2->Pred || t3 == t2->Suc)
return;
if (Groups == 1) {
Flip(t1, t2, t3);
return;
}
t4 = t2 == SUC(t1) ? PRED(t3) : SUC(t3);
P1 = t1->Parent;
P2 = t2->Parent;
P3 = t3->Parent;
P4 = t4->Parent;
/* Split segments if needed */
if (P1 != P3 && P2 != P4) {
if (P1 == P2) {
SplitSegment(t1, t2);
P1 = t1->Parent;
P2 = t2->Parent;
}
if (P3 == P4 && P1 != P3 && P2 != P4) {
SplitSegment(t3, t4);
P3 = t3->Parent;
P4 = t4->Parent;
}
} else
if ((P1 == P3
&& abs(t3->Rank - t1->Rank) > SPLIT_CUTOFF * GroupSize)
|| (P2 == P4
&& abs(t4->Rank - t2->Rank) > SPLIT_CUTOFF * GroupSize)) {
if (P1 == P2) {
SplitSegment(t1, t2);
P1 = t1->Parent;
P2 = t2->Parent;
P3 = t3->Parent;
P4 = t4->Parent;
}
if (P3 == P4) {
SplitSegment(t3, t4);
P1 = t1->Parent;
P2 = t2->Parent;
P3 = t3->Parent;
P4 = t4->Parent;
}
}
/* Check if it is possible to flip locally within a segment */
b = 0;
if (P1 == P3) {
/* Either the t1 --> t3 path or the t2 --> t4 path lies
within one segment */
if (t1->Rank < t3->Rank) {
if (P1 == P2 && P1 == P4 && t2->Rank > t1->Rank) {
a = t1;
b = t2;
c = t3;
d = t4;
} else {
a = t2;
b = t1;
c = t4;
d = t3;
}
} else {
if (P1 == P2 && P1 == P4 && t2->Rank < t1->Rank) {
a = t3;
b = t4;
c = t1;
d = t2;
} else {
a = t4;
b = t3;
c = t2;
d = t1;
}
}
} else if (P2 == P4) {
/* The t2 --> t4 path lies within one segment */
if (t4->Rank < t2->Rank) {
a = t3;
b = t4;
c = t1;
d = t2;
} else {
a = t1;
b = t2;
c = t3;
d = t4;
}
}
if (b) {
int Cbc = C(b, c), Cda = C(d, a);
/* Flip locally (b --> d) within a segment */
i = d->Rank;
d->Suc = 0;
s2 = b;
while ((s1 = s2)) {
s2 = s1->Suc;
s1->Suc = s1->Pred;
s1->Pred = s2;
s1->Rank = i--;
Temp = s1->SucCost;
s1->SucCost = s1->PredCost;
s1->PredCost = Temp;
}
d->Pred = a;
b->Suc = c;
d->PredCost = Cda;
b->SucCost = Cbc;
if (a->Suc == b) {
a->Suc = d;
a->SucCost = d->PredCost;
} else {
a->Pred = d;
a->PredCost = d->PredCost;
}
if (c->Pred == d) {
c->Pred = b;
c->PredCost = b->SucCost;
} else {
c->Suc = b;
c->SucCost = b->SucCost;
}
if (b->Parent->First == b)
b->Parent->First = d;
else if (d->Parent->First == d)
d->Parent->First = b;
if (b->Parent->Last == b)
b->Parent->Last = d;
else if (d->Parent->Last == d)
d->Parent->Last = b;
} else {
int Ct2t3, Ct4t1;
/* Reverse a sequence of segments */
if (P1->Suc != P2) {
a = t1;
t1 = t2;
t2 = a;
a = t3;
t3 = t4;
t4 = a;
Q1 = P1;
P1 = P2;
P2 = Q1;
Q1 = P3;
P3 = P4;
P4 = Q1;
}
/* Find the sequence with the smallest number of segments */
if ((i = P2->Rank - P3->Rank) < 0)
i += Groups;
if (2 * i > Groups) {
a = t3;
t3 = t2;
t2 = a;
a = t1;
t1 = t4;
t4 = a;
Q1 = P3;
P3 = P2;
P2 = Q1;
Q1 = P1;
P1 = P4;
P4 = Q1;
}
Ct2t3 = C(t2, t3);
Ct4t1 = C(t4, t1);
/* Reverse the sequence of segments (P3 --> P1).
Mirrors the corresponding code in the Flip function */
i = P1->Rank;
P1->Suc = 0;
Q2 = P3;
while ((Q1 = Q2)) {
Q2 = Q1->Suc;
Q1->Suc = Q1->Pred;
Q1->Pred = Q2;
Q1->Rank = i--;
Q1->Reversed ^= 1;
}
P3->Suc = P2;
P2->Pred = P3;
P1->Pred = P4;
P4->Suc = P1;
if (t3->Suc == t4) {
t3->Suc = t2;
t3->SucCost = Ct2t3;
} else {
t3->Pred = t2;
t3->PredCost = Ct2t3;
}
if (t2->Suc == t1) {
t2->Suc = t3;
t2->SucCost = Ct2t3;
} else {
t2->Pred = t3;
t2->PredCost = Ct2t3;
}
if (t1->Pred == t2) {
t1->Pred = t4;
t1->PredCost = Ct4t1;
} else {
t1->Suc = t4;
t1->SucCost = Ct4t1;
}
if (t4->Pred == t3) {
t4->Pred = t1;
t4->PredCost = Ct4t1;
} else {
t4->Suc = t1;
t4->SucCost = Ct4t1;
}
}
SwapStack[Swaps].t1 = t1;
SwapStack[Swaps].t2 = t2;
SwapStack[Swaps].t3 = t3;
SwapStack[Swaps].t4 = t4;
Swaps++;
Hash ^= (Rand[t1->Id] * Rand[t2->Id]) ^
(Rand[t3->Id] * Rand[t4->Id]) ^
(Rand[t2->Id] * Rand[t3->Id]) ^ (Rand[t4->Id] * Rand[t1->Id]);
}
Node *Best2OptMove(Node * t1, Node * t2, GainType * G0, GainType * Gain)
{
Node *t3, *t4, *T3 = 0, *T4 = 0;
Candidate *Nt2;
GainType G1, G2, BestG2 = MINUS_INFINITY;
int Breadth2 = 0;
if (SUC(t1) != t2)
Reversed ^= 1;
/*
* Determine (T3,T4) = (t3,t4)
* such that
*
* G4 = *G0 - C(t2,T3) + C(T3,T4)
*
* is maximum (= BestG2), and (T3,T4) has not previously been included.
* If during this process a legal move with *Gain > 0 is found, then make
* the move and exit Best2OptMove immediately
*/
/* Choose (t2,t3) as a candidate edge emanating from t2 */
for (Nt2 = t2->CandidateSet; (t3 = Nt2->To); Nt2++) {
if (t3 == t2->Pred || t3 == t2->Suc ||
((G1 = *G0 - Nt2->Cost) <= 0 && GainCriterionUsed &&
ProblemType != HCP && ProblemType != HPP))
continue;
/* Choose t4 (only one choice gives a closed tour) */
t4 = PRED(t3);
if (FixedOrCommon(t3, t4))
continue;
G2 = G1 + C(t3, t4);
if (!Forbidden(t4, t1) &&
(!c || G2 - c(t4, t1) > 0) && (*Gain = G2 - C(t4, t1)) > 0) {
Swap1(t1, t2, t3);
*G0 = G2;
return 0;
}
if (++Breadth2 > MaxBreadth)
break;
if (GainCriterionUsed && G2 - Precision < t4->Cost)
continue;
if (!Backtracking || Swaps > 0) {
if (G2 > BestG2 &&
Swaps < MaxSwaps &&
Excludable(t3, t4) && (!InInputTour(t3, t4)
|| !Near(t3, t4))) {
T3 = t3;
T4 = t4;
BestG2 = G2;
}
} else if (MaxSwaps > 0) {
GainType G = G2;
Node *t = t4;
Make2OptMove(t1, t2, t3, t4);
Exclude(t1, t2);
Exclude(t3, t4);
while ((t = BestSubsequentMove(t1, t, &G, Gain)));
if (*Gain > 0)
return 0;
RestoreTour();
if (t2 != SUC(t1))
Reversed ^= 1;
}
}
*Gain = 0;
if (T4) {
/* Make the best 2-opt move */
Swap1(t1, t2, T3);
Exclude(t1, t2);
Exclude(T3, T4);
*G0 = BestG2;
}
return T4;
}
GainType LinKernighan()
{
Node *t1, *t2, *SUCt1;
GainType Gain, G0, Cost;
int X2, i, it = 0;
Candidate *Nt1;
Segment *S;
SSegment *SS;
double EntryTime = GetTime();
Reversed = 0;
S = FirstSegment;
i = 0;
do {
S->Size = 0;
S->Rank = ++i;
S->Reversed = 0;
S->First = S->Last = 0;
}
while ((S = S->Suc) != FirstSegment);
SS = FirstSSegment;
i = 0;
do {
SS->Size = 0;
SS->Rank = ++i;
SS->Reversed = 0;
SS->First = SS->Last = 0;
}
while ((SS = SS->Suc) != FirstSSegment);
FirstActive = LastActive = 0;
Swaps = 0;
/* Compute the cost of the initial tour, Cost.
Compute the corresponding hash value, Hash.
Initialize the segment list.
Make all nodes "active" (so that they can be used as t1). */
Cost = 0;
Hash = 0;
i = 0;
t1 = FirstNode;
do {
t2 = t1->OldSuc = t1->Suc;
t1->OldPred = t1->Pred;
t1->Rank = ++i;
Cost += (t1->SucCost = t2->PredCost = C(t1, t2)) - t1->Pi - t2->Pi;
Hash ^= Rand[t1->Id] * Rand[t2->Id];
t1->Cost = INT_MAX;
for (Nt1 = t1->CandidateSet; (t2 = Nt1->To); Nt1++)
if (t2 != t1->Pred && t2 != t1->Suc && Nt1->Cost < t1->Cost)
t1->Cost = Nt1->Cost;
t1->Parent = S;
S->Size++;
if (S->Size == 1)
S->First = t1;
S->Last = t1;
if (SS->Size == 0)
SS->First = S;
S->Parent = SS;
SS->Last = S;
if (S->Size == GroupSize) {
S = S->Suc;
SS->Size++;
if (SS->Size == SGroupSize)
SS = SS->Suc;
}
t1->OldPredExcluded = t1->OldSucExcluded = 0;
t1->Next = 0;
if (KickType == 0 || Kicks == 0 ||
!InBestTour(t1, t1->Pred) || !InBestTour(t1, t1->Suc))
Activate(t1);
}
while ((t1 = t1->Suc) != FirstNode);
if (S->Size < GroupSize)
SS->Size++;
Cost /= Precision;
if (TraceLevel >= 3 || (TraceLevel == 2 && Cost < BetterCost)) {
printff("Cost = " GainFormat, Cost);
if (Optimum != MINUS_INFINITY && Optimum != 0)
printff(", Gap = %0.4f%%", 100.0 * (Cost - Optimum) / Optimum);
printff(", Time = %0.1f sec. %s\n", fabs(GetTime() - EntryTime),
Cost < Optimum ? "<" : Cost == Optimum ? "=" : "");
}
PredSucCostAvailable = 1;
/* Loop as long as improvements are found */
do {
/* Choose t1 as the first "active" node */
while ((t1 = RemoveFirstActive())) {
/* t1 is now "passive" */
SUCt1 = SUC(t1);
if ((TraceLevel >= 3 || (TraceLevel == 2 && Trial == 1)) &&
++it % (Dimension >= 100000 ? 10000 :
Dimension >= 10000 ? 1000 : 100) == 0)
printff("#%d: Time = %0.1f sec.\n",
it, fabs(GetTime() - EntryTime));
/* Choose t2 as one of t1's two neighbors on the tour */
for (X2 = 1; X2 <= 2; X2++) {
t2 = X2 == 1 ? PRED(t1) : SUCt1;
if (FixedOrCommon(t1, t2) ||
(RestrictedSearch && Near(t1, t2) &&
(Trial == 1 ||
(Trial > BackboneTrials &&
(KickType == 0 || Kicks == 0)))))
continue;
G0 = C(t1, t2);
/* Try to find a tour-improving chain of moves */
do
t2 = Swaps == 0 ? BestMove(t1, t2, &G0, &Gain) :
BestSubsequentMove(t1, t2, &G0, &Gain);
while (t2);
if (Gain > 0) {
/* An improvement has been found */
assert(Gain % Precision == 0);
Cost -= Gain / Precision;
if (TraceLevel >= 3 ||
(TraceLevel == 2 && Cost < BetterCost)) {
printff("Cost = " GainFormat, Cost);
if (Optimum != MINUS_INFINITY && Optimum != 0)
printff(", Gap = %0.4f%%",
100.0 * (Cost - Optimum) / Optimum);
printff(", Time = %0.1f sec. %s\n",
fabs(GetTime() - EntryTime),
Cost < Optimum ? "<" : Cost ==
Optimum ? "=" : "");
}
StoreTour();
if (HashSearch(HTable, Hash, Cost))
goto End_LinKernighan;
/* Make t1 "active" again */
Activate(t1);
break;
}
RestoreTour();
}
}
if (HashSearch(HTable, Hash, Cost))
goto End_LinKernighan;
HashInsert(HTable, Hash, Cost);
/* Try to find improvements using non-sequential 4/5-opt moves */
Gain = 0;
if (Gain23Used && (Gain = Gain23()) > 0) {
/* An improvement has been found */
assert(Gain % Precision == 0);
Cost -= Gain / Precision;
StoreTour();
if (TraceLevel >= 3 || (TraceLevel == 2 && Cost < BetterCost)) {
printff("Cost = " GainFormat, Cost);
if (Optimum != MINUS_INFINITY && Optimum != 0)
printff(", Gap = %0.4f%%",
100.0 * (Cost - Optimum) / Optimum);
printff(", Time = %0.1f sec. + %s\n",
fabs(GetTime() - EntryTime),
Cost < Optimum ? "<" : Cost == Optimum ? "=" : "");
}
if (HashSearch(HTable, Hash, Cost))
goto End_LinKernighan;
}
}
while (Gain > 0);
End_LinKernighan:
PredSucCostAvailable = 0;
NormalizeNodeList();
NormalizeSegmentList();
return Cost;
}
LKH::LKHAlg::Node * LKH::LKHAlg::Best4OptMove(Node * t1, Node * t2, GainType * G0, GainType * Gain)
{
Node *t3, *t4, *t5, *t6 = 0, *t7, *t8 = 0,
*T3 = 0, *T4 = 0, *T5 = 0, *T6 = 0, *T7 = 0, *T8 = 0;
Candidate *Nt2, *Nt4, *Nt6;
GainType G1, G2, G3, G4, G5, G6, BestG6 = MINUS_INFINITY;
int Case6 = 0, Case8 = 0, BestCase8 = 0, X4, X6, X8;
int Breadth2 = 0, Breadth4, Breadth6;
*Gain = 0;
if (SUC(t1) != t2)
Reversed ^= 1;
/*
* Determine (T3,T4,T5,T6,T7,T8) = (t3,t4,t5,t6,t7,t8)
* such that
*
* G8 = *G0 - C(t2,T3) + C(T3,T4)
* - C(T4,T5) + C(T5,T6)
* - C(T6,T7) + C(T7,T8)
*
* is maximum (= BestG6), and (T7,T8) has not previously been included.
* If during this process a legal move with *Gain > 0 is found, then make
* the move and exit Best4OptMove immediately.
*/
/* Choose (t2,t3) as a candidate edge emanating from t2 */
for (Nt2 = t2->CandidateSet; (t3 = Nt2->To); Nt2++) {
if (t3 == t2->Pred || t3 == t2->Suc ||
((G1 = *G0 - Nt2->Cost) <= 0 && GainCriterionUsed &&
ProblemType != HCP && ProblemType != HPP))
continue;
if (++Breadth2 > MaxBreadth)
break;
/* Choose t4 as one of t3's two neighbors on the tour */
for (X4 = 1; X4 <= 2; X4++) {
t4 = X4 == 1 ? PRED(t3) : SUC(t3);
if (FixedOrCommon(t3, t4))
continue;
G2 = G1 + (this->*C)(t3, t4);
if (X4 == 1 &&
!Forbidden(t4, t1) &&
(!c || G2 - (this->*c)(t4, t1) > 0) && (*Gain = G2 - (this->*C)(t4, t1)) > 0)
{
Swap1(t1, t2, t3);
return 0;
}
if (Backtracking && !Excludable(t3, t4))
continue;
Breadth4 = 0;
/* Choose (t4,t5) as a candidate edge emanating from t4 */
for (Nt4 = t4->CandidateSet; (t5 = Nt4->To); Nt4++) {
if (t5 == t4->Pred || t5 == t4->Suc ||
((G3 = G2 - Nt4->Cost) <= 0 && GainCriterionUsed &&
ProblemType != HCP && ProblemType != HPP))
continue;
if (++Breadth4 > MaxBreadth)
break;
/* Choose t6 as one of t5's two neighbors on the tour */
for (X6 = 1; X6 <= 2; X6++) {
if (X4 == 1) {
if (X6 == 1) {
Case6 = 1 + !BETWEEN(t2, t5, t4);
t6 = Case6 == 1 ? SUC(t5) : PRED(t5);
} else {
t6 = t6 == t5->Pred ? t5->Suc : t5->Pred;
if ((t5 == t1 && t6 == t2) ||
(t5 == t2 && t6 == t1))
continue;
Case6 += 2;
}
} else if (BETWEEN(t2, t5, t3)) {
Case6 = 4 + X6;
t6 = X6 == 1 ? SUC(t5) : PRED(t5);
if (t6 == t1)
continue;
} else {
if (X6 == 2)
break;
Case6 = 7;
t6 = PRED(t5);
if (t6 == t2)
continue;
}
if (FixedOrCommon(t5, t6))
continue;
G4 = G3 + (this->*C)(t5, t6);
if ((Case6 <= 2 || Case6 == 5 || Case6 == 6) &&
!Forbidden(t6, t1) &&
(!c || G4 - (this->*c)(t6, t1) > 0) &&
(*Gain = G4 - (this->*C)(t6, t1)) > 0) {
Make3OptMove(t1, t2, t3, t4, t5, t6, Case6);
return 0;
}
if (Backtracking && !Excludable(t5, t6))
continue;
Breadth6 = 0;
/* Choose (t6,t7) as a candidate edge emanating from t6 */
for (Nt6 = t6->CandidateSet; (t7 = Nt6->To); Nt6++) {
if (t7 == t6->Pred || t7 == t6->Suc ||
(t6 == t2 && t7 == t3) ||
(t6 == t3 && t7 == t2) ||
((G5 = G4 - Nt6->Cost) <= 0 &&
GainCriterionUsed &&
ProblemType != HCP && ProblemType != HPP))
continue;
if (++Breadth6 > MaxBreadth)
break;
/* Choose t8 as one of t7's two neighbors on the tour */
for (X8 = 1; X8 <= 2; X8++) {
if (X8 == 1) {
Case8 = Case6;
t8 = 0;
switch (Case6) {
case 1:
t8 = BETWEEN(t2, t7,
t5) ? SUC(t7) : PRED(t7);
break;
case 2:
t8 = BETWEEN(t3, t7,
t6) ? SUC(t7) : PRED(t7);
break;
case 3:
if (BETWEEN(t5, t7, t4))
t8 = SUC(t7);
break;
case 4:
if (BETWEEN(t2, t7, t5))
t8 = BETWEEN(t2, t7,
t4) ? SUC(t7) :
PRED(t7);
break;
case 5:
t8 = PRED(t7);
break;
case 6:
t8 = BETWEEN(t2, t7,
t3) ? SUC(t7) : PRED(t7);
break;
case 7:
if (BETWEEN(t2, t7, t3))
t8 = SUC(t7);
break;
}
if (t8 == 0)
break;
} else {
if (Case6 != 3 && Case6 != 4 && Case6 != 7)
break;
t8 = t8 == t7->Pred ? t7->Suc : t7->Pred;
Case8 += 8;
}
if (t8 == t1 ||
(t7 == t3 && t8 == t4) ||
(t7 == t4 && t8 == t3))
continue;
if (FixedOrCommon(t7, t8))
continue;
G6 = G5 + (this->*C)(t7, t8);
if (t8 != t1 &&
!Forbidden(t8, t1) &&
(!c || G6 - (this->*c)(t8, t1) > 0) &&
(*Gain = G6 - (this->*C)(t8, t1)) > 0) {
Make4OptMove(t1, t2, t3, t4, t5, t6, t7,
t8, Case8);
return 0;
}
if (GainCriterionUsed &&
G6 - Precision < t8->Cost)
continue;
if (!Backtracking || Swaps > 0) {
if ((G6 > BestG6 ||
(G6 == BestG6 && !Near(t7, t8) &&
Near(T7, T8))) &&
Swaps < MaxSwaps &&
Excludable(t7, t8) &&
!InInputTour(t7, t8)) {
/* Ignore the move if the gain does
not vary */
if (RestrictedSearch &&
ProblemType != HCP &&
ProblemType != HPP &&
G2 - t4->Pi == G4 - t6->Pi &&
G4 - t6->Pi == G6 - t8->Pi &&
G3 + t5->Pi == G1 + t3->Pi &&
G5 + t7->Pi == G3 + t5->Pi)
continue;
T3 = t3;
T4 = t4;
T5 = t5;
T6 = t6;
T7 = t7;
T8 = t8;
BestCase8 = Case8;
BestG6 = G6;
}
} else if (MaxSwaps > 0) {
GainType G = G6;
Node *t = t8;
Make4OptMove(t1, t2, t3, t4, t5, t6, t7,
t8, Case8);
Exclude(t1, t2);
Exclude(t3, t4);
Exclude(t5, t6);
Exclude(t7, t8);
while ((t =
(this->*BestSubsequentMove)(t1, t, &G,
Gain)));
if (*Gain > 0)
return 0;
RestoreTour();
if (t2 != SUC(t1))
Reversed ^= 1;
}
}
}
}
}
}
}
*Gain = 0;
if (T8) {
/* Make the best 4-opt move */
Make4OptMove(t1, t2, T3, T4, T5, T6, T7, T8, BestCase8);
Exclude(t1, t2), Exclude(T3, T4);
Exclude(T5, T6);
Exclude(T7, T8);
*G0 = BestG6;
}
return T8;
}
Node *Best3OptMove(Node * t1, Node * t2, GainType * G0, GainType * Gain)
{
Node *t3, *t4, *t5, *t6, *T3 = 0, *T4 = 0, *T5 = 0, *T6 = 0;
Candidate *Nt2, *Nt4;
GainType G1, G2, G3, G4, BestG4 = MINUS_INFINITY;
int Case6, BestCase6 = 0, X4, X6;
int Breadth2 = 0, Breadth4;
if (SUC(t1) != t2)
Reversed ^= 1;
/*
* Determine (T3,T4,T5,T6) = (t3,t4,t5,t6)
* such that
*
* G4 = *G0 - C(t2,T3) + C(T3,T4)
* - C(T4,T5) + C(T5,T6)
*
* is maximum (= BestG4), and (T5,T6) has not previously been included.
* If during this process a legal move with *Gain > 0 is found, then make
* the move and exit Best3OptMove immediately.
*/
/* Choose (t2,t3) as a candidate edge emanating from t2 */
for (Nt2 = t2->CandidateSet; (t3 = Nt2->To); Nt2++) {
if (t3 == t2->Pred || t3 == t2->Suc ||
((G1 = *G0 - Nt2->Cost) <= 0 && GainCriterionUsed &&
ProblemType != HCP && ProblemType != HPP))
continue;
if (++Breadth2 > MaxBreadth)
break;
/* Choose t4 as one of t3's two neighbors on the tour */
for (X4 = 1; X4 <= 2; X4++) {
t4 = X4 == 1 ? PRED(t3) : SUC(t3);
if (FixedOrCommon(t3, t4))
continue;
G2 = G1 + C(t3, t4);
if (X4 == 1 &&
!Forbidden(t4, t1) &&
(!c || G2 - c(t4, t1) > 0) && (*Gain = G2 - C(t4, t1)) > 0)
{
Swap1(t1, t2, t3);
return 0;
}
if (Backtracking && !Excludable(t3, t4))
continue;
Breadth4 = 0;
/* Choose (t4,t5) as a candidate edge emanating from t4 */
for (Nt4 = t4->CandidateSet; (t5 = Nt4->To); Nt4++) {
if (t5 == t4->Pred || t5 == t4->Suc ||
((G3 = G2 - Nt4->Cost) <= 0 && GainCriterionUsed) ||
(X4 == 2 && !BETWEEN(t2, t5, t3)))
continue;
if (++Breadth4 > MaxBreadth)
break;
/* Choose t6 as one of t5's two neighbors on the tour */
for (X6 = 1; X6 <= X4; X6++) {
if (X4 == 1) {
Case6 = 1 + !BETWEEN(t2, t5, t4);
t6 = Case6 == 1 ? SUC(t5) : PRED(t5);
} else {
Case6 = 4 + X6;
t6 = X6 == 1 ? SUC(t5) : PRED(t5);
if (t6 == t1)
continue;
}
if (FixedOrCommon(t5, t6))
continue;
G4 = G3 + C(t5, t6);
if (!Forbidden(t6, t1) &&
(!c || G4 - c(t6, t1) > 0) &&
(*Gain = G4 - C(t6, t1)) > 0) {
Make3OptMove(t1, t2, t3, t4, t5, t6, Case6);
return 0;
}
if (GainCriterionUsed && G4 - Precision < t6->Cost)
continue;
if (!Backtracking || Swaps > 0) {
if (G4 > BestG4 &&
Swaps < MaxSwaps &&
Excludable(t5, t6) &&
(!InInputTour(t5, t6) || !Near(t5, t6))) {
/* Ignore the move if the gain does not vary */
if (RestrictedSearch &&
ProblemType != HCP &&
ProblemType != HPP &&
G2 - t4->Pi == G4 - t6->Pi &&
G3 + t5->Pi == G1 + t3->Pi)
continue;
T3 = t3;
T4 = t4;
T5 = t5;
T6 = t6;
BestCase6 = Case6;
BestG4 = G4;
}
} else if (MaxSwaps > 0) {
GainType G = G4;
Node *t = t6;
Make3OptMove(t1, t2, t3, t4, t5, t6, Case6);
Exclude(t1, t2);
Exclude(t3, t4);
Exclude(t5, t6);
while ((t = BestSubsequentMove(t1, t, &G, Gain)));
if (*Gain > 0)
return 0;
RestoreTour();
if (t2 != SUC(t1))
Reversed ^= 1;
}
}
}
}
}
*Gain = 0;
if (T6) {
/* Make the best 3-opt move */
Make3OptMove(t1, t2, T3, T4, T5, T6, BestCase6);
Exclude(t1, t2);
Exclude(T3, T4);
Exclude(T5, T6);
*G0 = BestG4;
}
return T6;
}
LKH::LKHAlg::Node * LKH::LKHAlg::Best5OptMove(Node * t1, Node * t2, GainType * G0, GainType * Gain)
{
Node *t3, *t4, *t5, *t6 = 0, *t7, *t8 = 0, *t9, *t10 = 0;
Node *T3 = 0, *T4 = 0, *T5 = 0, *T6 = 0, *T7 = 0, *T8 = 0, *T9 =
0, *T10 = 0;
Candidate *Nt2, *Nt4, *Nt6, *Nt8;
GainType G1, G2, G3, G4, G5, G6, G7, G8, BestG8 = MINUS_INFINITY;
int Case6 = 0, Case8 = 0, Case10 = 0, BestCase10 = 0, X4, X6, X8, X10,
BTW275 = 0, BTW674 = 0,
BTW571 = 0, BTW376 = 0, BTW574 = 0, BTW671 = 0,
BTW471 = 0, BTW673 = 0, BTW573 = 0, BTW273 = 0;
int Breadth2 = 0, Breadth4, Breadth6, Breadth8;
if (t2 != SUC(t1))
Reversed ^= 1;
/*
* Determine (T3,T4,T5,T6,T7,T8,T9,T10) = (t3,t4,t5,t6,t7,t8,t9,t10)
* such that
*
* G8 = *G0 - C(t2,T3) + C(T3,T4)
* - C(T4,T5) + C(T5,T6)
* - C(T6,T7) + C(T7,T8)
* - C(T8,T9) + C(T9,T10)
*
* is maximum (= BestG8), and (T9,T10) has not previously been included.
* If during this process a legal move with *Gain > 0 is found, then make
* the move and exit Best5OptMove immediately.
*/
/* Choose (t2,t3) as a candidate edge emanating from t2 */
for (Nt2 = t2->CandidateSet; (t3 = Nt2->To); Nt2++) {
if (t3 == t2->Pred || t3 == t2->Suc ||
((G1 = *G0 - Nt2->Cost) <= 0 && GainCriterionUsed &&
ProblemType != HCP && ProblemType != HPP))
continue;
if (++Breadth2 > MaxBreadth)
break;
/* Choose t4 as one of t3's two neighbors on the tour */
for (X4 = 1; X4 <= 2; X4++) {
t4 = X4 == 1 ? PRED(t3) : SUC(t3);
if (FixedOrCommon(t3, t4))
continue;
G2 = G1 + (this->*C)(t3, t4);
if (X4 == 1 &&
!Forbidden(t4, t1) &&
(!c || G2 - (this->*c)(t4, t1) > 0) && (*Gain = G2 - (this->*C)(t4, t1)) > 0)
{
Make2OptMove(t1, t2, t3, t4);
return 0;
}
if (Backtracking && !Excludable(t3, t4))
continue;
Breadth4 = 0;
/* Choose (t4,t5) as a candidate edge emanating from t4 */
for (Nt4 = t4->CandidateSet; (t5 = Nt4->To); Nt4++) {
if (t5 == t4->Pred || t5 == t4->Suc ||
((G3 = G2 - Nt4->Cost) <= 0 && GainCriterionUsed &&
ProblemType != HCP && ProblemType != HPP))
continue;
if (++Breadth4 > MaxBreadth)
break;
/* Choose t6 as one of t5's two neighbors on the tour */
for (X6 = 1; X6 <= 2; X6++) {
if (X4 == 1) {
if (X6 == 1) {
Case6 = 1 + !BETWEEN(t2, t5, t4);
t6 = Case6 == 1 ? SUC(t5) : PRED(t5);
} else {
t6 = t6 == t5->Pred ? t5->Suc : t5->Pred;
if ((t5 == t1 && t6 == t2) ||
(t5 == t2 && t6 == t1))
continue;
Case6 += 2;
}
} else if (BETWEEN(t2, t5, t3)) {
Case6 = 4 + X6;
t6 = X6 == 1 ? SUC(t5) : PRED(t5);
if (t6 == t1)
continue;
} else {
Case6 = 6 + X6;
t6 = X6 == 1 ? PRED(t5) : SUC(t5);
if (t6 == t2)
continue;
}
if (FixedOrCommon(t5, t6))
continue;
G4 = G3 + (this->*C)(t5, t6);
if ((Case6 <= 2 || Case6 == 5 || Case6 == 6) &&
!Forbidden(t6, t1) &&
(!c || G4 - (this->*c)(t6, t1) > 0) &&
(*Gain = G4 - (this->*C)(t6, t1)) > 0) {
Make3OptMove(t1, t2, t3, t4, t5, t6, Case6);
return 0;
}
if (Backtracking && !Excludable(t5, t6))
continue;
Breadth6 = 0;
/* Choose (t6,t7) as a candidate edge emanating from t6 */
for (Nt6 = t6->CandidateSet; (t7 = Nt6->To); Nt6++) {
if (t7 == t6->Pred || t7 == t6->Suc ||
(t6 == t2 && t7 == t3) ||
(t6 == t3 && t7 == t2) ||
((G5 = G4 - Nt6->Cost) <= 0 &&
GainCriterionUsed &&
ProblemType != HCP && ProblemType != HPP))
continue;
if (++Breadth6 > MaxBreadth)
break;
/* Choose t8 as one of t7's two neighbors on the tour */
for (X8 = 1; X8 <= 2; X8++) {
if (X8 == 1) {
Case8 = Case6;
switch (Case6) {
case 1:
if ((BTW275 = BETWEEN(t2, t7, t5)))
t8 = SUC(t7);
else {
t8 = PRED(t7);
BTW674 = BETWEEN(t6, t7, t4);
}
break;
case 2:
if ((BTW376 = BETWEEN(t3, t7, t6)))
t8 = SUC(t7);
else {
t8 = PRED(t7);
BTW571 = BETWEEN(t5, t7, t1);
}
break;
case 3:
t8 = SUC(t7);
BTW574 = BETWEEN(t5, t7, t4);
break;
case 4:
if ((BTW671 = BETWEEN(t6, t7, t1)))
t8 = PRED(t7);
else
t8 = BETWEEN(t2, t7,
t4) ? SUC(t7) :
PRED(t7);
break;
case 5:
t8 = PRED(t7);
BTW471 = BETWEEN(t4, t7, t1);
if (!BTW471)
BTW673 = BETWEEN(t6, t7, t3);
break;
case 6:
if ((BTW471 = BETWEEN(t4, t7, t1)))
t8 = PRED(t7);
else {
t8 = SUC(t7);
BTW573 = BETWEEN(t5, t7, t3);
}
break;
case 7:
case 8:
t8 = SUC(t7);
BTW273 = BETWEEN(t2, t7, t3);
break;
}
} else {
t8 = t8 == t7->Pred ? t7->Suc : t7->Pred;
Case8 += 8;
}
if ((t7 == t1 && t8 == t2) ||
(t7 == t2 && t8 == t1) ||
(t7 == t3 && t8 == t4) ||
(t7 == t4 && t8 == t3))
continue;
if (FixedOrCommon(t7, t8))
continue;
if (Case6 == 3 && !BTW574 &&
(X8 == 1) == BETWEEN(t3, t7, t1))
continue;
if (Case6 == 4 && BTW671 && X8 == 2)
break;
if (Case6 == 7 && !BTW273 &&
(X8 == 1) == BETWEEN(t5, t7, t1))
continue;
if (Case6 == 8 && !BTW273
&& !BETWEEN(t4, t7, t5))
break;
G6 = G5 + (this->*C)(t7, t8);
if (t8 != t1 &&
(Case6 == 3 ? BTW574 :
Case6 == 4 ? !BTW671 :
Case6 == 7 ? BTW273 :
Case6 != 8 && X8 == 1) &&
!Forbidden(t8, t1) &&
(!c || G6 - (this->*c)(t8, t1) > 0) &&
(*Gain = G6 - (this->*C)(t8, t1)) > 0) {
Make4OptMove(t1, t2, t3, t4, t5, t6, t7,
t8, Case8);
return 0;
}
if (Backtracking && !Excludable(t7, t8))
continue;
Breadth8 = 0;
/* Choose (t8,t9) as a candidate edge emanating
from t8 */
for (Nt8 = t8->CandidateSet; (t9 = Nt8->To);
Nt8++) {
if (t9 == t8->Pred || t9 == t8->Suc
|| t9 == t1 || (t8 == t2 && t9 == t3)
|| (t8 == t3 && t9 == t2) || (t8 == t4
&& t9 ==
t5)
|| (t8 == t5 && t9 == t4)
|| ((G7 = G6 - Nt8->Cost) <= 0
&& GainCriterionUsed
&& ProblemType != HCP
&& ProblemType != HPP))
continue;
if (++Breadth8 > MaxBreadth)
break;
/* Choose t10 as one of t9's two neighbors
on the tour */
for (X10 = 1; X10 <= 2; X10++) {
if (X10 == 1) {
t10 = 0;
switch (Case8) {
case 1:
t10 = (BTW275 ?
BETWEEN(t8, t9, t5)
|| BETWEEN(t3, t9,
t1) : BTW674
? BETWEEN(t7, t9,
t1) :
BETWEEN(t7, t9,
t5)) ? PRED(t9)
: SUC(t9);
Case10 = 22;
break;
case 2:
t10 = (BTW376 ?
BETWEEN(t8, t9, t4) :
BTW571 ?
BETWEEN(t7, t9, t1)
|| BETWEEN(t3, t9,
t6) :
BETWEEN(t7, t9,
t1)) ? PRED(t9)
: SUC(t9);
Case10 = 23;
break;
case 3:
if (BTW574) {
t10 = BETWEEN(t5, t9, t1) ?
PRED(t9) : SUC(t9);
Case10 = 24;
break;
}
if (!BETWEEN(t5, t9, t4))
break;
t10 = SUC(t9);
Case10 = 1;
break;
case 4:
if (BTW671) {
if (!BETWEEN(t2, t9, t5))
break;
t10 = SUC(t9);
Case10 = 2;
break;
}
t10 = BETWEEN(t6, t9, t4) ?
PRED(t9) : SUC(t9);
Case10 = 25;
break;
case 5:
t10 = (BTW471 ?
BETWEEN(t7, t9, t1) :
BTW673 ?
BETWEEN(t7, t9, t5) :
BETWEEN(t4, t9, t1)
|| BETWEEN(t7, t9,
t5)) ?
PRED(t9) : SUC(t9);
Case10 = 26;
break;
case 6:
t10 = (BTW471 ?
BETWEEN(t7, t9, t3) :
BTW573 ?
BETWEEN(t8, t9, t6) :
BETWEEN(t4, t9, t1)
|| BETWEEN(t8, t9,
t6)) ?
PRED(t9) : SUC(t9);
Case10 = 27;
break;
case 7:
if (BTW273) {
t10 = BETWEEN(t5, t9, t3) ?
PRED(t9) : SUC(t9);
Case10 = 28;
break;
}
if (!BETWEEN(t2, t9, t3))
break;
t10 = SUC(t9);
Case10 = 3;
break;
case 8:
if (BTW273) {
if (!BETWEEN(t4, t9, t5))
break;
Case10 = 4;
} else {
if (!BETWEEN(t2, t9, t3))
break;
Case10 = 5;
}
t10 = SUC(t9);
break;
case 9:
if (BTW275) {
if (!BETWEEN(t7, t9, t4))
break;
t10 = SUC(t9);
Case10 = 6;
break;
}
if (!BTW674) {
if (!BETWEEN(t2, t9, t7))
break;
t10 = SUC(t9);
Case10 = 7;
break;
}
if (!BETWEEN(t6, t9, t7))
break;
t10 = SUC(t9);
Case10 = 8;
break;
case 10:
if (BTW376) {
if (!BETWEEN(t7, t9, t6))
break;
t10 = SUC(t9);
Case10 = 9;
break;
}
if (BTW571) {
if (!BETWEEN(t2, t9, t7))
break;
t10 = SUC(t9);
Case10 = 10;
break;
}
if (!BETWEEN(t3, t9, t6) &&
!BETWEEN(t2, t9, t7))
break;
t10 = SUC(t9);
Case10 = 11;
break;
case 11:
if (BTW574) {
t10 = BETWEEN(t3, t9, t1) ?
PRED(t9) : SUC(t9);
Case10 = 29;
break;
}
if (!BETWEEN(t5, t9, t4))
break;
t10 = SUC(t9);
Case10 = 12;
break;
case 12:
t10 = BETWEEN(t3, t9, t1) ?
PRED(t9) : SUC(t9);
Case10 = 30;
break;
case 13:
if (BTW471) {
if (!BETWEEN(t2, t9, t7))
break;
t10 = SUC(t9);
Case10 = 13;
break;
}
if (BTW673) {
if (!BETWEEN(t6, t9, t7))
break;
t10 = SUC(t9);
Case10 = 14;
break;
}
if (!BETWEEN(t6, t9, t3) &&
!BETWEEN(t2, t9, t7))
break;
t10 = SUC(t9);
Case10 = 15;
break;
case 14:
if (BTW471) {
if (!BETWEEN(t2, t9, t7))
break;
t10 = SUC(t9);
Case10 = 16;
break;
}
if (BTW573) {
if (!BETWEEN(t7, t9, t3) &&
!BETWEEN(t2, t9, t6))
break;
t10 = SUC(t9);
Case10 = 17;
break;
}
if (!BETWEEN(t7, t9, t6))
break;
t10 = SUC(t9);
Case10 = 18;
break;
case 15:
if (BTW273) {
t10 = BETWEEN(t5, t9, t1) ?
PRED(t9) : SUC(t9);
Case10 = 31;
break;
}
if (!BETWEEN(t2, t9, t3))
break;
t10 = SUC(t9);
Case10 = 19;
break;
case 16:
if (BTW273) {
if (!BETWEEN(t4, t9, t5))
break;
Case10 = 20;
} else {
if (!BETWEEN(t2, t9, t3))
break;
Case10 = 21;
}
t10 = SUC(t9);
break;
}
if (!t10)
break;
} else {
if (Case10 >= 22)
continue;
Case10 += 31;
t10 =
t10 ==
t9->Pred ? t9->Suc : t9->Pred;
}
if (t10 == t1 ||
(t9 == t3 && t10 == t4) ||
(t9 == t4 && t10 == t3) ||
(t9 == t5 && t10 == t6) ||
(t9 == t6 && t10 == t5))
continue;
if (FixedOrCommon(t9, t10))
continue;
G8 = G7 + (this->*C)(t9, t10);
if (!Forbidden(t10, t1) &&
(!c || G8 - (this->*c)(t10, t1) > 0) &&
(*Gain = G8 - (this->*C)(t10, t1)) > 0) {
Make5OptMove(t1, t2, t3, t4, t5,
t6, t7, t8, t9, t10,
Case10);
return 0;
}
if (GainCriterionUsed &&
G8 - Precision < t10->Cost)
continue;
if (!Backtracking || Swaps > 0) {
if ((G8 > BestG8 ||
(G8 == BestG8 && !Near(t9, t10)
&& Near(T9, T10)))
&& Swaps < MaxSwaps
&& Excludable(t9, t10)
&& !InInputTour(t9, t10)) {
/* Ignore the move if the gain does
not vary */
if (RestrictedSearch &&
ProblemType != HCP &&
ProblemType != HPP &&
G2 - t4->Pi == G4 - t6->Pi &&
G4 - t6->Pi == G6 - t8->Pi &&
G6 - t8->Pi == G8 - t10->Pi &&
G3 + t5->Pi == G1 + t3->Pi &&
G5 + t7->Pi == G3 + t5->Pi &&
G7 + t9->Pi == G5 + t7->Pi)
continue;
T3 = t3;
T4 = t4;
T5 = t5;
T6 = t6;
T7 = t7;
T8 = t8;
T9 = t9;
T10 = t10;
BestCase10 = Case10;
BestG8 = G8;
}
} else if (MaxSwaps > 0) {
GainType G = G8;
Node *t = t10;
Make5OptMove(t1, t2, t3, t4, t5,
t6, t7, t8, t9, t10,
Case10);
Exclude(t1, t2);
Exclude(t3, t4);
Exclude(t5, t6);
Exclude(t7, t8);
Exclude(t9, t10);
while ((t =
(this->*BestSubsequentMove)(t1, t,
&G,
Gain)));
if (*Gain > 0)
return 0;
RestoreTour();
if (t2 != SUC(t1))
Reversed ^= 1;
}
}
}
}
}
}
}
}
}
*Gain = 0;
if (T10) {
/* Make the best 5-opt move */
Make5OptMove(t1, t2, T3, T4, T5, T6, T7, T8, T9, T10, BestCase10);
Exclude(t1, t2);
Exclude(T3, T4);
Exclude(T5, T6);
Exclude(T7, T8);
Exclude(T9, T10);
*G0 = BestG8;
}
return T10;
}