สมมติว่าเรามีไบนารีทรี เราต้องตรวจสอบว่าทุกโหนดในทรียกเว้นใบไม้ มีค่าเท่ากับผลรวมของมูลค่าลูกด้านซ้ายและมูลค่าของเด็กที่ถูกต้องหรือไม่ ดังนั้นหากอินพุตเป็นแบบ แล้วผลลัพธ์จะเป็น True เพื่อแก้ปัญหานี้ เราจะทำตามขั้นตอนเหล่านี้ - กำหนดฟังก์ชัน dfs() สิ่งนี้จะหยั่งราก ถ้ารูทเป็นโมฆะ คืนค่า