thesis.tex

% Document: Bachelor Thesis: Minimal Problem Solver Generator
% Author: Pavel Trutman

\documentclass[msc]{cmpthesis}
\usepackage[czech,english]{babel}
\usepackage[utf8]{inputenc}
\usepackage{indentfirst}
\usepackage{enumitem}
\usepackage{textcomp}
\usepackage{algorithm}
\usepackage{algpseudocode}
\usepackage{listings}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{forloop}

\usepackage{subcaption}
\usepackage{pdflscape}
\usepackage{multirow}
\usepackage{dirtree}

% number formatting
\usepackage[exponent-product=\cdot]{siunitx}

% for better verbatim environment
\usepackage{fancyvrb}

% to inlucude pdf pages
\usepackage{pdfpages}

% list of symbols and abbreviations
\usepackage[acronym,nonumberlist,style=long,sort=def]{glossaries}
\setlength{\glsdescwidth}{0.7\linewidth}
\setlength{\glspagelistwidth}{0.3\linewidth}
\renewcommand*{\glsgroupskip}{}
\newcommand{\Acronym}[2]{\newacronym{#1}{#1}{#2}}
\input{acronyms}
\makeglossaries

% dashed lines in arrays
\usepackage{arydshln}

% algorithmic macros and settings
\newcounter{counter}
\renewcommand{\algorithmicrequire}{\textbf{Input:}}
\renewcommand{\algorithmicensure}{\textbf{Output:}}
\algnewcommand{\algorithmicor}{\textbf{or}}
\algnewcommand{\Or}{\algorithmicor}
\algnewcommand{\algorithmicand}{\textbf{and}}
\algnewcommand{\And}{\algorithmicand}
\algnewcommand{\algorithmicnot}{\textbf{not}}
\algnewcommand{\Not}{\algorithmicnot}
\algnewcommand{\algorithmictrue}{\textbf{true}}
\algnewcommand{\True}{\algorithmictrue}
\algnewcommand{\algorithmicfalse}{\textbf{false}}
\algnewcommand{\False}{\algorithmicfalse}
\algnewcommand{\algorithmicbreak}{\textbf{break}}
\algnewcommand{\Break}{\algorithmicbreak}
\algdef{S}[IF]{IfML}[1]{\algorithmicif\ #1}
\newcommand{\StatexIndent}[1][1]{
  \Statex\forloop{counter}{0}{\value{counter} < #1}{\hskip\algorithmicindent\hskip-0.25em}
}
\renewcommand{\thealgorithm}{\arabic{chapter}.\arabic{algorithm}}
\DeclareCaptionFormat{algorithm}{#1#2#3}
\captionsetup[algorithm]{format=algorithm, labelsep=period}

% listings settings
\makeatletter
\def\lst@numbersymbol{}
\lst@Key{numbersymbol}{}{\def\lst@numbersymbol{#1}}
\lst@Key{numbers}{none}{%
  \let\lst@PlaceNumber\@empty
  \lstKV@SwitchCases{#1}%
  {none&\\%
  left&\def\lst@PlaceNumber{\llap{\normalfont
      \lst@numberstyle{\thelstnumber\lst@numbersymbol}\kern\lst@numbersep}}\\%
  right&\def\lst@PlaceNumber{\rlap{\normalfont
      \kern\linewidth \kern\lst@numbersep
      \lst@numberstyle{\lst@numbersymbol\thelstnumber}}}%
  }{\PackageError{Listings}{Numbers #1 unknown}\@ehc}}
\def\lst@labellis{}
\lst@Key{labellis}{}{\def\lst@label{listing:#1}}
\makeatother
\lstset{basicstyle=\normalfont\ttfamily,
  columns=fixed,
  basewidth=0.5em,
  showstringspaces=false,
  breaklines=true,
  commentstyle=\color{blue},
  keywordstyle=\color{red},
  numbers=left,
  numberstyle=\footnotesize\normalfont,
  numbersymbol=:,
  captionpos=t,
  frame=top,
  frame=bottom,
  xleftmargin=25pt,
  framexleftmargin=25pt,
}
\DeclareCaptionFormat{listing}{\rule{\dimexpr\textwidth\relax}{1pt}\vskip-3pt\hspace{-10pt}#1#2#3}
\captionsetup[lstlisting]{format=listing, singlelinecheck=false, labelsep=period}
\renewcommand\lstlistlistingname{List of Listings}

% hyphen - as active for hyphenation breaks cline command
\usepackage{regexpatch}
\makeatletter
% Change the `-` delimiter to an active character
\xpatchparametertext\@@@cmidrule{-}{\cA-}{}{}
\xpatchparametertext\@cline{-}{\cA-}{}{}
\makeatother

\startThesisInfo
\title{Semidefinite Programming for Geometric Problems in Computer Vision}
\author{Pavel Trutman}
\CMPAdvisor{Ing. Tom\'a\v s Pajdla, PhD.}
\CMPReportNo{}
\CMPAcknowledgement{This work was supported by EU Structural and Investment Funds, Operational Programe Research, Development and Education project IMPACT No.\ CZ.02.1.01/0.0/0.0/15 003/0000468.EU-H2020 and by EU project LADIO No.\ 731970.}

\CMPEmail{pavel.trutman@cvut.cz}
\CMPDocumentURL{http://cmp.felk.cvut.cz/~trutmpav/master-thesis/thesis/thesis.pdf}
\stopThesisInfo

% ============================== your definitions (abbreviations etc.)
\newcommand{\eqB}{\begin{align}}
\newcommand{\eqE}{\end{align}}
\newcommand{\bmB}{\arraycolsep=\arraycolsepdef\begin{bmatrix}}
\newcommand{\bmE}{\end{bmatrix}}
\newcommand{\bmdB}[1]{\left[\arraycolsep=\arraycolsepdef\begin{array}{@{}#1@{}}}
\newcommand{\bmdE}{\end{array}\right]}
\newcommand{\ind}[1]{\ensuremath{^{(#1)}}}
\newcommand{\labeldef}[1]{\label{definition:#1}}
\newcommand{\refdef}[1]{Definition~\ref{definition:#1}}
\newcommand{\labelcol}[1]{\label{corollary:#1}}
\newcommand{\refcol}[1]{Corollary~\ref{corollary:#1}}
\newcommand{\labelthe}[1]{\label{theorem:#1}}
\newcommand{\refthe}[1]{Theorem~\ref{theorem:#1}}
\newcommand{\labelex}[1]{\label{example:#1}}
\newcommand{\refex}[1]{Example~\ref{example:#1}}
\newcommand{\labeleq}[1]{\label{equation:#1}}
\newcommand{\refeq}[1]{Equation~(\ref{equation:#1})}
\newcommand{\refeqb}[1]{(\ref{equation:#1})}
\newcommand{\labelalg}[1]{\label{algorithm:#1}}
\newcommand{\refalg}[1]{Algorithm~\ref{algorithm:#1}}
\newcommand{\labelalgline}[1]{\label{algorithm:line:#1}}
\newcommand{\refalgline}[1]{\ref{algorithm:line:#1}}
\newcommand{\labelfig}[1]{\label{figure:#1}}
\newcommand{\reffig}[1]{Figure~\ref{figure:#1}}
\newcommand{\reffignum}[1]{\ref{figure:#1}}
\newcommand{\labeltab}[1]{\label{table:#1}}
\newcommand{\reftab}[1]{Table~\ref{table:#1}}
\newcommand{\labelsec}[1]{\label{section:#1}}
\newcommand{\refsec}[1]{Section~\ref{section:#1}}
\newcommand{\labelcha}[1]{\label{chapter:#1}}
\newcommand{\refcha}[1]{Chapter~\ref{chapter:#1}}
\newcommand{\reflis}[1]{Listing~\ref{listing:#1}}
\newtheoremstyle{definitionStyle}
  {}
  {}
  {}
  {}
  {\bfseries}
  {.}
  { }
  {\thmname{#1}\thmnumber{ #2}\thmnote{ (#3)}}
\theoremstyle{definitionStyle}
\newtheorem{definition}{Definition}[chapter]
\newtheorem{theorem}[definition]{Theorem}
\newtheorem{example}[definition]{Example}
\newtheorem{corollary}[definition]{Corollary}
\newcommand{\thecite}[2][]{\textnormal{\ifthenelse{\equal{#1}{}}{\cite{#2}}{\cite[#1]{#2}}}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Sym}{\mathcal{S}}
\newcommand{\PSDCone}{\mathcal{P}}
\newcommand{\Iden}[1]{\ensuremath{\mathcal{I}^{#1}}}
\newcommand{\Ideal}{\mathcal{I}}
\newcommand{\Base}{\ensuremath{\mathcal{B}}}
\newcommand{\NF}{\mathcal{N}}
\newcommand{\MM}{\mathcal{X}}
\newcommand{\K}{\mathcal{K}}
\newcommand{\F}{\mathcal{F}}
\newcommand{\SO}{\ensuremath{SO(3)}}
\newcommand{\ML}{\ensuremath{M(\Lambda)}}
\newcommand{\MLs}{\ensuremath{M_s(\Lambda)}}
\newcommand{\MLt}{\ensuremath{M_{\lfloor t/2\rfloor}(\Lambda)}}
\newcommand{\Ker}[1]{\ensuremath{\ker\!\big(#1\big)}}
\newcommand{\KerML}{\ensuremath{\ker\!\big(M(\Lambda)\big)}}
\newcommand{\KerMLs}{\ensuremath{\ker\!\big(M_s(\Lambda)\big)}}
\newcommand{\KerMLt}{\ensuremath{\Ker{\MLt}}}
\newcommand{\RRI}{\ensuremath{\sqrt[\R]{I}}}
\newcommand{\Rs}{\ensuremath{\R[x]_s}}
\newcommand{\Rts}{\ensuremath{\big(\R[x]_{t}\big)^*}}
\newcommand{\Rss}{\ensuremath{\big(\R[x]_{2s}\big)^*}}
\DeclareMathOperator{\rank}{rank}
\DeclareMathOperator{\dom}{dom}
\DeclareMathOperator{\Dom}{Dom}
\DeclareMathOperator{\cl}{cl}
\DeclareMathOperator{\inter}{int}
\DeclareMathOperator{\tr}{tr}
\DeclareMathOperator{\diag}{diag}
\DeclareMathOperator{\vc}{vec}
\let\ker\relax\DeclareMathOperator{\ker}{ker}

\newlength{\arraycolsepdef}
\setlength{\arraycolsepdef}{\arraycolsep}

\def\CC{{C\nolinebreak[4]\hspace{-.05em}\raisebox{.4ex}{\tiny\textbf{++}}}}

\setitemize{noitemsep,topsep=0.2cm,parsep=0.2cm,partopsep=0pt,leftmargin=1cm}
\setenumerate{noitemsep,topsep=0.2cm,parsep=0.2cm,partopsep=0pt,leftmargin=1cm}

% =========================================================== settings
\graphicspath{{images/}}

% ========================================================== text body
\begin{document}

\cleardoublepage\def\thepage{\roman{page}}\setcounter{page}{3}

% thesis assignment as required by FEE, CTU
\includepdf[pages={1}]{pdfs/assignment-ENG.pdf}
\cleardoublepage

\input{acknowledgement}
\clearpage
\input{declaration}
\clearpage
\input{abstract}
\clearpage
\cleardoublepage\def\thepage{\arabic{page}}\setcounter{page}{1}
\tableofcontents
\listoffigures
\clearpage
\begingroup
\let\clearpage\relax
\listoftables
\listofalgorithms
\lstlistoflistings
\endgroup

\glsaddall
\printglossary[type=acronym,title=List of Symbols and Abbreviations]

\pagestyle{headings}

\input{introduction.tex}

\input{SDP.tex}

\input{POP.tex}

\input{application.tex}

\input{conclusion.tex}

\appendix
\input{CD.tex}

\bibliographystyle{plain}
\bibliography{citations}{}

\end{document}