MOI.is_valid can be falsely positive for bridged constraints
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 新手友好度
- 42/100
- Issue 类型
- 缺陷
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
- 技术栈
- julia
调研方向
从 test/Bridges/sdpa_models.jl 中的复现开始，并验证针对 bridged constraint 的两次 MOI.is_valid 调用。然后检查所引用 pull request 的 diff，尤其是链接的行，以追踪 constraint 有效性是如何检查的。当原始 constraint 仍然有效，而递增后的索引返回 false 时，即表示完成。
由索引模型根据 Issue 内容生成。
描述
Found as part of #2695. But it does't need to hold that up merging.
The last MOI.is_valid should return false:
julia> import MathOptInterface as MOI
julia> include("test/Bridges/sdpa_models.jl")
julia> model = MOI.instantiate(StandardSDPAModel{Float64}; with_bridge_type = Float64);
julia> x = MOI.add_variables(model, 2);
julia> c = MOI.add_constraint(model, MOI.VectorOfVariables(x), MOI.Nonpositives(2));
julia> MOI.is_valid(model, c)
true
julia> MOI.is_valid(model, typeof(c)(c.value + 1))
true
- 主要语言
- Julia
- 星标
- 506
- 派生
- 103
- 平均合并
- 1 天 1 小时
- 30 天内合并 PR
- 9
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
jump-dev/MathOptInterface.jl 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 78/100
jump-dev/MathOptInterface.jl#3113 ·
维护者通常 1 天内回复
-
[Bridges] MultirowChange in set_map.jl drops zero coefficients可能已有人在做 @odow 于 7 天前认领。 未关闭
jump-dev/MathOptInterface.jl#3106 · 2 条评论 · 已指派 1 人 ·
维护者通常 1 天内回复
-
Precision loss in Hessian computation可能已有人在做 @blegat 于 7 天前认领。 未关闭
难度 5/5 一周以上 新手友好度 15/100
jump-dev/MathOptInterface.jl#3104 · 11 条评论 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 35/100
jump-dev/MathOptInterface.jl#2986 · 3 条评论 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 25/100
jump-dev/MathOptInterface.jl#2969 · 2 条评论 · 1 个 reaction ·
维护者通常 1 天内回复
查看 jump-dev/MathOptInterface.jl 的全部 Issue
相似的 Issue
-
bug
难度 2/5 1-3 小时 新手友好度 73/100
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 76/100
-
难度 2/5 1-3 小时 新手友好度 76/100
SciML/OrdinaryDiffEq.jl#4907 ·
维护者通常 4 天内回复
-
documentation model-weights
难度 2/5 1-3 小时 新手友好度 72/100
FluxML/Metalhead.jl#311 ·
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 83/100
JuliaMath/Polynomials.jl#647 ·