search

cog-imperial / suspect

Special Structure Detection for Pyomo
https://cog-imperial.github.io/suspect/
Apache License 2.0
26 stars 4 forks source link

Is Convexity.Unknown equivalent to nonconvex? #9

Closed ZedongPeng closed 3 years ago

ZedongPeng commented 3 years ago

Given a model, I want to identify each constraint's convexity. In the suspect package, there are four statuses related to Convexity, Convexity.Convex, Convexity.Linear, Convexity.Concave, Convexity.Unknown. I am wondering if Convexity.Unknown means nonconvex?

Thanks.

fracek commented 3 years ago

Convexity.Unknown means that SUSPECT was not able to prove that the function is Convex/Concave/Linear. Usually this is because 1) the function is non convex or 2) the function is convex but cannot be proven convex with SUSPECT rule based engine.

ZedongPeng commented 3 years ago

Convexity.Unknown means that SUSPECT was not able to prove that the function is Convex/Concave/Linear. Usually this is because 1) the function is non convex or 2) the function is convex but cannot be proven convex with SUSPECT rule based engine.

Thank you.