Содержание
4 отношения: Класс Sharp-P, Паросочетание, Определитель, Матрица сдвига.
Класс Sharp-P
В теории сложности, #P является классом проблем, решением которых является количество успешных, то есть, завершающихся в допускающих состояниях, путей вычислений для некой недетерминированной машины Тьюринга, работающей за полиномиальное время.
Посмотреть Перманент и Класс Sharp-P
Паросочетание
В теории графов паросочетание или независимое множество рёбер в графе — это набор попарно несмежных рёбер.
Посмотреть Перманент и Паросочетание
Определитель
Определи́тель (или детермина́нт) — одно из основных понятий линейной алгебры.
Посмотреть Перманент и Определитель
Матрица сдвига
Ма́трица сдви́га (также сдви́говая ма́трица) — бинарная матрица с единицами только на главных наддиагонали или поддиагонали и нулями в остальных местах.
Посмотреть Перманент и Матрица сдвига
Также известен как Формула Райзера.