CMP.1:7 - Conformance Checklist

For the reduction being used:

• Both problems have stated admitted inputs and required answers.
• The conversion is effective from the supplied input and produces admitted queries.
• Every solver outcome relied on by the construction has an effective recovery with the required guarantee.
• The correctness argument covers the needed directions and termination conditions.
• The consequence follows the direction of the constructed solver reuse.
• A resource claim includes conversion, calls, recovery and relevant representation sizes.
• The result supplies an algorithm, a useful restricted alternative or a limit with a specific effect on the next move.