Formal reductions of the general combinatorial decision problem