停机问题
用程序解释是这样的,就是说假如存在能够判断程序能否结束的程序A,那么就能构造出一个程序B来作为反例。这个程序B拿自己作为输入,如果用A判断自己能够结束就不结束,如果能够判定自己不能结束就结束自己。这样B到底能不能结束呢?
Post correspondence problem
两个长度相同的字符串数组,判断是否存在一个索引数组构造出来的字符串相同。
用程序解释是这样的,就是说假如存在能够判断程序能否结束的程序A,那么就能构造出一个程序B来作为反例。这个程序B拿自己作为输入,如果用A判断自己能够结束就不结束,如果能够判定自己不能结束就结束自己。这样B到底能不能结束呢?
两个长度相同的字符串数组,判断是否存在一个索引数组构造出来的字符串相同。