ODIn
/
paper-BagRelationalPDBsAreHard
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Changed color to be darker for fig 3 circuit positive sum labels.

master
Aaron Huber 2022-06-06 08:41:00 -04:00
parent 054c8951da
commit b8d6319afa
1 changed files with 21 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
prob-def.tex
View File

@ -16,7 +16,7 @@ Each gate has the following members: \type, \vari{input}, %\val,
\end{Definition}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\colorlet{figray}{black!65}
\begin{wrapfigure}{r}{0.2\textwidth}
%\begin{figure}[t!]
\centering
@ -38,29 +38,29 @@ Each gate has the following members: \type, \vari{input}, %\val,
\node[tree_node] (a4) at (2.25, 2.25) {$\boldsymbol{\circmult}$};
%%%%%%%%%%%%%%
%|C| label nodes
\node[draw=none, gray%, left=of a1
\node[draw=none, figray%, left=of a1
](a1l) at (0, -0.75) {$1$};
\node[draw=none, gray] (b1l) at (1.5, -0.75) {$2$};
\node[draw=none, gray] (c1l) at (3, -0.75) {$1$};
\node[draw=none, gray] (d1l) at (4.5, -0.75) {$1$};
\node[draw=none, figray] (b1l) at (1.5, -0.75) {$2$};
\node[draw=none, figray] (c1l) at (3, -0.75) {$1$};
\node[draw=none, figray] (d1l) at (4.5, -0.75) {$1$};
\node[draw=none, gray] (a2l) at (0.75, 0) {$2$};
\node[draw=none, gray] (b2l) at (2.25, 0) {$2$};
\node[draw=none, gray] (c2l) at (3.75, 0) {$1$};
\node[draw=none, gray] (a3l) at (-0.2, 1.5) {$3$};
\node[draw=none, gray] (b3l) at (4.5, 1.5) {$3$};
\node[draw=none, gray] (a4l) at (2.8, 2.7) {$9$};
\node[draw=none, figray] (a2l) at (0.75, 0) {$2$};
\node[draw=none, figray] (b2l) at (2.25, 0) {$2$};
\node[draw=none, figray] (c2l) at (3.75, 0) {$1$};
\node[draw=none, figray] (a3l) at (-0.2, 1.5) {$3$};
\node[draw=none, figray] (b3l) at (4.5, 1.5) {$3$};
\node[draw=none, figray] (a4l) at (2.8, 2.7) {$9$};
% |C| label lines
\draw[gray] (a1l) -- (a1);
\draw[gray] (b1) -- (b1l);
\draw[gray] (c1) -- (c1l);
\draw[gray] (d1) -- (d1l);
\draw[gray] (a2) -- (a2l);
\draw[gray] (b2) -- (b2l);
\draw[gray] (c2) -- (c2l);
\draw[gray] (a3) -- (a3l);
\draw[gray] (b3) -- (b3l);
\draw[gray] (a4) -- (a4l);
\draw[figray] (a1l) -- (a1);
\draw[figray] (b1) -- (b1l);
\draw[figray] (c1) -- (c1l);
\draw[figray] (d1) -- (d1l);
\draw[figray] (a2) -- (a2l);
\draw[figray] (b2) -- (b2l);
\draw[figray] (c2) -- (c2l);
\draw[figray] (a3) -- (a3l);
\draw[figray] (b3) -- (b3l);
\draw[figray] (a4) -- (a4l);
%%%%%%%%%%%%%
\draw[->] (a1) -- (a2);
\draw[->] (a1) -- (a3);