**diff options**

Diffstat (limited to 'coinselection/ilp.tex')

-rw-r--r-- | coinselection/ilp.tex | 8 |

1 files changed, 4 insertions, 4 deletions

diff --git a/coinselection/ilp.tex b/coinselection/ilp.tex index 5d65ae5..7070897 100644 --- a/coinselection/ilp.tex +++ b/coinselection/ilp.tex @@ -59,13 +59,13 @@ Simple model: - \sum_{c \in {\cal C}} n_c \cdot \alpha \\ \texttt{such that} \quad \bigwedge_{c \in {\cal C}} n_c \cdot (d_c + f^{withdraw}_c) &\le w \label{eq:sound} \\ - n_c &\in {\mathbb N}_0 \label{eq:nc} + n_c &\in {\mathbb N}_0 \label{eq:nc1} \end{align} Explanations: \begin{description} \item[\eqref{eq:sound}] The withdraw operation is within the budget constraints. -\item[\eqref{eq:nc}] Force selected coins to be a discrete number. +\item[\eqref{eq:nc1}] Force selected coins to be a discrete number. \end{description} The above model fails to consider expiration periods of @@ -135,9 +135,9 @@ Explanations: than we have in the wallet. \item[\eqref{eq:amount}] The merchant requires that the amount we pay exceeds the contract amount, irrespective of fees which the merchant may cover. -\item[\eqref{eq:}] The merchant requires that we pay any left-over fees that are not covered +\item[\eqref{eq:fees}] The merchant requires that we pay any left-over fees that are not covered by the merchant. -\item[\eqref{eq:}] Force $\tau$ to be 1 if we pay more than the contract amount (i.e. we cover +\item[\eqref{eq:tau}] Force $\tau$ to be 1 if we pay more than the contract amount (i.e. we cover fees or otherwise simply pay more than necessary). \item[\eqref{eq:bin}] Force $\tau$ to be 0 or 1 as per our model. \item[\eqref{eq:nc}] Force selected coins to be a discrete number. |