A note on two comparability graphs
C. S., Jr. Johnson, Frederick R. McMorris (1982)
Mathematica Slovaca
Similarity:
C. S., Jr. Johnson, Frederick R. McMorris (1982)
Mathematica Slovaca
Similarity:
Don R. Lick (1976)
Colloquium Mathematicae
Similarity:
J. Nieminen (1975)
Applicationes Mathematicae
Similarity:
D. M. Cvetković (1975)
Matematički Vesnik
Similarity:
Anton Kundrík (1990)
Mathematica Slovaca
Similarity:
Dragoš M. Cvetković, Irena Pevac (1983)
Publications de l'Institut Mathématique
Similarity:
Marián Sudolský (1978)
Mathematica Slovaca
Similarity:
Broderick Arneson, Piotr Rudnicki (2006)
Formalized Mathematics
Similarity:
We are formalizing the algorithm for recognizing chordal graphs by lexicographic breadth-first search as presented in [13, Section 3 of Chapter 4, pp. 81-84]. Then we follow with a formalization of another algorithm serving the same end but based on maximum cardinality search as presented by Tarjan and Yannakakis [25].This work is a part of the MSc work of the first author under supervision of the second author. We would like to thank one of the anonymous reviewers for very useful suggestions. ...