Дизъюнкция является

Множество вершин S является вершинным покрытием тогда и только тогда, когда его дополнение является

Дерево в бору является

Очередь с приоритетом является

Цифровая сортировка является

Корнем бора является

Любое дерево является

Подстрокой любой строки является

Задача о независимом множестве является

Матрица сильной связности является

Дополнением независимого множества является