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

Adapt AMPL part

Browse Source
This commit is contained in:
Jip J. Dekker 2021-05-18 17:17:58 +10:00
parent 369e21134e
commit df40f93cf1
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
2 changed files with 9 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
assets/glossary.tex
View File

@ -85,7 +85,6 @@
description={},
}
\newglossaryentry{gls-chr}{
name={constraint handling rules},
description={},
@ -191,11 +190,6 @@
description={},
}
\newglossaryentry{linear-program}{
name={linear program},
description={},
}
\newglossaryentry{gls-lcg}{
name={lazy clause generation},
description={},

24
chapters/2_background.tex
View File

@ -848,7 +848,6 @@ can then be rewritten as linear \glspl{constraint} using the \glspl{variable}
\label{line:back-mip-channel} & x_{i} = \sum_{j=1}^{n} j * y_{ij} & \forall_{i=1}^{n} \\
\label{line:back-mip-row} & \sum_{i=1}^{n} y_{ij} \leq 1 & \forall_{j=1}^{n}
\end{align}
% & \sum_{j=1} y_{ij} \leq 1 & \forall_{i=1}^{n}\\
The encoding of this variable uses only integers. Like the \gls{cp} model,
@ -963,20 +962,15 @@ expressions and functions provided by the language.
One of the most used \cmls\ is \gls{ampl} \autocite{fourer-2003-ampl}. As the
name suggest, \gls{ampl} was designed to allow modellers to express problems
through the use of mathematical equations. It is therefore also described as an
``algebraic modelling language''. Specifically an \gls{ampl} model generally
describes a \gls{linear-program}. In a \gls{linear-program} the \glspl{variable}
can take any value from a continuous range and the \gls{objective} and
\glspl{constraint} can only use linear function over \glspl{variable} (\ie\
\(\sum c_{i} x_{i}\), where all \(c_{i}\) are \glspl{parameter} and all
\(x_{i}\) are \glspl{variable}).
Depending on the \gls{solver} targeted by \gls{ampl}, the language can give the
modeller access to additional functionality. For \glspl{solver} that have a
\gls{mip} solving method, the modellers can require \glspl{variable} to be
integers. Different types of \glspl{solver} can also have access to different
types of constraints, such as quadratic and non-linear constraints. \gls{ampl}
has even been extended to allow the usage of certain \glspl{global} when using a
\gls{cp} \gls{solver} \autocite{fourer-2002-amplcp}.
``algebraic modelling language''. Specifically \gls{ampl} was designed to model
linear programs. These days \gls{ampl} has been extended to allow more advanced
\gls{solver} usage. Depending on the \gls{solver} targeted by \gls{ampl}, the
language can give the modeller access to additional functionality. For
\glspl{solver} that have a \gls{mip} solving method, the modellers can require
\glspl{variable} to be integers. Different types of \glspl{solver} can also have
access to different types of constraints, such as quadratic and non-linear
constraints. \gls{ampl} has even been extended to allow the usage of certain
\glspl{global} when using a \gls{cp} \gls{solver} \autocite{fourer-2002-amplcp}.
\begin{example}