Нотация Конвея для многогранников

Нотация Конвея для многогранников, разработанная Конвеем и продвигаемая Хартом, используется для описания многогранников, опираясь на затравочный (т.е. используемый для создания других) многогранник, модифицируемый различными префикс-операциями.

Конвей и Харт расширили идею использования операторов, подобных оператору truncation (усечения), определённого Кеплером, чтобы создавать связанные многогранники с той же симметрией. Базовые операторы могут сгенерировать все архимедовы тела и каталановы тела из правильных затравок. Например, tC представляет усечённый куб, а taC, полученный как t(aC), является усечённым октаэдром. Простейший оператор dual (двойственный) меняет местами вершины и грани. Так, двойственным многогранником для куба является октаэдр — dC=O. Применённые последовательно, эти операторы позволяют сгенерировать многие многогранники высокого порядка. Получающиеся многогранники будут иметь фиксированную топологию (вершины, рёбра, грани), в то время как точная геометрия не ограничивается.

Затравочные многогранники, являющиеся правильными многогранниками, представляются первой буквой в их (английском) названии (Tetrahedron = тетраэдр, Octahedron = октаэдр, Cube = куб, Icosahedron = икосаэдр, Dodecahedron = додекаэдр). Кроме того, используются призмы (Pn – от prism для n-угольных призм), антипризмы (An – от Antiprisms), купола (Un – от cupolae), антикупола (Vn) и пирамиды (Yn – от pyramid). Любой многогранник может выступать в качестве затравки, если операции могут на них быть выполнены. Например, правильногранные многогранники можно обозначить как Jn (от Johnson solids = тела Джонсона) для n=1…92.

В общем случае трудно предсказать результат последовательного применения двух и более операций на заданный многогранник-затравку. Например, операция ambo, применённая дважды, оказывается той же самой, что и операция expand (расширения), aa=e, в то время как операция truncation (усечение) после операции ambo даёт то же, что и операция bevel, ta=b. Не существует общей теории, описывающей, какие многогранники могут быть получены с помощью некоторого набора операторов. Наоборот, все результаты были получены эмпирически.

Источник: Википедия

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я