BST Checker

BST Checker בוחן האם ייצוג עץ נתון עומד בדרישת BST: כל צומת בתוך תת-העץ השמאלי קטן בחד-חדים מהורהו וכל צומת בתת-העץ הימני גדול ממנו. קהל היעד כולל מפתחים, סטודנטים ומהנדסי נתונים שמעצבים, מנתחים או משתמשים במבנים בינריים במהלך תכנון, דיבאג, בדיקות או הוראה. אם העץ אינו תקף, הכלי מספק תוצאות תקפות וברור מאוד ומסייע定位 בהתממשקות. המטרה היא אימות דטרמיניסטי без הרצת קוד, מתאים לבדיקות קבלה מהירות בצינורות וזרימות למידה.
הכלי תומך בייצוגים נפוצים שונים (סידור לפי רמה עם מדבקות null, סדר-קדם עם מדבקות, רשימות אדjacency) בכניסה יחידה, עם מצב BST מחמיר כברירת מחדל. פונקציות נחוצות כוללות בדיקה בזמן לינארי עם העברת גבולות (min/max) כדי להבטיח שכל ערך צומת נמצא בטווח המותר. פונקציות אופציונליות כוללות דוחות הפרת חריגות מפורטים (נתיב לצומת הפוגע, גבול מפר) ויכולת התנהגות מותאמת של כפילויות. כל העיבוד מתבצע על הנתונים המסופקים בלבד; אין קריאות חיצוניות. כניסות כוללות tree_data (מחרוזת או מערך) ו-input_format (Enum), בנוסף לדגלים אופציונליים כמו allow_duplicates. תוצאות כוללות is_valid (boolean) ואם אינו תקף, הפרות (רשימה) עם ערך-צומת, נתיב וגבולות. עצים ריקים תקפים. סוגי המספרים מטופלים כברירת מחדל כמ integers; עצים גדולים דורשים זמן O(n) וזיכרון O(h), כאשר h הוא גובה העץ. האלגוריתם משתמש ב-DFS עם גבולות מינימלי/מקסימלי. לכל צומת: min < value < max; גבולות לילדים מותאמים: שמאלי (min, value), ימני (value, max). כפילויות מטופלות לפי כלל ההגדרה שנבחרה. מורכבות הזמן היא לינארית במספר הצמתים; התקינות נגזרת מהאינבריאנט BST. תנאים קיצוניים: פורמטים לא תקפים, ערכים שאינם מספריים או מבנים שגויים מחזירים נתוני שגיאה מובנים במקום הודעות UI. עצים ריקים או עצים עם צומת אחד תקפים. כאשר עצים מאוד גדולים, עומק הרקורסיה עלול להגיע למגבלות ערימת הזיכרון; ח обход איטרטיבי נתמכת.