Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article

On network design problems: fixed cost flows and the covering steiner problem

Published: 01 July 2005 Publication History

Abstract

Network design problems, such as generalizations of the Steiner Tree Problem, can be cast as edge-cost-flow problems. An edge-cost flow problem is a min-cost flow problem in which the cost of the flow equals the sum of the costs of the edges carrying positive flow.We prove a hardness result for the Minimum Edge Cost Flow Problem (MECF). Using the one-round two-prover scenario, we prove that MECF does not admit a 2log1-ε n-ratio approximation, for every constant ε > 0, unless NPDTIME(npolylogn).A restricted version of MECF, called Infinite Capacity MECF (ICF), is defined. The ICF problem is defined as follows: (i) all edges have infinite capacity, (ii) there are multiple sources and sinks, where flow can be delivered from every source to every sink, (iii) each source and sink has a supply amount and demand amount, respectively, and (iv) the required total flow is given as part of the input. The goal is to find a minimum edge-cost flow that meets the required total flow while obeying the demands of the sinks and the supplies of the sources. This problem naturally arises in practical scheduling applications, and is equivalent to the special case of single source MECF, with all edges not touching the source or the sink having infinite capacity.The directed ICF generalizes the Covering Steiner Problem in directed and undirected graphs. The undirected version of ICF generalizes several network design problems, such as: Steiner Tree Problem, k-MST, Point-to-point Connection Problem, and the generalized Steiner Tree Problem.An O(log x)-approximation algorithm for undirected ICF is presented. We also present a bi-criteria approximation algorithm for directed ICF. The algorithm for directed ICF finds a flow that delivers half the required flow at a cost that is at most O(nε4) times bigger than the cost of an optimal flow. The running time of the algorithm is O(x2/ε ċ n1+1/ε), where x denotes the required total flow.Randomized approximation algorithms for the Covering Steiner Problem in directed and undirected graphs are presented. The algorithms are based on a randomized reduction to a problem called 1/2-Group Steiner. In undirected graphs, the approximation ratio matches the approximation ratio of Konjevod et al. [2002]. However, our algorithm is much simpler. In directed graphs, the algorithm is the first nontrivial approximation algorithm for the Covering Steiner Problem. Deterministic algorithms are obtained by derandomization.

References

