Suponha que operemos em um campo finito. Nos é dado um grande polinômio fixo p (x) (de, digamos, grau 1000) sobre esse campo. Esse polinômio é conhecido de antemão e temos permissão para fazer cálculos usando muitos recursos na "fase inicial". Esses resultados podem ser armazenados em tabelas de...
Comparado aos espectros de gráficos não direcionados, que correspondem a matrizes simétricas, o espectro de gráficos direcionados não é muito conhecido: Sabe-se que um gráfico direcionado possui uma matriz de adjacência cujos valores próprios são binários se for a-cíclico. Isto segue classificando...
O teorema do ponto de fixação de Tarski afirma que os pontos de fixação de um operador monótono em uma rede completa são uma rede completa. Por conseqüência, temos um ponto de correção maior e menos único para um operador monótono em uma rede completa. Os pontos de correção podem ser únicos, mas...
Alguém conhece algum formalismo algébrico (ou relacionado) de processo que captura informações de localização refinadas? Eu estou familiarizado com ambientes e gráficos grandes, que obviamente têm um modelo de localização, mas e as tentativas de modelar informações de localização mais concretas, de...
Não tenho formação em ciência da computação teórica, mas gostaria de entender a que tipo de objetos teóricos os conceitos C ++ correspondem. Basicamente, os conceitos de C ++ permitem definir um conjunto de tipos que satisfazem uma lista de restrições. Portanto, do ponto de vista teórico, a que...
Estou procurando trabalho para calcular o fechamento transitivo de uma relação afim no seguinte sentido: Seja a relação definida por um sistema de desigualdades lineares sobre as variáveis reais , iex 1 , … , x n , x ′ 1 , … , x ′ nR ( x1, … , Xn, x′1, … ,...
Qual é o algoritmo mais rápido conhecido por fatorar polinômios com nnn variáveis e grau total ≤d≤d\leq d ? Aqui, nnn está crescendo ddd é fixo. A maioria dos trabalhos parece considerar o caso quando ddd está crescendo e nnn é fixo. Estou interessado em resultados tanto em campos finitos quanto...
Espero que esta pergunta não seja muito ingênua para este site. Em matemática (topologia, geometria, álgebra), é comum distinguir entre dois objetos criando uma invariante algébrica ou numérica e provando que os dois objetos têm valores diferentes. Estou me perguntando até que ponto isso foi...
Considere os seguintes problemas: Problema de vetores ortogonais Entrada: um conjunto SSS de vetores booleanos, cada um de comprimento .nnnddd Pergunta: Existem vetores distintos e tais que ?v1v1v_1v2∈Sv2∈Sv_2 \in Sv1⋅v2=0v1⋅v2=0v_1 \cdot v_2 = 0 Problema de vetores não ortogonais...
Estou usando um cálculo da matriz Variância-Covariância em um programa que escrevi (para Análise de Componentes Principais) e fico imaginando qual é a complexidade dela. Embora obviamente a decomposição do Eigenvector esteja causando o maior impacto no desempenho, estou me perguntando quanto desse...