我想表示一个算法,其中子部分必须重复多项式时间。我正在使用算法包。我想表示类似以下内容的内容:
...
repeat polynomial time
state 1
state ..
if cnd then return 1
return 0
我写了以下内容,但重复部分看起来不像我想要的那样:
\begin{algorithm}
\caption{RAFT Game}
\label{alg:sur}
\begin{algorithmic}[1]
\Function{RaftGame}{${\cal A}_0,{\cal A}_1$}
\State $k\leftarrow$ \Call{Gen}{$1^\lambda$};
\Repeat \State Polynomial Time
\State $t \leftarrow {\cal A}^{UserIssue(k,.,.)}_0(1^\lambda)$;
\State $t' \leftarrow {\cal A}^{ServiceIssue(k,.,.)}_1(t)$;
\If{$Ver(k,t') = 1$}
\State return $1$;
\EndIf
\State return $0$
\EndFunction
\end{algorithmic}
\end{algorithm}