PATH
#NL完全問題
#グラフ
定義
有向グラフ
$ \langle G, s, t \rangle
について
$ s
から
$ t
への辺が存在するものの集合
$ \mathsf{PATH} := \{\langle G, s, t \rangle\ |\ \langle s, t\rangle \in \text{reachable}(G)\}
定理
PATH ∈ NL-complete