blob: 277d997c63908552fefcc08871c95e5cb3f2b20c (
plain)
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
|
\newcommand{\nop}[1]{}
\newtheorem{definition}{Definition}
\newtheorem{theorem}{Theorem}
\newtheorem{observation}{Observation}
\newtheorem{lemma}{Lemma}
\newtheorem{remark}{Remark}[section]
\newtheorem{corollary}{Corollary}[section]
\newtheorem{example}{Example}
\newtheorem{claim}{Claim}
\newtheorem*{definitionIRS}{Definition 16}
\DeclareMathOperator{\op}{op}
\DeclareMathOperator{\args}{arg}
\DeclareMathOperator{\cost}{cost}
\DeclareMathOperator{\lleft}{left}
\DeclareMathOperator{\rright}{right}
\DeclareMathOperator{\argmax}{argmax}
\DeclareMathOperator{\argmin}{argmin}
\newcommand{\Paragraph}[1]{~\vspace*{-0.8\baselineskip}\\{\bf #1}}
\newcommand\mathbftt[1]{\textnormal{\ttfamily\bfseries #1}}
\newcommand\note[1]{\marginpar{\color{red}\tiny #1}}
\def\mergeop{\square}
\def\bigmergeop{\mathop{\scalebox{1}[1]{\scalerel*{\Box}{\strut}}}}
\SetAlgoSkip{}
\SetKwProg{Def}{def}{}{}
\SetKw{Break}{break}
\SetKw{Lambda}{lambda\,}
\SetKwComment{Comment}{//}{}
\SetKwRepeat{Do}{do}{while}
\newfloat{lstfloat}{htbp}{lop}
\floatname{lstfloat}{Listing}
|