( n + 1 )(n+1)(n + 1) pontos são necessários para determinar exclusivamente um polinômio de graunnn ; por exemplo, dois pontos em um plano determinam exatamente uma linha. Quantos pontos são necessários para determinar exclusivamente uma função computável f: N→ Nf:N→Nf : N \rightarrow N , dada a...
Trabalhar diretamente com complexidade de tempo ou limitar os limites inferiores do circuito é assustador. Por isso, desenvolvemos ferramentas como complexidade da consulta (ou complexidade da árvore de decisão) para lidar com limites inferiores. Como cada consulta executa pelo menos uma etapa da...
EDIT (22 de agosto de 2011): Estou simplificando ainda mais a questão e colocando uma recompensa nela. Talvez esta pergunta mais simples tenha uma resposta fácil. Também vou rascunhar todas as partes da pergunta original que não são mais relevantes. (Obrigado a Stasys Jukna e Ryan O'Donnell por...
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...
É 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...
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...
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,...
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
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...
Todas as funções cujo peso fourier está concentrado nos conjuntos pequenos (ou termos com baixo grau) são computadas pelos circuitos ?A C0
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...
É 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...
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...
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...