Eukleidovská projekce na simplex
Promítněte 1–256 konečných čísel v mezích ±10^6 na nezáporný jednotkový simplex.
import math
def simplex_projection(values):
if type(values) is not list or not 1 <= len(values) <= 256:
raise ValueError("simplex.input")
if any(type(x) not in (int, float) or not -10**6 <= x <= 10**6 or not math.isfinite(x) for x in values):
raise ValueError("simplex.value")
ranked = sorted(values, reverse=True)
total, theta = 0.0, 0.0
for count, value in enumerate(ranked, 1):
total += value
candidate = (total-1)/count
if value > candidate:
theta = candidate
return [max(0.0, value-theta) for value in values]
Projekt
Otestujte shody a vrcholová řešení, odmítněte logické hodnoty a porovnejte s číselnou tolerancí bez výkladu vah jako kalibrovaných pravděpodobností.
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.
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ě.
import math
def simplex_projection(values):
if type(values) is not list or not 1 <= len(values) <= 256:
raise ValueError("simplex.input")
if any(type(x) not in (int, float) or not -10**6 <= x <= 10**6 or not math.isfinite(x) for x in values):
raise ValueError("simplex.value")
ranked = sorted(values, reverse=True)
total, theta = 0.0, 0.0
for count, value in enumerate(ranked, 1):
total += value
candidate = (total-1)/count
if value > candidate:
theta = candidate
return [max(0.0, value-theta) for value in values]
Udržujte numerická omezení viditelná po celou dobu kontroly
SimplexDune je pracovní prostředí pro programování s AI ve Windows pro vývojáře kontrolující numerické transformace v aplikaci. Začněte složkou projektu a vlastnostmi, které musí výstup splňovat. Připojený model může pomoci prověřit, jak se požadavky promítají do kódu, a prodiskutovat vymezenou změnu, zatímco návrh kontrolujete vůči navazujícímu kódu závislému na výsledku.
Jedna úloha naznačená souborem simplex_projection.py se týká převodu vektoru na nezáporné váhy se součtem jedna. Požádejte asistenta, aby prověřil přijímané vstupy, pořadí výstupu a kontroly výsledků s plovoucí řádovou čárkou. Dodejte reprezentativní vektory a popište navazující použití. Příklad tak zůstane ukotven ve skutečném softwarovém kontraktu a nebude považovat prostředí za vestavěný optimalizátor či službu pro trénování modelů.
Zvolte model AI bez omezení, pokud je dostupný přes podporovaný koncový bod kompatibilní s OpenAI nebo Anthropic. Nastavte jeho adresu a požadované přihlašovací údaje s ohledem na kontext a podporu nástrojů serveru. Prověřte navržené úpravy a ve svém numerickém prostředí spusťte kontroly očekávaných výsledků i vlastností výstupu. Kde není vhodná přesná rovnost čísel s plovoucí řádovou čárkou, použijte stanovenou toleranci. Konverzace má odhalit předpoklady úpravy, abyste mohli rozhodnout, zda zachovává chování potřebné pro aplikaci.
Kontrola numerického výstupu s omezeními
Které vlastnosti výstupu mám výslovně požadovat?
Uveďte požadovanou délku, pořadí, povolená znaménka a očekávaný součet spolu s případnou tolerancí. Přidejte požadavky navazujícího kódu. Výsledek může splnit jedno omezení a porušit jiné, proto kontrola nemá končit u jediné souhrnné hodnoty.
Je přesná rovnost jedné spolehlivým testem s plovoucí řádovou čárkou?
Ne při každém výpočtu. Zvolte toleranci odpovídající numerickému kontraktu a testovacímu prostředí a v kontrole ji vysvětlete. Požádejte model, aby odlišil vliv reprezentace od skutečného porušení omezení místo tichého oslabování kontrolních podmínek.
Má úprava přeuspořádat původní vektor?
Pouze pokud to výstupní kontrakt dovoluje. Interní řazení může sloužit výpočtu, ale výsledné hodnoty mohou stále muset odpovídat původním pozicím. Prověřte navazující kód a otestujte vstup s různými položkami, na nichž je chyba pořadí vidět.
Může kontrola vlastností nahradit příklady očekávaných výsledků?
Použijte obojí, pokud ověřují různá tvrzení. Vektor může být nezáporný a mít součet jedna, aniž by představoval zamýšlenou projekci. Malé nezávisle určené výsledky pomáhají ověřit transformaci, zatímco vlastnosti pokrývají širší aspekty výstupního kontraktu.
SimplexDune · Aktualizováno 2026-10-25