Procurei na internet, mas não consegui encontrar nenhuma 'grande lista' de variantes do problema SAT. Além do (comum) SENTOU, k-SAT, MAX-kSAT, Half-SAT, XOR-SAT, NAE-SAT o que mais variantes existem? (também será realmente útil se houver classes de complexidade (quando...
Sendo da Física, fui treinado para analisar muitos problemas do ponto de vista geométrico. Por exemplo, a geometria diferencial de variedades em sistemas dinâmicos etc. Quando leio os fundamentos da ciência da computação, sempre tento encontrar interpretações geométricas. Como uma interpretação...
Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a -> b -> b seq ⊥ b = ⊥ seq...
É possível dois contadores padrão ( ) com as seguintes instruções:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT decida o seguinte idioma: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid n \geq 1...
A propagação de crenças tem se mostrado um método muito poderoso através da pesquisa em modelos gráficos probabilísticos. No entanto, eu não sei nada sobre a BP que seja comparável aos métodos MCMC, onde podemos ter esquemas de aproximação aleatória totalmente polinomiais (FPRAS) para problemas de...
Dado um gráfico, , que deseja encontrar uma óptima -domination para . Isto é, I quer um subconjunto de de tal modo que todos os vértices em estão a uma distância de, no máximo, de algum vértice em , enquanto minimiza o tamanho de .G = ( V, E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSSSSS Pelo que...
A proporção crítica de cláusulas para variáveis para o 3-SAT aleatório é maior que 3 e menor que 6 e parece ser comumente descrita como "em torno de 4,2" ou "em torno de 4,25". Mezard, Parisi e Zecchina provam (no sentido da física) que a razão crítica é de 4.256, enquanto o primeiro e o terceiro...
O problema do caminho mais longo é NP-hard. A prova (típica?) Baseia-se na redução do problema do caminho hamiltoniano (que é NP-completo). Observe que aqui o caminho é considerado simples (nó). Ou seja, nenhum vértice pode ocorrer mais de uma vez no caminho. Obviamente, também é simples de borda...
Considere a seguinte configuração: nos é dada uma pilha sss que contém nnn itens. podemos usar um número constante O(1)O(1)O(1)de pilhas extras. podemos aplicar as seguintes operações nessas pilhas: verifique se uma pilha está vazia, compare os itens principais de duas pilhas, exclua o item...
Embora a discussão demonstre fortes evidências de normalização, esse comentário contrasta o "modelo de formas normais" com os "métodos puramente sintáticos". Isso me leva de volta a uma pergunta mais básica: ainda podemos distinguir estritamente construções sintáticas e semânticas, diante de...
É mencionado em um comentário em outro post do cstheorySE que a completude do PSPACE implica dureza do APX. Alguém pode explicar / compartilhar uma referência para isso? Isso é "apertado"? (ou seja, existem problemas completos do PSPACE cujo problema de otimização admite uma aproximação constante...
Parece-me que a maioria dos teóricos da complexidade geralmente acredita na seguinte regra filosófica: Se não podemos descobrir um algoritmo eficiente para o problema , e nós podemos reduzir problema para o problema , então provavelmente não há um algoritmo eficiente para o problema , também.A B...
Eu quero aprender sobre algoritmos algébricos e complexidade thoery. Em particular, estou interessado em PIT. Existe um conjunto de notas de aula, livros, papéis e pesquisas para estudantes que leram livros didáticos padrão sobre teoria como o livro de Sipser ou o livro de complexidade de...
Pode-se falar da treewidth de um circuito booleano, definindo-o como o treewidth do gráfico "moralizada" em fios (vértices) obtida da seguinte forma: os fios de conexão umaumaa e bbb quando bbb é a saída de uma porta tendo umaumaa como entrada (ou vice-versa); fios de conexão umaumaa e bbb quando...
Um autômato Xor não determinístico (NXA) é sintaticamente um NFA, mas uma palavra é aceita pelo NXA se ele tiver um número ímpar de caminhos de aceitação (em vez de pelo menos um caminho de aceitação no caso de NFA). É fácil ver que, para um idioma regular finito , existe um NFA mínimo que não...
Recentemente, fiquei interessado no problema geral de otimizar o uso da memória em uma situação em que há mais de um tipo de memória disponível e há uma troca entre a capacidade de um determinado segmento de memória e a velocidade de acesso a ele. O exemplo familiar é um programa que decide quando...
Gostaria de saber se existe uma versão computacionalmente limitada do conceito de equilíbrio de Nash, algo ao longo das seguintes linhas. Imagine algum tipo de jogo de informações perfeitas para dois jogadores que é jogado em um tabuleiro , e que é complexo no sentido de que o jogo ideal é EXPTIME...
O teorema da incompletude de Chaitin diz que nenhuma teoria aritmética suficientemente forte pode provar onde é a complexidade Kolmogorov da corda e é uma constante suficientemente grande. é suficientemente grande se for maior que o tamanho em bits de uma máquina de verificação de provas (PCM). A...
Eu estava lendo o artigo da Wikipedia sobre o problema das oito rainhas. Afirma-se que, não existe uma fórmula conhecida para o número exato de soluções. Após algumas pesquisas, encontrei um artigo chamado "Sobre a dureza de contar problemas de mapeamentos completos". Neste artigo, há um problema,...
Muitos de nós estamos familiarizados - ou pelo menos já ouvimos falar - da entropia de Shannon de uma variável aleatória, e todos os relacionados. medidas teóricas da informação, como entropia relativa, informações mútuas etc. Existem algumas outras medidas de entropia que são comumente usadas na...