<p>Given a simple graph <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(G = (V,E)\)</EquationSource> </InlineEquation> with edge cost <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(c \in \mathbb {R}^{|E|}\)</EquationSource> </InlineEquation>, a positive integer <i>h</i>, source <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(s \in V\)</EquationSource> </InlineEquation> and terminal <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(t \in V\)</EquationSource> </InlineEquation>, the hop-constrained cheapest path problem (<InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\operatorname {HCCPP}\)</EquationSource> </InlineEquation>) seeks to find an <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(s-t\)</EquationSource> </InlineEquation> path of length at most <i>h</i> hops with the cheapest cost. This paper proposes a cut-based mixed integer programming (MIP) formulation, which has only one set of constraints that capture connectivity and hop constraints simultaneously, to solve the <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\operatorname {HCCPP}\)</EquationSource> </InlineEquation> when edge costs are nonnegative. As the only set of constraints of the formulation has exponentially many constraints, we show that their corresponding fractional separation problem is easy for <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(h \in \{2,3\}\)</EquationSource> </InlineEquation> and hard for <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(h \ge 4\)</EquationSource> </InlineEquation>. We also propose a polytime algorithm for solving the integer separation problem. Furthermore, we show that our cut-based model is at least as strong as the jump-based model of Dahl (<i>Operations Research Letters</i>, 1999), which results in perfectness of our proposed model for <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(h \in \{2,3\}\)</EquationSource> </InlineEquation>. We finally conduct a brief set of computational experiments to compare the performance of the cut formulation against the jump model.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A cut-based mixed integer programming formulation for the hop-constrained cheapest path problem

  • Pedro Vieira Rocha,
  • Hamidreza Validi

摘要

Given a simple graph \(G = (V,E)\) with edge cost \(c \in \mathbb {R}^{|E|}\) , a positive integer h, source \(s \in V\) and terminal \(t \in V\) , the hop-constrained cheapest path problem ( \(\operatorname {HCCPP}\) ) seeks to find an \(s-t\) path of length at most h hops with the cheapest cost. This paper proposes a cut-based mixed integer programming (MIP) formulation, which has only one set of constraints that capture connectivity and hop constraints simultaneously, to solve the \(\operatorname {HCCPP}\) when edge costs are nonnegative. As the only set of constraints of the formulation has exponentially many constraints, we show that their corresponding fractional separation problem is easy for \(h \in \{2,3\}\) and hard for \(h \ge 4\) . We also propose a polytime algorithm for solving the integer separation problem. Furthermore, we show that our cut-based model is at least as strong as the jump-based model of Dahl (Operations Research Letters, 1999), which results in perfectness of our proposed model for \(h \in \{2,3\}\) . We finally conduct a brief set of computational experiments to compare the performance of the cut formulation against the jump model.