Paper X: Universal Residual Seeds and Conditional Occupied-System Completion

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 \begin{tikzpicture}[x=1cm,y=1cm,>=Stealth,line cap=round,line join=round]
2 \path[use as bounding box] (0,-.6) rectangle (14,4.8);
3 \node[font=\small,align=center] at (3.7,4.4) {$000$};
4 \node[font=\small,align=center] at (5.23,4.4) {$001$};
5 \node[font=\small,align=center] at (6.76,4.4) {$010$};
6 \node[font=\small,align=center] at (8.29,4.4) {$101$};
7 \node[font=\small,align=center] at (9.82,4.4) {$110$};
8 \node[font=\small,align=center] at (11.35,4.4) {$111$};
9 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (2.65,3.65) {all states};
10 \path[draw=black!35,fill=black!18] (3,3.39) rectangle (4.4,3.88);
11 \path[draw=black!35,fill=black!18] (4.53,3.39) rectangle (5.93,3.88);
12 \path[draw=black!35,fill=black!18] (6.06,3.39) rectangle (7.46,3.88);
13 \path[draw=black!35,fill=black!18] (7.59,3.39) rectangle (8.99,3.88);
14 \path[draw=black!35,fill=black!18] (9.12,3.39) rectangle (10.52,3.88);
15 \path[draw=black!35,fill=black!18] (10.65,3.39) rectangle (12.05,3.88);
16 \node[font=\small,align=center] at (13,3.65) {$6$};
17 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (2.65,2.89) {$T_1=0$};
18 \path[draw=black!35,fill=black!18] (3,2.63) rectangle (4.4,3.12);
19 \path[draw=black!35,fill=black!18] (4.53,2.63) rectangle (5.93,3.12);
20 \path[draw=black!35,fill=black!18] (6.06,2.63) rectangle (7.46,3.12);
21 \path[draw=black!35,fill=white] (7.59,2.63) rectangle (8.99,3.12);
22 \path[draw=black!35,fill=white] (9.12,2.63) rectangle (10.52,3.12);
23 \path[draw=black!35,fill=white] (10.65,2.63) rectangle (12.05,3.12);
24 \node[font=\small,align=center] at (13,2.89) {$3$};
25 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (2.65,2.13) {$T_1=T_2=0$};
26 \path[draw=black!35,fill=black!18] (3,1.87) rectangle (4.4,2.36);
27 \path[draw=black!35,fill=black!18] (4.53,1.87) rectangle (5.93,2.36);
28 \path[draw=black!35,fill=white] (6.06,1.87) rectangle (7.46,2.36);
29 \path[draw=black!35,fill=white] (7.59,1.87) rectangle (8.99,2.36);
30 \path[draw=black!35,fill=white] (9.12,1.87) rectangle (10.52,2.36);
31 \path[draw=black!35,fill=white] (10.65,1.87) rectangle (12.05,2.36);
32 \node[font=\small,align=center] at (13,2.13) {$2$};
33 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (2.65,1.37) {$T_1=T_2=T_3=0$};
34 \path[draw=black!35,fill=black!18] (3,1.11) rectangle (4.4,1.6);
35 \path[draw=black!35,fill=white] (4.53,1.11) rectangle (5.93,1.6);
36 \path[draw=black!35,fill=white] (6.06,1.11) rectangle (7.46,1.6);
37 \path[draw=black!35,fill=white] (7.59,1.11) rectangle (8.99,1.6);
38 \path[draw=black!35,fill=white] (9.12,1.11) rectangle (10.52,1.6);
39 \path[draw=black!35,fill=white] (10.65,1.11) rectangle (12.05,1.6);
40 \node[font=\small,align=center] at (13,1.37) {$1$};
41 \node[font=\small,align=center,anchor=east,font=\scriptsize] at (2.65,0.61) {target $011$};
42 \path[draw=black!35,fill=white] (3,0.35) rectangle (4.4,0.84);
43 \path[draw=black!35,fill=white] (4.53,0.35) rectangle (5.93,0.84);
44 \path[draw=black!35,fill=white] (6.06,0.35) rectangle (7.46,0.84);
45 \path[draw=black!35,fill=white] (7.59,0.35) rectangle (8.99,0.84);
46 \path[draw=black!35,fill=white] (9.12,0.35) rectangle (10.52,0.84);
47 \path[draw=black!35,fill=white] (10.65,0.35) rectangle (12.05,0.84);
48 \node[font=\small,align=center] at (13,0.61) {$0$};
49 \node[font=\small,align=center,font=\footnotesize] at (7,-0.2) {Each pair of requirements from $011$ is occupied. Their triple intersection is empty.};
50 \end{tikzpicture}

Back to source controls

Back to Paper X: Universal Residual Seeds and Conditional Occupied-System Completion