... DRAFT¹

This is a very early draft made available privately for those who might find it of interest. I reserve all rights to this work. -dsw

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... case^3.1

The algorithm to find such a minimal set of predicates corresponds to the feedback vertex set problem and is NP-Complete [#!GaJo79!#].

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.