5.4

Перманент

[4/25%]
Показать
LaTeX
Задача 5.4.1

Найдите перманент матрицы

?
(1)

(abcd)\begin{pmatrix} a & b \\ c & d \end{pmatrix};

(2)

4×44 \times 4, у которой k=0,1,2,3,4k = 0,1,2,3,4 диагональных элементов — нули, а все остальные (в том числе недиагональные) элементы — единицы;

(3)

n×nn \times n, у которой на диагонали нули, а вне диагонали — единицы.

Примечание.
?

Перманент квадратной матрицы A=(aij)A = (a_{ij}) размера n×nn \times n определяется формулой

Per(A):=σΣni=1nai,σ(i), \operatorname {Per}(A) := \sum _{\sigma \in \Sigma _{n}} \prod _{i=1}^{n} a_{i,\sigma (i)},

где Σn\Sigma_{n} есть множество всех перестановок nn-элементного множества.

Задача 5.4.2

Найдите перманент матрицы m×nm \times n, состоящей из одних единиц.

?
Примечание.
?

Подматрицей данной матрицы называется матрица, полученная из данной вычеркиванием некоторого количества строк и столбцов. Перманент прямоугольной матрицы AA определяется как сумма перманентов всех квадратных подматриц максимального размера. Или, формулой, при m<nm < n

Per(A):=σi=1mai,σ(i), \operatorname {Per}(A) := \sum _{\sigma } \prod _{i=1}^{m} a_{i,\sigma (i)},

где сумма берётся по всем mm-элементным размещениям без повторений чисел от 1 до nn. При m>nm > n положим Per(A):=Per(AT)\operatorname {Per}(A) := \operatorname {Per}(A^{T}).

Задача 5.4.3
?
(1)

Перманент не меняется при перестановке строк.

(2)

Формула разложения по строке. Если mnm \leqslant n, то для любого ii

Per(A)=j=1naijPer(Aij), \operatorname {Per}(A) = \sum _{j=1}^{n} a_{ij}\operatorname {Per}(A_{ij}),

где AijA_{ij} — матрица, получаемая из исходной вычеркиванием ii-й строки и jj-го столбца.

Задача 5.4.4
?
(1)

Перманент матрицы n×nn \times n из нулей и единиц равен нулю тогда и только тогда, когда есть нулевая подматрица s×ts \times t, где s+t=n+1s+t = n+1.

(2)

Для любых mnm \leqslant n перманент прямоугольной матрицы m×nm \times n из нулей и единиц равен количеству с.р.п. (п. 5.3) для системы из mm подмножеств множества {1,,n}\left\{ 1,\ldots ,n\right\}, определяемых строками этой матрицы.