Метод перечисления смежных классов

[enko]

Можно ли доказать, что если группа конечная, то алгоритм перечисления смежных классов остановится?

[Ираклий]

Ну это зависит от того, что Вы называете алгоритмом перечисления смежных классов. Если хочется, можно написать такой алгоритм, который не остановится.
С другой стороны, можно написать всегда останавливающийся алгоритм, перечисляющий все классы смежности G по Н, где G и Н даются на входе алгоритма.

[enko]

Ираклий в сообщении #273525 писал(а):

Ну это зависит от того, что Вы называете алгоритмом перечисления смежных классов.

Имеется ввиду классический алгоритм Тодда-Коксетера

[VAL]

Ираклий в сообщении #273525 писал(а):

Ну это зависит от того, что Вы называете алгоритмом перечисления смежных классов. Если хочется, можно написать такой алгоритм, который не остановится.

Нельзя. Потому что тогда он не будет алгоритмом