Advertisement

Journal of Combinatorial Optimization

, Volume 26, Issue 1, pp 109–119 | Cite as

The maximum flow problem with disjunctive constraints

  • Ulrich Pferschy
  • Joachim SchauerEmail author
Article

Abstract

We study the maximum flow problem subject to binary disjunctive constraints in a directed graph: A negative disjunctive constraint states that a certain pair of arcs in a digraph cannot be simultaneously used for sending flow in a feasible solution. In contrast to this, positive disjunctive constraints force that for certain pairs of arcs at least one arc has to carry flow in a feasible solution. It is convenient to represent the negative disjunctive constraints in terms of a so-called conflict graph whose vertices correspond to the arcs of the underlying graph, and whose edges encode the constraints. Analogously we represent the positive disjunctive constraints by a so-called forcing graph.

For conflict graphs we prove that the maximum flow problem is strongly \(\mathcal{NP}\)-hard, even if the conflict graph consists only of unconnected edges. This result still holds if the network consists only of disjoint paths of length three. For forcing graphs we also provide a sharp line between polynomially solvable and strongly \(\mathcal{NP}\)-hard instances for the case where the flow values are required to be integral. Moreover, our hardness results imply that no polynomial time approximation algorithm can exist for both problems. In contrast to this we show that the maximum flow problem with a forcing graph can be solved efficiently if fractional flow values are allowed.

Keywords

Maximum flow problem Conflict graph Binary constraints 

References

  1. Ahuja RK, Magnanti TL, Orlin JB (1993) Network flows: theory, algorithms, and applications. Prentice Hall, New York zbMATHGoogle Scholar
  2. Ausiello G, Protasi M, Marchetti-Spaccamela A, Gambosi G, Crescenzi P, Kann V (1999) Complexity and approximation: combinatorial optimization problems and their approximability properties. Springer, Berlin zbMATHGoogle Scholar
  3. Bodlaender HL, Jansen K (1993) On the complexity of scheduling incompatible jobs with unit-times. In: MFCS ’93: proceedings of the 18th international symposium on mathematical foundations of computer science. Springer, Berlin, pp 291–300 CrossRefGoogle Scholar
  4. Darmann A, Pferschy U, Schauer J, Woeginger GJ (2011) Paths, trees and matchings under disjunctive constraints. Discrete Appl Math 159(16):1726–1735 MathSciNetzbMATHCrossRefGoogle Scholar
  5. Garey MR, Johnson DS (1979) Computers and intractability: a guide to the theory of NP-completeness. Freeman, New York zbMATHGoogle Scholar
  6. Goossens DR, Spieksma FCR (2009) The transportation problem with exclusionary side constraints. 4OR 7(1):51–60 MathSciNetzbMATHCrossRefGoogle Scholar
  7. Gusfield D, Naor D (1990) Efficient algorithms for generalized cut trees. In: SODA ’90: proceedings of the first annual ACM-SIAM symposium on discrete algorithms. SIAM, Philadelphia, pp 422–433 Google Scholar
  8. Hamacher HW, Picard J-C, Queyranne M (1984) Ranking the cuts and cut-sets of a network. Ann Discrete Math 19:183–200 MathSciNetGoogle Scholar
  9. Jansen K (1999) An approximation scheme for bin packing with conflicts. J Comb Optim 3:363–377 MathSciNetzbMATHCrossRefGoogle Scholar
  10. Jansen K, Öhring S (1997) Approximation algorithms for time constrained scheduling. Inf Comput 132(2):85–108 zbMATHCrossRefGoogle Scholar
  11. Papadimitriou CH, Yannakakis M (1991) Optimization, approximation, and complexity classes. J Comput Syst Sci 43(3):425–440 MathSciNetzbMATHCrossRefGoogle Scholar
  12. Pferschy U, Schauer J (2009) The knapsack problem with conflict graphs. J Graph Algorithms Appl 13(2):233–249 MathSciNetzbMATHCrossRefGoogle Scholar
  13. Pferschy U, Schauer J (2011) The maximum flow problem with conflict and forcing conditions. In: INOC. Lecture notes in computer science, vol 6701. Springer, Berlin, pp 289–294 Google Scholar
  14. Picard J-C, Queyranne M (1980) On the structure of all minimum cuts in a network and applications. Math Program Stud 13:8–16 MathSciNetzbMATHCrossRefGoogle Scholar
  15. Zhang R, Kabadi SN, Punnen AP (2011) The minimum spanning tree problem with conflict constraints and its variations. Discrete Optim 8(2):191–205 MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

  1. 1.Department of Statistics and Operations ResearchUniversity of GrazGrazAustria

Personalised recommendations