“你有两个小时的时间可以答题!”,教学助理帮他拿过答题纸和草稿纸等考试用品放到桌上,然后自己退到沙发上拿起一本杂志翻看起来。
看来南教授是狠了心不打算让自己通过这次考试了啊!吕丘建并未打算认输,开始从第一题看起,只见题目写着:所有的完全多项式非确定性问题,都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案,都可以在多项式时间内计算,那么是否这类问题,存在一个确定性算法,可以在多项式时间内,直接算出或是搜寻出正确的答案?
要解决这个问题有两种方法,第一种是针对某个特定的完全多项式非确定性问题找到一个一个算法,所有这类问题都可以迎刃而解了,因为他们可以转化为同一个问题;另外的一种可能,就是这样的算法是不存在的。那么就要从数学理论上证明它为什么不存在。
可是目前的数学家们在遇到类似问题的时候通常只有使用穷举法求解,并未有一种方法可以在短时间内解决这种问题,吕丘建打算先看看下面的题目。
第二题:请证明对于所谓射影代数簇这种特别完美的空间类型来说,称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。
这是一个代数几何的问题,涉及到关于非奇异复代数簇的代数拓扑和它由定义子簇的多项式方程所表述的几何的关联。
不不不,这也不是一个能短时间解决的问题,算了吧,还是继续往下看吧,吕丘建苦笑着把目光移到第三道题目上面。
第三题:任何一个单连通的,闭的三维流形一定同胚于一个三维的球面。
这是个拓扑学的问题,吕丘建想了想,一个闭的三维流形就是一个没有边界的三维空间;单连通就是这个空间中每条封闭的曲线都可以连续的收缩成一点,或者说在一个封闭的三维空间,假如每条封闭的曲
本网站为网友提供小说上传储存空间平台,为网友提供在线阅读交流、txt下载,平台上的所有文学作品均来源于网友的上传
用户上传的文学作品均由网站程序自动分割展现,无人工干预,本站自身不编辑或修改网友上传的内容(请上传有合法版权的作品)
如发现本站有侵犯权利人版权内容的,请向本站投诉,一经核实,本站将立即删除相关作品并对上传人ID账号作封号处理