計算グラフ

$1 \le n < N$ とする。変数 $v_1, \ldots, v_N$ に対し、各 $k = n+1, \ldots, N$ について空でない親集合 $\mathrm{Pa}(k) \subset \{1, \ldots, k-1\}$ と、$\mathbb{R}^{|\mathrm{Pa}(k)|}$ の開集合上で定義された $C^1$ 級関数 $\varphi_k$ が与えられているとする。入力 $(v_1, \ldots, v_n)$ を与えると、$k = n+1, \ldots, N$ の順に

によってすべての $v_k$ が定まる。この組を計算グラフと呼び、$v_N$ を出力（スカラー）と呼ぶ。入力から出力を返す写像を $F(v_1, \ldots, v_n) := v_N$ と書く。