Self-validating reduction (source code)

= Self-validating reduction
{wiki=Self-validating_reduction}

Self-validating reduction is a concept from the field of computational complexity theory, particularly in the study of NP-completeness and related topics. It refers to a method of showing that one computational problem can be efficiently transformed into another problem in such a way that the transformed problem can be used to verify a solution for the original problem without requiring a separate, potentially computational intensive validation process.