2021年11月9日
[TCS]理论计算机常见m归约问题整理
摘要： 声明：本blog知识产权归北京大学信息科学技术学院刘田老师所有 课程：2021-2022-1学期 《理论计算机》 授课教师：刘田 感谢wyx,wph同学的支持，没有你们，就没有本篇blog 常见的证明方法有两种，常用$\leq_{m}$​归约，但是定义证明也千万不要忽视 什么是m归约 已知$\exi 阅读全文
posted @ 2021-11-09 12:07 Kamkwamba 阅读(469) 评论(0) 推荐(0)