MuZero Operator

computation

Definition

${\mu }_0$ Operator

Let $g:{\mathbb{N}}^{k+1}\to \mathbb{N}$ ($k\ge 0$) be a total function. Then:

$$f={\mu }_{0}g:{\mathbb{N}}^k\to \mathbb{N}$$

is defined as $f(x_1,\dots ,x_k)={\min }_{y\ge 0}[g(y,x_1,\dots ,x_k)=0]$.

;