澄清 SCIP“显示问题”和“写入统计信息”命令中使用的术语答案

【问题标题】：Clarification on terms used in SCIP 'display problem' and 'write statistics' commands澄清 SCIP“显示问题”和“写入统计信息”命令中使用的术语
【发布时间】：2020-03-12 09:24:24
【问题描述】：

我已经阅读了一些使用SCIP 的.cnf 文件，但我对使用的术语感到困惑。我也无法在任何 SCIP 文档中找到这些术语。

1) 在读取.cnf 文件后输入“显示问题”时，我看到以下内容：

Problem name:

Variables:

Constraints: x initial, y maximal

initial 和 maximal 在这种情况下是什么意思？

2) 当输入optimize 时，SCIP 默认每 100 次迭代打印一行。有一个名为confs 的列，代表冲突。在这种情况下，冲突是什么意思？

它是指冲突条款吗？或者它是指冲突驱动子句学习中的同一种冲突（CDCL），它指的是同一个变量在冲突图中同时取 2 个不同的值，因此是冲突？

3) 输入write statistics后，有一个像这样的B&B树部分：

B&B Tree           :

  number of runs   :         11

  nodes            :      46620 (32430 internal, 14190 leaves)

  feasible leaves  :          0

  infeas. leaves   :      14189

  objective leaves :          0

  nodes (total)    :     264828 (185078 internal, 79750 leaves)

  nodes left       :         36

  max depth        :        187

  max depth (total):        970

  backtracks       :      14238 (30.5%)

  early backtracks :          0 (0.0%)

  nodes exc. ref.  :          0 (0.0%)

  delayed cutoffs  :      18206

  repropagations   :      43176 (2316736 domain reductions, 13733 cutoffs)

  avg switch length:       2.71

  switching time   :     100.16

节点和节点（总数）有什么区别？

我目前将节点理解为SCIP到目前为止已经设法与当前时间梳理的节点数，而nodes(total)是指整个问题的节点总数。

4) 运行次数是什么意思？从上面的统计来看，是不是说分支定界从头开始运行了 11 次？

5) max depth 和 max depth(total) 有什么区别？

我目前理解的最大深度是B&B树目前达到的最大深度，而max depth(total)是整个问题可以达到的B&B树的最大深度。

6) 再传播是什么意思？

我目前对此没有任何了解。

7) 延迟截止是什么意思？

我目前对此没有任何了解。

8) 什么是切换长度和切换时间？

我目前对此没有任何了解。

【问题讨论】：

标签： mathematical-optimization scip sat

【解决方案1】：

这些问题很多。我会尽量回答：

1) initial 是读取问题时的约束数。约束处理程序可以添加额外的约束，因此约束的最大数量可能会更大。

2) SCIP 不是一个纯粹的 SAT 求解器，所以我想答案都不是。有关冲突分析如何在 MIP 求解器中工作的文章，我建议查看：https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/6406

3) 节点总数是所有运行的节点数（在您的情况下是 10 次重新启动），节点仅来自当前运行

4) 是的，你重启了 10 次，所以运行了 11 次。我假设您将重点设置为 cpsolver，因为 SCIP 通常只会重新启动一次。

5) 不，与节点数相同。 maxdepth total 是所有重启过程中达到的最高深度

6) 重新传播是指已经解决的节点再次传播，例如了解其他冲突

7) 据我所知，延迟截断是指节点（之前已创建但未解决）位于已截断的子树中。

8）在选择新的焦点节点时，您可以将电流与新焦点节点的开关路径。平均开关长度是该路径的平均长度（时间相同）

【讨论】：