csdp - 云端在线

程序：

您的姓名

csdp - 半定程序求解器

概要

发展计划 <问题档案>最终解决方案>初始解决方案>
csdp-补 <输入图>输出图>
csdp-graphtoprob <图形>问题档案>
csdp-randgraph <随机图>文件>n>p> [种子>]
csdp-θ <图形>

商品描述

本手册页简要记录了 可持续发展计划， csdp-补充， csdp-graphtoprob， csdp-
随机图 和 csdp-θ 命令。

发展计划 -- 求解一般半定程序的接口
csdp-补 -- 计算图的补集并以csdp问题格式输出
csdp-graphtoprob -- 将图形转换为csdp问题格式文件
csdp-randgraph -- 生成随机图
csdp-θ -- 解决了 Lovasz thetha 问题

配置

下面是选项的摘要。 有关完整说明，请参阅
/usr/share/doc/coinor-csdp-doc/csdpuser.pdf。

发展计划
输入问题 SDPA 稀疏格式

问题档案
是包含 SDPA 稀疏格式的 SDP 问题的文件的名称

最终解决方案
是保存最终解决方案的文件的可选名称

初始解决方案
是从中获取初始解决方案的文件的可选名称。

CSDP 搜索名为的文件 参数.csdp 在当前目录中。 如果没有这样的文件
存在，则使用所有 CSDP 参数的默认值。 如果有参数
文件，然后 CSDP 从该文件中读取参数值。 默认参数值
下面给出（可以粘贴到文件中）：

轴托=1.0e-8
阿蒂托尔=1.0e-8
objtol=1.0e-8
pinftol=1.0e8
丁夫托=1.0e8
最大值=100
minstepfrac = 0.90
maxstepfrac = 0.97
分钟步长=1.0e-8
分钟步长=1.0e-8
使用xzgap=1
调整间隙=0
仿射=0
打印级别=1
扰动对象=1
快速模式=0

参数.csdp 文件 参数 描述

轴突 阿提托尔 对象 原始可行性、双重可行性和相对的容差
二元差距

针脚
丁醇 用于确定原始和双重不可行性的容差

马克西特
plimit CSDP 可能使用的总迭代次数

分步压裂
最大步进压裂 确定 CSDP 离可行区域的边缘有多近。
如果原始步或双步比 minstepp 或 minstepd 短，则 CSDP 声明
线路搜索失败。 使用xzgap 如果参数为 0，则 CSDP 将使用目标
函数对偶间隙而不是 tr(XZ) 间隙

调整间隙
如果设置为 1，并且 usexzgap 设置为 0，那么 CSDP 将尝试“修复”否定
二元差距。

仿射 如果参数仿射设置为 1，则 CSDP 将仅采用原始-双仿射步骤
并且不使用障碍术语。 这对某些问题很有用
没有严格在锥体内部的可行解
半定矩阵。 打印级别 确定有多少调试信息
输出。 使用 printlevel=0 表示无输出，使用 printlevel=1 表示正常输出。 更高
printlevel 的值将产生更多的调试输出。

扰动对象
确定目标函数是否会被扰动以帮助处理
具有无限最优解集的问题。 如果 perturbobj 为 0，则
目标不会受到干扰。 如果 perturbobj=1，那么目标函数将
被默认数量扰乱。 perturbobj 的较大值（例如 100.0）会增加
扰动的大小。 这有助于解决一些困难
问题。

快速模式
确定 CSDP 是否会跳过某些耗时的操作
稍微提高了解决方案的准确性。 如果 fastmode 设置为 1，则 CSDP
可能会快一些，但也不太准确。

使用 onworks.net 服务在线使用 csdp