Table of Contents
Fetching ...

Water Demand Maximization: Quick Recovery of Nonlinear Physics Solutions

Sai Krishna Kanth Hari, Russell Bent

TL;DR

The paper tackles the challenge of determining maximum feasible water demand in water distribution networks, cast as a nonconvex MINLP due to nonlinear hydraulics and discrete decisions. It introduces a robust recovery framework that derives feasible MINLP solutions from MILP relaxations with arbitrary partition granularity, by combining neighborhood search with iterative partition refinement and a tie-breaking MILP. The approach yields a sequence of improving feasible solutions, often matching or approaching global optima much faster than direct MINLP solves or spatial branch-and-bound, especially on larger networks where exact methods struggle. This has practical impact for rapid, reliable planning and operation of water networks, and the framework is broadly applicable to other infrastructure optimization problems governed by nonlinear physics and discrete decisions.

Abstract

Determining the maximum demand a water distribution network can satisfy is crucial for ensuring reliable supply and planning network expansion. This problem, typically formulated as a mixed-integer nonlinear program (MINLP), is computationally challenging. A common strategy to address this challenge is to solve mixed-integer linear program (MILP) relaxations derived by partitioning variable domains and constructing linear over- and under-estimators to nonlinear constraints over each partition. While MILP relaxations are easier to solve up to a modest level of partitioning, their solutions often violate nonlinear water flow physics. Thus, recovering feasible MINLP solutions from the MILP relaxations is crucial for enhancing MILP-based approaches. In this paper, we propose a robust solution recovery method that efficiently computes feasible MINLP solutions from MILP relaxations, regardless of partition granularity. Combined with iterative partition refinement, our method generates a sequence of feasible solutions that progressively approach the optimum. Through extensive numerical experiments, we demonstrate that our method outperforms baseline methods and direct MINLP solves by consistently recovering high-quality feasible solutions with significantly reduced computation times.

Water Demand Maximization: Quick Recovery of Nonlinear Physics Solutions

TL;DR

The paper tackles the challenge of determining maximum feasible water demand in water distribution networks, cast as a nonconvex MINLP due to nonlinear hydraulics and discrete decisions. It introduces a robust recovery framework that derives feasible MINLP solutions from MILP relaxations with arbitrary partition granularity, by combining neighborhood search with iterative partition refinement and a tie-breaking MILP. The approach yields a sequence of improving feasible solutions, often matching or approaching global optima much faster than direct MINLP solves or spatial branch-and-bound, especially on larger networks where exact methods struggle. This has practical impact for rapid, reliable planning and operation of water networks, and the framework is broadly applicable to other infrastructure optimization problems governed by nonlinear physics and discrete decisions.

Abstract

Determining the maximum demand a water distribution network can satisfy is crucial for ensuring reliable supply and planning network expansion. This problem, typically formulated as a mixed-integer nonlinear program (MINLP), is computationally challenging. A common strategy to address this challenge is to solve mixed-integer linear program (MILP) relaxations derived by partitioning variable domains and constructing linear over- and under-estimators to nonlinear constraints over each partition. While MILP relaxations are easier to solve up to a modest level of partitioning, their solutions often violate nonlinear water flow physics. Thus, recovering feasible MINLP solutions from the MILP relaxations is crucial for enhancing MILP-based approaches. In this paper, we propose a robust solution recovery method that efficiently computes feasible MINLP solutions from MILP relaxations, regardless of partition granularity. Combined with iterative partition refinement, our method generates a sequence of feasible solutions that progressively approach the optimum. Through extensive numerical experiments, we demonstrate that our method outperforms baseline methods and direct MINLP solves by consistently recovering high-quality feasible solutions with significantly reduced computation times.
Paper Structure (36 sections, 24 equations, 5 figures, 8 tables, 5 algorithms)

This paper contains 36 sections, 24 equations, 5 figures, 8 tables, 5 algorithms.

Figures (5)

  • Figure 1: Comparison of the solution objective values obtained by Algorithm \ref{['alg:partition-refinement-tiebreak']} with the optimal value and the relaxation upper bounds as a function of the number of partitions for the Poormond instance. The algorithm achieves optimality from the first iteration and maintains negligible gaps with the upper bounds across subsequent refinements.
  • Figure 2: Comparison of the objective values obtained by Algorithm \ref{['alg:partition-refinement-tiebreak']} with the optimal value and the relaxation upper bounds as a function of the number of partitions for the Cohen instance. The solutions are optimal across all refinement levels, while the upper bound converges progressively toward the optimal value with increasing partition granularity.
  • Figure 3: Comparison of the objective values obtained by Algorithm \ref{['alg:partition-refinement-tiebreak']} with the relaxation upper bound as a function of the number of partitions for the VanZyl-6 instance. Both the recovered solution values and the relaxation upper bounds improve with partition refinement, reducing the optimality gap to below 5% and demonstrating monotonic convergence behavior, whereas the SBB method fails to compute a feasible solution within the allowed time.
  • Figure 4: Comparison of the objective values obtained by Algorithm \ref{['alg:partition-refinement-tiebreak']} with the relaxation upper bound as a function of the number of partitions for the VanZyl-12 instance. While the relaxation upper bound remains constant, the recovered solution value improves progressively with partition refinement, closing the optimality gap to approximately 3%, whereas the SBB method fails to compute a feasible solution within the allowed time.
  • Figure 5: Comparison of the objective values obtained by Algorithm \ref{['alg:partition-refinement-tiebreak']} with the relaxation upper bounds as a function of the number of partitions for the ATM instance. Although the gaps remain large across refinements, Algorithm \ref{['alg:partition-refinement-tiebreak']} successfully recovers feasible solutions at all partition levels, whereas the SBB method fails to obtain an optimal solution within the allowed time.

Theorems & Definitions (2)

  • Definition 1: Partition
  • Definition 2: Partition Refinement