Elsevier

Journal of Algorithms

Volume 11, Issue 2, June 1990, Pages 153-184
Journal of Algorithms

Generalized planar matching

https://doi.org/10.1016/0196-6774(90)90001-UGet rights and content

Abstract

In this paper, we prove that maximum planar H-matching (the problem of determining the maximum number of node-disjoint copies of the fixed graph H contained in a variable planar graph G) is NP-complete for any connected planar graph H with three or more nodes. We also show that perfect planar H-matching is NP-complete for any connected outerplanar graph H with three or more nodes. The results generalize and unify several special-case results proved in the literature. The techniques can also be applied to determine the complexity of several problems, including the optimal tile salvage problem from wafer-scale integration and the classic dots and boxes game. Although we prove that the optimal tile salvage problem and others like it are NP-complete, we also describe provably good approximation algorithms that are suitable for practical applications.

References (15)

  • M.E Dyer et al.

    Planar 3DM is NP-complete

    J. Algorithms

    (1986)
  • R.J Fowler et al.

    Optimal packing and covering in the plane are NP-complete

    Inform. Process. Lett.

    (1981)
  • B.S Baker

    Approximation algorithms for NP-complete problems on planar graphs

  • E.R Berlekamp et al.
  • F Berman et al.

    Optimal Tile Salvage

  • M.E Dyer et al.

    On the Complexity of Partitioning Graphs into Connected Subgraphs

  • A.S Fraenkel et al.

    Computing a perfect strategy for n × n chess requires exponential time in n

    J. Combin. Theory Ser. A

    (1981)
There are more references available in the full text version of this article.

Cited by (43)

  • Revising Johnson's table for the 21st century

    2022, Discrete Applied Mathematics
  • Winner determination in geometrical combinatorial auctions

    2017, European Journal of Operational Research
  • Induced packing of odd cycles in planar graphs

    2012, Theoretical Computer Science
  • Tile invariants: New horizons

    2003, Theoretical Computer Science
View all citing articles on Scopus

Fran Berman and Larry Snyder were supported by a Purdue Research Foundation Summer XL Grant, ONR Contract N00014-8-K-0360, and NSF Grant CS-80-05387. Tom Leighton and Peter Shor were supported by Air Force contract OSR-82-0326, DARPA Contract N00014-80-C-0622, and the Bantrell Foundation.

View full text