回溯與安全檢查