ab7e0ca235ad2401.tex
1: \begin{definition}
2: 	Let $G$ be a simple graph on $[0,n]$. Proceed as follows:
3: 	\begin{itemize}
4: 		\item Start with the trianglular constraint array $\Tri_G(\emptyset)$ of $G$  as in Theorem \ref{arrayconstraints}.
5: 		
6: 		\item Replace the zero on the left of row $j$ by $y_{n,\,j}+y_{n-1,\,j}+\cdots + y_{j+1,\,j}$ for $j\in [n-1]$, so the zero on the left in row $n$ is left unchanged. 
7: 		
8: 		\item For each $(i,\,j)$ with $n\geq i>j\geq 1$, replace all occurrences of $a_{i,\,j}$ in the array by $a_{i,\,j}+\sum_{k=j+1}^i y_{k,\,j}$.
9: 		
10: 		\item For every $(j,i)\notin E(G\backslash 0)$, set $y_{i,j}=0$ throughout.
11: 	\end{itemize}
12: 	We refer to this array as the \textbf{augmented constraint array of} $G$ and view it as having variables $a_{i,\,j}$ and $y_{i,\,j}$ subject to the additional constraints that for all $1\leq j<i\leq n$,
13: 	\[0\leq y_{i,\,j}\leq 1.\]
14: \end{definition}
15: