Yes, but actually computing that function is computationally intractable in all but the simplest examples.
Yes, but actually computing that function is computationally intractable in all but the simplest examples.