BST Checker

BST Checker controleert of een gegeven boomrepresentatie voldoet aan de BST-eigenschap: elke knoop in de linkersubboom is strikt kleiner dan zijn ouder en elke knoop in de rechtersubboom is strikt groter. Doelgroep zijn ontwikkelaars, studenten en engineers die binare structuren ontwerpen, analyseren of toepassen tijdens design, debugging, testen of onderwijs. Bij een ongeldig boom-gegevensobject levert de tool een duidelijk validiteitsresultaat en aanwijzingen om de overtreding te lokaliseren. Het hoofddoel is deterministische validatie zonder code-uitvoering, geschikt voor snelle acceptatietests in pipelines en leerwerkflows.
De tool accepteert meerdere gangbare representaties (level-order met nullen, pre-order met markers, adjacency lists) als één invoer, standaard met strikte BST-modus. Vereiste functies omvatten een lineaire tijd-controle met bereikpropagatie (min/max), zodat elke knoopwaarde binnen het toegestane bereik valt. Optionele functies omvatten gedetailleerde violating-rapporten (pad naar knoop, overtreden grens en subboom-context) en configureerbare hantering van duplicaten. Alle verwerking gebeurt uitsluitend op de verstrekte data; geen externe oproepen. Invoer omvat tree_data (string of array) en input_format (Enum), plus optionele vlaggen zoals allow_duplicates. Uitvoer meldt is_valid (boolean) en, bij ongeldigheid, violations (lijst) met node_value, path en bounds. Lege bomen zijn geldig. Numerieke typen worden standaard als gehele getallen behandeld; grote bomen vereisen O(n) tijd en O(h) ruimte, waarbij h de boomhoogte is. Het algoritme gebruikt DFS met min/max-bounds. Voor elk knooppunt geldt min < waarde < max; updates voor kinderen: linker (min, waarde), rechter (waarde, max). Dupliceertakken worden volgens de ingestelde regel behandeld. Complexiteit is lineair in het aantal knopen; correctheid volgt uit BST-invarianties. Randgevallen: ongeldige formaten, niet-numerieke waarden of slecht-geformeerde structuren leveren gestructureerde foutgegevens in plaats van UI-berichten. Lege of enkel-knoop-bomen zijn geldig. Bij zeer grote bomen kan de recursie diepte stacklimieten bereiken; iteratieve traversering wordt ondersteund.