Minimal consistent DFA revisited

We address the classic problem of polynomial computation of a minimal finite-state representation compatible with two finite input sets that contain those strings that have to be accepted and rejected. We extend the previously defined uniformly-complete sample and prove that it is a special case of the sufficient condition we propose.