From 828cd35ab2aef6c972bd29a954709d002ab0c8f1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Tue, 14 May 2019 21:20:20 +0200 Subject: [PATCH 1/3] Add REDUCTION_CERTIFICATE --- src/attributes.jl | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/src/attributes.jl b/src/attributes.jl index defb2b70e8..6615748051 100644 --- a/src/attributes.jl +++ b/src/attributes.jl @@ -855,15 +855,23 @@ The values indicate how to interpret the result vector. infeasibility. * `NEARLY_INFEASIBILITY_CERTIFICATE`: the result satisfies a relaxed criterion for a certificate of infeasibility. +* `REDUCTION_CERTIFICATE`: the result vector is an illposed certificate. If the + `PrimalStatus` is `REDUCTION_CERTIFICATE`, then the primal result vector is a + proof that the dual problem is illposed. If the `DualStatus` is + `REDUCTION_CERTIFICATE`, then the dual result vector is a proof that the primal + is illposed +* `NEARLY_REDUCTION_CERTIFICATE`: the result satisfies a relaxed criterion for + an illposed certificate. * `UNKNOWN_RESULT_STATUS`: the result vector contains a solution with an unknown interpretation. * `OTHER_RESULT_STATUS`: the result vector contains a solution with an interpretation not covered by one of the statuses defined above. """ -@enum(ResultStatusCode, NO_SOLUTION, FEASIBLE_POINT, NEARLY_FEASIBLE_POINT, - INFEASIBLE_POINT, INFEASIBILITY_CERTIFICATE, - NEARLY_INFEASIBILITY_CERTIFICATE, UNKNOWN_RESULT_STATUS, - OTHER_RESULT_STATUS) +@enum(ResultStatusCode, NO_SOLUTION, + FEASIBLE_POINT, NEARLY_FEASIBLE_POINT, INFEASIBLE_POINT, + INFEASIBILITY_CERTIFICATE, NEARLY_INFEASIBILITY_CERTIFICATE, + REDUCTION_CERTIFICATE, NEARLY_REDUCTION_CERTIFICATE, + UNKNOWN_RESULT_STATUS, OTHER_RESULT_STATUS) """ PrimalStatus(N) From 46803428243ab588606ddb41507b95d841bccddd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Thu, 16 May 2019 13:58:45 +0200 Subject: [PATCH 2/3] Address comments --- src/attributes.jl | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/attributes.jl b/src/attributes.jl index 6615748051..b25244dcec 100644 --- a/src/attributes.jl +++ b/src/attributes.jl @@ -855,13 +855,14 @@ The values indicate how to interpret the result vector. infeasibility. * `NEARLY_INFEASIBILITY_CERTIFICATE`: the result satisfies a relaxed criterion for a certificate of infeasibility. -* `REDUCTION_CERTIFICATE`: the result vector is an illposed certificate. If the +* `REDUCTION_CERTIFICATE`: the result vector is an ill-posed certificate; see + [this article](https://doi.org/10.1007/s10107-017-1169-9) for details. If the `PrimalStatus` is `REDUCTION_CERTIFICATE`, then the primal result vector is a - proof that the dual problem is illposed. If the `DualStatus` is + proof that the dual problem is ill-posed. If the `DualStatus` is `REDUCTION_CERTIFICATE`, then the dual result vector is a proof that the primal - is illposed + is ill-posed. * `NEARLY_REDUCTION_CERTIFICATE`: the result satisfies a relaxed criterion for - an illposed certificate. + an ill-posed certificate. * `UNKNOWN_RESULT_STATUS`: the result vector contains a solution with an unknown interpretation. * `OTHER_RESULT_STATUS`: the result vector contains a solution with an From ae46385880536a8580eea960e61f0abc2f94e28c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Fri, 17 May 2019 15:22:27 +0200 Subject: [PATCH 3/3] DOI -> arXiv --- src/attributes.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/attributes.jl b/src/attributes.jl index b25244dcec..6be60edd70 100644 --- a/src/attributes.jl +++ b/src/attributes.jl @@ -856,7 +856,7 @@ The values indicate how to interpret the result vector. * `NEARLY_INFEASIBILITY_CERTIFICATE`: the result satisfies a relaxed criterion for a certificate of infeasibility. * `REDUCTION_CERTIFICATE`: the result vector is an ill-posed certificate; see - [this article](https://doi.org/10.1007/s10107-017-1169-9) for details. If the + [this article](https://arxiv.org/abs/1408.4685) for details. If the `PrimalStatus` is `REDUCTION_CERTIFICATE`, then the primal result vector is a proof that the dual problem is ill-posed. If the `DualStatus` is `REDUCTION_CERTIFICATE`, then the dual result vector is a proof that the primal