A motivação para esta pergunta é o fato de que a maioria das strings de n bits é incompressível. Intuitivamente, podemos propor, por analogia, que a maioria das provas de Tautologias seja incompressível para o tamanho polinomial. Basicamente, minha intuição é que algumas provas são inerentemente...
Este é um acompanhamento da minha pergunta anterior: Limite inferior da complexidade determinística do tempo mais conhecido para um problema natural em NP Acho desconcertante não termos sido capazes de provar qualquer limite determinístico quadrático de tempo para qualquer problema de NP...
Dana Angluin ( 1987 ; pdf ) define um modelo de aprendizado com perguntas sobre membros e questões teóricas (contra-exemplos a uma função proposta). Ela mostra que uma linguagem regular representada por um DFA mínimo de estados pode ser aprendida em tempo polinomial (onde as funções propostas são...
A questão a seguir está relacionada à otimização do algoritmo de programação dinâmica de caminho mais curto de Bellman-Ford - (consulte esta publicação para obter uma conexão). Além disso, uma resposta positiva implicaria que o tamanho mínimo de um programa de ramificação não determinístico...
f, gf,gf,gf( N ) logf( n ) = o ( g( N ) )f(n)logf(n)=o(g(n))f(n) \log f(n) = o(g(n))f , g f ( n + 1 ) = o ( g ( n ) )D TEuME( f( N ) ) ⊊ D TEuME( g( N ) )DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f, gf,gf,gf( n + 1 ) = o ( g( N ) )f(n+1)=o(g(n))f(n+1)=o(g(n))é NTEuME( f( n ) ) ⊊...
Existe um 2DFA com estados (onde n é não trivial, digamos, pelo menos 4) que exija pelo menos 2 n estados para simular o uso de qualquer DFA?nnnnnn2n2n2^n Um DFA bidirecional (2DFA) é um autômato de estado finito determinístico que pode mover-se para frente e para trás em sua fita de entrada...
Na SODA 1995 , Jeff Erickson mostrou limites mais baixos para a satisfação linear (verificando se um subconjunto de de números reais satisfaz uma equação linear nas variáveis ). O método de prova usa infinitesimais e o princípio de transferência de Tarski .rrrrnnnrrr Alguém poderia explicar a...
Vamos HALTnHALTnHALT_n denotar a cadeia de comprimento 2n2n2^n correspondente à tabela verdade do problema de parada para entradas de comprimento nnn . Se a sequência das complexidades de Kolmogorov K(HALTn)K(HALTn)K(HALT_n) fosse O(1)O(1)O(1) , uma das sequências de aconselhamento seria usada...
Gostaria de saber o estado atual da transição de fase para k-sat aleatório, dadas n variáveis e cláusulas m, qual é o melhor conhecido c = m / n para os limites superior e
O teorema da hierarquia de tempo permite mostrar que, por exemplo, existem problemas em P que não podem ser resolvidos no tempo menos que const * n ^ 2 por uma máquina de Turing. Mas dê alguns conselhos à máquina de Turing e todas as apostas estão fora. Ainda não se pode mostrar que mesmo um...
Encontrei a seguinte pergunta, que é um exercício fácil (spoiler abaixo). Recebemos instâncias do problema de interrupção (ou seja, TMs ) e precisamos decidir exatamente quais delas serão interrompidas no . Ou seja, precisamos . Recebemos um oráculo para o problema de parada, mas temos que usá-lo...
Creio que as respostas a essa pergunta dão classes de tal forma que, para todos os polinômios , existe um problema na classe que não possui circuitos de tamanho p ( n ) . No entanto, estou perguntando sobre o tamanho do circuito ωpppp ( n )p(n)p(n) .ω( N )ω(n)\omega \hspace{.02 in}(n) (⟨0 00...
Na complexidade da árvore de decisão de uma função booleana, um método de limite inferior muito bem conhecido é encontrar um polinômio (aproximado) que represente a função. Paturi deu uma caracterização para funções booleanas simétricas (parciais e totais) em termos de uma quantidade indicada...
Estou confuso. Quero provar que que o problema da ordenação de um por matriz ou seja, as linhas e colunas estão em ordem crescente é . Prossigo supondo que isso possa ser feito mais rapidamente que tento violar o limite inferior Para comparações necessárias para classificar m elementos. Eu tenho...
É sabido que a complexidade da consulta quântica de erro limitado da função é . Agora, a questão é: se queremos que nosso algoritmo quântico seja bem-sucedido para cada entrada com probabilidade em vez dos usuais . Agora, em termos de quais seriam os limites superior e inferior apropriados?Θ ( √O R...
Editar: agora existe uma pergunta de acompanhamento relacionada a esta postagem. Definições Seja ccc e kkk números inteiros. Usamos a notação [i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} . Um c×cc×cc \times c matriz M=(mi,j)M=(mi,j)M = (m_{i,j}) é dito ser um ccc Para- kkk coloração...
Duas pilhas podem ser implementadas com eficiência usando uma matriz de tamanho fixo: a pilha nº 1 começa na extremidade esquerda e cresce para a direita e a pilha nº 2 começa na extremidade direita e cresce para a esquerda. O mesmo é possível para três pilhas? Mais especificamente, é possível...
Estou procurando uma referência para a (clássica) complexidade de comunicação aleatória unidirecional quando o universo pode ser grande. Digamos que Alice e Bob tenham conjuntos de tamanho escolhidos entre um universo de tamanho U e Bob queira determinar se a interseção de seus conjuntos está vazia...
A complexidade da comunicação (CC) é a única abordagem conhecida para algoritmos de streaming com limites mais baixos? Existem outras técnicas, mesmo que limites inferiores condicionais ? Em geral, estamos satisfeitos com o progresso alcançado via CC? Ou buscar técnicas alternativas (mesmo que...
esta é uma reescrita de outra questão recente [1] que não foi bem estabelecida (tinha uma simplificação semi-óbvia, mea culpa), mas acho que ainda há uma questão não trivial no centro. vi problemas semelhantes na literatura, mas não esse em particular. escreverei em termos de vetores de bits,...