Existem pesquisadores mostrando que o apagamento de bit deve consumir energia, agora existem pesquisas sobre o consumo médio de energia do algoritmo com complexidade computacional ? Eu acho que a complexidade computacional F ( n ) está correlacionada com o consumo médio de energia, espero poder...
Imagine que temos dois conjuntos tamanho X , Y ⊂ R n . Qual é a complexidade (tempo) dos testes se eles diferem apenas por rotação? : existe matriz de rotação O O T = O T O = I tal que X = O Y ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY Há uma questão de...
Estou lendo a prova daqui e me deparei com um problema técnico (ainda que crucial). Eu sei que isso é bastante específico e o contexto é problemático, mas eu não consegui descobrir isso sozinho. Nas páginas 51 e 55, depois de apresentar os verificadores "padrão", eles se voltam para modificar os...
Dado qualquer gráfico simples e não direcionado G, não é trivial determinar se G possui automorfismos não triviais (sem identidade). Mas quais são os resultados nos limites superior / inferior deste problema de
Gostaria de saber se as classes de NPCs definidas por muitas reduções de um e reduções de Turing são iguais. Edit: Outra pergunta, são as reduções de Turing apenas colapsando as classes C e co-C para alguns C ou existe uma classe como existe um problema que não esteja em C ∪ c o - C sob redução de...
Qual é a complexidade temporal exata do algoritmo de espaço de log não-direcionado de st-connectivity de Omer
Enquanto estudante de EE, participei de algumas palestras que apresentavam uma boa caracterização de circuitos booleanos em termos de quantos ciclos aninhados eles tinham. Na complexidade, os circuitos booleanos são frequentemente vistos como dags, mas em ciclos reais de hardware são comuns. Agora,...
Para um dado gráfico , o Problema do Separador pergunta se existe um conjunto de vértices ou arestas de pequena cardinalidade (ou peso) cuja remoção particiona G em dois gráficos separados de tamanhos aproximadamente iguais. Isso é chamado de Problema do Separador de Vértices quando o conjunto...
Suponha que NP = co-NP e polinômio limita o comprimento da prova de insatisfação para uma instância 3-CNF x . Então, existem resultados de que forma qualquer prova de insatisfação para x de comprimento ≤ p ( x ) pode levar? Ou seja, em geral, essa prova teria que, por exemplo, usar todo o poder da...
O que se segue pode parecer estúpido (e isso provavelmente reflete meu fraco entendimento - por isso, tenha paciência comigo) Eu tive uma consulta no teorema do PCP. Sabemos que após os três primeiros passos viz. Redução de Grau, Expansão e Amplificação de Gap, temos um gráfico de restrição com...
Esta é uma continuação da minha pergunta anterior sobre limites inferiores de comunicação para funções booleanas parciais . Alguém pode sugerir alguma referência nos limites inferiores para comunicação multipartidária não determinística? Venho pesquisando os artigos em campo, mas todo mundo parece...
Jogos de uma rodada com dois provadores (2P1R) são uma ferramenta essencial para a dureza da aproximação. Especificamente, a repetição paralela de jogos de uma rodada com dois provadores oferece uma maneira de aumentar o tamanho de uma lacuna na versão de decisão de um problema de aproximação. Veja...
Na complexidade parametrizada, as pessoas usam a redução de FPT (Trace-Parametrable-Fixed) para provar a dureza W [t]. Teoricamente, uma redução de FPT não é uma redução de tempo polinomial, pois pode ser executada exponencialmente no parâmetro k. Mas, na prática, todas as reduções de FPT que eu vi...
Eu estava lendo um artigo intitulado Random Oracles com (fora) programação . O último parágrafo da seção 2.3 diz: [Usando nossa nova abordagem], não há necessidade de aplicar técnicas clássicas conhecidas de derandomização assintótica (e uniforme) com base no lema de Borel-Cantelli . Até onde...
Como 2 problemas completos de NP são por definição redutíveis um ao outro, portanto, uma solução para um deles pode ser obtida usando uma caixa preta para resolver o outro, por que eles não têm taxas de aproximação semelhantes (consultando as contrapartes de otimização) )? Eu acho que algum desvio...
Esta pergunta foi motivada por uma pergunta no stackoverflow . Suponha que você está dado uma árvore enraizada (ou seja, há uma raiz e nós ter filhos, etc.) em n nós (rotulados 1 , 2 , ... , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Cada vértice tem um peso inteiro não negativo associado: w i...
Merlin, que possui recursos computacionais ilimitados, quer convencer Arthur de que para com e O cálculo dessa soma da maneira direta (exponenciação e adição modular) leva tempo com multiplicação baseada em FFT. * Mas Arthur só pode executar operações . ( N , m , k
Estou tentando encontrar problemas cuja complexidade de espaço de caso médio foi analisada. Mais especificamente, estou interessado em saber se existem problemas com um limite inferior da complexidade de espaço comprovado que é super-linear e, especialmente, se houver algum com uma análise de...
Nurikabe é um quebra-cabeça de preenchimento de grade baseado em restrições, muito semelhante ao Campo Minado / Nonogramas; os números são colocados em uma grade que deve ser preenchida com valores ativados / desativados para cada célula, com cada número indicando uma região de células 'on'...
Eu tenho um problema que está no NEXP e também pode ser resolvido por uma TM alternada usando tempo exponencial e apenas uma alternância (iniciando em um estado existencial).NPNP^{\text{NP}} Existe algo conhecido sobre NEXP ? É igual a NEXP ou alguma outra classe? Existem problemas completos além...