《10000个科学难题》序

前言

奥特（Vaught）猜想与拓扑奥特猜想&高速

超紧基数典型内模型问题&冯琦

递归可枚举度中的格嵌入问题和双量词理论可判定性问题&杨跃

高层有限波雷尔（Borel）等价关系中的两个问题&高速

极小塔问题&张树果

r＝rw？及s＝sw？&张树果

连续统势确定问题&冯琦

奇异基数问题&冯琦

萨克斯（Sacks）关于波斯特（Post）问题的度不变解问题和马丁（Martin）猜想&杨跃

图灵（Turing）等价问题&高速

图灵（Turing）度的自同构问题&杨跃

是否存在一个稳定的一阶完全理论，它有大于一的有穷多个可数模型&史念东

Cherlin-Zilber猜想&庞炜恩

带指数函数的实数理论的可判定性问题&庞炜恩

Shelah唯一性猜想&庞炜恩

微分封闭域上的平凡强极小集&庞炜恩

3-Calabi-Yau代数的分类&章璞

阿廷（Artin）群的Gr?bner-Shirshov基&L.Bokut 陈裕群

布如意（Brou?）交换亏群猜想&张继平

布朗（Brown）问题&吴泉水 张坚

凯莱（Cayley）图和相关的问题&李才恒

福克斯（Foulkes）猜想&王立中

戈伦斯坦（Gorenstein）对称猜想&陈小伍 章璞

卡普兰斯基（Kaplansky）第六猜想&陈惠香

中山（Nakayama）猜想和广义中山（Nakayama）猜想&郭晋云

拉姆拉斯（Ramras）问题&吴泉水 张坚

Smashing子范畴上的公开问题&乐珏 章璞

巴斯-奎伦（Bass-Quillen）猜想&丁南庆

非半单Brauer代数的表示理论&芮和兵

非交换曲面的分类&吴泉水张坚

关于码交换等价于前缀码的猜测&郭聿琦

关于半群上一类重要同余的一个系列推广模式&郭聿琦王守峰

关于有限码具有有限完备化的判定问题&郭聿琦刘云

关于正则半群的两个嵌入问题&郭聿琦

广义倾斜模中的两个猜想&叶郁章璞

考克斯特群的胞腔&时俭益

满足正规子群极小条件的可解群的Fitting子群是否是幂零的？&刘合国

模代数smash积的半素性&朱胜林

球极函数的提升Pieri型公式&景乃桓

稳定等价猜想&张英伯

一些代数的Gr?bner—Shirshov基&L.Bokut陈裕群

由导出范畴建立量子群和典范基&肖杰

有限维数猜想&黄兆泳

ABC猜测&袁平之

巴斯（Bass）猜想和索尔（Soule）猜想&秦厚荣

Lichtenbaum猜想&秦厚荣

里德—所罗门（Reed-Solomon）码的译码问题&万大庆

沙努尔（Schanuel）猜想&姚家燕

哥德巴赫（Goldbach）猜想&贾朝华

关于不同模覆盖系的厄尔多斯（Erd?s）问题&孙智伟

关于倒数和发散序列的厄尔多斯—图兰（Erd?s-Tur?n）猜想&孙智伟潘颢

关于奇数阶阿贝尔（Abel）群的Snevily猜想&孙智伟

关于有限域上代数曲线点数的Drinfeld-Vladt界&冯克勤

朗兰兹（Langlands）纲领&叶扬波刘建亚

类数1实二次域的高斯猜想&冯克勤

黎曼（Riemann）zeta函数在奇正整数点处值的超越性&姚家燕

黎曼（Riemann）猜想&贾朝华

欧拉常数的超越性&姚家燕

椭圆曲线的BSD猜想&冯克勤

希尔伯特第九问题：高斯二次互反律如何推广&冯克勤

希尔伯特第十二问题：构作数域的最大阿贝尔扩域&冯克勤

岩泽（Iwasawa）理论的主猜想&欧阳毅

有限阿贝尔（Abel）群的Davenport常数&孙智伟

Cheeger-Goresky-MacPherson猜想&陈伯勇

Chern-Moser的一个问题&黄孝军

CR型的Bonnet刚性问题和Siu的孤立复正规奇点的超刚性问题&黄孝军

格里菲思（Griffiths）问题&陈伯勇

哈茨霍恩（Hartshorne）猜想&谈胜利

饭高（Iitaka）猜想：Cn，m&陈猛

长田（Nagata）猜想&杨劲根

Tate-Oort问题&李克正

Tate猜想&扶磊

调和丛的上同调&杨义虎

格拉腾迪克（Grothendieck）标准猜想&扶磊

关于全纯双截曲率的猜想&陈伯勇

紧闭包与局部化相交换的问题&唐忠明