[1]
Agrawal, A., Klein, P., and Ravi, R.1995. When trees collide: An approximation algorithm for the generalized Steiner problem on networks, SIAM J. Comput. 24, 3, 445--456.]]
[2]
Arata, K., Iwata, S., Makino, K., and Fujishige, S.2000. Source location: Locating sources to meet flow demands in undirected networks. In Proceedings of SWAT 2000.]]
[3]
Arora, S., and Lund, C. 1996. Hardness of approximations. In Approximation Algorithms for NP-hard Problems, Dorit Hochbaum, Ed. PWS Publishing.]]
[4]
Bartal, Y. 1998. On approximating arbitrary metrics by tree metrics. In Proceedings of the Symposium on Theory of Computing. ACM, New York.]]
[5]
Blum, A., Ravi, R., and Vempala, S.1999. A constant-factor approximation algorithm for the k-MST Problem. J. Comput. Syst. Sci. 58, 101--108.]]
[6]
Charikar, M., Chekuri, C., Cheung, T., Dai, Z., Goel, A., Guha, S., and Li, M.1999. Approximation algorithms for directed Steiner problems. J. Alg. 33, 73--91.]]
[7]
Charikar, M., Chekuri, C., Goel, A. Guha, S., and Plotkin, S. 1998. Approximating a finite metric by small number of trees. In Proceedings of the Symposium on Foundations of Computer Scince. IEEE Computer Society Press, Los Alamitos, Calif.]]
[8]
Chudak, F., Roughgarden, T., and Williamson, D.2001. Approximate k-MSTs and k-Steiner trees via the primal-dual method and lagrangean Relaxation. In IPCO, pp. 60--70.]]
[9]
Crainic, T. G., Frangioni, A., and Gendron, B.2001. Bundle-based relaxation methods for multicommodity capacitated fixed charge network design problems. Disc. Appl. Math. 112, 73--99.]]
[10]
Di Gaspero, L., Gärtner, J., Kortsarz, G., Musliu, N., Schaerf, A., and Slany, W. 2003. The minimum shift design problem: Theory and practice. In Proceedings of the European Symposium on Algorithms (ESA), pp. 593--604.]]
[11]
Diestel, R. 2000. Graph theory, 2nd Ed. Springer-Verlag, New York, URL: http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/.]]
[12]
Equi, L., Gallo, G., Marziale, S., and Weintraub, A.1997. A combined transportation and scheduling problem. Europ. J. Oper. Res. 97, 1, 94--104.]]
[13]
Fetterolf, P. C., and Anandalingam, G.1992. A Lagrangian relaxation technique for optimizing interconnection of local area networks. Oper. Res. 40, 4, 678--688.]]
[14]
Garey, M. R., and Johnson, D. S.1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company.]]
[15]
Garg, N.1996. A 3-approximation for minimum spanning tree spanning k vertices. In Proceedings of the 37th Symposium on Foundation of Computer Science. IEEE Computer Society Press, Los Alamitos, Calif., 302--309.]]
[16]
Garg, N., Konjevod, G., and Ravi, R. 2000. A polylogarithmic approximation algorithm for the group Steiner tree problem. J. Algor. 37, 1, 66--84.]]
[17]
Gendron, B., and Crainic, T. G.1996. Bounding procedures for multicommodity capacitated fixed charge network design problems. Publication CRT-96-06, Centre de recherche sur les transports, Université de Montréal, Montreal, Ont., Canada.]]
[18]
Goemans, M. X., and Williamson, D. P. 1997. The primal-dual method for approximation algorithms and its application to network design problems. In Approximation Algorithms, D. Hochbaum, Ed. PWS Publishing Company, pp. 114--191.]]
[19]
Goethe-Lundgren, M., and Larsson, T.1994. A set covering reformulation of the pure fixed charge transportation problem. Discrete Appl. Math. 48, 3, 245--259.]]
[20]
Hochbaum, D. S., and Segev, A.1989. Analysis of a flow problem with fixed charges. Networks 19, 3, 291--312.]]
[21]
Holmberg, K., and Yuan, D.1997. A Lagrangean heuristic-based branch-and-bound approach for the capacitated network design problem. In Proceedings of the 4th Meeting of the Nordic Section of the Mathematical Programming Society (Arhus, Denmark, Aug. 16--18). Kim Allan Andersen ed., Univ. of Arhus, Department of Operations Research, Publications at the Departments of Mathematical Sciences. Working Papers 97-1, pp. 62--97.]]
[22]
Johnson, D. S. 1974. Approximation algorithms for combinatorial problems. J. Comput. System Sci. 9, 256--278.]]
[23]
Kim, D., and Pardalos, P. M.1999. A solution approach to the fixed charge network flow problem using a dynamic slope scaling procedure. Oper. Res. Lett. 24, 4, 195--203.]]
[24]
Konjevod, G., and Ravi, R.2000. An approximation algorithm for the covering Steiner problem. In Proceedings of the 11th ACM/SIAM Symposium on Discrete Algorithms (Jan.). ACM, New York, pp. 338--334.]]
[25]
Konjevod, G., Ravi, R., and Srinivasan, A. 2002. Approximation algorithms for the covering Steiner problem. Rand. Struct. Algorithms 20, 3, 465--482.]]
[26]
Kortsarz, G.1998. On the hardness of approximating spanners. In Proceedings of the 1st International Workshop (Approx-98). pp. 135--146.]]
[27]
Kortsarz, G., and Peleg, D. 1999. Approximating the weight of shallow Steiner trees. Disc. Appl. Math. 93, 265--285.]]
[28]
Krumke, S. O., Noltemeier, H., Schwarz, S., Wirth, H.-C., and Ravi, R.1998. Flow improvement and network flows with fixed costs. OR-98, Zürich.]]
[29]
Lau, H. C.1996. Combinatorial approaches for hard problems in manpower scheduling. J. Oper. Res. Soc. Japan 39, 1, 88--98.]]
[30]
Leiserson, C. E., and Saxe, J. B.1991. Retiming synchronous circuitry. Algorithmica 6, 1, 5--35.]]
[31]
Li, C. L., McCormick, S. T., and Simchi-Levi, D.1992. The point-to-point delivery and connection problems: Complexity and algorithms. Disc. Appl. Math. 36, 267--292.]]
[32]
Magnanti, T. L., and Wong, R. T.1984. Network design and transportation planning: Models and algorithms. Transport. Sci. 18, 1--55.]]
[33]
Magnanti, T. L., Mireault, P., and Wong, R. T.1986. Tailoring benders decomposition for uncapacitated network design. Math. Program. Study 26, 112--154.]]
[34]
Motwani, R., and Raghavan, P. 1995. Randomized Algorithms. Cambridge University Press, Cambridge, Mass.]]
[35]
Ravi, R., Sundaram, R., Marathe, M. V., Rosenkrantz, D. J., and Ravi, S. S. 1996. Spanning trees short or small. SIAM J. Disc. Math. 9, 2, 178--200.]]
[36]
Raz, R.1995. A parallel repetition theorem. In Proceedings of the 27th ACM Symposium on the Theory of Computing. ACM, New York, 447--456. (Full version in SIAM J. Comput. 27, 3, 763--803, 1998).]]
[37]
Wolsey, L. A.1982. An analysis of the greedy algorithm for the submodular set covering problem. Combinatorica 2, 385--393.]]
[38]
Zelikovsky, A.1997. A series of approximation algorithms for the acyclic directed Steiner tree problem. Algorithmica 18, 99--110.]]

