堵丁柱
- 作品数：17 被引量：72H指数：4
- 供职机构：中国科学院数学与系统科学研究院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学更多>>
- 具有公用点的阀门布局问题
- 1991年
- 考虑一个简单的真空系统。它由机械泵、扩散泵和被抽的真空器件所组成。系统的工作分两个阶段。在第一阶段,机械泵直接抽真空器件使其真空度达10^(-3)左右。在第二阶段,机械泵通过扩散泵抽真空器件使其真空度达10^(-6)左右。很明显,在两个阶段中,系统的连接状态是不同的。为了实现不同连接状态之间的转换。系统中配置着阀门。阀门控制着连接管道的通和断。
- 堵丁柱堵秀凤
- 关键词：组合优化真空系统
- 陡度引理的强化与应用
- 1991年
- 陡度引理是利用一个直观的原理得到的、研究线性约束非线性规划算法收敛性的有力工具。本文讨论了它的强化形式与应用。
- 堵丁柱堵秀凤
- 关键词：非线性规划算法收敛性
- 一族投影梯度方法
- 堵丁柱
- 不用特殊转轴的既约梯度方法
- 1991年
- 无论是Wolfe既约梯度法,还是Zangwill凸单纯形法,在不使用越-韩转轴或类似的转轴运算时,都没得到过令人满意的收敛定理.事实上,那样的收敛定理总是在此非退化假设强很多的不太现实的条件下证得的.本文提出一个新的方法,它介于既约梯度法与凸单纯形法之间.有趣的是,无需特殊的转轴运算,在非退化假设下。
- 堵丁柱堵秀凤
- 关键词：收敛性
- 图性质的Karp猜想被引量：2
- 2000年
- 所有非平凡、单调的图性质的判定树复杂性等于, 其中n是图的顶点数. 这就是关于图性质的Karp猜想. 综述关于Karp猜想的研究进展.
- 李德英堵丁柱
- 关键词：判定树图论逻辑问题
- 图可重构的充要条件被引量：5
- 1997年
- 众所周知,Ulam在1929年提出了重构猜想,后来收集在文献[1]中、在文献[2]中,Bondy等人列出了一系列尚未解决的问题,重构猜想位居第一。
- 堵丁柱师海忠
- 关键词：充要条件邻接矩阵
- 群试中试验系列的完备问题的复杂性被引量：1
- 1991年
- 自1943年,Dorfman在征兵验血中用群试方法取得明显经济效果以来,群试已在统计学、组合学以及计算机科学领域扎了根。它的基本问题形式如下:设N含n个物体,标号为1,2,…,n,其中若干为坏,需要利用一定的试验手段将其中坏的都找出来,如何使试验次数在某种意义下最少。全部坏物体组成之集称为样本,所有可能之样本组成样本空间。常见的样本空间有如下几种:全部N的子集组成之空间(?)_n。
- 堵丁柱
- k车服务问题与竞争算法被引量：40
- 1991年
- 本文以 k 车服务问题为线索,介绍最优化领域中出现的越来越热的一个新方向——局内问题与竞争算法.
- 堵丁柱
- 广义二分搜索及其在LP多项式算法复杂度证明中的应用
- 1990年
- Khachiyan 和 Karmarkar 方法的提出,不仅解决了长期悬而未决的线性规划(LP)问题的多项式时间算法的存在性问题,而且开辟了优化算法设计上新的方法论体系.目前的兴趣之一是把这一方法论体系应用到一般的连续优化问题中去.一个组合优化问题,同一般优化问题一样,可以表达成一个二元组((?),c),其中(?)是可行解集合,c 是定义在(?)上的实目标函数.对于组合问题,一般地,(?)
- 章祥荪堵丁柱
- 关键词：多项式算法二分搜索
- 关于线搜索闭性的一个注记被引量：1
- 1990年
- 闭性在优化算法的收敛理论中起着重要作用。Zangwill全局收敛定理就是以闭性为基础确立的。精确线搜索的闭性已为人们所熟知,但非精确线搜索的闭性一直为人们所忽略。事实上,关于Armijo线搜索和Wolfe线搜索的闭性无处提及,只有Luenberger给出了Goldstein线搜索闭性的证明。令人遗憾的是,该证明是完全错误的(我们稍后详加分析)。
- 堵丁柱唱江华
- 关键词：线搜索无约束优化
