Ciência da Computação Teórica

Onde posso encontrar uma introdução aos autômatos probabilísticos e o que eles reconhecem (certas funções de palavras a )? Existe um termo padrão para essas funções que são reconhecidas por autômatos probabilísticos, análogos a "linguagens regulares" para o que os autômatos finitos determinísticos (DFAs) reconhecem?[ 0 , 1 ][0,1][0,1] Estou …

10 reference-request  fl.formal-languages  probabilistic-automata 

A teoria do tipo construtivo, com sua interpretação básica sob a correspondência curry howard, consiste apenas de funções computáveis ​​totais. Na literatura, alguns foram mencionados sobre o uso da "teoria dos tipos computacionais" para representar a não terminação em programas funcionais; no entanto, nos artigos que encontrei, essa não parece …

10 lo.logic  type-theory  oracles  halting-problem 

A inclusão inversa é óbvia, assim como o fato de que qualquer linguagem NP auto-redutível na BPP também está na RP. Isso também é conhecido por idiomas NP não auto-redutíveis?

10 cc.complexity-theory  derandomization  pseudorandomness 

Seja AAA uma matriz sobre o campo finito F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} e xxx , yyy sejam vetores do espaço Fn2F2n\mathbb{F}_2^n . Estou interessado na complexidade computacional de decidir se existe t∈Nt∈Nt \in \mathbb{N} tal que Atx=yAtx=yA^t x = y , ou seja, no problema de alcançabilidade de sistemas dinâmicos lineares …

10 cc.complexity-theory  reference-request  linear-algebra 

Dado um gráfico bipartido com pesos positivos, deixe com igual ao peso máximo correspondente no gráfico .G = ( U∪ V, E)G=(U∪V,E)G = (U \cup V, E) f ( S ) G [ S ∪ V ]f: 2você→ Rf:2U→Rf: 2^U \rightarrow \mathbb{R}f( S)f(S)f(S)G [ S∪ V]G[S∪V]G[S\cup V] É verdade que …

10 matching  submodularity 

Existem várias classes interessantes de gráficos com largura de árvore limitada. Por exemplo, árvores (largura da árvore 1), gráficos paralelos em série (largura da árvore 2), gráficos externos (largura da árvore 2), gráficos uterplanares (largura da árvore O (k)), gráficos da largura da ramificação (largura da árvore O (k)), .. …

10 graph-theory  treewidth 

Conjectura de Berman-Hartman: todas as linguagens completas de NP são parecidas, no sentido de que podem ser relacionadas entre si por isomorfismos polinomiais no tempo [1]. Estou interessado em uma versão mais refinada do "tempo polinomial", isto é, se usarmos reduções parametrizadas. Um problema com parâmetros é um subconjunto de …

10 complexity-classes  np-complete  fixed-parameter-tractable 

Seja um polinômio simétrico , ou seja, um polinômio tal que para todo e todas as permutações . Por conveniência, podemos assumir que é um campo finito, para evitar problemas com o modelo de computação.f: Kn→ Kf:Kn→Kf:\mathbb{K}^n \to \mathbb{K}x ∈ K n σ ∈ S n Kf( x ) = …

10 cc.complexity-theory  permutations  polynomials 

Estou interessado em reduzir o -Clique para o SAT sem tornar a instância muito maior.kkk O Clique está no NP, portanto pode ser reduzido para SAT usando espaço logarítmico. A simples redução de livros didáticos da Garey / Johnson aumenta a instância para o tamanho cúbico . No entanto, -Clique …

10 cc.complexity-theory  sat  reductions  clique 

Existem exemplos naturais conhecidos de problemas de otimização para os quais é muito mais fácil produzir uma solução ideal do que avaliar a qualidade de uma determinada solução candidata? Por questões de concretude, podemos considerar problemas de otimização solucionáveis ​​em tempo polinomial da forma: "dado x, minimize ", onde f …

10 cc.complexity-theory  optimization  examples 

Seja um simples gráfico não direcionado em n vértices e m arestas.G=(V,E)G=(V,E)G=(V,E)nnnmmm Eu estou tentando determinar o tempo de execução esperado de algoritmo de Wilson para a geração de uma árvore geradora aleatória de . Lá, é mostrado O ( τ ) , onde τ é o tempo médio de …

10 graph-theory  graph-algorithms  co.combinatorics  random-walks  analysis-of-algorithms 

O termo a seguir (usando índices bruijn): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Quando aplicado a um número de igreja, Navalia rapidamente a forma normal em vários avaliadores existentes, incluindo ingênuos …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

É bem conhecido que certas classes de NP -Problemas Tem dicotomia teoremas, que garantia de que todas as tarefas na classe ou é NP -completo ou está em P . O resultado mais conhecido é o teorema da dicotomia de Schaefer , juntamente com várias generalizações. Entendo que provar esses …

10 cc.complexity-theory  np  descriptive-complexity 

Os transdutores considerados aqui são aqueles que a Wikipedia chama de transdutores de estado finito . O comportamento de um transdutor , isto é, a relação que ele calcula, é escrito : uma palavra é uma saída para iff .[ T ] y x x [ T ] yTTT[ T][T][T]yyyxxxx …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Considere o seguinte problema: Dada uma matriz , queremos otimizar o número de adições no algoritmo de multiplicação para calcular v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Acho esse problema interessante por causa de seus laços com a complexidade da multiplicação de matrizes (esse problema é uma versão …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits