Графоид: различия между версиями

'''Графоид''' (''[[Graphoid]]'') - комбинаторный объект, состоящий из непустого множества <math>M</math> и двух семейств <math>\mathcal{C}</math> и <math>\mathcal {D}</math> непустых подмножеств множества <math>M</math>, называемых соответственно [[цикл|циклами]] и [[коцик|коциклами]], которые

1) <math>|C \cap D| \neq 1</math> для любых <math>C \in \mathcal{C}</math> и <math>D  \in \mathcal {D}</math>;

2) ни один из циклов не является собственной частью другого цикла и ни один коцикл не является собственной частью другого коцикла;

3) если раскрасить элементы множества <math>M</math> так, что точно один элемент будет зеленого цвета, а остальные красного или синего, то найдется либо цикл <math>C</math>, содержащий зеленый элемент и не содержащий ни одного красного, либо коцикл <math>D</math>, содержащий зеленый элемент и не содержащий ни одного синего.