Sabe-se que o tamanho mínimo dos circuitos calculam a função de paridade é exatamente igual a 3 ( n - 1 )você2você2U_23 ( n - 1 )3(n-1 1)3(n-1) . A prova do limite inferior é baseada no método de eliminação do portão. Recentemente, notei que o método de eliminação portão funciona bem também para...
Dado o grupo de simetria e dois subgrupos e , mantém?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Tanto quanto eu sei, o problema é conhecido como o problema de interseção de coset. Eu estou querendo saber qual é a complexidade? Em particular, esse problema é...
Considere este problema: Dada uma lista de conjuntos finitos, localize os pedidos que minimizam .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots Existem algoritmos conhecidos para isso? Qual é a...
Imagine, definimos números naturais no cálculo lambda de tipo dependente como números da Igreja. Eles podem ser definidos da seguinte maneira: SimpleNat = (R : Set) → R → (R → R) → R zero : SimpleNat zero = λ R z _ → z suc : SimpleNat → SimpleNat suc sn = λ R z s → s (sn R z s) SimpleNatRec :...
Estou procurando o menor combinador universal possível , medido pelo número de abstrações e aplicativos necessários para especificar esse combinador no cálculo lambda . Exemplos de combinadores universais incluem: tamanho 23: λf.f (fS (KKKI)) K tamanho 18: λf.f (fS (KK)) K tamanho 14:...
Background . Sou um estudante de bacharel interessado em pesquisas relacionadas à teoria das categorias, mônadas e Haskell, e quero encontrar um tópico para a tese de bacharel nessa área. Eu olhei para o jornal Eugenio Moggi , “ Noções de Computação e Mônadas ”, 1991, e ainda não entendo...
É sabido que muitos problemas NP-completos exibem transição de fase. Estou interessado aqui na transição de fase com relação à contenção na linguagem, em vez da dureza da entrada, relativa a um algoritmo. Para tornar o conceito inequívoco, vamos defini-lo formalmente da seguinte forma. Uma língua...
Eu sou um matemático que trabalha principalmente na teoria espectral de operadores autônomos e unitários. Algumas de minhas pesquisas são relevantes em caminhadas quânticas, e eu tenho um artigo em particular que gostaria de apresentar na conferência Quantum Information Processing em janeiro deste...
No livro de Sakarovitch sobre a teoria dos autômatos, está escrito na introdução à seção sobre racionais no grupo livre que o material apresentado nele estabelece "o fundamento de uma teoria verdadeiramente matemática das linguagens livres de contexto". No entanto, isso não é explicitado, pois...
Muitos teoremas e "paradoxos" - diagonalização de Cantor, indecidibilidade de hatling, indeciabilidade da complexidade de Kolmogorov, incompletude de Gödel, incompletude de Chaitin, incompletude de Chaitin, paradoxo de Russell etc. - todos têm essencialmente a mesma prova de diagonalização (observe...
fundo Sabe-se que existe um oráculo AAA tal que, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . É sabido até que a separação se aplica a um oráculo aleatório. Informalmente, pode-se interpretar isto para dizer que há muitas oráculos para os quais PSPACEPSPACEPSPACE e PHPHPH são...
Estou ciente de pelo menos duas abordagens teóricas diferentes para entender os bancos de dados relacionais: a álgebra / cálculo relacional de Codd e a teoria das categorias. Existe alguma relação entre essas duas abordagens? Em certo sentido, eles são equivalentes? Existe algum trabalho...
Suponha que temos um conjunto finito euLL de discos em , e queremos calcular o menor disco para o qual . Uma forma normal de fazer isto é a utilização do algoritmo de MATOUSEK, Sharir e Welzl [1] para encontrar uma base do , e deixar , o menor disco contendo . O disco pode ser computado...
Um circuito booleano não determinístico possui, além das entradas ordinárias , um conjunto de entradas "não determinísticas" . Um circuito não determinístico aceita a entrada se existir modo que a saída do circuito esteja ligada . Análoga a (a classe de linguagens decidíveis por circuitos...
É possível converter um CNF em outro CNF tal que Ψ ( C )CC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) A função pode ser calculada em tempo polinomial a partir de algum parâmetro aleatório secreto .rΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) tem uma solução se e somente se tiver uma solução.CC\mathcal C Qualquer...
Quais são alguns dos principais problemas de complexidade computacional aberta que surgem das linguagens de programação, especialmente a análise e compilação de programas? Estou procurando problemas nas linhas "da complexidade temporal da inferência do tipo Hindley-Milner" ou "da complexidade...
Peço desculpas se isso estiver fora de tópico. Parece que o nome do domínio expirou. Espero que alguns membros da comunidade aqui (eu não sou um) possam saber quem foi o administrador / proprietário desse site. Foi um recurso bastante
Uma palavra é chamada primitiva , se não houver palavra e modo que . O conjunto de todas as palavras primitivas sobre um alfabeto é uma linguagem bem conhecida. WLOG, podemos escolher .wwwvvvk>1k>1k > 1w=vkw=vkw = v^kQQQΣΣ\SigmaΣ={a,b}Σ={a,b}\Sigma = \{ a,b \} Um idioma é primo , se para...
Costuma-se dizer que, ao usar o algoritmo MD5 para assinar algumas informações arbitrárias, o segredo compartilhado deve estar no final. Por
Vinte anos atrás, criei um pacote de expressões regulares que incluía conversões de expressões regulares em uma máquina de estado finito (DFA) e oferecia suporte a uma série de operações fechadas de expressões regulares (estrela Kleene, concatenação, reversão, operações de conjunto etc.). Eu não...