Skip to content

Commit

Permalink
Use minipage for non-breaking block
Browse files Browse the repository at this point in the history
  • Loading branch information
Lipen committed Dec 16, 2024
1 parent 1e43f2d commit 771b2af
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions hw4.tex
Original file line number Diff line number Diff line change
Expand Up @@ -225,15 +225,16 @@
Given a set of elements and constraints of the form $(a,b,c)$, meaning that in any acceptable linear ordering of these elements, $b$~must lie between $a$ and~$c$, determine if there exists such an ordering that satisfies all betweenness constraints.
\end{enumerate}

\filbreak

% use minipage to prevent page break for this block
\begin{minipage}{\linewidth}
\textbf{Guidelines for the reduction:}
\begin{itemize}
\item Define logical variables to represent key properties of the problem (e.g., whether a vertex is assigned a specific color, whether an item is placed in a particular bin, etc.).
\item Formulate constraints that enforce the rules of the problem in propositional logic.
\item Show how a solution to the SAT instance corresponds to a solution of the original problem.
\item Verify that your reduction captures all valid solutions of the original problem.
\end{itemize}
\end{minipage}

\medskip
\textbf{Example solution for the Graph Coloring problem:}
Expand Down

0 comments on commit 771b2af

Please sign in to comment.