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 como a seguinte congruência correta: u ∼ v ⇔ (∀ x) [ux ∈ L ↔ vx ∈ L]. Seja [u] a classe de...
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 ideal S = n ℤ ou...
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...
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...
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
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...
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 tempo polinomial Turing...
LogCFL é o conjunto de todos os idiomas com espaço de log redutível para um idioma sem contexto. Da mesma forma, LogDCFL é o conjunto de todos os idiomas com espaço de log redutível para um idioma sem contexto determinístico. Consulte este artigo da Wikipedia para alguns problemas naturais...
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...
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...
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...
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...
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 - das restrições ou se não existem...
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
Estou procurando exemplos de técnicas para provar os limites dos preços da anarquia que têm o poder de separar o preço da anarquia sobre equilíbrios correlatos grosseiros (o conjunto limitador da dinâmica de não-arrependimento externo) do preço da anarquia sobre os equilíbrios correlatos (os...
Eu estive pensando em uma variante do hex , onde, em vez de os dois jogadores fazerem movimentos alternadamente, cada turno que um jogador escolhido aleatoriamente faz um movimento. Quão difícil é determinar as chances de cada jogador vencer? Obviamente, esse problema está no PSPACE, mas não pode...
Gráficos livres de X são aqueles que não contêm gráfico de X como um subgrafo induzido. Um buraco é um ciclo com pelo menos 4 vértices. Um buraco ímpar é um buraco com um número ímpar de vértices. Um anti - furo é o complemento de um buraco. Os gráficos livres de orifícios ímpares e orifícios...
Esta pergunta é sobre a página 125 do livro "Autômatos celulares em espaços hiperbólicos: volume 2" Por Maurice Margenstern, Publisher Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 Na opinião do autor, a questão P = NP está mal colocada, porque no...
Considere o seguinte processo: Existem compartimentos organizados de cima para baixo. Inicialmente, cada caixa contém uma bola. Em cada passo, nósnnn escolha uma bola aleatória ebbb mova todas as bolas da bandeja que contém para a bandeja abaixo dela. Se já era o compartimento mais baixo,...
Suponha que você tenha dois participantes arbitrariamente poderosos que não confiam um no outro. Eles têm acesso ao comprometimento de bits (por exemplo, envelopes selados contendo dados que um jogador pode entregar ao outro, mas que não podem ser abertos até que o primeiro jogador dê uma chave ao...