Em 1979, Freivalds mostrou que a verificação de produtos matriciais em qualquer campo pode ser feita em tempo aleatório O(n2)O(n2)O(n^2). Mais formalmente, dadas três matrizes A, B e C, com entradas de um campo F, o problema de verificar se AB = C possui um algoritmo de tempo aleatório...
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...
Suponha que tenhamos polinômios de grau no máximo , , de modo que o número total de coeficientes diferentes de zero seja (isto é, os polinômios são esparsos). Estou interessado em um algoritmo eficiente para calcular o polinômio: n n > m np1, . . . , pmp1,...,pmp_1,...,p_mnnnn >...
É 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...
2 perguntas para os geômetros computacionais ou algebristas: Estou apenas começando a mergulhar na geometria computacional e estou adorando =) Estou tentando ler o famoso artigo de Guibas e Stolfi chamado "Primitivos para a manipulação de subdivisões gerais e o cálculo dos diagramas de Voronoi"...
Estou interessado em uma função booleana explícita com a seguinte propriedade: se for constante em algum subespaço afim de , então a dimensão deste subespaço é .f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Não é difícil mostrar que uma função...
Quais são os algoritmos eficientes conhecidos para calcular um determinante de uma matriz inteira com coeficientes em , o anel de resíduos módulo m . O número m pode não ser primo, mas composto (portanto, os cálculos são realizados em anel, não em um campo).ZmZm\mathbb{Z}_mmmmmmm Até onde eu sei...
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...
No algoritmo Strassen, para calcular o produto de duas matrizes e B , as matrizes A e B estão divididos em 2 × 2 matrizes de blocos e o algoritmo procede de forma recursiva computação 7 bloco produtos matriz-matriz, por oposição a um naive 8 matriz-bloco produtos matriciais, ou seja, se queremos C...
Dadas duas matrizes e , o problema de decidir se existe uma matriz de permutação tal que seja equivalente a (gráfico isomorfismo). Mas se relaxarmos para ser apenas uma matriz invertível, então qual é a complexidade? Existem outras restrições em uma matriz invertível , além de ser uma permutação,...
Você pode modelar transmissões confiáveis no cálculo pi? Se sim: como? Caso contrário: existem álgebras de processo semelhantes onde você pode? O que eu tentei: Se o remetente quiser enviar uma mensagem y para todos os P 1 a P n , você poderá escrever ! ( ¯ x y ) . S e x ( z ) . P 1 a x...
Considere o seguinte problema: Entrada : um hiperplano H = { y ∈ R n : a T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , dado por um vetor a ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n e b ∈ Zb∈Zb \in \mathbb{Z} na representação binária padrão. Saída : x ∈ Z n...
A transformada de Walsh-Hadamard (WHT) é uma generalização da transformada de Fourier e é uma transformação ortogonal em um vetor de números reais ou complexos de dimensão . A transformação é popular na computação quântica, mas foi estudada recentemente como uma espécie de pré-condicionador para...
Em 2012, Lipton escreveu uma entrada no blog sobre um novo algoritmo para resolver sistemas lineares em campos finitos por Prasad Raghavendra. O link para o rascunho do artigo de Raghavendra sobre o assunto agora está morto , e não consigo encontrar nada sobre o assunto no site de Raghavendra. O...
Coloquialmente, a definição do expoente de multiplicação de matrizes é o menor valor para o qual existe um algoritmo conhecido de multiplicação de matrizes . Como não é aceitável como definição matemática formal, acho que a definição técnica é algo como o mínimo em todo tal forma que existe um...
Qual é a complexidade computacional do seguinte problema: dados duas matrizes complexas e verificam se existe uma matriz de permutação tal que: n×nn×nn\times nAAABBBPPPB=PAPT.B=PAPT.B = P A P^T. Se ajudar, pode-se supor que e são eremitas (ou mesmo que e são reais e
Dada uma matriz (assumindo ), qual é o algoritmo mais rápido para calcular sua classificação e base das colunas?m×nm×nm \times nm≥nm≥nm \ge n Estou ciente de que pode ser resolvido através da interseção matróide linear, que implica um algoritmo determinístico de tempo e um algoritmo aleatório de...
Considere um vetor de variáveis e um conjunto de restrições lineares especificado por .x⃗ x→\vec{x}Ax⃗ ≤bAx→≤bA\vec{x}\leq b Além disso, considere dois
Estou procurando informações sobre a complexidade computacional da multiplicação de matrizes de matrizes retangulares. A Wikipedia afirma que a complexidade de multiplicar por é (multiplicação de livros escolares). B ∈ R n × p O ( m n p )A ∈ Rm × nA∈Rm×nA \in \mathbb{R}^{m \times n}B ∈ Rn ×...
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...