Files
@ 9e5ac6b49d57
Branch filter:
Location: AENC/resampling_chain/diagram_proborders.tex - annotation
9e5ac6b49d57
1.5 KiB
text/x-tex
General distance-degree lemma
fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df fd8b2cc696df | \documentclass{standalone}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{parskip}
\usepackage{marvosym} %Lightning symbol
\usepackage[usenames,dvipsnames]{color}
\usepackage[hidelinks]{hyperref}
\renewcommand*{\familydefault}{\sfdefault}
\usepackage{bbm} %For \mathbbm{1}
%\usepackage{bbold}
\usepackage{tikz}
\begin{document}
\begin{tikzpicture}
\draw[gray] (0,0) -- (10,0);
\draw[dotted] (0,2) -- (10,2);
\draw[gray] (0,2) arc (90:270:1);
\draw[gray] (10,0) arc (-90:90:1);
\foreach \x in {0,...,10} {
\draw (\x,0) circle (0.04);
}
\foreach \a in {-3,...,3} {
\draw (10,1)+({\a*20}:1) circle (0.04);
\draw (0,1)+({180+\a*20}:1) circle (0.04);
}
\foreach \x in {0,...,10} {
\draw (\x,0.3) node {$\x$};
}
\foreach \x in {2,4,6,7} {
\draw[fill,red] (\x,-0.5) circle (0.05);
\draw[fill,blue] (\x,-1.0)+(-0.05,-0.05) rectangle +(0.05,0.05);
}
\foreach \x in {3,5,8} {
\draw (\x,-1.5) circle (0.07);
}
\draw[fill,red] (9,-0.5) circle (0.05);
\draw (2,1) node {$I_\mathrm{min}$};
\draw (9,1) node {$I_\mathrm{max}$};
\draw (10.7,-0.2) rectangle (12.0,-1.8);
\draw[fill,red] (11,-0.5) circle (0.05);
\draw (11.5,-0.5) node {$I$};
\draw[fill,blue] (11,-1.0)+(-0.05,-0.05) rectangle +(0.05,0.05);
\draw (11.5,-1.0) node {$I'$};
\draw (11,-1.5) circle (0.07);
\draw (11.6,-1.5) node {$I_{><}$};
\draw (5,1) node {$k$};
\end{tikzpicture}
\end{document}
|