Три леммы, обсуждаемые ниже, составляют основу разнообразных подходов к задачам перечисления непомеченных графов. Тогда элементы ... - Большая Энциклопедия Нефти и Газа
Три леммы, обсуждаемые ниже, составляют основу разнообразных подходов к задачам перечисления непомеченных графов. Тогда элементы х и у из X называются А-эквивалентными или подобными, если существует подстановка а из А, такая, что ах у. Классическим и немедленно получающимся результатом является утверждение о том, что введенное нами отношение есть эквивалентность. Классы эквивалентности называются орбитами, или системами транзитивности группы А.