Corrija um número inteiro nnn e alfabeto Σ = { 0 , 1 }Σ={0,1}\Sigma=\{0,1\} . Defina D FA ( n )DFA(n)DFA(n) como a coleção de todos os autômatos de estados finitos em nnn estados com o estado inicial 1. Estamos considerando todos os DFAs (não apenas os conectados, mínimos ou não degenerados);...
Nota: trata-se do quebra-cabeça padrão do sudoku 9x9. A solução precisa apenas suportar quebra-cabeças legais resolvidos . Portanto, uma solução não precisa suportar células vazias e pode confiar nas propriedades de um quebra-cabeça sudoku resolvido. Eu estava pensando isso, mas não conseguia...
Seja um polinômio grau em variáveis acima de , onde é constante (digamos 2 ou 3). Gostaria de encontrar a menor fórmula para , em que "fórmula" e "tamanho da fórmula" são definidos da maneira óbvia (por exemplo, a menor fórmula para o polinômio é
A complexidade do prefixo Kolmogorov (ou seja, é o tamanho do programa auto-delimitador mínimo que gera ) possui vários recursos interessantes:xK( X )K(x)K(x)xxx Corresponde a uma intuição de fornecer a strings com padrões ou estrutura uma complexidade menor do que strings sem. Ela nos permite...
Existem exemplos de brinquedos que fornecem insights 'essenciais' para a compreensão das três barreiras conhecidas ao problema - relativização, provas naturais e algebrização?P=NPP=NPP =
Suponha que eu possua um poset "S" e um predicado monotônico "P" em S. Quero encontrar um ou todos os elementos máximos de S satisfazendo P. EDIT : Estou interessado em minimizar o número de avaliações do P . Quais algoritmos existem para esse problema e quais propriedades e operações adicionais...
Eu queria saber se existe um algoritmo `` melhor '' (explicarei em que sentido) iniciar a partir de um DFA e construir uma expressão regular tal que , do que o livro de Hopcroft e Ullman (1979). Lá, os conjuntos são usados para representar conjuntos de seqüências de caracteres que levam o DFA do...
Eu estava apresentando uma palestra sobre classificação de panquecas e mencionei que: A classificação por reversões é difícil para NP "assinado" ordenação por reversões está em P . O que me fez pensar. Há um sentido em que a classificação "assinada" é "direcionada" - você pode ver o sinal como...
O NC uniforme de espaço de log está contido no espaço polilog determinístico (às vezes escrito em PolyL). O RNC com espaço de log uniforme também está nesta classe? A versão aleatória padrão do PolyL deve estar em PolyL, mas não vejo que o RNC (uniforme) esteja em PolyL randomizado. A dificuldade...
Estou procurando bons exemplos, nos quais ocorre o seguinte fenômeno: (1) Um problema algorítmico parece difícil, se você quiser resolvê-lo trabalhando com as definições e usando apenas resultados padrão. (2) Por outro lado, fica fácil se você conhece alguns teoremas (não tão padrão). O objetivo...
Em seu livro Boolean Function Complexity, Stasys Jukna menciona (página 564) que Kolmogorov acreditava que toda linguagem em P possui circuitos de tamanho linear. Nenhuma referência é mencionada e não consegui encontrar nada online. Alguém sabe mais sobre
Existem vários algoritmos que decidem no tempo polinomial se um gráfico pode ser desenhado no plano ou não, mesmo muitos com um tempo de execução linear. No entanto, não consegui encontrar um algoritmo muito simples que se pudesse explicar com facilidade e rapidez na aula e mostraria que PLANARITY...
Estou estudando recentemente Haskell e linguagens de programação. Alguém poderia recomendar alguns livros sobre teoria dos
A pergunta sobre a história " O que é NP restrito a testemunhas de tamanho linear? " Pergunta sobre a classe NP restrita a testemunhas de tamanho linear O ( n )O(n)O(n) , mas Existem problemas naturais de NP completos nos quais (sim) instâncias de tamanho nnn exigem testemunhas de tamanho maior...
Em este artigo da Wikipedia sobre Turing completude afirma que: O cálculo lambda não digitado é Turing completo, mas muitos cálculos lambda digitados, incluindo o Sistema F, não são. O valor dos sistemas digitados é baseado em sua capacidade de representar a maioria dos programas de computador...
Por que a "classificação topológica" é chamada de "topológica"? É apenas porque determina uma ordem sem alterar vértices ou arestas - como um donut e uma xícara de café são topologicamente equivalentes? Por que não é chamado "tipo de dependência" ou outra coisa? Por que "topológico"? Eu admito que...
Vamos fixar uma codificação sem prefixo de máquinas de Turing e uma máquina de Turing universal que na entrada (codificada como o código sem prefixo de seguido de ) produza o que produz na entrada (possivelmente ambos correndo para sempre). Defina a complexidade de Kolmogorov de , , como a duração...
Sabemos que (ver, por exemplo, Teoremas 1 e 3 de [1]), grosso modo, sob condições adequadas, funções que podem ser computadas eficientemente pela máquina de Turing em tempo polinomial ("computável eficientemente") podem ser expressas por redes neurais polinomiais com tamanhos razoáveis e,...
Paridade-L é o conjunto de idiomas reconhecidos por uma máquina de Turing não determinística que só pode distinguir entre um número par ou um número ímpar de caminhos de "aceitação" (em vez de um número zero ou diferente de zero de caminhos de aceitação) e que é ainda mais restrito ao trabalho no...
Muitas vezes, é possível encontrar métodos de plano de corte, propagação variável, ramificação e encadernação, aprendizado de cláusulas, retrocesso inteligente ou até heurísticas humanas tecidas à mão nos solucionadores SAT. No entanto, há décadas os melhores solucionadores de SAT contam com...