Perguntas com a marcação «cc.complexity-theory»

No livro de Arora-Barak, na definição de funções construtivas no tempo, diz-se que o uso de funções que não são construtíveis no tempo pode levar a "resultados anômalos". Alguém tem um exemplo desse "resultado anômalo"? Ouvi, em particular, que podem existir funções tais que o teorema da hierarquia de tempo …

10 cc.complexity-theory 

Atualização: Parece que esse problema foi estudado e resolvido recentemente, consulte este artigo da wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton E também esta pesquisa: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Suponha que, em vez do conjunto usual de palavras {0,1} *, nossas palavras não sejam lineares, mas sim apresentadas em alguma estrutura de árvore. Para impedir que nossas …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

Declaração do problema: Seja MMM um autômato pushdown (potencialmente não determinístico) e seja AA\cal A seu alfabeto de entrada. Existe uma palavra w∈A∗w∈A∗w \in \cal A^* st |w|≤k|w|≤k|w| \leq k que é aceito por MMM ? Esse problema está completo? Foi estudado? Existe um algoritmo que permita encontrar essa palavra?

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Para muitos problemas, o algoritmo com a melhor complexidade assintótica tem um fator constante muito grande, oculto pela grande notação O. Isso ocorre na multiplicação de matrizes, multiplicação de números inteiros (especificamente, o recente algoritmo de multiplicação de números inteiros O (n log n) de Harvey e van der Hoeven), …

9 cc.complexity-theory  ds.algorithms  time-complexity 

Existe um tipo de resultado no TCS geralmente chamado de resultados de inicialização . Em geral, é da forma Se a proposição AAA mantém, então a proposição A′A′A' mantém. onde AAA e A′A′A' são proposições que parecem semelhantes, e AAA é aparentemente "mais fraco" que A′A′A' , razão pela qual …

9 cc.complexity-theory 

Uma forma mais fraca do Primeiro Teorema da Incompletude de Gödel, cujas provas diretas são longas, envolvidas e em algum lugar um tanto contra-intuitivas, possui uma prova simples e intuitiva baseada na indecidibilidade do problema de parada - veja, por exemplo, https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof Quem propôs essa prova pela primeira …

9 cc.complexity-theory  lo.logic  halting-problem 

Quais são os limites superiores assintóticos mais conhecidos em tamanhos de provas probabilisticamente verificáveis? Idealmente, estou procurando uma pesquisa contemporânea sobre essa ampla questão, mas, se não houver, estou especialmente interessado na falta de aproximação do 3-SAT. Seja 7/8 + ε-3-SAT com 3-SAT com a promessa de que, se a …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Após os sucessos mais recentes e mais recentes das redes neurais nos jogos de tabuleiro, parece que o próximo objetivo que estabelecemos poderia ser algo mais útil do que derrotar humanos em Starcraft. Mais precisamente, eu me perguntava se As redes neurais podem ser treinadas para resolver problemas algorítmicos clássicos? …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

Qual é o método de aproximação de Razborov? Alguém pode dar uma visão geral de alto nível e a intuição por trás disso?

9 cc.complexity-theory  circuit-complexity 

O tempo quase polinomial, ou QP, é uma classe de complexidade na máquina de Turing determinística. Aqui está a definição precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Enquanto βP é uma classe de complexidade de não determinismo limitado. Aqui está a definição precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap É fácil ver que qualquer máquina de βP pode ser simulada …

9 cc.complexity-theory  complexity-classes 

Para um idioma fixo em algum alfabeto , vamos considerar o seguinte problema, que chamo de INTERLEAVING :A LeuLLUMAAAeueuL Entrada: duas palavrasu , v ∈ A∗você,v∈UMA∗u, v \in A^* Saída: se existe uma intercalação de e , que está em .v LvocêvocêuvvveueuL Aqui, uma intercalação de duas palavras e é …

9 cc.complexity-theory  reference-request  regular-language 

Existe algum número transcendental computável conhecido tal que o seu º dígito é computável em tempo polinomial, mas não em ?O ( n )nnnO(n)O(n)O(n)

9 cc.complexity-theory  comp-number-theory 

Seja um alfabeto de tamanho e considere DFAs mínimos, cujo tamanho é limitado por no máximo . Seja o número de diferentes DFAs mínimos.2 m f ( m )ΣΣ\Sigma222mmmf(m)f(m)f(m) Podemos encontrar uma fórmula de forma fechada para ?f(m)f(m)f(m) Considerando que para a função de transição de um DFA de tamanho …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Este é um acompanhamento da aceleração não determinística da computação determinística . É plausível que o não determinismo (ou alternância mais geralmente) permita uma aceleração quadrática geral da computação determinística? Ou existem consequências implausíveis conhecidas para algo como ?D T i m e ( n2) ⊆ N t i m …

9 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

O problema padrão 1-em-3 SAT (ou XSAT ou X3SAT) é: Instância : uma fórmula CNF com todas as cláusulas contendo exatamente 3 literais. Pergunta : existe uma atribuição satisfatória configurando exatamente 1 literal por cláusula? O problema é NP-completo e permanece difícil, mesmo se nenhuma variável ocorrer negada. Gostaria de …

9 cc.complexity-theory  np-hardness  sat