validite_hc.tex

\resizebox{\columnwidth}{!}{%
    \begin{tikzpicture}[
        roundnode/.style={circle, draw=black, fill=black, very thick, minimum size=1pt,},
        ignorednode/.style={circle, draw=black!20, fill=black!20, very thick, minimum size=1pt,},
        arrow/.style={|->, thick,},
        message/.style={->, blue!50, dashed, -{Circle[length=4pt,]}},
        ]

        \node[roundnode, draw=red, fill=red] (11) {};
        \node[left] at (11.west) {$p_0$};
        \node[above] at (11.north) {$w(1)$};
        \node[roundnode, draw=blue, fill=blue] (12) [right=of 11] {};
        \node[above] at (12.north) {$r/(0,0)$};
        \node[roundnode, draw=blue, fill=blue] (13) [right=of 12] {};
        \node[above] at (13.north) {$r/(0,2)^w$};

        \draw[arrow] (11) -- (12);
        \draw[arrow] (12) -- (13);

        \node[roundnode, draw=blue, fill=blue] (21) [below=of 11] {};
        \node[left] at (21.west) {$p_1$};
        \node[below] at (21.south) {$w(2)$};
        \node[roundnode, draw=red, fill=red] (22) [right=of 21] {};
        \node[below] at (22.south) {$r/(0,0)$};
        \node[roundnode, draw=red, fill=red] (23) [right=of 22] {};
        \node[below] at (23.south) {$r/(0,1)^w$};

        \draw[arrow] (21) -- (22);
        \draw[arrow] (22) -- (23);

        \draw[message] (11) -- ($(22)!0.5!(23)$);
        \draw[message] (21) -- ($(12)!0.5!(13)$);
    \end{tikzpicture}
}