计算复杂性等方面，还没有有效的定量分析方法