XORification é a técnica para dificultar uma função ou fórmula booleana substituindo cada variável pelo XOR de variáveis distintas . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Estou ciente dos usos dessa técnica na complexidade de provas, principalmente para obter limites...
O teorema automático de prova e pesquisa de provas é mais fácil em lógicas subestruturais lineares e outras proposicionais que carecem de contração? Onde posso ler mais sobre o teorema automático de prova nessas lógicas e o papel da contração na pesquisa de
Existem algoritmos para solução de SAT que não são baseados em DPLL? Ou todos os algoritmos usados pelos solucionadores SAT são baseados em
É sabido que os computadores quânticos são estritamente mais poderosos do que seus equivalentes clássicos em termos de complexidade de consultas . Existem outros modelos (naturais ou artificiais) estritamente entre o quantum e o clássico em termos de complexidade da consulta? A separação pode...
Vejo muitas pesquisas sobre hipercomputação nos anos 90, mas nos anos mais recentes parece haver pouco trabalho sobre o assunto. É verdade que a pesquisa nessa área acabou? Em caso afirmativo, quais poderiam ser as razões para isso? Esta área mostrou-se convincentemente pouco...
O que se sabe sobre a complexidade exata do menor problema de supercorda? Pode ser resolvido mais rapidamente que ? Existem algoritmos conhecidos que resolvem as supercordas mais curtas sem reduzir ao TSP?O∗( 2n)O∗(2n)O^*(2^n) UPD: suprime fatores polinomiais.O∗( ⋅ )O∗(⋅)O^*(\cdot) O menor...
Eu acho que seria uma boa idéia fazer uma lista de teoremas afirmando que P não é igual a NP se, e somente se, tais e tais saídas, alguma classe de complexidade estiver contida em outra classe de complexidade e assim por diante.
Seja uma fórmula CNF satisfatória com variáveis e cláusulas . Seja o espaço de solução de .F1F1F_1m S F 1 F 1nnnmmmSF1SF1S_{F_1}F1F1F_1 Considere o problema de determinar, dada a , outra Fórmula CNF com o mesmo conjunto de variáveis que , com (o mesmo espaço de solução que ), mas com o mínimo...
OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO No entanto, vi poucas pessoas dando uma explicação "direta" para o motivo pelo qual o resultado não é relativizado, e a resposta usual é "aritmetização". Após a inspeção da...
Estou trabalhando em um problema definido para uma classe e pensei em uma pergunta relacionada ao que eu estava trabalhando. Existe um número mínimo de estados que um autômato finito deve ter para aceitar cadeias binárias que representam números divisíveis por um número inteiro n? Em um conjunto de...
Eu procurei em todo o lado essas aplicações e, na maioria das vezes, acabei ficando curto. Posso encontrar muitas aplicações de topologia e estruturas semelhantes em conjuntos contáveis (ou incontáveis), mas raramente encontro conjuntos incontáveis como objeto de estudo por cientistas da...
Quais são os algoritmos eficientes conhecidos para calcular um determinante de uma matriz inteira com coeficientes em , o anel de resíduos módulo m . O número m pode não ser primo, mas composto (portanto, os cálculos são realizados em anel, não em um campo).ZmZm\mathbb{Z}_mmmmmmm Até onde eu sei...
Foi realizado algum trabalho sobre como a complexidade das instâncias aleatórias do # 2-SAT varia com a densidade da cláusula? Ou seja: como a dificuldade de contar soluções satisfatórias para uma instância gerada aleatoriamente de 2-SAT varia, conforme a densidade da cláusula varia? Em particular,...
Suponha que é uma árvore de grau constante cuja estrutura não conhecemos. O problema é produzir a árvoreTTTTTT , solicitando consultas no formulário: "O nó xxx fica no caminho do nó aaa ao nó bbb ?". Suponha que cada consulta possa ser respondida em tempo constante por um oráculo. Sabemos o valor...
Como você sabe, existem muitas anomolias para as máquinas de Turing de fita única quando o tempo é : simulação de fita múltipla TM, simulação de alfabeto de fita maior com apenas { 0 , 1 , b } , construtibilidade de tempo, não estanqueidade teorema da hierarquia temporal, ...o ( n2)o(n2)o(n^2){ 0 ,...
O zoológico de complexidade não tem muito a ver com o . Estou procurando um bom problema de que esteja nos níveis mais altos da hierarquia, isto é, um problema no mas não se sabe que está em
Eu sou um físico de coração e, portanto, acho que a computação quântica unidirecional é brilhante. Em particular, a computação quântica baseada em medição de estado de gráfico (MBQC) tem sido um desenvolvimento muito bom na pesquisa sobre computação quântica, originada por Raussendorf & Briegel...
Mafia é um popular role-playing game em festas, uma descrição detalhada está disponível na wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . Basicamente, funciona da seguinte maneira: No início, cada um dos jogadores recebe secretamente um papel, alinhado com a Máfia ou com a Cidade....
Seja a classe dos problemas de decisão que possuem um algoritmo aleatório delimitado com erro de dois lados, executando no tempo .O ( f ( n ) )BPTIME(f(n))BPTEuME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Conhecemos algum problema tal que mas ? A sua inexistência é comprovada? Q ∈ B P T I M...
A teoria das categorias e a álgebra abstrata lidam com a maneira como as funções podem ser combinadas com outras funções. A teoria da complexidade lida com a dificuldade de calcular uma função. É estranho para mim não ter visto ninguém combinar esses campos de estudo, pois eles parecem pares...