Eu estava lendo este artigo, onde os autores explicam o Teorema 1, que afirma que "Objeto alcançável" (conforme definido no artigo) é NP-completo. No entanto, eles provam a redução apenas em uma direção, ou seja, de 2P1N SAT para Objeto alcançável. Isso prova apenas que o problema é difícil de NP;...
Essa pergunta e essa pergunta me fizeram pensar um pouco. Para classificar uma matriz de comprimentonnn com kkkelementos únicos em , precisamos ser capazes de armazenar contagens de valores na matriz. Existem algumas sugestões, mas estou procurando uma maneira de fazer isso no pior dos casos, no...
Antes de tudo, peço desculpas se isso foi solicitado, mas realmente não encontrei nada. Eu tropecei neste artigo . Ele diz que há um problema que apenas a Quantum Computers pode resolver. No meu entendimento, isso deve significar, intuitivamente, que esse problema é "efetivamente computável", pois...
Eu li esta frase em um livro: Na arquitetura VLIW, o compilador / e / ou gravador de montagem escolhe instruções que podem ser executadas em paralelo. Qual é a diferença entre gravador de montagem e compilador? Um escritor de montagem também significaria o mesmo que
Eu estava olhando para esta leitura do MIT sobre complexidade computacional e, às 15:00, Erik Demaine embarca em uma demonstração para mostrar o que é afirmado no título desta pergunta. No entanto, não posso seguir seu raciocínio, na prática o que ele diz é o seguinte: podemos declarar um problema...
Portanto, representa problemas nos quais temos pequenas testemunhas verificáveis para instâncias e para pequenas testemunhas verificáveis para instâncias. Como isso funciona paraNPNPNPYESYESYEScoNPcoNPcoNPNONONO PNPPNPP^{NP} NPNPNPNPNP^{NP} coNPNPcoNPNPcoNP^{NP} e assim por...
Você está hospedando uma liga de basquete 1 x 1 com uma programação de jogos. No final da liga, cada jogador registra seu suposto recorde de vitórias e derrotas (não há empate), mas deseja verificar se as classificações propostas eram realmente possíveis, de acordo com o cronograma. Por exemplo:...
Eu gostaria de aprender mais sobre programação concatenativa através da criação de uma pequena linguagem simples, baseada na pilha e seguindo o paradigma concatenativo. Infelizmente, não encontrei muitos recursos relacionados a linguagens concatenativas e sua implementação; portanto, desculpe-me...
Suponha que um determinado aplicativo paralelo use um design mestre-escravo para processar um grande número de cargas de trabalho. Cada carga de trabalho leva algum número de ciclos para ser concluída; o número de ciclos que uma determinada carga de trabalho levará é dado por uma variável aleatória...
Foi-me dada a pergunta Onde o idioma a seguir se encaixa na hierarquia de Chomsky? Soluções não negativas ( x , y)(x,y)(x,y) para a equação diofantina 3 x - y= 13x−y=13x-y=1. Eu entendo idiomas como L = {0 0n1 1n∣ n ≥ 1 }L={0n1n∣n≥1}L = \{ 0^n1^n \mid n \ge 1\}, mas esse idioma me...
Em um conjunto parcialmente ordenado, sempre posso ordenar dois elementos arbitrários fora do conjunto? Ou é possível que dois elementos dentro do conjunto não tenham relação de ordem entre si? Por exemplo, se houver três elementos { a , b , c }{uma,b,c}\{a, b, c\}e e , ou têm que aguentar?a ≤...
Eu projetei um classificador M que reconhece gestos e sempre o classifica em qualquer categoria. Um gesto é classificado com base na distância entre a série temporal da amostra y e a série temporal do treinamento x. O resultado do classificador são valores probabilísticos. Existem 3 classes /...
Eu tenho que escrever uma gramática para Pascal, e há apenas uma coisa que está causando problemas. Digamos que temos operadores (classificados por prioridade de baixa a alta): Postfix^ . Prefixo^ . [ ], e ., (mesma prioridade e associativo à esquerda). O único terminal idé qualquer letra...
Considere o seguinte problema. Dado um conjunto de números inteiros, uma função e , decida se há tal que .SSSf:Z→Zf:Z→Zf : \mathbb{Z} \to \mathbb{Z}k∈Zk∈Zk \in \mathbb{Z}X⊆SX⊆SX \subseteq Sf(∑x∈Xx)=kf(∑x∈Xx)=kf\left(\sum_{x\in X}x\right)=k Isso ainda é considerado um problema de soma de...
Atualmente, estou trabalhando em uma solução para um problema para o qual (após um pouco de pesquisa) o uso de uma escalada e, mais especificamente, uma idéia algorítmica de escalada de espingarda (ou reinício aleatório ) parece ser a melhor opção, como eu não tenho idéia de como o melhor valor...
Eu desenvolvi o seguinte pseudocódigo para o problema da soma dos pares: Dada uma matriz de números inteiros e um número inteiro , retorne YES se houver posições i, j em A com A [i] + A [j] = b , NO caso contrário.AAAbbbi,ji,ji,jAAAA[i]+A[j]=bA[i]+A[j]=bA[i] + A[j] = b Agora devo declarar um...
Muitas vezes, vejo uma frase como essa ao ler textos sobre Complexidade Computacional: "Para este caso especial de " ouTSPTSP\text{TSP} "Este é um caso especial de " ouSATSAT\text{SAT} " - é o seguinte caso especial de " oukkkPARTITIONPARTITION\text{PARTITION}BIN PACKINGBIN PACKING\text{BIN...
(isso está relacionado à minha outra pergunta, veja aqui ) Imagine uma tela com três janelas: Gostaria de encontrar uma estrutura de dados eficiente para representar isso, apoiando essas ações: retornar uma lista de coordenadas onde uma determinada janela pode ser posicionada sem se sobrepor...
Estou estudando diferentes abordagens para a definição de computação com sistemas dinâmicos contínuos. Eu tenho tentado encontrar uma boa introdução à teoria dos "sistemas de transição de Estado", mas não consegui. Alguém conhece uma introdução moderna ao tópico? De particular interesse seria algo...
O que segue é o meu algoritmo para fazer isso no que acredito ser O(n)O(n)O(n)tempo e minha prova disso. Meu professor discorda que seja executado emO(n)O(n)O(n) e, em vez disso, pensa que é executado em Ω(n2)Ω(n2)\Omega(n^2)Tempo. Quaisquer comentários sobre a prova em si ou o estilo (ou seja,...