AI4OPT / AI4OPT/PGLearn.jl

Solving SOCOPF with Clarabel128 mostly results in ALMOST_OPTIMAL and NEARLY_FEASIBLE_POINT

未关闭
#208 3 条评论 1 个 reaction 已指派 2 人 已被 @ivanightingale 认领 在 GitHub 查看
主要语言
Julia
星标
7
派生
5
PR 合并指标
30 天内没有已合并 PR

描述

I noticed that most if not all `SOCOPF` solutions solved by `Clarabel` under `Float128` precision have the `ALMOST_OPTIMAL` termination status and the `NEARLY_FEASIBLE_POINT` primal and dual status.

However, I also noticed that these solutions in fact have very small constraint violation.

Reproducible example:

```julia
julia --project=. exp/sampler.jl config_debug.toml 1 64
```

The content of config_debug.toml is:
```TOML
pglib_case = "14_ieee"
export_dir = "data/14_ieee_128"

floating_point_type = "float64"

[sampler]

[sampler.load]
noise_type = "ScaledUniform"
l = 0.80 # Lower bound of base load factor
u = 1.20 # Upper bound of base load factor
sigma = 0.20 # Relative (multiplicative) noise level.

[OPF]
# OPF formulations to solve for each sample

[OPF.SOCOPF128]
# These settings are meant to solve `SOCWRConic` problems to high precision
type = "SOCOPF"
solver.name = "Clarabel128"
solver.attributes.max_iter = 2000
solver.attributes.max_step_fraction = 0.995
# Disabling scaling can avoid violations (especially in the dual)
# /!\ This results in worse performance /!\
solver.attributes.equilibrate_enable = true
# Tight tolerances
solver.attributes.tol_gap_abs = 1e-12
solver.attributes.tol_gap_rel = 1e-12
solver.attributes.tol_feas = 1e-12
solver.attributes.tol_infeas_rel = 1e-12
solver.attributes.tol_ktratio = 1e-10
# Reduced accuracy settings
solver.attributes.reduced_tol_gap_abs = 1e-8
solver.attributes.reduced_tol_gap_rel = 1e-8
solver.attributes.reduced_tol_feas = 1e-8
solver.attributes.reduced_tol_infeas_abs = 1e-8
solver.attributes.reduced_tol_infeas_rel = 1e-8
solver.attributes.reduced_tol_ktratio = 1e-7
# Additional linear solver-related settings, to match precision of Float128
solver.attributes.static_regularization_enable = false # typically not needed unless tolerances go below 1e-14
solver.attributes.dynamic_regularization_enable = true # kept for safety
solver.attributes.dynamic_regularization_eps = 1e-28
solver.attributes.dynamic_regularization_delta = 1e-14
solver.attributes.iterative_refinement_reltol = 1e-18
solver.attributes.iterative_refinement_abstol = 1e-18
```

Clarabel: v0.11.0

贡献指南

这个仓库没有索引到贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。