Certificates of infeasibility via nonsmooth optimization

被引：0

作者：

Fendl, Hannes ^{[1
]}

Neumaier, Arnold ^{[1
]}

Schichl, Hermann ^{[1
]}

机构：

[1] Univ Vienna Austria, Fac Math, Oskar Morgenstern Pl 1, Vienna, Austria

来源：

JOURNAL OF GLOBAL OPTIMIZATION | 2017年 / 69卷 / 01期

关键词：

Global optimization; Nonsmooth optimization; Certificate of infeasibility; CONSTRAINT SATISFACTION; IMPLEMENTATION;

D O I：

10.1007/s10898-016-0473-x

中图分类号：

C93 [管理学]; O22 [运筹学];

学科分类号：

070105 ; 12 ; 1201 ; 1202 ; 120202 ;

摘要：

An important aspect in the solution process of constraint satisfaction problems is to identify exclusion boxes which are boxes that do not contain feasible points. This paper presents a certificate of infeasibility for finding such boxes by solving a linearly constrained nonsmooth optimization problem. Furthermore, the constructed certificate can be used to enlarge an exclusion box by solving a nonlinearly constrained nonsmooth optimization problem.

引用

页码：157 / 182

页数：26

共 50 条

[1] Certificates of infeasibility via nonsmooth optimization
Hannes Fendl
Arnold Neumaier
Hermann Schichl
[J]. Journal of Global Optimization, 2017, 69 : 157 - 182
[2] On primal and dual infeasibility certificates in a homogeneous model for convex optimization
Andersen, ED
[J]. SIAM JOURNAL ON OPTIMIZATION, 2000, 11 (02) : 380 - 388
[3] Certificates of linear mixed integer infeasibility
Andersen, Kent
Louveaux, Quentin
Weismantel, Robert
[J]. OPERATIONS RESEARCH LETTERS, 2008, 36 (06) : 734 - 738
[4] Simple Infeasibility Certificates for Attack Trees
Buldas, Ahto
Lenin, Aleksandr
Willemson, Jan
Charnamord, Anton
[J]. ADVANCES IN INFORMATION AND COMPUTER SECURITY, IWSEC 2017, 2017, 10418 : 39 - 55
[5] Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming
Liu, Minghui
Pataki, Gabor
[J]. MATHEMATICAL PROGRAMMING, 2018, 167 (02) : 435 - 480
[6] Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming
Minghui Liu
Gábor Pataki
[J]. Mathematical Programming, 2018, 167 : 435 - 480
[7] Certificates of Primal or Dual Infeasibility in Linear Programming
Erling D. Andersen
[J]. Computational Optimization and Applications, 2001, 20 : 171 - 183
[8] Infeasibility Certificates and the Complexity of the Core in Coalitional Games
Malizia, Enrico
Palopoli, Luigi
Scarcello, Francesco
[J]. 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1402 - 1407
[9] Conic programming: Infeasibility certificates and projective geometry
Naldi, Simone
Sinn, Rainer
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2021, 225 (07)
[10] Certificates of primal or dual infeasibility in linear programming
Andersen, ED
[J]. COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, 2001, 20 (02) : 171 - 183

← 1 2 3 4 5 →