Обобщенные граф-многообразия и их эффективное распознавание

Под обобщенным граф-многообразием понимается трехмерное многообразие, получающееся склеиванием элементарных блоков, где каждый элементарный блок либо является многообразием Зейферта, либо не содержит существенных торов и колец. Из известной теоремы о торическом разбиении следует, что любое компактное трехмерное многообразие, край которого либо пуст, либо состоит из торов, имеет каноническое представление в виде обобщенного граф-многообразия. В статье приводится простое и короткое независимое доказательство существования канонического представления и описывается частичный алгоритм его построения. Приводится также простой критерий гиперболичности блоков, не являющихся многоообразиями Зейферта.
Библиография: 10 названий.