Ciência da Computação Teórica

Nisan provou em "Geradores Psico-Aleatórios para Computação Limitada ao Espaço", que existe um gerador pseudo-aleatório que "engana" os cálculos limitados pelo espaço. Essa construção vale para todos os oráculos (pelo menos para consultas não adaptativas)?

16 cc.complexity-theory  space-bounded  derandomization 

Blum, Micali e Feldman (BFM) propuseram um novo modelo (criptográfico), no qual todas as partes (honestas ou adversárias) têm acesso a alguma string. Presume-se que a sequência seja selecionada de acordo com alguma distribuição (geralmente, distribuição uniforme) por uma parte confiável. É chamado de cadeia de referência e o modelo …

16 cr.crypto-security 

Antecedentes : No artigo UGC original de Subhash Khot ( PDF ), ele prova a dureza UG de decidir se uma determinada instância CSP com restrições de todo o formato Não igual a todos (a, b, c) ao longo de um alfabeto ternário admite uma tarefa que satisfaça 1 - …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Estou interessado em duas perguntas sobre linguagens sensíveis ao contexto (CSL) e integridade: Existe uma noção de integridade para CSL e quais idiomas estão completos? Existem CSL naturais que são NP-completas? Para 2., certamente posso pensar em linguagens naturais completas de NP que são CSL (como CSL é igual a …

16 np-hardness  fl.formal-languages  space-bounded 

Suponha que recebamos uma matriz n por n, M, com entradas inteiras. Podemos decidir em P se existe uma permutação tal que, para todas as permutações , tenhamos ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Meu σ( I )≠ ¸ Meu π( I )ΠMEuσ(Eu)≠ΠMEuπ(Eu)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Observações É claro que se pode substituir o …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Como na área de artigos do ACM Journal on Experimental Algorithmic JEA . Quais foram os trabalhos fundamentais? Quais são os principais resultados? Como eles são caracterizados? Alguma conexão interessante com outras áreas da ciência da computação?

16 ds.algorithms  reference-request  experimental 

Uma lacuna que eu sempre sabia que realmente não entendo é entre complexidade computacional não uniforme e uniforme, onde a complexidade do circuito representa a versão não uniforme e as máquinas de Turing são onde as coisas são uniformes. Suponho que "uniforme" é uma maneira de restringir a classe de …

16 cc.complexity-theory  circuit-complexity 

O problema de automorfismo livre de ponto corrigido por solicita um automorfismo gráfico que move pelo menos k ( n ) nós. O problema é N P - completo se k ( n ) = n c para qualquer ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc > 0. No entanto, se , o problema é o …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

A famosa Imagem do Mundo de Neil Immerman é a seguinte (clique para ampliar): Sua classe "Verdadeiramente viável" não inclui nenhuma outra classe; minha pergunta é então: O que é um problema de AC 0 considerado não prático e por quê?

16 cc.complexity-theory  circuit-complexity 

Em [1], Turan mostra que a sensibilidade (chamada "complexidade crítica" no artigo) de uma propriedade de gráfico é estritamente maior que ondemé o número de vértices no gráfico. Ele continua conjecturando que qualquer propriedade não-trivial do gráfico tenha sensibilidade≥m-1. Ele menciona que isso foi verificado param≤5. Houve algum progresso nessa …

16 graph-theory  property-testing 

Adleman, FOCS'78 mostrou que qualquer circuito aleatório para entradas de comprimento pode ser des randomizado de maneira não uniforme. No entanto, a construção duplica efetivamente o circuito original vezes, portanto o circuito derandomizado é maior que o original por um fator de . Existe alguma construção mais eficiente por aí …

16 derandomization 

A beta-eta-teoria do cálculo lambda é pós-completa. Regras adicionais podem ser adicionadas para estender a teoria beta do cálculo lambda para obter teorias confluentes além da teoria beta-eta? Postscript Essa pergunta violou minha própria regra de que as perguntas deveriam explicar por que o questionador se importa. Me ocorreu uma …

16 lambda-calculus 

Para uma linguagem L ⊆ Σ ^ * , defina a congruência sintática ≡ de L como a menor congruência em Σ ^ * que satura L , ou seja: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Agora defina a equivalência de Nerode …

16 automata-theory  fl.formal-languages 

Este é um acompanhamento para esta pergunta em math.stackexchange. Digamos que um conjunto não vazio S ℤ ℤ seja auto-sustentável se, para todo a ∈ S, existirem elementos distintos b, c ∈ S tais que a = b + c. Para números inteiros positivos n , exemplos simples incluem o …

16 ds.algorithms  co.combinatorics 

Costuma-se dizer que, ao usar o algoritmo MD5 para assinar algumas informações arbitrárias, o segredo compartilhado deve estar no final. Por quê?

16 hash-function  cr.crypto-security