check函数+基本回溯