Paper: "Flexible Migration in Blue-Green Deployments within a Fixed Cost"

Problem: Optimizing the migration of T tenants from an old version (Blue) to a new version (Green) under a fixed total capacity. The goal is to find valid migration schedules that respect resource constraints at every step.

Solution: The PolyPod solver implements two strategies:

• In-Place (s=1): Efficient resource swapping without restarts.
• Recreate (s=2): Rolling upgrades with higher surge costs.