Пусть для конечного множества элементов задано ациклическое отношение r множеством пар , принадлежащих отношению. На множестве А можно построить n! различных последовательностей этих элементов - перечислений элементов. Какие утверждения справедливы относительно этих перечислений и их топологической отсортированности?

Правильный ответ:

перечисление топологически отсортировано для отношения r, если для любого элемента перечисления не существует , где , такого, что пара принадлежит r

для перечисления , задающего топологическую сортировку, для любого элемента перечисления существует элемент , являющийся предшественником в отношении r

каждое перечисление задает полный порядок. Пара принадлежит этому порядку, если

перечисление задает топологически отсортированную последовательность для отношения , если каждая пара из содержится в множестве пар полного порядка, определенного перечислением

• # Какие утверждения справедливы для грамматики и языка, порожденного грамматикой?
• # Какие утверждения справедливы для синтаксиса реальных языков программирования?
• # Какие утверждения справедливы относительно имен методов для контейнерных классов, включенных в библиотеки классов EiffelStudio?
• # Какие операции над элементами массива имеют сложность O(n):
• # Распределитель - это контейнер - структура данных, характеризуемая тем, что: