Dekker1/dekker-phd-thesis
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Small fixes suggested by Peter

Browse Source
This commit is contained in:
Jip J. Dekker 2021-07-08 11:06:39 +10:00
parent 9c321fb273
commit b3bfc58d0d
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
assets/mzn/6_round_robin.mzn
View File

@ -8,5 +8,5 @@ predicate round_robin(array[int] of var bool: nbhs) =
select = (last_val(select) + 1) mod N
endif
/\ forall(i in 1..N) (
select = i-1 -> nbhs[i] % <-- Post Neighbourhood@\Vlabel{line:6:roundrobin:post}@
(select = i-1) -> nbhs[i] % <-- Post Neighbourhood@\Vlabel{line:6:roundrobin:post}@
);

6
chapters/5_incremental.tex
View File

@ -596,7 +596,7 @@ Given two variables \mzninline{exposure} and \mzninline{shots}, once we have fou
constraint exposure < e \/ (exposure = e /\ shots < s)
\end{mzn}
expressing the lexicographic ordering, and continue the search.
\noindent{}expressing the lexicographic ordering, and continue the search.
Since each added lexicographic constraint is strictly stronger than the previous one, we never have to retract previous constraints.
\begin{figure}
@ -605,7 +605,7 @@ Since each added lexicographic constraint is strictly stronger than the previous
\caption{\label{fig:6-radiation}A run-time performance comparison between
incremental processing (Incr.) and re-evaluation (Redo) of 9 Radiation
\minizinc\ instances in the application of Lexicographic objectives on a 3.4
GHz Quad-Core Intel Core i5 using the Gecode 6.1.2 solver. Each test was run
GHz Quad-Core Intel Core i5 using the \gls{gecode} 6.1.2 solver. Each test was run
to optimality and was conducted 20 times to provide an average.}
\end{figure}
@ -614,7 +614,7 @@ The translation shows a 13x speedup on average, and even the time spent solving
\subsection{Compiling neighbourhoods}
% TODO: Decide what to do with these
\todo{Decide what to do with these}
% Table column headings
\newcommand{\intobj}{\int}
\newcommand{\minobj}{\min}