BST Checker

BST Checker kontrollerer om en gitt trerepresentasjon oppfyller BST-egenskapen: hvert knutepunkt i venstre undertre er strengt mindre enn sin forelder, og hvert knutepunkt i høyre undertre er strengt større. Målgruppen inkluderer utviklere, studenter og ingeniører som designer, analyserer eller bruker binære strukturer under design, feilsøking, testing eller undervisning. Hvis treet er ugyldig, gir verktøyet et klart validitetsresultat og veiledning for å lokalisere overtredelsen. Hovedmålet er deterministisk validering uten kodekjøring, egnet for raske akseptansetester i pipeline og lærings-workflows.
Verktøyet aksepterer flere vanlige representasjoner (nivåorden med nuller, forhåndsordre med markører, adjacenslister) i én innlesning, med streng BST-tilstand som standard. Nødvendige funksjoner inkluderer en lineær tidskontroll med begrensningspropagering (min/max), slik at hver nodverdi ligger innenfor sitt tillatte intervall. Valgfri funksjoner inkluderer detaljerte overtredelsesrapporter (sti til feil nod, brutt grense og undertreets kontekst) og konfigurerbar håndtering av duplikater. All behandling foregår utelukkende på de leverte data; ingen eksterne kall. Inndata inkluderer tree_data (streng eller array) og input_format (Enum), pluss valgfri flagg som allow_duplicates. Utdata rapporterer is_valid (bool) og ved ugyldighet, overtredelser (liste) med node_value, sti og grenser. Tomme trær er gyldige. Numeriske typer behandles som heltall; store trær krever O(n) tid og O(h) plass, der h er treets høyde. Algoritmen er DFS med min/max-grenser. For hver node gjelder min < verdi < max; grenser for barn oppdateres: venstre (min, verdi), høyre (verdi, max). Duplikater håndteres etter valgte regler. Kompleksiteten er lineær i antall noder; korrekthet følger BST-invarianter. Randtilfeller: ugyldige formater, ikke-numeriske verdier eller dårlig formede strukturer gir strukturert feildata i stedet for UI-meldinger. Tomme eller én-noden trær er gyldige. Ved svært store trær kan rekursjonsdybden nå stackgrenser; iterativ traversering støttes.