哪个高手能用通俗点的语言解释下这句话啊~~~~
偶已经晕了= =
不存在一个算法能在有限步内判断任意一个公式是否是可满足的
答案:1 悬赏:40 手机版
解决时间 2021-05-20 13:07
- 提问者网友：遮云壑
- 2021-05-19 22:31
最佳答案
- 五星知识达人网友：十年萤火照君眠
- 2021-05-20 00:05
就是说存在一个算法能在有限步内判断某个公式是否是可满足的。
就是说每个公式都是可以被某个算法验证的。
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