State space complexity