常识

停机问题

用程序解释是这样的，就是说假如存在能够判断程序能否结束的程序A，那么就能构造出一个程序B来作为反例。这个程序B拿自己作为输入，如果用A判断自己能够结束就不结束，如果能够判定自己不能结束就结束自己。这样B到底能不能结束呢？

Post correspondence problem

两个长度相同的字符串数组，判断是否存在一个索引数组构造出来的字符串相同。

最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
平台声明：文章内容（如有图片或视频亦包括在内）由作者上传并发布，文章内容仅代表作者本人观点，简书系信息发布平台，仅提供信息存储服务。

推荐阅读更多精彩内容