顾青摇了摇头。“经费不足。做结构生物学的研究，冷冻电镜和高精度质谱仪是基本门槛。我们实验室现有的设备精度不够，申请新设备至少要等下一个拨款周期，而且金额太大，院里批不批还两说。
再说我们现在已经有课题方向了，是海水稻方向的一个子题，关于根系泌氧能力对盐胁迫耐受性的影响，数据才跑了一半，暂时转不了向。”
“海水稻？”
赵阳对这个方向有些印象。耐盐碱水稻的研究在袁老推动下已经成了国内几个重点农业实验室的核心方向，顾明的课题组之前做耐盐碱水稻的转录因子鉴定已经有了一些积累，转到海水稻是顺理成章的延伸。
“对。”
顾青用筷子夹了块清炒虾仁，放进嘴里慢慢嚼着。
“我们前期做了几批不同品种的海水稻在盐胁迫下的根系转录组比较，发现一组与通气组织形成相关的基因在耐盐品种里表达量特别高。现在在做功能验证，用基因沉默和过表达分别处理，看通气组织密度和根系泌氧能力的实际变化。”
两个人聊了一会儿海水稻的实验设计，赵阳提了几个关于通气组织定量分析的方法建议，顾青一一记下来。吃完饭，赵阳结了账，把顾青送回研究生宿舍，然后再坐着王海开的车，回到了别墅。
回到别墅之后，赵阳继续写论文。
耗费了三天时间，他把之前关于P vs NP问题的成果整理了出来。这篇论文的核心贡献在于将多项式方法与代数几何中的理想理论相结合，利用希尔伯特零点定理来刻画NP完全问题在多项式时间内不可解的结构障碍。
具体来说，他证明了：如果某个NP完全问题对应的布尔函数可以被多项式大小的电路所计算，那么这个电路的代数化版本必然满足一组高度约束的多项式方程；而通过研究这些方程生成的理想的零点集，可以推导出该零点集的维数下界与电路大小下界之间的对应关系。
论文的结论部分提出了一个猜想：如果能够将这种对应关系推广到任意有限域上的多项式理想，那么P≠NP的证明就可以通过证明某个特定NP完全问题的代数簇维数必然超多项式增长来完成。
他还在论文的附录部分详细列出了几个未解决的子问题，比如有限域上消元定理的推广、特定多项式理想的维数上界估计、以及将代数簇维数与图论中的团大小进行精确映射的构造方法。
论文投给了《数学年刊》，同时上传到了arXiv上。他想看看
（本章节未完结，点击下一页翻页继续阅读）
正在加载...