Графоид

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

1) [math]\displaystyle{ |C \cap D| \neq 1 }[/math] для любых [math]\displaystyle{ C \in {\cal C} }[/math] и [math]\displaystyle{ D \in {\cal D} }[/math];

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

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

Литература

[Харари]