Ciência da Computação Teórica

Coq, Agda e Idris têm uma hierarquia de tipos infinitos (Tipo 1: Tipo 2: Tipo 3: ...). Mas por que não fazê-lo como λC, o sistema no cubo lambda mais próximo do cálculo de construções, que possui apenas dois tipos, ∗∗* e , e essas regras?◽◽◽ ∅⊢∗:◽∅⊢∗:◽\frac {} {∅ ⊢ …

18 coq  dependent-type  calculus-of-constructions 

Gostaria de saber se existem bibliotecas de gráficos gratuitas para testar se existe um conjunto específico de menores em um determinado gráfico?

18 graph-algorithms  implementation  graph-minor 

É um resultado bem conhecido que a pergunta Uma gramática sem contexto gera uma linguagem comum? é indecidível. No entanto, torna-se decidível em um alfabeto unário, simplesmente porque, neste caso, as classes de linguagens livres de contexto e regulares coincidem. Minha pergunta é saber o que acontece com linguagens sensíveis …

18 fl.formal-languages  decidability 

O problema Max-Sat pede que você encontre uma atribuição de uma fórmula CNF que atenda ao máximo de cláusulas possível. Para o problema mais simples SAT, existem muitos casos especiais conhecidos que podem ser resolvidos em tempo polinomial, por exemplo, podemos resolver 2-SAT em tempo polinomial. Para Max-Sat, a situação …

18 sat  treewidth  max2sat 

Estou tentando resolver um problema específico e pensei que poderia resolvê-lo usando a teoria dos autômatos. Gostaria de saber, que modelos de autômatos têm contenção decidível em tempo polinomial? ou seja, se você tiver máquinas poderá testar se L ( M 1 ) ⊆ L ( M 2 ) com …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

O problema da parada para as máquinas de Turing é talvez o conjunto indecidível canônico. No entanto, provamos que existe um algoritmo que decide quase todas as instâncias dele. O problema da parada está, portanto, entre a crescente coleção daqueles que exibem o fenômeno da teoria da complexidade do “buraco …

18 cc.complexity-theory  reference-request  computability  undecidability 

Muitos problemas de gráfico rígido são solucionáveis ​​em tempo polinomial em gráficos de largura de árvore limitada . De fato, os livros didáticos geralmente usam, por exemplo, conjunto independente como exemplo, o que é um problema local . Grosso modo, um problema local é um problema cuja solução pode ser …

18 graph-theory  graph-algorithms  treewidth 

O famoso Isomorfismo Conjectura de Berman e Hartmanis diz que todos idiomas -completo são tempo polinomial isomorphic (p-isomorphic) entre si. A importância chave da conjectura é que ela implica P ≠ N P . Foi publicado em 1977, e um pedaço de provas foi que todos os N P problemas …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

Esse problema surgiu no meu post recente do blog , suponha que você faça um tour pelo TSP. Ele é co-NP-complete para determinar se é mínimo? Mais precisamente, é o seguinte problema NP-complete: Instância: dado um gráfico completo G com arestas ponderadas com números inteiros positivos e um ciclo simples …

18 np-hardness 

Existe uma sequência de gráficos não direcionados , em que cada tem exatamente vértices e o problema{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Dados e um gráfico , é um subgrafo induzido de ?nnnGGGCnCnC_nGGG é conhecido por estar na classe ? (Por exemplo, quando , esse é o problema de clique NP-complete.)PP\mathsf{P}Cn=KnCn=KnC_n=K_n

18 cc.complexity-theory  graph-theory 

Gostaria de calcular a largura da árvore de um gráfico. Existem realmente boas heurísticas para outros problemas de gráficos NP-hard, como VF2 para isomorfismo de subgráficos, com código disponível no igraph, por exemplo. Eu tentei eles nos meus gráficos e acho que eles correm muito rápido para os meus dados. …

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

Atualmente, estou fazendo uma pesquisa bibliográfica sobre o problema de isomorfismo de grafos (IG). Gostaria de saber algumas perguntas abertas relacionadas aos seguintes Quais são os parâmetros gráficos para os quais a rastreabilidade de parâmetros fixos da GI é um problema em aberto. Quais são os parâmetros gráficos, fixando-os a …

18 graph-isomorphism  fixed-parameter-tractable 

Considere o idioma L k - d i s t i n c tLk−distinctL_{k-distinct} constituído por todas as cadeias de letras kkk sobre Σ deΣ\Sigma modo que não haja duas letras iguais: L k - d i s t i n c t : = { w = σ 1 …

18 automata-theory  lower-bounds  regular-language  communication-complexity  streaming 

Como posso determinar o número de caminhos simples exclusivos em um gráfico não direcionado? Por um determinado comprimento ou por um intervalo de comprimentos aceitáveis. Lembre-se de que um caminho simples é um caminho sem ciclos, então estou falando sobre contar o número de caminhos sem ciclo.

18 graph-theory  co.combinatorics  counting-complexity 

Eu gostaria de aprender sobre a complexidade parametrizada (tanto no lado algorítmico quanto no lado da dureza). Que livros / notas de aula posso ler sobre esse assunto?

18 reference-request  parameterized-complexity  fixed-parameter-tractable