2017/11/07 by Georgia Kouyialis, Ruth Misener, Kouyialis, Georgia +1
Biochemistry, Genetics and Molecular Biology · Engineering · #Advanced Control Systems Optimization #FOS: Mathematics #Microbial Metabolic Engineering and Bioproduction #Optimization and Control (math.OC) #Process Optimization and Integration
paper · pdf · doi:10.48550/arxiv.1711.02564
openalex publication_date 2017/11/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Symmetry in mathematical optimisation is of broad and current interest. In problem classes such as mixed-integer linear programming (MILP), equivalent solutions created by symmetric variables and constraints may combinatorially increase the search space. Identifying problem symmetries is an important step towards expediting tree-based algorithms such as branch-and-cut because computationally classifying equivalence allows state-of-the-art solver software to omit symmetric solutions. But symmetry has not been characterised in several critically important process systems engineering applications such as heat exchanger network synthesis; neither do current MILP solvers detect or use symmetries for these energy efficiency problems. This paper uses group theory to study the MILP transshipment model of heat exchanger network synthesis and identifies several types of symmetry arising in the problem.