单调布尔函数、可行性/不可行性、LP 型问题与最大一致集
机器学习
2020-05-14 v1 人工智能
计算几何
计算机视觉与模式识别
摘要
本文概述了单调布尔函数、LP 型问题与最大一致问题之间的联系。后者指一种在计算机视觉（MaxCon）中流行的特定鲁棒拟合刻画。事实上，这是我们的主要动机，但我们相信这些联系研究的结果可更广泛地应用于 LP 型问题（至少如我们所述的“阈值化版本”），甚至可能更为广泛。我们以计算机视觉中的例子说明，由此产生的视角如何启示新算法。确实，在实验部分我们聚焦于影响度（布尔函数的一个性质，若函数为单调则呈现特殊形式）如何引导对 MaxCon 解的搜索。
引用
@article{arxiv.2005.05490,
title = {Monotone Boolean Functions, Feasibility/Infeasibility, LP-type problems and MaxCon},
author = {David Suter and Ruwan Tennakoon and Erchuan Zhang and Tat-Jun Chin and Alireza Bab-Hadiashar},
journal= {arXiv preprint arXiv:2005.05490},
year = {2020}
}
备注
Parts under conference review, work in progress. Keywords: Monotone Boolean Functions, Consensus Maximisation, LP-Type Problem, Computer Vision, Robust Fitting, Matroid, Simplicial Complex, Independence Systems