30
Complexity
•
Theorem
[Grandjean] The problem whether
m
(
f
) = 0 or 1 is PSPACE complete