Ciência da Computação Teórica

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 polinomiais de tamanho), pode ser …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

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 linguagens sem contexto e autômatos …

17 context-free  automata-theory  reference-request 

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 que isso é mais específico do que pode ser). tudo isso …

17 lo.logic  computability  ct.category-theory  kolmogorov-complexity 

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 …

17 cg.comp-geom  linear-programming  computational-geometry 

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 separados. Questão Como complicado são estes oráculos que …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

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 ano em Seattle. A cultura da comunidade …

17 soft-question  conferences 

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: λf.fKSK tamanho 12: λf.fS (λxyz.x) tamanho 11: …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

É 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 eueuL exibe transição de …

17 cc.complexity-theory  phase-transition 

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 …

17 type-theory  lambda-calculus  dependent-type 

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 …

17 cc.complexity-theory  reference-request  circuit-complexity 

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 é conhecido por estar no coAM? Além disso, …

17 cc.complexity-theory  graph-isomorphism  gr.group-theory 

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 sua complexidade? Ainda não consegui pensar em um algoritmo ideal eficiente, mas …

17 cc.complexity-theory  ds.algorithms  optimization 

Para um grafo orientado acíclico , existe uma estrutura de dados que permite a consultas de acessibilidade sem a necessidade de espaço quadrática ou tempo linear? Idealmente, procuro um algoritmo usando apenas O (log n) de espaço por vértice e tempo logarítmico em⟨ V, E⟩⟨V,E⟩{\langle}V,E{\rangle} que .n = | V| …

17 graph-algorithms 

Este artigo afirma que a análise tradicional da taxa de erro nos filtros Bloom está incorreta e fornece uma análise longa e não trivial da taxa de erro real. O artigo vinculado foi publicado em 2010, mas vi que a análise tradicional dos filtros Bloom continuava sendo ensinada em vários …

17 ds.data-structures 

O limite inferior Blum é limite inferior do circuito mais conhecido em toda a base para uma função explícita , cf. A resposta de Jukna a esta pergunta para resultados relacionados.3n−o(n)3n−o(n)3n-o(n)f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} Quais são os limites inferiores mais conhecidos se o intervalo de for ? Em particular, …

17 circuit-complexity  lower-bounds