Todas as funções cujo peso fourier está concentrado nos conjuntos pequenos (ou termos com baixo grau) são computadas pelos circuitos ?A C0
Eu sei que é impossível decidir equivalência para o cálculo lambda sem tipo. Citando Barendregt, HP O cálculo Lambda: sua sintaxe e semântica. Holanda do Norte, Amsterdã (1984). :ββ\beta Se A e B são disjuntos, conjuntos não vazios de termos lambda que são fechados em igualdade, então A e B são...
A noção de redução de tempo polinomial (reduções de Cook) é uma abstração de um conceito muito intuitivo: resolver um problema com eficiência usando um algoritmo para um problema diferente. No entanto, na teoria de -completeness, a noção de -hardness é capturado por meio de reduções de mapeamento...
Eu nunca vi um algoritmo com um log no denominador antes e gostaria de saber se existem algoritmos realmente úteis com este formulário. Entendo muitas coisas que podem fazer com que um fator de log seja multiplicado no tempo de execução, por exemplo, algoritmos de classificação ou de árvore, mas...
É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...
Em um tópico recente na lista de discussão da Agda, surgiu a questão das leis ηη\eta , na qual Peter Hancock fez comentários instigantes . Meu entendimento é que leis vêm com tipos negativos, ie. conectivos cujas regras de introdução são invertíveis. Para desabilitar para funções, Hank sugere o...
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...
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
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...
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...
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...
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 σ 2 . . . σ k | ∀ i ∈ [ k ] : σ i ∈ Σ e ∀ j ≠ i : σ j ≠ σ i...
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...
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...
Gostaria de saber se existem bibliotecas de gráficos gratuitas para testar se existe um conjunto específico de menores em um determinado
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 -Complete...
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...
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 {} {∅ ⊢ * :...
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 eficiência.M1,...
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...