蒟蒻刚学对拍，已经能够简单的运用，检查输入不算复杂的程序。但对于输入较复杂的程序，或者保证输入的数据中必定有解的程序，该如何写出生成数据的程序并实现对拍。恳请大佬提供思路或例子，蒟蒻感激不尽。