实体
branch and bound
branch and bound
PulseAugur coverage of branch and bound — every cluster mentioning branch and bound across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 4
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 4
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 4 条
-
新的 CORe 框架增强了混合整数凸优化
研究人员为混合整数凸优化问题引入了一个名为坐标最优性重构（CORe）的新框架。该框架通过整合逐坐标最优性信息来增强标准的指示变量重构。CORe 旨在在保持全局最优性的同时，显著提升分支定界算法的性能，尤其是在稀疏或结构化数据场景中，它可以揭示可利用的问题特征。计算实验表明，与传统的 big-M 重构相比，该方法提高了求解器的性能。
-
新方法提高神经网络验证效率
研究人员开发了一种通过提高分支定界（BaB）算法效率来验证神经网络的新方法。所提出的方法侧重于更有效地搜索判定边界，这对于确定子问题的已验证和未验证区域至关重要。通过同时分裂多个激活函数并估计边界位置，新技术旨在跳过不相关的子问题并降低与传统BaB方法相关的计算成本。
-
新的训练方法提高了物理水库计算机的性能
研究人员开发了物理水库计算机的新训练原则，重点关注光学现象。该研究引入了输出剪枝和正则化等方法来对抗过拟合并提高计算效率。对随机剪枝进行了方差过滤、分支定界和统计过滤等技术的比较，重点是优化水库输出采样以提高性能，尤其是在非线性任务中。
-
新框架加速 GPU 上的离散优化
研究人员开发了一个新的 CPU-GPU 框架，用于加速具有离散变量的优化问题，这类问题在历史上对 GPU 来说一直具有挑战性。该框架在 GPU 上批量处理分支定界节点，克服了顺序处理和数据移动的问题。实验表明，该框架显著加速了计算，并能够收集完整的 Rashomon 集以进行进一步的统计分析。