如何保证问题的有效性?

查看示例/data_preprocess/countdown.py 中的代码，似乎这是用于生成计数器问题的（目标，元组）对的函数。但是，如果目标和元组是随机独立地采样的，你如何保证总是存在解决方案？