BST Checker

BST Checker kontrollerar om en given trädrepresentation uppfyller BST-egenskapen: varje nod i vänstersubträd är strikt mindre än sin förälder och varje nod i högersubträd är strikt större. Målgruppen inkluderar utvecklare, studenter och ingenjörer som designar, analyserar eller arbetar med binära strukturer, vid design, debugging, tester eller undervisning. Om trädet är ogiltigt ger verktyget ett tydligt validitetsresultat och vägledning för att lokalisera överträdelsen. Huvudmålet är deterministisk validering utan kodkörning, lämplig för snabba acceptanstester i pipeline och lärande-workflows.
Verktyget accepterar flera vanliga representationer (nivåordning med null-värden, för-ordning med markörer, adjacenslistor) i en inmatning, med strikt BST-läge som standard. Kravfunktioner omfattar en linjär-tids kontroll med gränspropagering (min/max) så att varje nodvärde ligger inom tillåtet intervall. Valfria funktioner inkluderar detaljerade överträdelse-rapporter (stig till felaktig nod, bruten gräns och kontext för under-trädet) och konfigurerbar hantering av dubbletter. All bearbetning sker endast på de tillhandahållna data; inga externa anrop. Inmatningar innehåller tree_data (sträng eller array) och input_format (Enum), plus valfria flaggor som allow_duplicates. Utdata anger is_valid (boolean) och vid fel, överträdelser (lista) med nod_värde, stig och gränser. Tomma träd är giltiga. Numeriska typer behandlas som standard som heltal; stora träd kräver O(n) tid och O(h) utrymme, där h är trädhöjd. Algoritmen är DFS med min/max-gränser. För varje nod gäller min < värde < max; gränser för barn uppdateras: vänster (min, värde), höger (värde, max). Dubbletter hanteras enligt konfigurerad regel. Komplexiteten är linjär i nodantalet; korrekthet följer av BST-invarianten. Kantfall: ogiltiga format, icke-numeriska värden eller dåligt formade strukturer returnerar strukturerad feldata istället för UI-meddelanden. Tomma eller ens-knotiga träd är giltiga. Vid mycket stora träd kan rekursionens djup nå stackbegränsningar; iterativ traversal stöds.