Seja uma linguagem, então definimos a congruência sintática como e o quociente monoid é chamado o monoid sintática de .L⊆X∗L⊆X∗L \subseteq X^{\ast}u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u \sim v :\Leftrightarrow \forall x, y\in X^{\ast} : xuy \in L \leftrightarrow xvy \in...
Questão. Em seu artigo Simulação aprimorada de circuitos estabilizadores , Aaronson e Gottesman afirmam que a simulação de um circuito CNOT é completa em L (sob reduções no espaço de log). É claro que está contido em ⊕L ; como se mantém o resultado da dureza? Equivalentemente: há uma redução do...
Existe , uma linguagem completa NP ou P que possui alguma família de grupos de simetria (ou grupóides , mas as perguntas algorítmicas ficam mais abertas) atuando (em tempo polinomial) nos conjuntos que haja poucas órbitas, ou seja, para que para grande o suficiente e alguns , e tal que possa ser...
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...
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 =
O que se sabe sobre a classe de idiomas reconhecida por autômatos finitos com o mesmo estado inicial e de aceitação? Este é um subconjunto adequado dos idiomas regulares (já que todos os idiomas contêm a string vazia), mas qual é a sua fraqueza? Existe uma caracterização algébrica simples? O mesmo...
Dada uma matriz com entradas racionais. Qual é a complexidade para verificar é diagonalizável?A An × nn×nn\times nUMAAAUMAAA Suspeito que isso possa ser feito em P, mas não conheço nenhuma referência. No entanto, uma pergunta mais interessante é: existe alguma classe de complexidade melhor para...
Minha formação é em teoria / lógica da complexidade (onde há apenas um processo na maioria das vezes) e em computação distribuída (onde há processos e um ou mais podem falhar ao longo do tempo). No entanto, agora eu quero poder dizer algo sobre um processo de criação / criação / criação de outro...
Eu estava pesquisando sobre multiplicação de matrizes, então eu primeiro visitei algoritmos de multiplicação de matrizes wiki . Nas referências, encontrei um artigo que afirma que usa o algoritmo O ( n2l o g( N ) )O(n2log(n))O(n^2 log(n)) , gostaria de ler o artigo, mas é complicado e leva muito...
Seja uma matriz real quadrada A e dois vetores x e b de comprimento n , de modo que A x = b . A resolução de x através da Eliminação Gaussiana padrão produz uma complexidade agregada de quase O ( n 3 ) . No entanto, há casos em que a solução (ou ϵ - aproximadamente) de x custos O ( n log ρ n ) ,...
Eu tenho um problema algébrico relacionado a vetores no campo GF (2). Seja v1, v2, … , Vmv1,v2,...,vmv_1, v_2, \ldots, v_m (0,1) - vetores da dimensão e . Encontre um algoritmo de tempo polinomial que encontre um vetor (0,1) da mesma dimensão, de modo que não seja a soma de nenhum vetores entre . A...
Eu tenho uma pergunta sobre polinômios de baixo grau e probabilidade: Qual é a (comportamento assiptótico da) probabilidade de que um polinômio * aleatório, , acima de GF (2), com grau e n variáveis tenha .≤ d b i a s ( p ) ≜ | Pr x ∈ { 0 , 1 } n ( p ( x ) = 0 ) - Pr x ∈ { 0 , 1 } n ( p ( x ) = 1...
Quão difícil é encontrar a solução mais esparsa para um sistema de equações lineares? Mais formalmente, considere o seguinte problema de decisão: Instância: Um sistema de equações lineares com coeficientes inteiros e um número .ccc Pergunta: Existe uma solução para o sistema com pelo menos...
Sabemos, por exemplo, de Koutis-Miller-Peng (baseado no trabalho de Spielman & Teng), que podemos resolver muito rapidamente sistemas lineares Ax=bAx=bA x = b para matrizes AAA que são o gráfico da matriz laplaciana para algum gráfico esparso com pesos de borda não negativos . Agora (primeira...
Estou procurando uma lista sobre a complexidade conhecida ou desconhecida de vários problemas teóricos / algébricos de números. Por exemplo, GCD em está aberto,NC1NC1NC^1 factoring em é aberto,PPP a cohomologia do feixe de computação é -hard# P#P\#P , Arora e Barak afirmam que uma variante de...
Suponha que desejamos multiplicar matrizes. O algoritmo de multiplicação de matriz lenta é executado no tempo O ( n 3 ) e usa memória O ( n 2 ) . A multiplicação mais rápida da matriz ocorre no tempo n ω + o ( 1 ) , onde ω é a álgebra linear constante, mas o que se sabe sobre sua complexidade de...
I tem um conjunto de binário vectores S = { s 1 , ... , s n } ⊆ { 0 , 1 } k ∖ { 1 k } e um vector alvo t = 1 k , que é o vector de todos-onas.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\}t=1kt=1kt = 1^k Conjectura: Se pode ser...
Em geral, decidir se uma equação diofantina tem soluções inteiras é equivalente ao problema de parada. Acredito que decidir se uma equação diofantina quadrática tem alguma solução é NP-completo. Existe alguma restrição adicional nas equações envolvidas que gera um problema de P...
EDIT (Por Tara B): Eu ainda estaria interessado em uma referência a uma prova disso, pois eu mesmo tinha que provar isso para o meu próprio artigo. Estou procurando a prova do Teorema 4 que aparece neste artigo: Uma hierarquia infinita de interseções de idiomas sem contexto por Liu e Weiner....
No cs.stackexchange , perguntei sobre a biblioteca algebird scala no github, especulando por que eles precisam de um pacote de álgebra abstrata. A página do github tem algumas dicas: Implementações de Monoids para algoritmos de aproximação interessantes, como filtro Bloom, HyperLogLog e...