Redukce miniDP(M) - DP(F) | SECOMP a.s.