Babai e Seress provaram que, dado um subgrupo e um grupo gerador de , qualquer permutação em pode ser escrita como um produto de geradores e seus inversos de comprimento . Esse limite é ideal, pois tem um elemento de ordem . S G G e ( 1 + o ( 1 ) ) √G ≤ SnG≤SnG \leq S_nSSSGGGGGG Sne(1+o(1)) √e( 1 +...
Digamos que eu trabalho na teoria dos tipos de homotopia e meus únicos objetos de estudo são categorias convencionais. Equivalências aqui são dadas por functors e G : C ⟶ D que fornecem equivalências das categorias C ≃ D . Existem isomorfismos naturais α : n a t ( F G , 1 C ) e β : n a t ( G F , 1...
Especificamente o que quero dizer com adição é, definimos para ser o alfabeto { 0 , 1 , 2 , . . . , eu } . Línguas dadas regulares A e B sob algum alfabeto Σ i , olhada A × B .ΣiΣi\Sigma_i{0,1,2,...,i}{0,1,2,...,i}\{0, 1, 2, ..., i\}AAABBBΣiΣi\Sigma_iA×BA×BA\times B Para cada par ordenado ,...
A hipótese de Riemann, com mais de um século e meio de idade, tem implicações profundas na matemática e agora um grande edifício da teoria matemática é provado condicionalmente, além de inúmeras variantes. Recentemente, deparei com uma referência a um resultado condicional no TCS com base na...
Histórico: O processamento de transações tem sido um tópico de pesquisa tradicional na teoria de bancos de dados. Atualmente, as transações distribuídas são popularizadas pelos sistemas de armazenamento distribuído em larga escala, que geralmente envolvem partição de dados (também chamada de...
Minha pergunta é sobre algoritmos quânticos para cálculos de QED (eletrodinâmica quântica) relacionados às constantes de estrutura fina. Tais cálculos (como me explicaram) equivalem ao cálculo de séries do tipo Taylor ondeé a constante de estrutura fina (em torno de 1/137) eé a contribuição dos...
Qual é a abordagem padrão para minimizar o Büchi-Automata (ou também o Müller-Automata)? Transferir a técnica usual de palavras finitas, ou seja, definir dois estados como iguais se as palavras "acabando" dos estados aceitos forem iguais, não funcionará. Por exemplo, considere o Büchi-Automoton...
No artigo de 1965 " Sobre a complexidade computacional dos algoritmos ", de Hartmanis e Stearns, os autores conjeturam que se uma Máquina de Turing em tempo real computa o número real , por exemplo, na base 10, então é um número racional ou um número transcendental.rrrrrr Existe um número...
Equivalentemente, existe uma semântica denotacional conhecida para linguagens de programação funcional probabilística de ordem superior? Especificamente, existe um modelo de domínio de cálculo puro não tipado estendido por uma operação de escolha binária aleatória simétrica.λλ\lambda Motivação As...
A complexidade da prova é uma área mais básica da teoria da complexidade computacional. Um objetivo final dessa área é provar , ou seja, qualquer provador não pode dar uma prova de insatisfação de determinada fórmula de entrada. NP≠coNPNP≠coNPNP\neq coNP Um gráfico é um modelo formal de provas....
É um fato bastante conhecido que derivar uma contradição de uma desigualdade (por exemplo, ) na teoria do tipo Martin-Loef requer um universo.( 0 = 1 ) → ⊥(0 0=1 1)→⊥(0=1) \to \bot A prova também é bastante direta - na ausência de universos, podemos apagar as dependências de qualquer tipo...
O problema de isomorfismo gráfico é um dos problemas mais antigos que resistiram à classificação em problemas ou . Temos evidências de que não pode ser completo. Em primeiro lugar, o isomorfismo do gráfico não pode ser completo, a menos que a hierarquia polinomial [1] desmorone para o segundo...
Após as perguntas equivalentes sobre NP-Completeness (consulte a pergunta sobre peso e a pergunta direcionada ), fiquei pensando como os problemas parametrizados são afetados por esses atributos. Quais gráfico duro são -Duro em gráficos direcionados, mas parâmetros fixos tratáveis em...
Talvez a principal fonte de problemas de desempenho em Haskell seja quando um programa cria inadvertidamente um thunk de profundidade ilimitada - isso causa um vazamento de memória e um potencial estouro de pilha ao avaliar. O exemplo clássico está definindo sum = foldr (+) 0em Haskell. Existe...
Os problemas foram classificados como um todo graças à complexidade computacional. Mas, em equações diferenciais, é possível classificar equações diferenciais dependendo de sua estrutura computacional? Por exemplo, se uma equação não homogênea de primeira ordem é comparativamente difícil de...
Para uma prova de correção, estou procurando uma noção utilizável de equivalência de programa para os sistemas de tipo puro (PTSs) de Barendregt; falta isso, para sistemas de tipos específicos suficientes. Meu objetivo é simplesmente usar a noção, não investigá-la por si mesma.≅≅\cong Essa noção...
Q . Qual é a complexidade de encontrar a maior célula delimitada por volume em um arranjo de hiperplanos na dimensão d ?nnnddd Sinto que deveria saber disso ... Mas não estou encontrando uma referência definitiva. É ? E a especialização d = 2 : a maior célula delimitada por área em um arranjo...
Há um problema em aberto em idiomas formais conhecido como Problema de Separação; que é brevemente indicado como duas seqüências distintas de comprimento , qual o tamanho de um DFA necessário para "separá-las", o que significa aceitar uma sequência, mas rejeitar a outra.nnn Aqui estão alguns...
Qual é a complexidade do seguinte problema ( P? NP-hard?):∈∈\in Entrada: um gráfico acíclico direcionado , um conjunto de arestas inversas E ′ ⊂ V × V e dois nós distintos s e t .D=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsssttt Pergunta: Seja denotar o gráfico formado adicionando a D as...
No teste de identidade polinomial, buscamos um algoritmo determinístico para inferir a igualdade de dois polinômios . Derandomizar algoritmos aleatórios eficientes conhecidos e produzir um algoritmo determinístico eficiente é um importante problema em aberto. Existe um problema completo para o PIT,...