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