问题规约[1]的实质：从目标(要解决的问题)出发逆向推理，建立子问题以及子问题的子问题，直至最后把初始问题归约[2]为一个平凡的本原问题集合。

问题规约是一种问题解决方法，它通过将复杂问题分解为更小、更简单的子问题来逐步解决。这种方法的核心在于逆向推理，即从最终目标出发，逐步分解问题，直到问题被归约为一些基本的、易于解决的子问题。这些子问题通常被称为本原问题，它们是问题规约过程中的基础单元，可以直接解决或通过简单的计算得出答案。问题规约方法在计算机科学、数学和工程学等领域中被广泛应用，特别是在算法设计和问题求解中。