期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
关于Steiner树的Gilbert-Pollak猜想的证明 被引量:5
1
作者 堵丁柱 《中国科学院院刊》 1993年第3期243-244,共2页
“在过去的一年,数学上的显著进展包括一个关于最短网络的长期著名猜想的解决……”(引自《不列颠百科全书1992年鉴》),这个猜想就是关于Steiner树的Gilbert-Pollak猜想.这个数学问题要追溯到法国大数学家Fermat(1601—1665).他曾经提出... “在过去的一年,数学上的显著进展包括一个关于最短网络的长期著名猜想的解决……”(引自《不列颠百科全书1992年鉴》),这个猜想就是关于Steiner树的Gilbert-Pollak猜想.这个数学问题要追溯到法国大数学家Fermat(1601—1665).他曾经提出了Fermat问题:任给平面上三个点,如何找出一点将它与这三个点相连,使得连线的总长度最小.1640年Torricelli给出Fermat问题的解:当三点组成的三角形最大内角小于120°时。 展开更多
关键词 STEINER树 G-P猜想 网络
下载PDF
计算复杂性对运筹学发展的影响 被引量:4
2
作者 堵丁柱 《运筹学杂志》 CSCD 1989年第1期7-11,共5页
计算复杂性与运筹学的渊源很深。特别是,自解线性规划的Karmarkar算法出现以来,运筹学界谈论复杂性者越来越多。本文试图为这一趋势提供些注记。我们假定读者已阅读过[1]。一、复杂性理论从诞生起就与运筹学结下了不解之缘虽然计算复杂... 计算复杂性与运筹学的渊源很深。特别是,自解线性规划的Karmarkar算法出现以来,运筹学界谈论复杂性者越来越多。本文试图为这一趋势提供些注记。我们假定读者已阅读过[1]。一、复杂性理论从诞生起就与运筹学结下了不解之缘虽然计算复杂性理论是在可计算性理论的基础上发展起来的,但是运筹学的催生作用却无法忽视。当Edmonds在1965年提出多项式时间算法的概念时。 展开更多
关键词 计算复杂性 运筹学 线性规划
下载PDF
也谈Steiner树问题 被引量:1
3
作者 堵丁柱 黄光明 《运筹学杂志》 CSCD 1996年第1期67-70,共4页
有幸读到越民义教授介绍 Steiner 树的近文,受益匪浅.但是,文中对历史进展,以及成果认定均有不妥之处,故做此文与之商榷.1.谁提出了 Steiner 树问题?越文以 Courant 和 Robbins 的书《What is Mathematics》为依据,认定 Steiner 树问题... 有幸读到越民义教授介绍 Steiner 树的近文,受益匪浅.但是,文中对历史进展,以及成果认定均有不妥之处,故做此文与之商榷.1.谁提出了 Steiner 树问题?越文以 Courant 和 Robbins 的书《What is Mathematics》为依据,认定 Steiner 树问题是19世纪初叶,由著名几何学家 J.Steiner(1796-1863)所提出.令人遗憾的是。 展开更多
关键词 STEINER树 G-P猜想
下载PDF
解决高度分割的车载自组网络连通性问题的路侧单元最优化调度方案 被引量:4
4
作者 邹凤 仲姣菲 +2 位作者 伍伟丽 堵丁柱 Lee Junghoon 《计算机工程与科学》 CSCD 北大核心 2012年第1期1-10,共10页
车载自组网络VANET是一种拥有高度动态拓扑结构的移动自组网络。为了解决其频繁的网络分割问题,最新研究提出使用一种特殊的称为路侧单元RSU的基础设施部署于道路两侧来提高VANET连通性。本文主要研究RSU调度中的节能降耗问题:给定一组... 车载自组网络VANET是一种拥有高度动态拓扑结构的移动自组网络。为了解决其频繁的网络分割问题,最新研究提出使用一种特殊的称为路侧单元RSU的基础设施部署于道路两侧来提高VANET连通性。本文主要研究RSU调度中的节能降耗问题:给定一组路侧单元,我们的目标是寻找指定时段内打开或关闭RSU的最优调度,以确保RSU系统所消耗的总能量最小化,同时维持VANET系统网络连通性。我们将这一问题分解为两个子问题,即网络瞬像调度问题和网络瞬像选取问题。网络瞬像调度问题用于决定某时刻VANET网络瞬像中所需的连通状态RSU的最小值,而网络瞬像选取问题则用于决定系统需要在哪些时刻更新网络瞬像。通过对这两个子问题的研究,我们最终给出关于RSU调度问题的完全解,并通过理论分析与实验结果证明本文的算法可以在保持VANET连通性的同时明显地节能降耗。 展开更多
关键词 车载自组网络 路侧单元调度 最优化 节能降耗
下载PDF
带基数约束的次模+超模(BP)函数最大化问题的流算法 被引量:1
5
作者 连月芳 张真宁 +1 位作者 赵中睿 堵丁柱 《运筹学学报》 CSCD 北大核心 2022年第1期85-98,共14页
本文研究在基数约束下具有单调性的次模+超模函数最大化问题的流模型。该问题在数据处理、机器学习和人工智能等方面都有广泛应用。借助于目标函数的收益递减率(γ),我们设计了单轮读取数据的过滤-流算法,并结合次模、超模函数的全局曲... 本文研究在基数约束下具有单调性的次模+超模函数最大化问题的流模型。该问题在数据处理、机器学习和人工智能等方面都有广泛应用。借助于目标函数的收益递减率(γ),我们设计了单轮读取数据的过滤-流算法,并结合次模、超模函数的全局曲率(κ^(g))得到算法的近似比为min{(1-ε)γ/2γ),1-γ/2γ(1-k^(g)^(2))}。数值实验验证了过滤-流算法对BP最大化问题的有效性并且得出:次模函数和超模函数在同量级条件下,能保证在较少的时间内得到与贪婪算法相同的最优值。 展开更多
关键词 BP-函数最大化 全局曲率 边际收益递减率 流算法 基数约束
下载PDF
图可重构的充要条件 被引量:5
6
作者 堵丁柱 师海忠 《科学通报》 EI CAS CSCD 北大核心 1997年第16期1719-1721,共3页
众所周知,Ulam在1929年提出了重构猜想,后来收集在文献[1]中、在文献[2]中,Bondy等人列出了一系列尚未解决的问题,重构猜想位居第一。
关键词 重构猜想 图半群 充要条件 邻接矩阵
原文传递
k车服务问题与竞争算法 被引量:40
7
作者 堵丁柱 《数学的实践与认识》 CSCD 北大核心 1991年第4期36-40,共5页
本文以 k 车服务问题为线索,介绍最优化领域中出现的越来越热的一个新方向——局内问题与竞争算法.
关键词 k车服务问题 竞争算法 最优化
原文传递
谈谈斯坦纳树 被引量:13
8
作者 堵丁柱 《数学通报》 北大核心 1995年第1期25-30,共6页
谈谈斯坦纳树堵丁柱中国科学院应用数学研究所100080)1费尔马的问题最短网络是项历史悠久的数学课题.它的历史可以追溯到费尔马.1640年,费尔马提出如下问题:于平面上给出A,B,C三点,求一点S使距离和SA+SB+... 谈谈斯坦纳树堵丁柱中国科学院应用数学研究所100080)1费尔马的问题最短网络是项历史悠久的数学课题.它的历史可以追溯到费尔马.1640年,费尔马提出如下问题:于平面上给出A,B,C三点,求一点S使距离和SA+SB+SC达到最小.该问题引起了许多人的... 展开更多
关键词 拓扑 莫扎克方法 哥尔件特-泡拉克猜想 斯坦纳树 最短网络 费尔马问题
原文传递
关于线搜索闭性的一个注记 被引量:1
9
作者 堵丁柱 唱江华 《科学通报》 EI CAS CSCD 北大核心 1990年第15期1135-1137,共3页
闭性在优化算法的收敛理论中起着重要作用。Zangwill全局收敛定理就是以闭性为基础确立的。精确线搜索的闭性已为人们所熟知,但非精确线搜索的闭性一直为人们所忽略。事实上,关于Armijo线搜索和Wolfe线搜索的闭性无处提及,只有Luenberge... 闭性在优化算法的收敛理论中起着重要作用。Zangwill全局收敛定理就是以闭性为基础确立的。精确线搜索的闭性已为人们所熟知,但非精确线搜索的闭性一直为人们所忽略。事实上,关于Armijo线搜索和Wolfe线搜索的闭性无处提及,只有Luenberger给出了Goldstein线搜索闭性的证明。令人遗憾的是,该证明是完全错误的(我们稍后详加分析)。 展开更多
关键词 线搜索 闭性 无约束优化 点集影象
原文传递
群试中试验系列的完备问题的复杂性 被引量:1
10
作者 堵丁柱 《应用数学学报》 CSCD 北大核心 1991年第2期234-240,共7页
自1943年,Dorfman在征兵验血中用群试方法取得明显经济效果以来,群试已在统计学、组合学以及计算机科学领域扎了根。它的基本问题形式如下:设N含n个物体,标号为1,2,…,n,其中若干为坏,需要利用一定的试验手段将其中坏的都找出来,如何使... 自1943年,Dorfman在征兵验血中用群试方法取得明显经济效果以来,群试已在统计学、组合学以及计算机科学领域扎了根。它的基本问题形式如下:设N含n个物体,标号为1,2,…,n,其中若干为坏,需要利用一定的试验手段将其中坏的都找出来,如何使试验次数在某种意义下最少。全部坏物体组成之集称为样本,所有可能之样本组成样本空间。常见的样本空间有如下几种:全部N的子集组成之空间(?)_n。 展开更多
关键词 群试 试验系列 完备问题 复杂性
原文传递
为什么在线性规划的内点算法中要将目标函数非线性化?
11
作者 堵丁柱 吴方 章祥荪 《数学的实践与认识》 CSCD 北大核心 1990年第2期63-68,共6页
本文通过讨论算法的收敛速度和时间复杂性的关系,提出理解和发展线性规划内点算法的一个新思想。
关键词 线性规划 内点算法 目标函数
原文传递
具有公用点的阀门布局问题
12
作者 堵丁柱 堵秀凤 《应用数学学报》 CSCD 北大核心 1991年第2期277-283,共7页
考虑一个简单的真空系统。它由机械泵、扩散泵和被抽的真空器件所组成。系统的工作分两个阶段。在第一阶段,机械泵直接抽真空器件使其真空度达10^(-3)左右。在第二阶段,机械泵通过扩散泵抽真空器件使其真空度达10^(-6)左右。很明显,在... 考虑一个简单的真空系统。它由机械泵、扩散泵和被抽的真空器件所组成。系统的工作分两个阶段。在第一阶段,机械泵直接抽真空器件使其真空度达10^(-3)左右。在第二阶段,机械泵通过扩散泵抽真空器件使其真空度达10^(-6)左右。很明显,在两个阶段中,系统的连接状态是不同的。为了实现不同连接状态之间的转换。系统中配置着阀门。阀门控制着连接管道的通和断。 展开更多
关键词 阀门布局 组合优化 真空系统
原文传递
不用特殊转轴的既约梯度方法
13
作者 堵丁柱 堵秀凤 《计算数学》 CSCD 北大核心 1991年第2期204-208,共5页
无论是Wolfe既约梯度法,还是Zangwill凸单纯形法,在不使用越-韩转轴或类似的转轴运算时,都没得到过令人满意的收敛定理.事实上,那样的收敛定理总是在此非退化假设强很多的不太现实的条件下证得的.本文提出一个新的方法,它介于既约梯度... 无论是Wolfe既约梯度法,还是Zangwill凸单纯形法,在不使用越-韩转轴或类似的转轴运算时,都没得到过令人满意的收敛定理.事实上,那样的收敛定理总是在此非退化假设强很多的不太现实的条件下证得的.本文提出一个新的方法,它介于既约梯度法与凸单纯形法之间.有趣的是,无需特殊的转轴运算,在非退化假设下。 展开更多
关键词 既约梯度法 非退化假设 收敛性
原文传递
陡度引理的强化与应用
14
作者 堵丁柱 堵秀凤 《中国科学(A辑)》 CSCD 1991年第12期1242-1249,共8页
陡度引理是利用一个直观的原理得到的、研究线性约束非线性规划算法收敛性的有力工具。本文讨论了它的强化形式与应用。
关键词 陡度引理 非线性规划 算法收敛性
原文传递
图性质的Karp猜想 被引量:1
15
作者 李德英 堵丁柱 《科学通报》 EI CAS CSCD 北大核心 2000年第20期2129-2133,共5页
所有非平凡、单调的图性质的判定树复杂性等于, 其中n是图的顶点数. 这就是关于图性质的Karp猜想. 综述关于Karp猜想的研究进展.
关键词 Karp猜想 判定树 诡函数 图论 逻辑问题
原文传递
广义二分搜索及其在LP多项式算法复杂度证明中的应用
16
作者 章祥荪 堵丁柱 《系统科学与数学》 CSCD 北大核心 1990年第4期371-376,共6页
Khachiyan 和 Karmarkar 方法的提出,不仅解决了长期悬而未决的线性规划(LP)问题的多项式时间算法的存在性问题,而且开辟了优化算法设计上新的方法论体系.目前的兴趣之一是把这一方法论体系应用到一般的连续优化问题中去.一个组合优化问... Khachiyan 和 Karmarkar 方法的提出,不仅解决了长期悬而未决的线性规划(LP)问题的多项式时间算法的存在性问题,而且开辟了优化算法设计上新的方法论体系.目前的兴趣之一是把这一方法论体系应用到一般的连续优化问题中去.一个组合优化问题,同一般优化问题一样,可以表达成一个二元组((?),c),其中(?)是可行解集合,c 是定义在(?)上的实目标函数.对于组合问题,一般地,(?) 展开更多
关键词 LP问题 多项式算法 广义 二分搜索
原文传递
关于Rosen算法的注记
17
作者 刘自成 胡晓东 +1 位作者 堵丁柱 陈礴 《系统科学与数学》 CSCD 北大核心 1992年第1期94-96,共3页
1960年,Rosen 提出一个求线性不等式组可行解的投影算法.1981年,Powell给出一个例子说明 Rosen 的算法会发生循环从而失效.本文证明,按照 Rosen 的算法,只要适当地做点修正,循环就可避免,从而算法必在有限步内找到解或发现无解.首先给... 1960年,Rosen 提出一个求线性不等式组可行解的投影算法.1981年,Powell给出一个例子说明 Rosen 的算法会发生循环从而失效.本文证明,按照 Rosen 的算法,只要适当地做点修正,循环就可避免,从而算法必在有限步内找到解或发现无解.首先给出一些记号.所考虑的问题是求 n 维向量 x 展开更多
关键词 Rosen算法 线性 不等式组 循环
原文传递
A MODIFICATION OF ROSEN-POLAK'S ALGORITHM 被引量:1
18
作者 堵丁柱 《Chinese Science Bulletin》 SCIE EI CAS 1983年第3期301-305,共5页
Ⅰ. INTRODUCTION In order to modify the convergence of Rosen’s algorithm, Polak used a complex ε-procedure and proved the convergence of the modified algorithm under a condition called ε-hypothesis. Zhang Xiangsun ... Ⅰ. INTRODUCTION In order to modify the convergence of Rosen’s algorithm, Polak used a complex ε-procedure and proved the convergence of the modified algorithm under a condition called ε-hypothesis. Zhang Xiangsun showed that the ε-hypothesis is equivalent to 展开更多
关键词 HYPOTHESIS modify 二七 implies PROOF holds DIFFERENTIABLE INTEGER otherwise 卜名
原文传递
ON A NEW GRADIENT PROJECTION METHOD
19
作者 堵丁柱 章祥荪 《Systems Science and Mathematical Sciences》 SCIE EI CSCD 1989年第2期184-192,共9页
In 1983,Du and Sun gave an algorithm which possesses superiorities of both Rosen’sgradient projection method and Wolfe’s reduced gradient method.However,in order to have theprovable global convergence,the algorithm ... In 1983,Du and Sun gave an algorithm which possesses superiorities of both Rosen’sgradient projection method and Wolfe’s reduced gradient method.However,in order to have theprovable global convergence,the algorithm includes an ε-procedure as one of its parts.In this paper,we delete such a part and prove a convergence theorem. 展开更多
关键词 GRADIENT PROJECTION Global CONVERGENCE Line SEARCH PROCEDURE CONSTRAINED optimization problem
原文传递
COMPUTATIONAL COMPLEXITY OF INTEGRATION AND DIFFERENTIATION OF CONVEX FUNCTIONS
20
作者 堵丁柱 Ker-I Ko 《Systems Science and Mathematical Sciences》 SCIE EI CSCD 1989年第1期70-79,共10页
In this paper,we study the computational complexity of the integrals and the derivatives ofconvex functions defined on the interval [0,1].
关键词 COMPUTATIONAL COMPLEXITY CONVEX function MAXIMAL VALUE POLYNOMIAL time
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部