☰

我不知道如何画这样的画。

tag-icon • tag-icon diagrams
我不知道如何画这样的画。

我想画一张如下图所示的图片。
在此处输入图片描述
但我不知道该从哪里开始。任何帮助都将不胜感激。

答案1

这是一个起点。 zz箭头样式定义在zz其锯齿形形式借用自decoration。positioning用于below = <distance> of reference point使用语法的节点分配。calc用于进行坐标计算，如 ($(...)+(...)$) 中所示。

在此处输入图片描述

代码

\documentclass[border=10pt]{standalone}
\usepackage{amsmath}
\usepackage{tikz}
\usetikzlibrary{calc,arrows,decorations.pathmorphing,positioning}
\tikzset{zz/.style={thick,->,
line join=round,
decorate, decoration={
    zigzag,
    segment length=4,
    amplitude=2,post=lineto,
    post length=4pt}
}}
\begin{document}
\begin{tikzpicture}
\node (top) at (0,0) {$\mathbf{v}_{\text{init}},\epsilon$};
\node[below= 1cm of top](mid)    {$\mathbf{v},\sigma$};
\node[below= 1cm of mid](bottom) {$\mathbf{v}',\sigma'$};
\node[below=3cm of top](bb){};
\draw[zz] (top) -- (mid);
\draw[zz] (mid) -- node[midway,red,left]{$(\mathbf{u},\rho)$} (bottom);
\draw [red,thick]($(bb)+(-0.5cm,0)$)-- ($(bb)+(0.5cm,0)$) node[text width=5cm,right]()
{if $
\begin{cases}
\mathbf{v} \le \mathbf{v}'\\
\sigma \le_{\text{prefix}} \rho\,\, \text{for all}\, (\mathbf{u},\rho)
\end{cases}
$};
\draw[dashed] (top) -- ++(-3,-3);
\draw[dashed] (top) -- ++(3,-3);
\end{tikzpicture}

\end{document}

相关内容