Před použitím zkontrolujte
Porovnejte skutečné chování s očekávaným výsledkem. Pokud kontrola selže, před dalšími změnami zjistěte příčinu.
Pracovní prostředí s AI pro kód
Přísné uspořádání binárních vyhledávacích stromů
Ověř celočíselné vyhledávací uzly se dvěma odkazy na děti.
● ● ●TreeSentinel●
Pracovní postupy · Přísné uspořádání binárních vyhledávacích stromů ×
def is_strict_bst(root):
pending, seen, checks = [(root, None, None)], set(), []
while pending:
node, low, high = pending.pop()
if node is None:
continue
if type(node) is not list or len(node) != 3 or type(node[0]) is not int:
raise ValueError("tree.node")
if id(node) in seen or len(seen) == 1000:
raise ValueError("tree.structure")
seen.add(id(node))
value, left, right = node
checks.append((value, low, high))
pending.extend([(right, value, high), (left, low, value)])
return all((low is None or low < value) and
(high is None or value < high) for value, low, high in checks)✳Přísné uspořádání binárních vyhledávacích stromů
✓ ZměnyPřed použitím zkontrolujte ↗
Ilustrace pracovního prostředí
Modely
Nastavte endpoint kompatibilní s OpenAI nebo Anthropic pomocí základní URL a případného API klíče. Otestujte připojení. Lokální server modelu musí běžet; vzdálené nástroje mohou data odesílat samostatně.
Projekt
Testuj prázdné stromy a meze předků, vrať nepravdu při duplicitách a odmítni cykly, sdílené děti, vadné uzly či přes 1000 uzlů.
Pracovní postupy
def is_strict_bst(root):
pending, seen, checks = [(root, None, None)], set(), []
while pending:
node, low, high = pending.pop()
if node is None:
continue
if type(node) is not list or len(node) != 3 or type(node[0]) is not int:
raise ValueError("tree.node")
if id(node) in seen or len(seen) == 1000:
raise ValueError("tree.structure")
seen.add(id(node))
value, left, right = node
checks.append((value, low, high))
pending.extend([(right, value, high), (left, low, value)])
return all((low is None or low < value) and
(high is None or value < high) for value, low, high in checks)Než uvěříte hodnotám uvnitř, prověřte strukturu
TreeSentinel nabízí pro údržbu strukturovaných dat projektové prostředí Windows a rozhovor s AI propojený se zdrojovými soubory. Nejprve ukažte, kde aplikace strukturu přijímá a jak využívá výsledek validace. Před návrhem jednodušší kontroly nebo jiného průchodu požádejte model o prověření celého tohoto rozhraní.
Například úloha kolem bst_order.py může zkoumat strom, jehož přímí potomci vypadají seřazeně, ale hlubší hodnota porušuje mez předka. Přiložte selhávající strukturu a očekávaný výsledek. Pak se zeptejte na zpracování chybných uzlů a opakovaných odkazů, aby oprava pořadí nepřehlédla předpoklady o procházeném tvaru.
Výsledný návrh prověřte pro odlišné výsledky: platný strom, porušení pořadí a chybně utvořenou strukturu. Spusťte příslušné kontroly projektu a prohlédněte předání každého výsledku navazujícímu kódu. Změny pravidel duplicitních klíčů uvádějte výslovně. Zdánlivě drobná úprava porovnání může změnit data přijímaná okolní aplikací.
TreeSentinel se připojuje k podporovaným koncovým bodům kompatibilním s OpenAI nebo koncovým bodům Anthropic, podle potřeby s přihlašovacími údaji. Můžete zvolit abliterovaný model AI, pokud jej koncový bod nabízí. Omezení poskytovatele, limity kontextu a dostupné nástroje zůstávají součástí nastavení; kontrola má vycházet z konkrétních struktur a pozorovatelných výsledků, nikoli ze sebejistoty modelu.
Otázky k validaci strukturovaných dat
Proč testovat porušení pod úrovní přímých potomků?
Lokální porovnání může projít, zatímco potomek porušuje mez dřívějšího předka. Dodejte malý vnořený testovací případ odhalující tento rozdíl a určete očekávaný výsledek. Před přijetím zjednodušení validace podle něj prověřte navržený průchod.
Jsou duplicitní klíče chybou tvaru, nebo rozhodnutím o pořadí?
Určete to v kontraktu aplikace. Příklad vynucuje striktní pořadí vylučující stejné klíče. Prověřte, zda navazující kód rozlišuje chybný vstup od správně utvořené struktury porušující pořadí, a zachovejte tyto konvence odezvy v navržené změně.
Co mění opakovaný odkaz na uzel?
Může znamenat, že vstup nemá tvar stromu očekávaný funkcí, i když jednotlivé hodnoty vypadají přijatelně. Kde je to vhodné, přiložte případ se sdíleným odkazem nebo cyklem. Ověřte ukončení a odmítání místo spoléhání výhradně na běžné vnořené příklady.
Mohu validaci nahradit kontrolou seřazeného výstupu?
Až po zohlednění struktury a chování při selhání požadovaných volajícím. Kontrola zploštěných hodnot může skrýt chybné uzly nebo předpoklady průchodu. Před změnou validačního kontraktu požádejte model o vysvětlení těchto kompromisů na skutečném kódu.
TreeSentinel · Aktualizováno 2026-10-25