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