BST Checker

BST Checker kontrollerer, om en given trærepræsentation overholder BST-egenskaben: hvert knudepunkt i venstre undertræ er strengt mindre end sin forælder, og hvert knudepunkt i højre undertræ er strengt større. Målsætningen er udviklere, studerende og ingeniører, der designer, analyserer eller arbejder med binære strukturer under design, debugging, test eller undervisning. Hvis træet er ugyldigt, leverer værktøjet et klart validitetsresultat og vejledning til lokalisering af overtrædelsen. Hovedformålet er deterministisk validering uden kodekørsel, egnet til hurtige accepttests i pipelines og lærings-workflows.
Værktøjet accepterer flere almindelige repræsentationer (niveau-orden med null-markører, pre-ordning med markører, adjacenslister) i en enkelt indtastning, med streng BST-tilstand som standard. Kravfunktioner inkluderer en lineær-tid kontrol med grænsepropagering (min/max), så hvert knudeværdi ligger inden for det tilladte interval. Vilkårlige funktioner inkluderer detaljerede voldgivelsesrapporter (sti til fejlagtig knude, brydt grænse og kontekst for under-træet) og konfigurerbar håndtering af dubletter. Alle behandlinger sker udelukkende på de leverede data; ingen eksterne kald. Indtastninger inkluderer tree_data (streng eller array) og input_format (Enum), plus valgfrie flag som allow_duplicates. Udfald angiver is_valid (bool) og ved ugyldighed, overtrædelser (liste) med node_value, sti og grænser. Tomme træer er gyldige. Numeriske typer behandles som standard som heltal; store træer kræver O(n) tid og O(h) plads, hvor h er træets højde. Algoritmen er DFS med min/max-grænser. For hver knude gælder min < værdi < max; grænser for børn opdateres: venstre (min, værdi), højre (værdi, max). Dubletter håndteres efter den konfigurerede regel. Kompleksiteten er lineær i antal noder; korrekthed følger af BST-invariant. Randtilfælde: ugyldige formater, ikke-numeriske værdier eller dårligt formaterede strukturer returnerer struktureret fejldata i stedet for UI-meddelelser. Tomme eller enkeltknudede træer er gyldige. Ved meget store træer kan rekursionens dybde nå stackgrænser; iterativ traversal understøttes.