Orthogonal vector coloring.
Haynes, Gerald, Park, Catherine, Schaeffer, Amanda, Webster, Jordan, Mitchell, Lon H. (2010)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Haynes, Gerald, Park, Catherine, Schaeffer, Amanda, Webster, Jordan, Mitchell, Lon H. (2010)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Adam Grabowski (2013)
Formalized Mathematics
Similarity:
The notion of a rough set, developed by Pawlak [10], is an important tool to describe situation of incomplete or partially unknown information. In this article, which is essentially the continuation of [6], we try to give the characterization of approximation operators in terms of ordinary properties of underlying relations (some of them, as serial and mediate relations, were not available in the Mizar Mathematical Library). Here we drop the classical equivalence- and tolerance-based...
González, Samuel, González, Leida, Ordaz, Oscar (2009)
Bulletin of the Malaysian Mathematical Sciences Society. Second Series
Similarity:
Karol Pąk (2012)
Formalized Mathematics
Similarity:
In this article we prove the friendship theorem according to the article [1], which states that if a group of people has the property that any pair of persons have exactly one common friend, then there is a universal friend, i.e. a person who is a friend of every other person in the group
Hasni, Roslan, Peng, Y.H. (2006)
Bulletin of the Malaysian Mathematical Sciences Society. Second Series
Similarity:
Sheng, Jian-Ting, Liu, Gui-Zhen (2011)
Bulletin of the Malaysian Mathematical Sciences Society. Second Series
Similarity:
Ordaz, Oscar, Quiroz, Domingo (2007)
Divulgaciones Matemáticas
Similarity:
Markowsky, Greg, Koolen, Jacobus (2010)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Dwight Duffus, Peter, L. Erdös, Jaroslav Nešetřil, Lajos Soukup (2007)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Let and , respectively, denote the partially ordered sets of homomorphism classes of finite undirected and directed graphs, respectively, both ordered by the homomorphism relation. Order theoretic properties of both have been studied extensively, and have interesting connections to familiar graph properties and parameters. In particular, the notion of a duality is closely related to the idea of splitting a maximal antichain. We construct both splitting and non-splitting infinite maximal...
di Prisco, Carlos Augusto (2006)
Boletín de la Asociación Matemática Venezolana
Similarity: