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