Ciência da Computação Teórica

Gostaria de saber se as classes de NPCs definidas por muitas reduções de um e reduções de Turing são iguais. Edit: Outra pergunta, são as reduções de Turing apenas colapsando as classes C e co-C para alguns C ou existe uma classe como existe um problema que não esteja em …

11 cc.complexity-theory  np-hardness  reductions 

Existe algo na literatura próximo ao seguinte problema: Dado um gráfico bipartido com bipartição balanceada { U , W } , existe uma combinação M perfeita em G, de modo que para cada 2 arestas u 1 w 1 , u 2 w 2 ∈ M , existe uma aresta …

11 matching 

Eu estaria muito interessado em referências à teoria das funções submodulares (do básico ao avançado). Em particular, estou estudando aproximações para problemas de otimização rígida e quero desenvolver minhas bases em funções submodulares, pois são relevantes para os problemas de otimização que venho estudando. Desde já, obrigado.

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Uma das conseqüências mais práticas da correspondência "Curry-Howard-Lambek" é que a sintaxe de muitas lambda-calucli / lógicas pode ser usada para executar construções em uma categoria suficientemente estruturada. Por exemplo, a Geometria Diferencial Sintética possui modelos nos topos que contêm e incorporam a categoria de coletores suaves, para que você …

11 reference-request  pl.programming-languages  type-theory  ct.category-theory  constructive-mathematics 

Considere um gráfico não direcionado conectado com pesos de aresta não negativos e dois vértices distintos s , ts,ts,t . Abaixo estão alguns problemas de caminho com a seguinte forma: encontre um caminho s - ts−ts-t , de modo que alguma função dos pesos das arestas no caminho seja mínima. …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

Robin Gandy era aluno de Alan Turing . Gandy fez uma análise do Analytical Engine de Babbage (veja 'Gandy - A confluência de idéias em 1936' citado em 'Herken, Rolf - A Máquina Universal de Turing - Uma Pesquisa de Meio Século . Springer Verlag') - e disse que sim …

10 turing-machines  universal-computation  charles-babbage 

Sabemos sob ETHETHETH que não pode resolver KKK -sum em f(K)poly(nK)f(K)poly(nK)f(K)poly(nK) tempo sob qualquer função f(K)f(K)f(K) (geralmente 2O(K)2O(K)2^{O(K)} ). Existe alguma conjectura que impeça uma complexidade (logn)O(K)(log⁡n)O(K)(\log n)^{O(K)} (isso é totalmente consistente com a possibilidade, pois K=Ω(n)K=Ω(n)K=\Omega(n) precisamos de tempo exponencial para a soma do subconjunto) ou essa possibilidade é …

10 cc.complexity-theory  subset-sum 

O problema de correspondência perfeita de duas cores é decidir se um gráfico tem cores com duas cores, de modo que cada nó tenha exatamente um vizinho da mesma cor que ele. O problema foi provado como NP-completo por Schaefer . Permanece NP-completo mesmo para gráficos cúbicos planares. Estou interessado …

10 cc.complexity-theory  np-hardness 

Dado o gráfico G1, G2 e G3, queremos realizar o teste de isomorfismo F entre G1 e G2, bem como G1 e G3. Se G2 e G3 são muito semelhantes, de modo que G3 é formado pela exclusão de um nó e pela inserção de um nó de G2, e …

10 graph-theory  graph-algorithms  graph-isomorphism 

Eu estou querendo saber se alguém pode me dar a intuição por que a estrita positividade de tipos de dados indutivos garante forte normalização. Para ser claro, vejo como ter ocorrências negativas leva à divergência, ou seja, definindo: data X where Intro : (X->X) -> X podemos escrever uma função …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

No Zoológico da Complexidade, diz [ 1 ] que, na complexidade descritiva, pode ser definido por três tipos diferentes de fórmulas, que também é e também como .PPPFO(LFP)FO(LFP)FO(LFP)FO(nO(1))FO(nO(1))FO(n^{O(1)})SO(HORN)SO(HORN)SO(HORN) No entanto, existem algumas exceções, por exemplo, não pode ser expressa por FP (FP tem o mesmo poder expressivo com LFP). e …

10 lo.logic  polynomial-time  descriptive-complexity 

A classe NCiNCi\textrm{NC}^i representa as funções de classe computável por circuitos de famílias limitada fã-no, nO(1)nO(1)n^{O(1)} tamanho e O(logi(n))O(logi⁡(n))O(\log^i(n)) de profundidade. A hierarquia NCNC\textrm{NC} é a união dessas classes. Existe algum estudo da variante de tamanho linear dessa hierarquia? Ou seja, famílias de circuitos de ventilador limitado, profundidade de polilog …

10 cc.complexity-theory  circuit-complexity 

Atualmente, estou procurando um assunto para uma tese e encontrei o campo da teoria da informação algorítmica. O campo parece muito interessante para mim, mas parece que tudo é feito antes de muitos anos. Então, minha pergunta é: o campo está "vivo" ou está praticamente fechado? Tem perguntas em aberto? …

10 cc.complexity-theory  it.information-theory 

Estou em uma situação em que preciso mostrar que a digitação é decidível para um cálculo de tipo dependente em que estou trabalhando. Até agora, pude provar que o sistema está fortemente normalizando e, portanto, que a igualdade de definição é decidível. Em muitas referências que li, a decisão de …

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus 

Esta é uma generalização da minha pergunta anterior . Deixe ser uma máquina determinística em tempo polinomial que podem fazer perguntas para algum oráculo . Inicialmente está vazio, mas isso pode ser alterado após um jogo que será descrito abaixo. Seja uma string.MMMUMAAAUMAAAxxx Considere o seguinte jogo de Alice e …

10 cc.complexity-theory  complexity-classes  gt.game-theory