doc

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
\documentclass{beamer}
\usepackage{hyperref}
\setbeamertemplate{theorems}[numbered]
\usetheme{CambridgeUS}
 
\begin{document}
\begin{frame}
  \frametitle{Test}
  \begin{theorem}[Fermat's Last Theorem]
    $x^n + y^n = z^n$.
    \label{thm:fermat}
  \end{theorem}
  As shown in Theorem \ref{thm:fermat}...
 
  \begin{example}
    Here goes an example!
  \end{example}
 
  \begin{theorem}
    $e^{i\pi} + 1 = 0$
  \end{theorem}
 
  \begin{corollary}
    Corollary!
  \end{corollary}
\end{frame}
 
\end{document}
Comments Off on Beamer theorem numbering

beamer_guide (pdf)

Comments Off on beamer guide


pdf

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
\documentclass[12pt]{beamer}
 
\usepackage{color}
 
\usepackage{fontspec}
\defaultfontfeatures{Scale=MatchLowercase, Mapping=tex-text}
\setmainfont{Cambria}
\setsansfont[Scale=0.95]{Candara}
\setmonofont{Consolas}
 
\title{Overlay Examples}
\subtitle{Overlay}
\author{Kilgore Trout}
\institute[Tralfamadore] {Tralfamadore Institute of Technology}
\usetheme{Madrid}
 
\begin{document}
\begin{frame}[fragile]
  \frametitle{Overlay Examples}
  \begin{itemize}
  \item Successive \color{red}\verb|\only<n>{..}|\\
    \color{gray}\verb|\only<1>{Abra}\only<2>{Cada}\only<3>{Bra}|
    \color{black}$\Rightarrow$
    \only<1>{Abra}\only<2>{Cada}\only<3>{Bra}
    \onslide<4->
  \item \color{red}\verb|\uncover<n>{..}| \color{black}shows at given n. \\
    \color{gray}\verb|\uncover<5>{I am 5}|
    \color{black}$\Rightarrow$ \uncover<5>{I am 5}
    \onslide<6->
  \item \color{red}\verb|\invisible<n>{..}| \color{black}hides at given n.\\
    \color{gray}\verb|\invisible<8>{Invisible at 8}|
    \color{black}$\Rightarrow$ \invisible<8>{Invisible at 8}
    \onslide<10->
  \item \color{red}\verb|\alt<n>{at n}{not at n}|
    \color{black}for two alternatives. \\
    \color{gray}\verb|\alt<11>{I am 11}{I am not 11}|
    \color{black}$\Rightarrow$ \alt<11>{I am 11}{I am not 11}
    \onslide<13->
  \item\color{red}\verb|\temporal<n>{before}{at n}{after}|
    \color{black}for three alternatives. \\
    \color{gray}\verb|\temporal<14>{I am 13}{I am 14}{I am 15}|
    \color{black}$\Rightarrow$ \temporal<14>{I am 13}{I am 14}{I am 15}
  \end{itemize}
  \onslide<15->
  \onslide<1->
  \begin{center}
    \Large Slide \texttt{\thepage}
  \end{center}
\end{frame}
\end{document}
Comments Off on Beamer Overlay

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
\documentclass[12pt,table]{beamer}
 
\usepackage{hyperref}
 
% For fancy math
\usepackage{amsmath}
 
% color theme
\usetheme{psu}
\usecolortheme[RGB={0,38,93}]{structure}
\def\softness{0.4}
\definecolor{softblue}{rgb}{\softness,\softness,1}
\renewcommand{\emph}[1]{\textit{\textcolor{softblue}{#1}}}
\definecolor{darkgreen}{rgb}{0.2, 0.7, 0.5}
\newcommand{\paper}[1]{\textit{\textcolor{darkgreen}{#1}}}
% For fancy footnotes
\renewcommand{\thefootnote}{\fnsymbol{footnote}}
 
% For fancy fonts
\usepackage{mathspec}
\usepackage{fontspec}
\defaultfontfeatures{Scale=MatchLowercase}
\setmainfont[Mapping=tex-text]{Hoefler Text}
\setsansfont[Mapping=tex-text]{Candara}
%\setsansfont[Mapping=tex-text]{Myriad Pro}
%\setsansfont[Mapping=tex-text]{Comic Sans MS}
%\setmonofont{Courier}
\setmonofont{Monaco}
 
% For fancy picture
\usepackage{tikz}
 
%\usepackage{preamble}
\usepackage{xspace}
\newcommand{\LLL}{Lov\'asz Local Lemma\xspace}
 
\makeatletter
\newenvironment{customitem}[2]{
  \ifnum\@itemdepth >2\relax\@toodeep\else
  \advance\@itemdepth\@ne%
  \beamer@computepref\@itemdepth%
  \usebeamerfont{itemize/enumerate \beameritemnestingprefix body}%
  \usebeamercolor[fg]{itemize/enumerate \beameritemnestingprefix body}%
  \usebeamertemplate{itemize/enumerate \beameritemnestingprefix body begin}%
  \begin{list}
    {
      \usebeamertemplate{itemize \beameritemnestingprefix item}
    }
    { \leftmargin=#1 \itemindent=#2
      \def\makelabel##1{%
        {
          \hss\llap{{%
              \usebeamerfont*{itemize \beameritemnestingprefix item}%
              \usebeamercolor[fg]{itemize \beameritemnestingprefix item}##1}}%
        }
      }
    }
    \fi
  }
  {
  \end{list}
  \usebeamertemplate{itemize/enumerate \beameritemnestingprefix body end}%
}
\makeatother
 
\begin{document}
 
\title{A Constructive Proof of the Lov\'asz Local Lemma}
\subtitle{Robin Moser, STOC 2009}
\author{Youngtae Youn}
\institute{CSE Dept. Penn State}
\date{September 28, 2009}
 
%%%
\begin{frame}
  \frametitle{\LLL: Lov\'asz and Erd\H{o}s in 1975}
  \begin{itemize}
  \item What if bad events are \alert{not} independent?
    \begin{customitem}{1.3em}{0em}
    \item Bad events are \emph{mostly} independent from one
      another.
    \item Bad event are \alert{not} individually too likely to occur.
    \end{customitem}
    Still, $\Pr[\text{none of the bad events will occur}] > 0$.
  \item Lov\'asz Local Lemma
  \end{itemize}
\end{frame}
 
\end{document}
Comments Off on Beamer Nested Itemized List Indentation

Candara

Myriad

Comic Sans MS

Document Source Code

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
\documentclass[12pt,table]{beamer}
  
\usepackage{hyperref}
  
% For fancy math
\usepackage{amsmath}
  
% color theme
\usetheme{psu}
\usecolortheme[RGB={0,38,93}]{structure}
\def\softness{0.4}
\definecolor{softblue}{rgb}{\softness,\softness,1}
\renewcommand{\emph}[1]{\textit{\textcolor{softblue}{#1}}}
\definecolor{darkgreen}{rgb}{0.2, 0.7, 0.5}
\newcommand{\paper}[1]{\textit{\textcolor{darkgreen}{#1}}}
% For fancy footnotes
\renewcommand{\thefootnote}{\fnsymbol{footnote}}
  
% For fancy fonts
\usepackage{mathspec}
\usepackage{fontspec}
\defaultfontfeatures{Scale=MatchLowercase}
\setmainfont[Mapping=tex-text]{Hoefler Text}
%\setsansfont[Mapping=tex-text]{Candara}
\setsansfont[Mapping=tex-text]{Myriad Pro}
%\setsansfont[Mapping=tex-text]{Comic Sans MS}
%\setmonofont{Courier}
\setmonofont{Monaco}
  
% For fancy picture
\usepackage{tikz}
  
%\usepackage{preamble}
\usepackage{xspace}
\newcommand{\LLL}{Lov\'asz Local Lemma\xspace}
\begin{document}
  
\title{A Constructive Proof of the Lov\'asz Local Lemma}
\subtitle{Robin Moser, STOC 2009}
\author{Youngtae Youn}
\institute{CSE Dept. Penn State}
\date{September 28, 2009}
  
%%%
\begin{frame}
  \frametitle{\LLL: Lov\'asz and Erd\H{o}s in 1975}
  \begin{itemize}
  \item What if bad events are \alert{not} independent?
    \begin{itemize}
    \item Bad events are \emph{mostly} independent from one
      another.
    \item Bad event are \alert{not} individually too likely to occur.
    \end{itemize}
    Still, $\Pr[\text{none of the bad events will occur}] > 0$.
  \end{itemize}
  
  \begin{block}{\LLL (Symmetric Case)}
    \begin{enumerate}
    \item $\Pr[bad_i] \leq \emph{p}$ for all $1 \leq i \leq n$.    
    \item Each $bad_i$ depends on other \emph{$d$} bad events.
    \item $e\cdot p\cdot (d+1) \leq 1$ where $\emph{e}=2.7182\cdots$
    \end{enumerate}
    \vspace{-4mm}
    \begin{center}
      Then, $\Pr[\text{none of the bad events will occur}] > 0$.
    \end{center}
  \end{block}
  
  \begin{itemize}
  \item dictionary definition of \emph{local}: affecting or limited to
    part of a whole.
  \item The bound in (3) is \alert{tight}.   
  \item We will prove for the \emph{loose} bound $4pd\leq 1$.
  \end{itemize}
\end{frame}
  
\end{document}

How to convert PDF into PNG

convert -density 600x600 -resize 800x600 -quality 90 myriad.pdf myriad.png
  • -density 600x600 treats the pdf as 600×600 dpi resolution
  • -resize 800x600 gives the dimensions in pixels of the resulting png file
  • -quality 90 uses the highest compression level for png (9) and no filtering (0)
Comments Off on XeLaTeX: font comparison

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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
\documentclass[12pt]{beamer}
 
% color theme
\usetheme{psu}
\usecolortheme[RGB={0,38,93}]{structure}
 
% For fancy fonts
\usepackage{fontspec}
\defaultfontfeatures{Scale=MatchLowercase, Mapping=tex-text}
\setmainfont[Ligatures={Common}, Numbers={OldStyle}]{Cambria}
\setsansfont[Scale=0.95]{Candara}
\setromanfont{Cambria}
\setmonofont{Monaco}
 
\usepackage{tikz}
\usetikzlibrary{arrows}
 
\newcommand{\TBE}{\textrm{TBE}}
\newcommand{\Sign}{\textrm{Sign}}
\newcommand{\PKE}{\textrm{PKE}}
\newcommand{\Verify}{\textrm{Verify}}
 
\begin{document}
 
\begin{frame}
  \frametitle{Canetti-Halevi-Katz Construction}
  \begin{figure}[h]
    \centering
    \begin{tikzpicture}[->,
        >=stealth',
        shorten >= 1pt,
        auto,
        semithick,
        bend angle=15,
      ]
       
      \coordinate (O) at (0cm, 0cm);
      \coordinate (A) at (-1.4cm, .2cm);
      \coordinate (B) at ( 1cm, .2cm);
       
      \tikzstyle{inbox} = [rectangle, draw=red!40!black!50, thick, top
        color=white, bottom color=red!60!blue!50, minimum width=1.5cm,
        minimum height=.8cm, rounded corners];
      \tikzstyle{outbox} = [rectangle, draw=black!50, thick, fill=black!5,
        minimum width=5.6cm, minimum height=2.2cm, rounded corners];
      \tikzstyle{line} = [draw, -latex', very thick]
      \tikzstyle{ann} = [above, text width=5em]
       
      \node [outbox] (PKE) at (O) {};
      \node [inbox] (TBE)  at (A) {\TBE};
      \node [inbox] (Sign) at (B) {\Sign};
      \node (blank) at (-5cm, 0cm) {$\medspace$};
       
      \path [line] (TBE) -- node [midway, above] {$C$} (Sign);
       
      \node (vk) [below of=TBE, node distance=2.6em] {$vk$};
      \path [line] (vk) -- (TBE);
       
      \node (sigk) [below of=Sign, node distance=2.6em] {$sigk$};
      \path [line] (sigk) -- (Sign);
       
      \node (sigma) [right of=Sign, node distance=3.7em] {$\sigma$};
      \path [line] (Sign) -- (sigma);
       
      \node (pk) [above of=TBE, node distance=3.7em] {$pk$};
      \path [line] (pk) -- (TBE);
       
      \node (M) [left of=TBE, node distance=5em] {M};
      \path [line] (M) -- (TBE);
       
      \node (Cpke) [right of=PKE, node distance=10.5em]
            {$\langle C,vk,\sigma\rangle$};
            \path [line] (PKE) -- (Cpke);
             
            \node (label) at (-2.4cm, 1.4cm) {\PKE};
            \node () [below of=PKE, node distance=1.4cm] {Encryption};
    \end{tikzpicture}
     
    \begin{tikzpicture}[->,
        >=stealth',
        shorten >= 1pt,
        auto,
        semithick,
        bend angle=15,
      ]
       
      \coordinate (O) at (0cm, 0cm);
      \coordinate (A) at (-1.2cm, .2cm);
      \coordinate (B) at ( 1.2cm, .2cm);
       
      \tikzstyle{inbox} = [rectangle, draw=red!40!black!50, thick, top
        color=white, bottom color=red!60!blue!50, minimum width=1.5cm,
        minimum height=.8cm, rounded corners];
      \tikzstyle{outbox} = [rectangle, draw=black!50, thick, fill=black!5,
        minimum width=5.6cm, minimum height=2.2cm, rounded corners];
      \tikzstyle{line} = [draw, -latex', very thick]
      \tikzstyle{ann} = [above, text width=5em]
       
      \node [outbox] (PKE) at (O) {};
      \node [inbox] (VFY)  at (A) {\Verify};
      \node [inbox] (TBE) at (B) {\TBE};
       
      \path [line] (VFY) -- node [pos=.7, above] {$C$} (TBE);
       
      \node (vk1) [below of=VFY, node distance=2.6em] {$vk$};
      \path [line] (vk1) -- (VFY);
       
      \node (vk2) [below of=TBE, node distance=2.6em] {$vk$};
      \path [line] (vk2) -- (TBE);
       
      \node (M) [right of=TBE, node distance=3.6em] {\hspace{-1mm}$M$};
      \path [line] (TBE) -- (M);
       
      \node (sk) [above of=TBE, node distance=3.5em] {$sk$};
      \path [line] (sk) -- (TBE);
       
      \node (Cpke) [left of=PKE, node distance=11em] {$\langle C,vk,\sigma\rangle$};
      \path [line] (Cpke) -- (PKE);
       
      \node (sigma) [left of=VFY, node distance=3.5em] {$\sigma$};
      \path [line] (sigma) -- (VFY);
       
      \node (output) [right of=PKE, node distance=10.8em] {$M\medspace$ or $\medspace\perp$};
      \path [line] (PKE) -- (output);
       
      \fill [black] (-1mm,.2cm) circle (2pt);
      \node (no) at (-1mm, -.6cm) {$\perp$};
      \path [line] (-1mm,.2cm) -- (no);
       
      \node (label) at (-2.4cm, 1.4cm) {\PKE};
      \node () [below of=PKE, node distance=1.4cm] {Decryption};
    \end{tikzpicture}
  \end{figure}
\end{frame}
\end{document}
Comments Off on Canetti-Halevi-Katz Construction

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
\documentclass[12pt]{beamer}
 
% color theme
\usetheme{psu}
\usecolortheme[RGB={0,38,93}]{structure}
 
% For fancy fonts
\usepackage{fontspec}
\defaultfontfeatures{Scale=MatchLowercase, Mapping=tex-text}
\setmainfont[Ligatures={Common}, Numbers={OldStyle}]{Cambria}
\setsansfont[Scale=0.95]{Candara}
\setromanfont{Cambria}
\setmonofont{Monaco}
 
\usepackage{tikz}
\usetikzlibrary{arrows,automata}
 
\begin{document}
 
\begin{frame}
  \frametitle{Deterministic Finite Automaton}
  \begin{figure}[h]
    \begin{tikzpicture}[
        % type of arrow head
        >=stealth',
        % keep arrow head from touching the surface
        shorten >= 1pt,
        % automatic node positioning
        auto,
        %                                  
        node distance=2cm,
        % line thickness
        semithick,
        bend angle=15,
        % text for the initial state arrow. I left it as blank
        initial text=]
      \tikzstyle{every state}=[draw=blue!50, thick, fill=blue!20]
       
      \node[state,initial](qe){$q_\epsilon$};
      \node[state,accepting](q0)[above right of=qe]{$q_0$};
      \node[state](q1)[below right of=qe]{$q_1$};
      \node[state](q2)[right of=q0]{$q_2$};
      \node[state,accepting](q3)[right of=q1]{$q_3$};
      \node[state](q4)[below right of=q2]{$q_4$};
       
      \path[->]
      (qe) edge [above left] node {0} (q0)
      (qe) edge [below left] node {1} (q1)
       
      (q0) edge [loop above] node {0} ()
      (q0) edge [left] node {1} (q1)
       
      (q1) edge [above left] node {0} (q2)
      (q1) edge [bend left] node {1} (q3)
       
      (q2) edge [above right] node {0} (q4)
      (q2) edge [above] node {1} (q0)
       
      (q3) edge [bend left] node {0} (q1)
      (q3) edge [right] node {1} (q2)
       
      (q4) edge [below right] node {0} (q3)
      (q4) edge [loop right] node {1} ();
    \end{tikzpicture}   
  \end{figure}
\end{frame}
\end{document}
Comments Off on Deterministic Finite Automaton

doc.tex

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
\documentclass[12pt]{beamer}
 
% color theme
\usetheme{psu}
\usecolortheme[RGB={0,38,93}]{structure}
 
% For fancy fonts
\usepackage{fontspec}
\defaultfontfeatures{Scale=MatchLowercase, Mapping=tex-text}
\setmainfont[Ligatures={Common}, Numbers={OldStyle}]{Cambria}
\setsansfont[Scale=0.95]{Candara}
\setromanfont{Cambria}
\setmonofont{Monaco}
 
\usepackage{subfigure}
\usepackage{tikz}
 
\begin{document}
 
\begin{frame}
  \frametitle{Goal of ACRE Learning}
  \begin{figure}[h]
    \centering
    \subfigure[Classifier $c$]{\input{fig1.tex}}
    \quad
    \subfigure[Cost Function $a$]{\input{fig2.tex}}
    \\
    \subfigure[Adversary's Goal]{\input{fig3.tex}}
    \quad
    \subfigure[ACRE Learning]{\input{fig4.tex}}
    \caption{Special Case of 2-Dimensional Feature Vectors}
  \end{figure}
\end{frame}
\end{document}

fig1.tex

1
2
3
4
5
6
7
8
9
10
11
12
13
\begin{tikzpicture}[scale=.95]
  % classifier
  \filldraw [fill=red!20, draw=black, smooth] (0,0) -- (0cm, 2.6cm) --
  (0.2cm, 2.2cm) -- (0.8cm, 2.0cm) -- (1.2, 2.2cm) -- (1.8cm, 1.6cm)
  -- (2.6cm, 0.4cm) -- (3.5cm, 0cm) -- cycle;
  
  % boundary
  \draw (3.5cm, 0cm) -- (3.5cm, 2.6cm) -- (0cm, 2.6cm);
  
  % markers
  \node at (0.2cm, 0.2cm) {\color{red}+};
  \node at (3.3cm, 2.4cm) {\color{blue}-};
\end{tikzpicture}

fig2.tex

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
\begin{tikzpicture}[scale=.95]
  % boundary
  \draw (0, 0) -- (0cm, 2.6cm) -- (3.5cm, 2.6cm) -- (3.5cm, 0cm) --
  (0, 0);
  
  % classfier
  \filldraw [fill=red!20, draw=black, smooth] (0,0) -- (0cm, 2.6cm) --
  (0.2cm, 2.2cm) -- (0.8cm, 2.0cm) -- (1.2, 2.2cm) -- (1.8cm, 1.6cm)
  -- (2.6cm, 0.4cm) -- (3.5cm, 0cm) -- cycle;
  
  % cost functions
  \draw (2cm, 1.3cm) ellipse (1cm and .7cm);
  \draw (1.9cm, 1.3cm) ellipse (.8cm and .5cm);
  \draw (1.9cm, 1.3cm) ellipse (.6cm and .2cm);
  \draw (1.8cm, 1.3cm) ellipse (.3cm and .1cm);
  \draw (1.7cm, 1.3cm) ellipse (.12cm and .05cm);
  \draw (2cm, 1.6cm) ellipse (.1cm and .05cm);
\end{tikzpicture}

fig3.tex

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
\begin{tikzpicture}[scale=.95]
  % boundary
  \draw (0, 0) -- (0cm, 2.6cm) -- (3.5cm, 2.6cm) -- (3.5cm, 0cm) --
  (0, 0);
  
  % classfier
  \filldraw [fill=red!20, draw=black, smooth] (0,0) -- (0cm, 2.6cm) --
  (0.2cm, 2.2cm) -- (0.8cm, 2.0cm) -- (1.2, 2.2cm) -- (1.8cm, 1.6cm)
  -- (2.6cm, 0.4cm) -- (3.5cm, 0cm) -- cycle;
  
  % cost functions
  \draw (2cm, 1.3cm) ellipse (1cm and .7cm);
  \draw (1.9cm, 1.3cm) ellipse (.8cm and .5cm);
  \draw (1.9cm, 1.3cm) ellipse (.6cm and .2cm);
  \draw (1.8cm, 1.3cm) ellipse (.3cm and .1cm);
  \draw (1.85cm, 1.3cm) ellipse (.12cm and .05cm);
  \draw (2cm, 1.6cm) ellipse (.1cm and .05cm);
  
  % star
  \filldraw [orange] (2.05cm, 1.3cm) circle (.05cm);
\end{tikzpicture}

fig4.tex

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
\begin{tikzpicture}
  [
    scale=.95,
    circle/.style={shape=circle, minimum size=1mm, text centered},
    instance/.style={shape=circle, minimum size=1mm, text centered}
    ]
  
  % boundary
  \draw (0, 0) -- (0cm, 2.6cm) -- (3.5cm, 2.6cm) -- (3.5cm, 0cm) --
  (0, 0);
  
  % cost functions
  \draw (2cm, 1.3cm) ellipse (1cm and .7cm);
  \draw (1.9cm, 1.3cm) ellipse (.8cm and .5cm);
  \draw (1.9cm, 1.3cm) ellipse (.6cm and .2cm);
  \draw (1.8cm, 1.3cm) ellipse (.3cm and .1cm);
  \draw (1.7cm, 1.3cm) ellipse (.12cm and .05cm);
  \draw (2cm, 1.6cm) ellipse (.1cm and .05cm);
  
  % yes-instance
  \node [instance] at (0.5cm, 0.5cm) {\color{red}$x^+$};
  % no-instance
  \node [instance] at (2.5cm, 2.3cm) {\color{blue}$x^-$};
  
  % queries
  \node [circle] at (  2cm,   2cm) {\color{orange}?};
  \node [circle] at (1.5cm, 0.8cm) {\color{orange}?};
  \node [circle] at (2.7cm, 0.5cm) {\color{orange}?};
  \node [circle] at (0.5cm, 2.3cm) {\color{orange}?};
  \node [circle] at (  3cm, 1.5cm) {\color{orange}?};
  \node [circle] at (2.3cm, 1.5cm) {\color{orange}?};
  \node [circle] at (1.7cm, 1.3cm) {\color{orange}?};
\end{tikzpicture}
Comments Off on ACRE Learning: subfigure