局部上同调模的相伴素理想的有限性问题&唐忠明

Calabi-Yau模空间的陈数不等式&陆志勤

量子层猜想&陆志勤

奇点解消&杨劲根

球和代数区域的刚性&黄孝军

群作用下全纯映射的刚性问题&黄孝军

雅可比猜想&余解台

霍普夫（Hopf）猜想&忻元龙

霍普夫（Hopf）问题&唐梓洲

非线性狄拉克（Dirac）方程解的存在性问题&陈群

高维单值化猜测&邓少雄

关于K等价代数簇的量子上同调环的猜想&李安民

六维球面上复结构的存在性问题&唐梓洲

曲面到四维欧氏空间的等距浸入的存在性&唐梓洲

3维流形上tight切触结构的分类&丁帆

4维光滑庞加莱（Poincar?）猜想&丁帆

波雷尔（Borel）猜想：非球面性闭流形之间的同伦等价必同伦于一个同胚&郁国樑 徐胜芝

?猜想&方复全

Kashaev-Murakami-Murakami体积猜想&罗锋

瑟斯顿有效纤维化猜想&罗锋（王慰译）

Virtual Haken 猜想&雷逢春

仿射平坦流形的陈猜想&于立

光滑复完全交的沙利文猜想&苏阳

广义斯梅尔猜想&罗锋（王慰译）

广义度量空间问题&王国俊

矩阵的拓扑相似问题&方复全

纽结的交叉数的计算和肯加性&杨志青

纽结的解结数的计算和可能性&杨志青

嵌入猜想&方复全

三维流形分类问题&杨志青

osp型李超代数的特征标问题&苏育才

维特代数的自同构群问题&苏育才

非可对称化的卡茨-穆迪代数的定义关系问题&苏育才

李代数及其对偶空间的幂零元的分类&陈智奇 梁科

李群拜师的分歧律&朱富海 侯自新

李群酉表示的分类&黄劲松

模李代数模表示论中的卡茨-Weisfeiler（Kac-Weisfeiler）猜想&胡乃红

齐性爱因斯坦流形&邓少强 侯自新

有理顶点算子代数的分类&姜翠波

酉表示中的狄拉克算子&康毅芳 梁科

2D瞬时频率&彭立中

3n＋1猜想与复解析方法&李玉华

布洛克常数&刘劲松

博客纳-里斯乘子问题&杨大春

布伦南猜测&伍胜健

傅里叶集换的限制性问题&杨大春

朱莉娅集的分形锥数&乔建永

挂谷问题&杨大春

Koebe问题&贺正需

庞加莱圆盘上调和映射的舍恩猜想&漆毅 李忠

Sierpi?ski地毯上的狄氏型的构造&胡家信

Sierpi?ski双曲分支的有界性问题&崔贵珍

斯梅尔均值猜想&王跃飞

双曲猜想&王跃飞 崔贵珍

双线性希尔伯特变换的Lp有界性&颜立新

亚纯函数的亏量问题&伍胜健

亚纯函数与其导函数有公共的波雷尔方向吗&张广远

游荡连续统存在性问题&崔贵珍

阿诺德猜想&刘春根

Dry Ten Martini问题&尤建功

菲尔斯滕贝格猜想&黄文 叶向东

埃农映射族中奇异吸引子的存在性问题&王兰宇

希尔伯特第16问题&李承治

Palis猜测&文兰

罗林问题&邵松 叶向东

Veech猜测&邵松 叶向东

魏因施泰因猜想&蒋美

多重遍历定理&叶向东

关于闸轨道多重性的塞弗特猜想&张端智

哈密顿系统平衡点附近的不变环面&尤建功

紧流形上的闭测地线猜想&龙以明

弱Pinsker猜想&黄文 叶向东

天体力学中的中心构型有限性猜想&孙善忠

波利亚猜测&戴求亿

玻尔兹曼方程的Boltzmann-Grad极限&杨彤

玻尔兹曼方程的流体动力学极限&杨彤

不可压缩纳维耶-斯托克斯方程&何成

等谱问题&陈化

钝体超音速绕流问题的数学分析&陈怒行

非线性双曲型守恒律方程组的高维黎曼Riemann问题&陈怒行

非线性椭圆方程中的De Giorgi及吉本斯Gibbons猜想&魏军城

冯·诺伊曼悖论&陈怒行

没有对称性的非线性椭圆型方程无穷多个解的存在性&刘兆理

拟线性双曲型方程组由特征向量引发的奇性&李大潜

欧拉方程整体L∞弱解的适定性问题&黄飞敏

趋化性模型解的行为与模式形成问题&陈化 刘伟安

声波和电磁波反散射问题的唯一性&刘宏宇 邹军

