论文标题
可调可调的鲁棒线性互补性问题
Affinely Adjustable Robust Linear Complementarity Problems
论文作者
论文摘要
线性互补问题是建模许多实际相关情况(例如市场平衡)的强大工具。他们还连接了许多数学子区域,例如游戏理论,优化和矩阵理论。尽管它们与优化有着密切的关系,但LCP的保护免受不确定性的影响 - 尤其是在强大的优化意义上 - 仍处于起步阶段。在过去的几年中,仅使用严格和$γ$ - 固定性的概念研究了强大的LCP。不幸的是,这两个概念都导致了一个问题,即无法保证强大的解决方案的存在。在本文中,我们认为可调可调的鲁棒LCP。在后者中,允许LCP解决方案的一部分通过不确定性中的仿射功能进行调整。我们表明,这种鲁棒性的概念允许分别为不确定的矩阵和向量的情况建立强大的解决方案特征,从中可以得出存在结果。 我们的主要结果对于不确定的LCP载体的情况是有效的。在这里,我们还为LCP矩阵提供了足够的条件,以实现溶液的唯一性。此外,基于可调可调的鲁棒解决方案的特征,我们得出了一种混合组件的编程公式,该公式允许求解相应的鲁棒对应物。另外,如果某些LCP矩阵为正半限体,我们证明了鲁棒溶液的多项式时间溶解度和唯一性。如果LCP矩阵不确定,则针对每个名义矩阵的溶液表征,即这些特征尤其与名义矩阵的确定性无关。对于正定的确定LCP矩阵而言,强大的溶液也是唯一的,但是如果标称LCP矩阵不是PSD,则唯一性和混合智能编程配方仍然仍然是空旷的问题。
Linear complementarity problems are a powerful tool for modeling many practically relevant situations such as market equilibria. They also connect many sub-areas of mathematics like game theory, optimization, and matrix theory. Despite their close relation to optimization, the protection of LCPs against uncertainties -- especially in the sense of robust optimization -- is still in its infancy. During the last years, robust LCPs have only been studied using the notions of strict and $Γ$-robustness. Unfortunately, both concepts lead to the problem that the existence of robust solutions cannot be guaranteed. In this paper, we consider affinely adjustable robust LCPs. In the latter, a part of the LCP solution is allowed to adjust via a function that is affine in the uncertainty. We show that this notion of robustness allows to establish strong characterizations of solutions for the cases of uncertain matrix and vector, separately, from which existence results can be derived. Our main results are valid for the case of an uncertain LCP vector. Here, we additionally provide sufficient conditions on the LCP matrix for the uniqueness of a solution. Moreover, based on characterizations of the affinely adjustable robust solutions, we derive a mixed-integer programming formulation that allows to solve the corresponding robust counterpart. If, in addition, the certain LCP matrix is positive semidefinite, we prove polynomial-time solvability and uniqueness of robust solutions. If the LCP matrix is uncertain, characterizations of solutions are developed for every nominal matrix, i.e., these characterizations are, in particular, independent of the definiteness of the nominal matrix. Robust solutions are also shown to be unique for positive definite LCP matrix but both uniqueness and mixed-integer programming formulations still remain open problems if the nominal LCP matrix is not psd.