ต้นไม้เป็นแผนผังการค้นหาแบบไบนารีหากมีลูกด้านซ้ายทั้งหมดน้อยกว่าองค์ประกอบโหนดและชายด์ที่ถูกต้องทั้งหมดมากกว่าองค์ประกอบโหนด เริ่มแรก เราตรวจสอบว่าโหนดมีค่าใด ๆ หรือไม่ หากโหนดนั้นเป็นโมฆะ เราจะพิจารณาว่าเป็นแผนผังการค้นหาไบนารีที่ถูกต้องและคืนค่าเป็นจริง หลังจากตรวจสอบผลลัพธ์ที่เป็นโมฆะของโหนดแล้ว เราจะเรียกเมธอดแบบเรียกซ้ำ isValidBST โดยส่งโหนด ค่าต่ำสุด และค่าสูงสุด หากค่ารูทน้อยกว่าค่าต่ำสุดและค่ารูทมากกว่าค่าสูงสุด เราจะถือว่าไม่ใช่โครงสร้างการค้นหาแบบไบนารีและคืนค่าเป็นเท็จ เราจะเรียกเมธอด isValidBST ซ้ำๆ โดยส่งค่าซ้ายและขวาจนกว่าจะตรวจสอบโหนดทั้งหมด
ตัวอย่าง
public class TreesPgm{
public class Node{
public int Value;
public Node LeftChild;
public Node RightChild;
public Node(int value){
this.Value = value;
}
public override String ToString(){
return "Node=" + Value;
}
}
public bool isValidBST(Node root){
if (root == null){
return true;
}
return isValidBST(root, int.MinValue, int.MaxValue);
}
private bool isValidBST(Node root, int min, int max){
if (root == null){
return true;
}
if (root.Value <= min || root.Value >= max){
return false;
}
return isValidBST(root.LeftChild, min, root.Value) && isValidBST(root.RightChild,
root.Value, max);
}
} อินพุต
5 2 6 1 3
ผลลัพธ์
True