“你有两个小时的时间可以答题!”,教学助理帮他拿过答题纸和草稿纸等考试用品放到桌上,然后自己退到沙发上拿起一本杂志翻看起来。#笔趣阁
.BiQuKu.La#
看来南教授是狠了心不打算让自己通过这次考试了啊!吕丘建并未打算认输,开始从第一题看起,只见题目写着:所有的完全多项式非确定性问题,都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案,都可以在多项式时间内计算,那么是否这类问题,存在一个确定性算法,可以在多项式时间内,直接算出或是搜寻出正确的答案?
要解决这个问题有两种方法,第一种是针对某个特定的完全多项式非确定性问题找到一个一个算法,所有这类问题都可以迎刃而解了,因为他们可以转化为同一个问题;另外的一种可能,就是这样的算法是不存在的。那么就要从数学理论上证明它为什么不存在。
可是目前的数学家们在遇到类似问题的时候通常只有使用穷举法求解,并未有一种方法可以在短时间内解决这种问题,吕丘建打算先看看下面的题目。
第二题:请证明对于所谓射影代数簇这种特别完美的空间类型来说,称作霍奇闭链的部件