Na definição de tratabilidade de parâmetro fixo (forte), o tempo limite é uma expressão da forma onde a instância de entrada é ( x , k ) com o parâmetro k , p é um polinômio ef é uma função computável .f( K ) . p ( | x | ) ,f(k).p(|x|),f(k).p(|x|),( x , k )(x,k)(x,k)kkkpppfff É possível substituir...
Eu tenho uma pergunta sobre a redutibilidade do SERF de Impagliazzo, Paturi e Zane e algoritmos subexponenciais. A definição de redutibilidade do SERF fornece o seguinte: Se é SERP-redutível a P 2 e ali ó ( 2 ε n ) algoritmo para P 2 para cada ε > 0 , então não é O ( 2 ε n ) algoritmo para P...
O teorema da pretensão paralela de Raz é um resultado importante no PCP, na aproximação, etc. O teorema é resumido da seguinte forma. G = ( S, T, A, B, π, V)G=(S,T,UMA,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V)S, T, A,
Existe uma prova de que a emulação de uma máquina de Turing em uma máquina de Turing inconsciente não pode ser feita em menos de que é o número de etapas que a máquina de Turing usa ? Ou isso é apenas um limite superior?O ( m logm )O(mlogm)\mathcal{O}\left(m\log m\right)mmm No artigo de Paul...
Eu gostaria de saber sobre a história desses dois termos: " eficiente ", " viável ". Quem os usou sobre computação / algoritmos pela primeira vez? (no sentido moderno desses termos, ou seja, século 20). Como eles se tornaram mainstream? Como esses dois termos começaram a ser usados como...
Sabe-se se o problema do conjunto de vértices de feedback em gráficos planas não direcionados de grau delimitado é
Alguém pode listar alguns problemas conhecidos que atendem às seguintes condições: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.
Existem vários resultados conhecidos do tamanho do circuito com base em restrições aleatórias e no Switching Lemma .A C0 0AC0\mathsf{AC^0} Podemos desenvolver um resultado do Switching Lemma para provar um tamanho inferior para os circuitos (semelhante às provas do limite inferior para )? A C 0T...
A eliminação gaussiana torna determinante do tempo polinomial da matriz computável. A redução da complexidade na computação do determinante, que é a soma dos termos exponenciais, é devida à presença de sinais negativos alternativos (a falta de qual torna a computação permanente é isto é, mais...
A menor fórmula conhecida para o determinante tem tamanho acordo com o folclore (ou com Ran Raz em seu artigo As Fórmulas Multi-Lineares para Permanentes e Determinantes são de Tamanho Super-Polinomial ).nO (logn )nO(registron)n^{\mathcal O(\log n)} Você tem alguma referência para isso? Em...
Um algoritmo de teste de distribuição para uma propriedade de distribuição P (que é apenas um subconjunto de todas as distribuições acima de [n]) tem acesso permitido às amostras de acordo com alguma distribuição D e é necessário decidir (whp) se ou ( aqui é geralmente a distância ). A medida de...
Parece-me que os especialistas em aprendizado de máquina / mineração de dados estão familiarizados com P e NP, mas raramente falam sobre algumas das classes de complexidade mais sutis (por exemplo, NC, BPP ou IP) e suas implicações para uma análise eficaz dos dados. Existe alguma pesquisa de...
Dizemos que uma função é construtível no tempo , se existir uma máquina de Turing determinística múltiplas fitas que em todas as entradas de comprimento faça no máximo etapas e para cada existe alguma entrada de comprimento na qual executa exatamente etapas. M n f ( n ) n n M f ( n...
É fácil de ver que, se então há total de procurar problemas que não podem ser resolvidos em tempo polinomial (criar um problema total de busca tendo tanto as testemunhas de filiação como as testemunhas de não filiação).N PN P ∩ c o N P ≠ PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}N...
O problema de partição é fracamente NP-completo, pois possui algoritmo de tempo polinomial (pseudo-polinomial) se os números inteiros de entrada estiverem delimitados por algum polinômio. No entanto, 3-Partition é um problema fortemente completo de NP, mesmo que números inteiros de entrada sejam...
Recorde-se que a largura de uma resolução refutation de uma fórmula CNF M é o número máximo de literais em qualquer cláusula que ocorre em R . Para cada w , existem fórmulas insatisfatórias F no 3-CNF st. Cada refutação de resolução de F requer largura pelo menos w .RRRFFFRRRWwwFFFFFFWWw Preciso...
Dada uma matriz com entradas racionais. Qual é a complexidade para verificar é diagonalizável?A An × nn×nn\times nUMAAAUMAAA Suspeito que isso possa ser feito em P, mas não conheço nenhuma referência. No entanto, uma pergunta mais interessante é: existe alguma classe de complexidade melhor para...
Informalmente, funções unidirecionais são definidas com relação aos algoritmos PTIME. Eles são computáveis em tempo polinomial, mas não invertíveis em tempo polinomial de caso médio. A existência de tais funções é um importante problema em aberto na ciência da computação teórica. Estou...
Seja uma função booleana de variáveis booleanas. Seja o valor esperado de quando é obtido a partir de ao inverter cada coordenada com probabilidade .fffg ( x ) = T ϵ ( f ) ( x ) f ( y ) y x ϵ / 2nnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) (x)f(y)f(y)f(y)yyyxxxϵ/2ϵ/2\epsilon/2 Estou...
É sabido se o problema de avaliação do circuito está em N C 1 ? Que tal A L o g T i m e (uniforme N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Sabemos que os circuitos de profundidade podem ser avaliados com circuitos de profundidade k + c,...