Effective matchmaking and -chromatic graphs
Authors:
Alfred B. Manaster and Joseph G. Rosenstein
Journal:
Proc. Amer. Math. Soc. 39 (1973), 371-378
MSC:
Primary 05C15; Secondary 02F50
DOI:
https://doi.org/10.1090/S0002-9939-1973-0340082-2
MathSciNet review:
0340082
Full-text PDF Free Access
Abstract | References | Similar Articles | Additional Information
Abstract: In an earlier paper we showed that there is a recursive society, in which each person knows exactly two other people, whose marriage problem is solvable but not recursively solvable. We generalize this result, using a different construction, to the case where each person knows exactly other people. From this we deduce that for each
there is a recursive
-regular graph, whose chromatic number is
but which is not recursively
chromatic.
- [1] Claude Berge, The theory of graphs and its applications, Translated by Alison Doig, Methuen & Co. Ltd., London; John Wiley & Sons Inc., New York, 1962. MR 0132541
- [2] Alfred B. Manaster and Joseph G. Rosenstein, Effective matchmaking (recursion theoretic aspects of a theorem of Philip Hall), Proc. London Math. Soc. (3) 25 (1972), 615–654. MR 0314610, https://doi.org/10.1112/plms/s3-25.4.615
- [3] Paul R. Halmos and Herbert E. Vaughan, The marriage problem, Amer. J. Math. 72 (1950), 214–215. MR 33330, https://doi.org/10.2307/2372148
- [4] L. Mirsky, Transversal theory. An account of some aspects of combinatorial mathematics, Mathematics in Science and Engineering, Vol. 75, Academic Press, New York-London, 1971. MR 0282853
- [5] Hartley Rogers Jr., Theory of recursive functions and effective computability, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0224462
Retrieve articles in Proceedings of the American Mathematical Society with MSC: 05C15, 02F50
Retrieve articles in all journals with MSC: 05C15, 02F50
Additional Information
DOI:
https://doi.org/10.1090/S0002-9939-1973-0340082-2
Keywords:
Bipartite graph,
-regular graph,
chromatic number,
matching,
marriage problem,
algorithm,
recursive function
Article copyright:
© Copyright 1973
American Mathematical Society