Perguntas com a marcação «algebra»

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 …

13 fl.formal-languages  automata-theory  algebra  regular-language 

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 ∈ { …

13 randomness  pr.probability  algebra  polynomials 

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 fatoração é completa (embora …

12 cc.complexity-theory  big-list  algebra  open-problem 

Dadas duas permutações e sobre elementos (ou seja, membros de ), qual é a complexidade de calcular a ordem do subgrupo gerado por ? Ou apenas decidir se o subgrupo está na ordem(ou seja, todos os )?h n S n g , h n ! S nggghhhnnnSnSnS_ng, hg,hg,hn !n!n!SnSnS_n

10 cc.complexity-theory  algebra  gr.group-theory 

Podemos fazer convolução em para mais / multiplicar polinômios com FFT. No entanto, a abordagem não parece muito generalizável para anéis em geral. Houve algum progresso na convolução ingênua de para o anel max / plus?O(nlogn)O(nlog⁡n)O(n\log n)O(n2)O(n2)O(n^2) Devo observar que é possível transformar soft-max / plus em plus / product …

10 algebra  polynomials  fft  convolution 

Ultimamente, me interessei por geometria algébrica e comecei a ler sobre ela. Ainda sei muito pouco sobre esse campo, mas quero saber se ele tem alguma conexão com meu campo principal, teoria de tipos e linguagens de programação. Eu sei que a topologia algébrica tem muitas aplicações na teoria dos …

9 pl.programming-languages  type-theory  algebra 

Seja um alfabeto finito. Para um determinado idioma L ⊆ A * o monoid sintática M ( L ) é uma noção bem conhecida na teoria da linguagem formal. Além disso, um monóide M reconhece uma linguagem L se existir um morfismo φ : A ∗ → M tal que …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

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 pesquisa …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

Introdução Estou escrevendo minha tese de doutorado em Abstract Delta Modeling (ADM), uma descrição algébrica abstrata de modificações (conhecidas como deltas ) capazes de atuar em produtos (como em 'produtos de software'). Isso pode ser usado para organizar um conjunto de produtos relacionados (uma 'linha de produtos') como um produto …

9 pl.programming-languages  algebra  monoid 

Um dos principais problemas na enumeração de gráfico é determinar a 'forma' de um gráfico, por exemplo, a classe de isomorfismo de qualquer gráfico específico. Estou perfeitamente ciente de que todo gráfico pode ser representado como uma matriz simétrica. No entanto, para obter sua forma, você precisará de uma coleção …

9 graph-theory  co.combinatorics  algebra 

Eu estou olhando para escrever uma pesquisa sobre o método de representar a dinâmica da computação baseada no estado dentro da estrutura das barras de carvão. Até agora, consegui encontrar documentos sobre representações de coalgebra de DFA, NFA, máquinas Mealy, máquinas Moore, gramáticas livres de contexto e até sistemas quânticos …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

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 conceitos …

8 pl.programming-languages  type-theory  algebra  ct.category-theory 

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 …

8 cc.complexity-theory  algebra  factoring 

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 tentado com classes de complexidade …

8 cc.complexity-theory  complexity-classes  algebra 

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 …

8 algebra  lattice  order-theory