A mathematical solution that can be computed directly without iterative optimization, enabling efficient inference.