Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations

Stavros Konstantinidis, Mitja Mastnak, Juraj Sebej

We consider the problem of partitioning effectively a given symmetric (and irreflexive) rational relation R into two asymmetric rational relations. This problem is motivated by a r…