Cited By

View all
  • (2022)The minimum degree Group Steiner problemDiscrete Applied Mathematics10.1016/j.dam.2021.12.003309:C(229-239)Online publication date: 15-Mar-2022
  • (2019)Computing and Network Resource Minimization Problem for Service Function Chaining against Multiple VNF FailuresTENCON 2019 - 2019 IEEE Region 10 Conference (TENCON)10.1109/TENCON.2019.8929446(1478-1482)Online publication date: Oct-2019
  • (2019)A Solving Method for Computing and Network Resource Minimization Problem in Service Function Chain Against Multiple VNF Failures2019 IEEE 5th International Conference on Collaboration and Internet Computing (CIC)10.1109/CIC48465.2019.00013(30-38)Online publication date: Dec-2019
  • Show More Cited By

Index Terms

  1. On network design problems: fixed cost flows and the covering steiner problem

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Transactions on Algorithms
    ACM Transactions on Algorithms  Volume 1, Issue 1
    July 2005
    176 pages
    ISSN:1549-6325
    EISSN:1549-6333
    DOI:10.1145/1077464
    Issue’s Table of Contents
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 01 July 2005
    Published in TALG Volume 1, Issue 1

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Optimization
    2. approximation
    3. flow
    4. graphs
    5. theory

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)24
    • Downloads (Last 6 weeks)2
    Reflects downloads up to 22 Sep 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2022)The minimum degree Group Steiner problemDiscrete Applied Mathematics10.1016/j.dam.2021.12.003309:C(229-239)Online publication date: 15-Mar-2022
    • (2019)Computing and Network Resource Minimization Problem for Service Function Chaining against Multiple VNF FailuresTENCON 2019 - 2019 IEEE Region 10 Conference (TENCON)10.1109/TENCON.2019.8929446(1478-1482)Online publication date: Oct-2019
    • (2019)A Solving Method for Computing and Network Resource Minimization Problem in Service Function Chain Against Multiple VNF Failures2019 IEEE 5th International Conference on Collaboration and Internet Computing (CIC)10.1109/CIC48465.2019.00013(30-38)Online publication date: Dec-2019
    • (2018)A Flow-Network-Based Polynomial-Time Approximation Algorithm for the Minimum Constrained Input Structural Controllability ProblemIEEE Transactions on Automatic Control10.1109/TAC.2018.279721063:9(3151-3158)Online publication date: Sep-2018
    • (2018)Effect of Gromov-Hyperbolicity Parameter on Cuts and Expansions in Graphs and Some Algorithmic ImplicationsAlgorithmica10.1007/s00453-017-0291-780:2(772-800)Online publication date: 1-Feb-2018
    • (2016)The minimum vulnerability problem on specific graph classesJournal of Combinatorial Optimization10.1007/s10878-015-9950-232:4(1288-1304)Online publication date: 1-Nov-2016
    • (2016)On Fixed Cost k-Flow ProblemsTheory of Computing Systems10.1007/s00224-014-9572-658:1(4-18)Online publication date: 1-Jan-2016
    • (2015)Approximability of Capacitated Network DesignAlgorithmica10.1007/s00453-013-9862-472:2(493-514)Online publication date: 1-Jun-2015
    • (2014)A Survey of Parallel and Distributed Algorithms for the Steiner Tree ProblemInternational Journal of Parallel Programming10.1007/s10766-013-0243-z42:2(287-319)Online publication date: 1-Apr-2014
    • (2014)The Minimum Vulnerability ProblemAlgorithmica10.1007/s00453-014-9927-z70:4(718-731)Online publication date: 1-Dec-2014
    • Show More Cited By

    View Options

    Get Access

    Login options

    Full Access

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media