graphoptimization.tex 3.16 KB
Newer Older
Michael Banken's avatar
Michael Banken committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
\documentclass[a4paper,11pt,twopage,numbers=noenddot]{scrbook}

\usepackage[top=2cm,lmargin=1in,rmargin=1in,bottom=3cm,hmarginratio=1:1]{geometry}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage{fancyvrb}
\usepackage{mathtools}
\usepackage{amsmath}
\usepackage{ifthen}
\usepackage{xspace}
\usepackage{import}
\usepackage{calc}
\usepackage{float}
\usepackage{listings}
\usepackage{stmaryrd}
\usepackage{tikz}
\usetikzlibrary{mmt}
\usepackage[pdftex,
  pdfauthor={Michael Banken},
  pdftitle={Styler},
] {hyperref}
\usepackage{makeidx}
\usepackage{graphicx}
%\usepackage[right]{showlabels}
%\usepackage[justific=raggedright,totoc]{idxlayout}

\graphicspath{{img/}}

\addto\extrasenglish{%
  \renewcommand{\chapterautorefname}{Section}
  \renewcommand{\sectionautorefname}{Section}
  \renewcommand{\subsectionautorefname}{Subsection}
  }

\newcommand\chap[1]{%
  \chapter*{#1}%
  \chaptermark{#1}%
  \addcontentsline{toc}{chapter}{#1}}

\declaretheorem[name=Definition,style=definition,numberwithin=chapter]{definition}
\declaretheorem[name=Example,style=definition,sibling=definition]{example}
\declaretheorem[style=definition,numbered=no]{exercise}
\declaretheorem[name=Remark,style=definition,sibling=definition]{remark}
\declaretheorem[name=Assumption,style=definition,sibling=definition]{assumption}
\declaretheorem[name=Observation,style=definition,sibling=definition]{observation}
\declaretheorem[name=Theorem,sibling=definition]{theorem}
\declaretheorem[sibling=definition]{corollary}
\declaretheorem[name=Fact,sibling=definition]{fact}
\declaretheorem[sibling=definition]{lemma}
\declaretheorem[sibling=lemma]{proposition}
\declaretheorem[name=Instruction set,style=definition,numberwithin=chapter]{instructionset}
\def\cn#1{\mathsf{#1}}
\def\thmo#1#2{\mathsf{#1}\colon\kern-.15em{#2}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                         %
%                   Spacing settings                                      %
%                                                                         %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setlength{\parindent}{0pt}
\setlength{\parskip}{6pt}
\setlength{\marginparsep}{0cm}

% kill those ugly red rectangles around links
\hypersetup{
  colorlinks,%
  citecolor=black,%
  filecolor=black,%
  linkcolor=black,%
  urlcolor=black,
}

\usepackage{newunicodechar}
\newunicodechar{}{\ensuremath{\forall}}
\newunicodechar{}{\ensuremath{\exists}}
\newunicodechar{×}{\ensuremath{\times}}
\newunicodechar{ø}{\ensuremath{\emptyset}}
\newunicodechar{}{\ensuremath{\le}}
\newunicodechar{}{\ensuremath{\in}}
\newunicodechar{}{\ensuremath{\to}}
\newunicodechar{}{\ensuremath{\subseteq}}
\newunicodechar{}{\ensuremath{\otimes}}
\newunicodechar{}{\ensuremath{\wedge}}


\begin{document}
\pagestyle{plain}
\input{src/titlepage}%
\tableofcontents
\input{src/introduction}
\input{src/candidates}
\input{src/algorithm}
\input{src/integration}
\input{src/conclusion}
\bibliography{bib}{}
\bibliographystyle{plain}
\end{document}

% vim: tw=80 nospell spelllang=en nocul