Abstract
Laszlo Lovasz recently posed the following problem: “Is there an NC algorithm for testing if a given graph has a unique perfect matching.” We present such an NC algorithm. The ideas developed may be a step towards obtaining an NC algorithm for determining if a graph has a perfect matching. We also give NC algorithms for obtaining a transitive orientation for a comparability graph, anad an interval representation for an interval graph. These enable us to obtain an NC algorithm for finding a maximum matching in incomparability graphs.
Supported by NSF Grant MCS 82-04506, and an IBM Graduate Fellowship.
Supported by NSF Grant BCR 85-03611, and an IBM Faculty Development Award.
Preview
Unable to display preview. Download preview PDF.
References
A. Borodin, S.A. Cook, and N. Pippenger. “Parallel computation for well-endowed rings and space bounded probabilistic machines.” Information and Control 58 1–3 (1983) 113–136.
A. Borodin, J. von zur Gathen, and J. Hopcroft, “Fast parallel matrix and GCD computations. Prod. 23d STOC (1982) pp. 65–71.
S. Even, A. Pnueli, and A. Lempel, “Permutation graphs and transitive graphs,” J. Assoc. Comput. Mach. 19 (1972), 400–410.
Fujii, M., Kasami, T., and Ninomiya K. “Optimal Sequencing of Two Equivalent Processors,” SIAM J. of Computing
Gilmore, P.C., and Hoffman, A.J. “A Characterization of Comparability Graphs and of Interval Graphs,” Canad. J. Math. 16 (1964), 539–548.
A. Ghouila-Houri, Caracterisation des graphes nonorientes dont on peut orienter les aretes de maniere a obtenir le graphe d'une relation d'ordre,” C.R. Acad. Sci. Paris 254 (1962), 1370–1371.
M.C. Golumbic, “Comparability Graphs and a New Matroid,” J. Combinatorial Theory, Feb. 1977, Vol. 22, No. 1, 68–90.
D. Helmbold and E. Mayr, “Two Processor Scheduling is in NC,” to appear.
Karp, R.M., Upfal, E., and Wigderson, A. “Finding a Maximum Matching is in Random NC,” STOC (1985), 22–32.
R.M. Karp and A. Wigderson, “A Fast Parallel Algorithm for the Maximal Independent Set Problem,” STOC (1984), 266–272.
Lovasz, L. “On Determinants, Matchings, and Random Algorithms,” To appear.
M. Luby, “A Simple Parallel Algorithm for the Maximal Independent Set Problem,” STOC (1985), 1–10.
A. Pnueli, A. Lempel, and S. Even, “Transitive orientation of graphs and identification of permutation graphs,” Canad. J. Math. 23 (1971), 160–175.
Rabin, M.O., and Vazirani, V.V. “Maximum Matchings in General Graphs through Randomization,” Report No. TR15-84, Center for Research in Computing Technology, Harvard University, Cambridge, Massachusetts (1984).
W.T. Tutte. “The factors of graphs.” Canad. J. Math. 4 (1952) pp. 314–328.
U.V. Vazirani and V.V. Vazirani, “The Two-Processor Scheduling Problem is in Random NC,” STOC (1985), 11–21.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kozen, D., Vazirani, U.V., Vazirani, V.V. (1985). NC algorithms for comparability graphs, interval graphs, and testing for unique perfect matching. In: Maheshwari, S.N. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1985. Lecture Notes in Computer Science, vol 206. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16042-6_28
Download citation
DOI: https://doi.org/10.1007/3-540-16042-6_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16042-7
Online ISBN: 978-3-540-39722-9
eBook Packages: Springer Book Archive