À luz do resultado recente do abismo na profundidade 3 (que, entre outras coisas, produz profundidade-3 circuito aritmético para onxndeterminante sobreC), que têm as seguintes questões: Grigoriev e Karpinskirevelouum2Ω(n)um limite inferior para qualquer profundidade-3 circuito aritmético de...
É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...
Sabe-se que se pode calcular exatamente o determinante de um matriz em determinstic de log 2 ( n ) espaço. Quais seriam as implicações de complexidade de aproximar o determinante de uma matriz real, da norma, no máximo, 1 ( ‖ A ‖ ≤ 1 ) em randomizado logarítmica espaço,-se dizer, um 1 / poli...
Houve algum trabalho em encontrar o número mínimo de operações aritméticas elementares necessários para calcular o determinante de um por matriz para pequeno e fixo ? Por exemplo, .n n n =
A eliminação gaussiana torna determinante do tempo polinomial da matriz computável. A redução da complexidade na computação do determinante, que é a soma dos termos exponenciais, é devida à presença de sinais negativos alternativos (a falta de qual torna a computação permanente é isto é, mais...
A menor fórmula conhecida para o determinante tem tamanho acordo com o folclore (ou com Ran Raz em seu artigo As Fórmulas Multi-Lineares para Permanentes e Determinantes são de Tamanho Super-Polinomial ).nO (logn )nO(registron)n^{\mathcal O(\log n)} Você tem alguma referência para isso? Em...
Um grande problema no TCS é o problema de expressar uma permanente como determinante. Eu estava lendo o artigo de Agrawal, Determinant Versus Permanent, e em um parágrafo ele afirma que o problema inverso é fácil. É fácil de ver que o determinante de uma matriz pode ser expresso como o...
Estou tentando entender a relação entre a complexidade algorítmica e a complexidade do circuito de Determinantes e Multiplicação de Matrizes. Sabe-se que o determinante de um matriz pode ser calculado em ~ O ( H ( n ) ) de tempo, em que M ( N ) é o tempo mínimo necessário para multiplicar...
O algoritmo de Berkowitz fornece um circuito de tamanho polinomial com profundidade logarítmica para determinar uma matriz quadrada usando potências matriciais. O algoritmo usa implicitamente o cancelamento. O cancelamento é essencial para a obtenção de um circuito de tamanho polinomial com...