Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| workshops:workshop0125 [2025/01/13 08:58] – Insert some preliminary talks lkastner | workshops:workshop0125 [2025/01/24 10:18] (current) – [polymake conference] weis | ||
|---|---|---|---|
| Line 16: | Line 16: | ||
| Please fill out the [[workshops: | Please fill out the [[workshops: | ||
| - | ===Preliminary | + | ===Schedule=== |
| < | < | ||
| ^ **Friday** | ^ **Friday** | ||
| | 09: | | 09: | ||
| - | | 09: | + | | 09: |
| - | | ::: | // [[https:// | + | | ::: | // [[https:// |
| | 10: | | 10: | ||
| - | | 11: | + | | 11: |
| - | | ::: | // [[https:// | + | | ::: | // [[https:// |
| | 12: | | 12: | ||
| - | | 14: | + | | 14: |
| - | | ::: | // [[https:// | + | | ::: | // [[https:// |
| | 15: | | 15: | ||
| | 15: | | 15: | ||
| - | | | ** Secondary | + | | | ** Exploring polytropes through secondary |
| | | // [[https:// | | | // [[https:// | ||
| | | ** Algebraic shifting ** || | | | ** Algebraic shifting ** || | ||
| Line 40: | Line 40: | ||
| === Abstracts === | === Abstracts === | ||
| - | TBA | + | == Marc Pfetsch: Polyhedral Computations using Linear Optimization Oracles == |
| + | |||
| + | This talk will cover two topics in which polyhedral computations are | ||
| + | based on an indirect access to the underlying polyhedron via an oracle | ||
| + | that can solve linear optimization problems. In both cases, the oracle | ||
| + | is given by the (computationally expensive) solution of a mixed-integer | ||
| + | linear optimization problem. | ||
| + | |||
| + | The first topic deals with the computation of so-called local cuts. | ||
| + | These are inequalities that can be added during a branch-and-cut | ||
| + | algorithm to solve mixed-integer linear problems. The idea is to | ||
| + | generate these inequalities by using small (local) subproblems for which | ||
| + | the oracle is reasonably fast in practice. The inequalities can be | ||
| + | constructed using a so-called Frank-Wolfe algorithm, which computes a | ||
| + | projection onto the polyhedron. | ||
| + | |||
| + | The second topic is about sensitivity analysis of mixed-integer linear | ||
| + | optimization problems. We would like to compute the normal cone at a | ||
| + | particular vertex. Since the polyhedron is not directly accessible, an | ||
| + | algorithm that iteratively builds the cone is designed. In each main | ||
| + | iteration the cone is possibly extended by a ray that is computed using | ||
| + | the oracle and a beneath-and-beyond step is performed. | ||
| + | |||
| + | == Igor Makhlin: polymake basics == | ||
| + | |||
| + | In this tutorial, we will see some basic computations to get acquainted with polymake objects. Download Jupyter notebook [[https:// | ||
| + | |||
| + | == Antony Della Vecchia & Benjamin Lorenz == | ||
| + | |||
| + | An interactive session exposing some of the glue between Oscar and polymake. | ||
| + | |||
| + | == Lena Weis == | ||
| + | |||
| + | An interactive session introducing tropical computations in polymake. The notebook can be found {{ : | ||
| + | |||
| + | == Marcel Wack & Dante Luber == | ||
| + | |||
| + | An interactive session exploring all things matroid in polymake and Oscar. | ||
| + | |||
| + | ==Kamillo Ferry: Exploring polytropes through secondary fans== | ||
| + | |||
| + | Polytropes are a special class of polyhedra with applications to optimization and statistics. | ||
| + | We explore the combinatorics of polytropes using secondary fans of special point configurations. | ||
| =====Hotel recommendations in proximity of the Institute of Mathematics: | =====Hotel recommendations in proximity of the Institute of Mathematics: | ||