Commit 20aeb031 authored by George Katsirelos's avatar George Katsirelos
Browse files

softer intro to PvsNP, CP implementations, WCSP modeling exercises

parent 319294f4
No preview for this file type
......@@ -3873,6 +3873,17 @@ On a $c(T) \leq c(H^*)$
\end{block}
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}{P vs NP}
\begin{block}{P}
The class of problems we can solve in polynomial time
\end{block}
\begin{block}{NP}
The class of problems for which we can verify a solution in polynomial time
\end{block}
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}{ILP as a modeling language}
......@@ -3929,6 +3940,17 @@ On a $c(T) \leq c(H^*)$
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}{The notion of completeness}
\begin{itemize}
\item ILP is at least as hard as CNFSAT
\item If it was at least as hard as \emph{any} problem in NP, we say it is NP-complete
\item And it is!
\end{itemize}
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}{Classes and reductions -- informal}
......@@ -4535,10 +4557,6 @@ On a $c(T) \leq c(H^*)$
Model Hamiltonian Circuit with CSP
\end{block}
\begin{block}{Exercise}
Model TSP with CSP
\end{block}
\begin{block}{Exercise}
Model Vertex Cover with CSP
\end{block}
......@@ -4566,6 +4584,16 @@ On a $c(T) \leq c(H^*)$
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}
\frametitle{CP Implementations}
\begin{itemize}
\item Gecode: \href{https://www.gecode.org/}{https://www.gecode.org/} (C++)
\item Google OR Tools: \href{https://developers.google.com/optimization}{https://developers.google.com/optimization} (C++)
\item Choco: \href{https://choco-solver.org/}{https://choco-solver.org/} (Java)
\end{itemize}
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}{What is a Graphical Model?}
......@@ -4692,6 +4720,21 @@ On a $c(T) \leq c(H^*)$
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}
\frametitle{Modeling with Graphical Models}
\begin{block}{Exercise}
Model MaxCut with WCSP
\end{block}
\begin{block}{Exercise}
Model TSP with WCSP
\end{block}
\end{frame}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\shrink{
\begin{frame}{Stochastic Graphical Models}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment