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

Approximation algorithms and hardness results for cycle packing problems

Published: 01 November 2007 Publication History
  • Get Citation Alerts
  • Abstract

    The cycle packing number νe(G) of a graph G is the maximum number of pairwise edge-disjoint cycles in G. Computing νe(G) is an NP-hard problem. We present approximation algorithms for computing νe(G) in both undirected and directed graphs. In the undirected case we analyze a variant of the modified greedy algorithm suggested by Caprara et al. [2003] and show that it has approximation ratio Θ(√log n), where n = |V(G)|. This improves upon the previous O(log n) upper bound for the approximation ratio of this algorithm. In the directed case we present a √n-approximation algorithm. Finally, we give an O(n2/3)-approximation algorithm for the problem of finding a maximum number of edge-disjoint cycles that intersect a specified subset S of vertices. We also study generalizations of these problems. Our approximation ratios are the currently best-known ones and, in addition, provide upper bounds on the integrality gap of standard LP-relaxations of these problems. In addition, we give lower bounds for the integrality gap and approximability of νe(G) in directed graphs. Specifically, we prove a lower bound of Ω(log n/loglog n) for the integrality gap of edge-disjoint cycle packing. We also show that it is quasi-NP-hard to approximate νe(G) within a factor of O(log1 − ε n) for any constant ε > 0. This improves upon the previously known APX-hardness result for this problem.

    References

    [1]
    Andrews, M., Chuzhoy, J., and Zhang, L. 2005. Hardness of the undirected edge-disjoint paths problem with congestion. In Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS). IEEE Computer Society, Washington, DC, 226--244.
    [2]
    Arora, S., Lund, C., Motwani, R., Sudan, M., and Szegedy, M. 1998. Proof verification and the hardness of approximation problems. J. ACM 45, 3, 501--555.
    [3]
    Arora, S., and Safra, S. 1998. Probabilistic checking of proofs: A new characterization of np. J. ACM 45, 1, 70--122.
    [4]
    Bafna, V., Berman, P., and Fujito, T. 1995. Constant ratio approximation of the weighted feedback vertex set problem for undirected graphs. In Proceedings of the 6th International Symposium Algorithms and Computation (ISAAC). Lecture Notes in Computer Science Springer, 142--151.
    [5]
    Balister, P. 2003. Packing digraphs with directed closed trails. Comb. Probab. Comput. 12, 1, 1--15.
    [6]
    Becker, A., and Geiger, D. 1994. Approximation algorithms for the loop cutset problem. In Proceedings of the 10th Annual Conference on Uncertainty in Artificial Intelligence (July 29--31, Seattle, WA). 60--68.
    [7]
    Bollobás, B. 2004. Extremal Graph Theory. Dover, New York.
    [8]
    Bollobás, B., Erdős, P., Simonovits, M., and Szemerédi, E. 1978. Extremal graphs without large forbidden subgraphs. Ann. Discrete Math. 3, 29--41.
    [9]
    Bollobás, B., and Thomason, A. 1997. On the girth of Hamiltonian weakly pancyclic graphs. J. Graph Theory 26, 3, 165--173.
    [10]
    Caprara, A., Panconesi, A., and Rizzi, R. 2003. Packing cycles in undirected graphs. J. Alg. 48, 1, 239--256.
    [11]
    Chekuri, C., and Khanna, S. 2003. Edge disjoint paths revisited. In Proceedings of the 14th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Society for Industrial and Applied Mathematics, Philadelphia, PA, 628--637.
    [12]
    Chekuri, C., Khanna, S., and Shepherd, B. 2006. An o(&sqrt;n) approximation and integrality gap for disjoint paths and UFP. Theory Comput. 2, 137--146.
    [13]
    Chudak, F. A., Goemans, M. X., Hochbaum, D. S., and Williamson, D. P. 1998. A primal-dual interpretation of two 2-approximation algorithms for the feedback vertex set problem in undirected graphs. Oper. Res. Lett. 22, 4-5, 111--118.
    [14]
    Dor, D., and Tarsi, M. 1992. Graph decomposition is npc---A complete proof of Holyer's conjecture. In Proceedings of the 24th Annual ACM Symposium on Theory of Computing (STOC). ACM Press, New York, 252--263.
    [15]
    Erdős, P., and Sachs, H. 1963. Regulare graphen gegebener taillenweite mit minimaler knotenzahl. Wiss. Z. Tech. Rep. Martin-Luther Univ. Halle-Wittenberg Math.-Natur. Reihe 12.
    [16]
    Even, G., Naor, J., Schieber, B., and Sudan, M. 1998. Approximating minimum feedback sets and multicuts in directed graphs. Algorithmica 20, 2, 151--174.
    [17]
    Friggstad, Z., and Salavatipour, M. 2006. unpublished manuscript.
    [18]
    Guruswami, V., Khanna, S., Rajaraman, R., Shepherd, B., and Yannakakis, M. 2003. Near-Optimal hardness results and approximation algorithms for edge-disjoint paths and related problems. J. Comput. Syst. Sci. 67, 3, 473--496.
    [19]
    Hajiaghayi, M. T., and Leighton, T. 2006. On the max-flow min-cut ratio for directed multicommodity flows. Theor. Comput. Sci. 352, 1, 318--321.
    [20]
    Komlós, J. 1997. Covering odd cycles. Combinatorica 17, 3, 393--400.
    [21]
    Lazebnik, F., Ustimenko, V. A., and Woldar, A. J. 1997. New upper bounds on the order of cages. Electr. J. Comb. 4, 2.
    [22]
    Ma, B., and Wang, L. 2000. On the inapproximability of disjoint paths and minimum steiner forest with bandwidth constraints. J. Comput. Syst. Sci. 60, 1, 1--12.
    [23]
    Raz, R. 1998. A parallel repetition theorem. SIAM J. Comput. 27, 3, 763--803.
    [24]
    Seymour, P. D. 1995. Packing directed circuits fractionally. Combinatorica 15, 2, 281--288.
    [25]
    Varadarajan, K., and Venkataraman, G. 2004. Graph decomposition and a greedy algorithm for edge-disjoint paths. In Proceedings of the 15th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 379--380.

    Cited By

    View all
    • (2024)Packing arc-disjoint cycles in oriented graphsJournal of Computer and System Sciences10.1016/j.jcss.2024.103530143:COnline publication date: 1-Aug-2024
    • (2023)Improved kernels for triangle packing in tournamentsScience China Information Sciences10.1007/s11432-021-3551-266:5Online publication date: 17-Apr-2023
    • (2022)Parameterized Algorithms for Kidney ExchangeProceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems10.5555/3535850.3536079(1693-1695)Online publication date: 9-May-2022
    • Show More Cited By

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Transactions on Algorithms
    ACM Transactions on Algorithms  Volume 3, Issue 4
    November 2007
    293 pages
    ISSN:1549-6325
    EISSN:1549-6333
    DOI:10.1145/1290672
    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 November 2007
    Published in TALG Volume 3, Issue 4

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Cycle packing
    2. approximation algorithms
    3. edge-disjoint
    4. hardness of approximation
    5. integrality gap

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)53
    • Downloads (Last 6 weeks)6
    Reflects downloads up to 27 Jul 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2024)Packing arc-disjoint cycles in oriented graphsJournal of Computer and System Sciences10.1016/j.jcss.2024.103530143:COnline publication date: 1-Aug-2024
    • (2023)Improved kernels for triangle packing in tournamentsScience China Information Sciences10.1007/s11432-021-3551-266:5Online publication date: 17-Apr-2023
    • (2022)Parameterized Algorithms for Kidney ExchangeProceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems10.5555/3535850.3536079(1693-1695)Online publication date: 9-May-2022
    • (2021)Joint Index Coding and Incentive Design for Selfish ClientsIEEE Transactions on Communications10.1109/TCOMM.2021.304912369:4(2176-2190)Online publication date: Apr-2021
    • (2021)Packing Arc-Disjoint Cycles in TournamentsAlgorithmica10.1007/s00453-020-00788-283:5(1393-1420)Online publication date: 1-May-2021
    • (2020)Parallel cycle-based branch-and-bound method for Bayesian network learningPattern Analysis & Applications10.1007/s10044-019-00815-123:2(897-911)Online publication date: 1-May-2020
    • (2020)Packing Arc-Disjoint Cycles in Bipartite TournamentsWALCOM: Algorithms and Computation10.1007/978-3-030-39881-1_21(249-260)Online publication date: 31-Mar-2020
    • (2019)Packing Cycles Faster Than Erdos--PosaSIAM Journal on Discrete Mathematics10.1137/17M115003733:3(1194-1215)Online publication date: 2-Jul-2019
    • (2018)Exact algorithms and complexity of kidney exchangeProceedings of the 27th International Joint Conference on Artificial Intelligence10.5555/3304415.3304494(555-561)Online publication date: 13-Jul-2018
    • (2018)An $$O(\log \mathrm {OPT})$$O(logOPT)-Approximation for Covering and Packing Minor Models of $$\theta _r$$źrAlgorithmica10.1007/s00453-017-0313-580:4(1330-1356)Online publication date: 1-Apr-2018
    • 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