Skip to content

Implement bridge_cost for CachingOptimizer#3001

Draft
blegat wants to merge 1 commit intomasterfrom
bl/bridge_cost
Draft

Implement bridge_cost for CachingOptimizer#3001
blegat wants to merge 1 commit intomasterfrom
bl/bridge_cost

Conversation

@blegat
Copy link
Copy Markdown
Member

@blegat blegat commented May 6, 2026

Abstract description

Consider layers: LazyBridgeOptimizer(Dualization(LazyBridgeOptimizer)) (with possible caching layers in between).
If you have a set S that does not implement dual_set but that has bridges, then a constraint F-in-S with this set are not supported by the dualization layer so it will be bridged by the outer layer. Now, all the other constraints that ##are supported by dualization will just go through the dualization layer will bridging cost of 0, even though they may be bridged by the inner bridges. Because of this, the bridge choice for F-in-S will be completely blind and might be sub-optimal.

Concrete example

The whole idea detailed in jump-dev/SumOfSquares.jl#205 explains that we have a KernelBridge and an ImageBridge and the right one will be picked thanks to the bridge cost

Written by Claude, I haven't checked yet

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant