Skip to main content

On Tree-Constrained Matchings and Generalizations

  • Conference paper
Automata, Languages and Programming (ICALP 2011)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6755))

Included in the following conference series:

Abstract

We consider the following Tree-Constrained Bipartite Matching problem: Given two rooted trees T 1 = (V 1,E 1), T 2 = (V 2,E 2) and a weight function w: V 1×V 2 ↦ℝ + , find a maximum weight matching \(\mathcal{M}\) between nodes of the two trees, such that none of the matched nodes is an ancestor of another matched node in either of the trees. This generalization of the classical bipartite matching problem appears, for example, in the computational analysis of live cell video data. We show that the problem is \(\mathcal{APX}\)-hard and thus, unless \(\mathcal{P} = \mathcal{NP}\), disprove a previous claim that it is solvable in polynomial time. Furthermore, we give a 2-approximation algorithm based on a combination of the local ratio technique and a careful use of the structure of basic feasible solutions of a natural LP-relaxation, which we also show to have an integrality gap of 2 − o(1). In the second part of the paper, we consider a natural generalization of the problem, where trees are replaced by partially ordered sets (posets). We show that the local ratio technique gives a 2-approximation for the k-dimensional matching generalization of the problem, in which the maximum number of incomparable elements below (or above) any given element in each poset is bounded by ρ. We finally give an almost matching integrality gap example, and an inapproximability result showing that the dependence on ρ is most likely unavoidable.

A full version of this paper is available as the technical report [5].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arora, S., Babai, L., Stern, J., Sweedyk, Z.: The hardness of approximate optima in lattices, codes, and systems of linear equations. Journal of Computer and System Sciences 54(2), 317–331 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  2. Bar-Noy, A., Bar-Yehuda, R., Freund, A., Naor, J., Schieber, B.: A unified approach to approximating resource allocation and scheduling. Journal of the ACM 48, 1069–1090 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  3. Bar-Yehuda, R., Halldórsson, M.M., Naor, J., Shachnai, H., Shapira, I.: Scheduling split intervals. SIAM Journal on Computing 36(1), 1–15 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  4. Berman, P., Karpinski, M.: On some tighter inapproximability results. In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol. 1644, pp. 200–209. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  5. Canzar, S., Elbassioni, K., Klau, G.W., Mestre, J.: On tree-constrained matchings and generalizations. Technical Report MAC1102, Centrum Wiskunde & Informatica (CWI), Amsterdam, the Netherlands (2011)

    Google Scholar 

  6. Feige, U., Lovász, L.: Two-prover one-round proof systems: their power and their problems. In: Proc. of STOC, pp. 733–744. ACM, New York (1992)

    Google Scholar 

  7. Grötschel, M., Lovász, L., Schrijver, A.: Geometric Algorithms and Combina- torial Optimization. Springer, New York (1988)

    Book  MATH  Google Scholar 

  8. Hazan, E., Safra, S., Schwartz, O.: On the complexity of approximating k-dimensional matching. In: Arora, S., Jansen, K., Rolim, J.D.P., Sahai, A. (eds.) RANDOM 2003 and APPROX 2003. LNCS, vol. 2764, pp. 83–97. Springer, Heidelberg (2003)

    Google Scholar 

  9. Kortsarz, G.: On the hardness of approximating spanners. Algorithmica 30(3), 432–450 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  10. Mosig, A., Jäger, S., Wang, C., Nath, S., Ersoy, I., Palaniappan, K., Chen, S.-S.: Tracking cells in life cell imaging videos using topological alignments. Algorithms for Molecular Biology 4, 10 (2009)

    Article  Google Scholar 

  11. Wolsey, L.A., Nemhauser, G.L.: Integer and Combinatorial Optimization. Wiley Interscience, Hoboken (1999)

    MATH  Google Scholar 

  12. Xiao, H., Li, Y., Du, J., Mosig, A.: Ct3d: Tracking Microglia Motility in 3D Using a Novel Cosegmentation Approach. Bioinformatics 27(4), 564–571 (2011)

    Article  Google Scholar 

  13. Yang, F., Mackey, M.A., Ianzini, F., Gallardo, G., Sonka, M.: Cell segmentation, tracking, and mitosis detection using temporal context. In: Duncan, J.S., Gerig, G. (eds.) MICCAI 2005. LNCS, vol. 3749, pp. 302–309. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  14. Zimmer, C., Zhang, B., Dufour, A., Thebaud, A., Berlemont, S., Meas-Yedid, V., Marin, J.-C.O.: On the digital trail of mobile cells. Signal Processing Magazine 23(3), 54–62 (2006)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Canzar, S., Elbassioni, K., Klau, G.W., Mestre, J. (2011). On Tree-Constrained Matchings and Generalizations. In: Aceto, L., Henzinger, M., Sgall, J. (eds) Automata, Languages and Programming. ICALP 2011. Lecture Notes in Computer Science, vol 6755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22006-7_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22006-7_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-22005-0

  • Online ISBN: 978-3-642-22006-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics