On wwodit ochen' wazhnoe prilozhenie k probleme razreshimosti setewogo kodirowaniq s ispol'zowaniem instrumentow algebraicheskoj geometrii putem postroeniq uproschennoj seti s ispol'zowaniem bazisa Gröbnera. on predstawlqet sposob uprostit' dannuü kommunikacionnuü set' s pomosch'ü algoritma, kotoryj razbiwaet set' na podseti i reintegriruet ih w set', kotoraq qwlqetsq obschim predstawleniem ili model'ü izuchaemoj seti. Jeta model' takzhe predstawlena ¿¿kombinaciej polinomial'nyh urawnenij i ispol'zuet bazy Gröbnera dlq polucheniq nowoj uproschennoj seti, äkwiwalentnoj dannoj seti, chto mozhet znachitel'no uprostit' i udeshewit' izuchenie wozmozhnosti resheniq problemy setewogo kodirowaniq.