椭圆算子的谱渐近以及韦尔-贝里猜想&陈化

线性退化的拟线性双曲型方程组不会导致激波形成？&李大潜

薛定谔方程中的独立子猜想&张晓轶

一类二阶完全非线性偏微分方程的格林函数&徐超江 陈化

AdS/CFT对应中的可积性&陈斌

Donaldson不变量和Seiberg-Witten不变量的关系&孙善忠

爱因斯坦场方程的数学研究&张晓

Gromov-Witten不变量的Virasoro猜想&刘小博

KZB方程&丁祥茂

带通量的弦真空贺紧化与广义复几何&胡森 殷峥

量子杨-米尔斯千禧问题&王世坤 吴可

量子极小模糊型猜想&胡建勋

彭罗斯猜想&白珊 刘润球

三种狭义相对论和引力及其相互关系&郭汉英

双黑洞系统的数值研究&曹周键

杨-巴克斯特方程&王世坤

宇宙监督假设&白珊 刘润球

亨特假设与Getoor猜测&应坚刚

常微分方程与随机分析中的相关问题&方诗赞

复杂数据的变量选择问题&孙六全

如何解决反映变量粗测量下“维数祸根”问题&王启华

相依结构下复杂删失数据统计建模问题&孙六全

样本量的增加能保持原告计的渐近性质吗？&崔恒建

量热点猜测&陈振庆

阿达马矩阵存在性&葛根年 向青 殷剑兴

Hadwiger猜想&许宝刚

西摩的二阶邻域猜想&李学良

韦斯有限局部本原图猜想&冯衍全

并闭集猜想&王军

独立系的Chvátal猜想&王毅

非素数幂阶射影平面的存在性&葛根年

经典拉姆齐函数的估值&李雨生

柯克曼三元系大集的存在性问题&常彦勋

拉丁方的横截问题&李学良

列表染色猜想&许宝刚

旅行售货员问题&许宝刚

球面上的g-猜想&陈永川 Richard P.Stanley

双圈覆盖猜想&张存铨

凸多边形与厄尔多斯-SzekeresErdés-Szekeres问题&李学良

图的Pfaan定向&张福基

图的重构猜想&洪渊

整数流猜想&范更华

子图覆盖问题&范更华

自回避行走的计数问题&陈永川Richard P. Stanley

P＝NP？&高小山 朱洪

单向函数的存在性&邓映蒲

设计既实用又安全的公钥密码系统&邓映蒲

大数分解是否有多项式算法？&冯克勤

离散对数求解问题&龚贤

多变元公钥密码中MQ问题是否存在有效算法&刘卓军

“最小秩”问题是否存在有效算法？&刘卓军

符号—数值混合计算&吴文俊

多项式方程组的有效求解&高小山

基于有理多项式平方和的全局最优验证&支丽红

有理代数曲面的高效参数化与隐式化方法&高小山 陈发来

曲面交线的高效可靠计算&邓建松 陈发来

平面向量场不变曲线次数的庞加莱Poincaré问题&冯如勇

微分代数簇的不可缩分解&高小山

差分代数簇的不可约分解&高小山 袁春明

最小微分维数多项式的计算&Alexander Levin

罗塔-巴克斯特Rota-Baxter代数中的几个问题&郭锂

阿蒂亚猜想&李洪波

非负矩阵分解&柏兆俊

非线性偏微分方程间断解问题的高精度格式&舒其望

分片多项式方程组的计算及相关几何问题&王仁宏

高维大尺度反散射问题的分析与计算&包刚

求解无界区域非线性偏微分方程的人工边界方法&余德浩

求解线性代数方程组的最优方法&许进超

燃烧方程组间断解的数值计算方法&应隆安 袁礼

三维椭圆和电磁场计算问题的hp自适应有限元方法&陈志明

双曲型守恒律方程组差分方法对间断解的收敛性&应隆安

高精度有限元方法中未解决的具体问题&林群

最优剖分的有关理论頜计算问题&杜强

凸多面体的d-步猜想&袁亚湘

有限个二次函数最大值的极小化问题&袁亚湘

推广的Lax猜想：双曲锥能表示为半定锥的一个截面&修乃化

DFP拟牛顿法的收敛性&戴彧虹

最小阻力凸体问题&戴彧虹

是否存在求解性线性规划的强多项式时间算法&张树中 何斯迈

组合优化反问题的计算复杂性&杨晓光

旅行商问题是否存在性能比小于1.5的近似算法&胡晓东

k-服务器猜想&徐寅峰

是否存在求解装箱问题的绝对近似算法&张国川

随机排队网络的遍历性&戴建岗 张汉勤

非线性动力系统的模型降阶&苏仰锋 曾璇

水分子多尺度建模与计算&张平文

编后记