“你有两个小时的时间可以答题!”,教学助理帮他拿过答题纸和草稿纸等考试用品放到桌上,然后自己退到沙发上拿起一本杂志翻看起来。
看来南教授是狠了心不打算让自己通过这次考试了啊!吕丘建并未打算认输,开始从第一题看起,只见题目写着:所有的完全多项式非确定性问题,都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案,都可以在多项式时间内计算,那么是否这类问题,存在一个确定性算法,可以在多项式时间内,直接算出或是搜寻出正确的答案?
要解决这个问题有两种方法,第一种是针对某个特定的完全多项式非确定性问题找到一个一个算法,所有这类问题都可以迎刃而解了,因为他们可以转化为同一个问题;另外的一种可能,就是这样的算法是不存在的。那么就要从数学理论上证明它为什么不存在。
可是目前的数学家们在遇到类似问题的时候通常只有使用穷举法求解,并未有一种方法可以在短时间内解决这种问题,吕丘建打算先看看下面的题目。
第二题:请证明对于所谓射影代数簇这种特别完美的空间类型来说,称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。
这是一个代数几何的问题,涉及到关于非奇异复代数簇的代数拓扑和它由定义子簇的多项式方程所表述的几何的关联。
不不不,这也不是一个能短时间解决的问题,算了吧,还是继续往下看吧,吕丘建苦笑着把目光移到第三道题目上面。
第三题:任何一个单连通的,闭的三维流形一定同胚于一个三维的球面。
这是个拓扑学的问题,吕丘建想了想,一个闭的三维流形就是一个没有边界的三维空间;单连通就是这个空间中每条封闭的曲线都可以连续的收缩成一点,或者说在一个封闭的三维空间,假如每条封闭的曲线都能收缩成一点,这个空间就一定是一个三维圆球。
再看看第四题:素数的频率紧密相关于一个精心构造的zeta函数ζ的性态,方程ζ(s)0的所有有意义的解都在一条直线上。
素数是1,3,5这样除了1和自身以外不能被其他正整数整除的数,它们在数论中的地位类似于物理世界中用以构筑万物的原子;素数的定义很简单,但它们的分布却玄妙异常。
天呐,就不能给我一个能摸着点头绪的题目么?吕丘建心中哀号着,这几个月来第一次对自己的智商产生了怀疑。