Graphs and quasitrivial groupoids

Milan Vítek

The search session has expired. Please query the service again.

Displaying similar documents to “Graphs and quasitrivial groupoids”

Solutions and kernels of a directed graph

Matúš Harminc (1982)

Mathematica Slovaca

Similarity:

On the completeness-number of a finite graph

Ivan Havel (1965)

Časopis pro pěstování matematiky

Similarity:

Recognizing Chordal Graphs: Lex BFS and MCS 1

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. ...