Durante o meu trabalho, eu vim com o seguinte problema:
Estou tentando encontrar uma matriz , para qualquer , com as seguintes propriedades:
- O determinante de é par.
- Para qualquer subconjunto não vazio com, A submatriz tem determinante estranho se e somente se i = j .
Aqui denota a submatriz de criado por remover as linhas com índices em e as colunas com índices em .
Até agora, tentei encontrar essa matriz por amostragem aleatória, mas só consigo encontrar uma matriz que possua todas as propriedades, exceto a primeira , ou seja, a matriz sempre tem um determinante ímpar. Tentei várias dimensões e diferentes conjuntos de entrada / saída sem sucesso. Então isso me faz pensar:
Existe uma dependência entre os requisitos, o que os impede de serem simultaneamente verdadeiros?
ou
É possível que essa matriz exista e alguém pode me dar um exemplo?
Obrigado, Etsch
Respostas:
Não existe essa matriz.
A identidade Desnanot-Jacobi diz que, para , usando isso, obtemos Mas seus requisitos forçam o lado esquerdo a ser 0 (mod 2) e o lado direito a ser 1 (mod 2), mostrando que eles são incompatíveis.i≠j
fonte