Às vezes, afirma-se que a Teoria da Complexidade Geométrica de Ketan Mulmuley é o único programa plausível para resolver as questões abertas da teoria da complexidade, como a questão P vs. NP. Houve vários comentários positivos de famosos teóricos da complexidade sobre o programa. Segundo Mulmuley,...
Tanto quanto eu entendo, o programa da teoria da complexidade geométrica tenta separar , provando que o permamento de uma matriz de valor complexo é muito mais difícil de calcular do que o determinante.VP≠ VNPVP≠VNPVP \neq VNP A pergunta que tive depois de examinar os Documentos do GCT: Isso...
Em geral, sabemos que a complexidade de testar se uma função assume um valor específico em uma determinada entrada é mais fácil do que avaliar a função nessa entrada. Por exemplo: Avaliar a permanente de uma matriz inteira não negativa é # P-difícil, mas dizer se essa permanente é zero ou...
Seja um número inteiro positivo fixo de tamanho bits.nUMAAAnnn É permitido pré-processar esse número inteiro, conforme apropriado. Dado outro número inteiro positivo de tamanho bits, qual é a complexidade da multiplicação ?m A BBBBmmmA BABAB Observe que já temos os algoritmos . A questão aqui é...
Recentemente, vi vários artigos sobre o arxiv que se referem a um sistema de prova chamado soma de quadrados. Alguém pode explicar o que é uma prova de soma de quadrados e por que essas provas são importantes / interessantes? Como eles estão relacionados a outros sistemas de provas algébricas?...
A teoria das categorias e a álgebra abstrata lidam com a maneira como as funções podem ser combinadas com outras funções. A teoria da complexidade lida com a dificuldade de calcular uma função. É estranho para mim não ter visto ninguém combinar esses campos de estudo, pois eles parecem pares...
Ao ler um artigo sobre o uso de métodos algébricos para detectar alguns subgráficos induzidos, parece que o ideal da aresta é uma ferramenta importante que conecta álgebra comutativa e teoria de grafos. Como não estou familiarizado com cálculos de objetos algébricos, existem boas referências ou...
Essa pergunta pode ser feita tanto na estrutura da complexidade dos circuitos booleanos, quanto na teoria da complexidade algébrica, ou provavelmente em muitas outras configurações. É fácil mostrar, contando argumentos, que existem funções booleanas em N entradas que exigem exponencialmente muitas...
Muitos sistemas de criptografia de chave pública têm algum tipo de segurança comprovável. Por exemplo, o sistema criptográfico Rabin é comprovadamente tão difícil quanto fatorar. Gostaria de saber se existe esse tipo de segurança comprovável para sistemas de criptografia de chave secreta, como o...
Eu quero aprender sobre algoritmos algébricos e complexidade thoery. Em particular, estou interessado em PIT. Existe um conjunto de notas de aula, livros, papéis e pesquisas para estudantes que leram livros didáticos padrão sobre teoria como o livro de Sipser ou o livro de complexidade de...
Como no esta questão, me interessa a vs / problema para tropical e circuitos. Essa questão se reduz à exibição de limites superiores para a dimensão VC de polinômios sobre as semirrependentes tropicais (consulte o Teorema 2 abaixo). B P P BPP\mathbf{BPP}P P\mathbf{P}p o l ypoly\mathrm{poly} ( máx ....
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...
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...
Em seu trabalho seminal, algoritmos teóricos de grupo para multiplicações de matrizes , Cohn, Kleinberg, Szegedy e Umans introduzem o conceito de quebra-cabeça exclusivamente solucionável (definido abaixo) e a capacidade da USP. Eles afirmam que Coppersmith e Winograd, em seu próprio papel inovador...
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...
No famoso exemplo de contador para isomorfismo de grafos através do método Weisfeiler-Lehman (WL), o seguinte dispositivo foi construído neste artigo por Cai, Furer e Immerman. Eles constroem um gráfico dado porXk= ( Vk, Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk= Ak∪ Bk∪ Mk Onde UMAk= { aEu| 1 ≤ i ≤ k }...
Contando argumentos, pode-se mostrar que existem polinômios de grau n em 1 variável (isto é, algo da forma que possui complexidade de circuito n. Além disso, pode-se mostrar que um polinômio como x n requer pelo menos log 2 n multiplicações (você precisa disso apenas para obter um grau alto o...
Seja kkk algum campo. Como sempre, para um f∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in k[x_{1},x_{2},\ldots,x_{n}] , definimos L(f)L(f)L(f) como a complexidade linear de fff sobre kkk . Seja FFF o conjunto de monômios de fff , ou seja, os monômios que aparecem em fff com coeficiente diferente de zero....
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...
A matriz de Moore é semelhante à matriz de Vandermonde, mas possui uma definição ligeiramente modificada. http://en.wikipedia.org/wiki/Moore_matrix Qual é a complexidade de calcular o determinante de um dado módulo n da matriz de Moore n×nn×nn \times n com algum número inteiro? O determinante de...