展开 所有问题都是可计算