Displaying similar documents to “A not on dominating set with Maple.”

Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph

Piotr Rudnicki, Lorna Stewart (2012)

Formalized Mathematics

Similarity:

Harary [10, p. 7] claims that Veblen [20, p. 2] first suggested to formalize simple graphs using simplicial complexes. We have developed basic terminology for simple graphs as at most 1-dimensional complexes. We formalize this new setting and then reprove Mycielski’s [12] construction resulting in a triangle-free graph with arbitrarily large chromatic number. A different formalization of similar material is in [15].

Derived graphs of some graphs

Sudhir R. Jog, Satish P. Hande, Ivan Gutman, S. Burcu Bozkurt (2012)

Kragujevac Journal of Mathematics

Similarity: