Preciso provar que é um subconjunto da união de para todos os .N PNP\mathsf{NP}D T I M E (2nc)DTIME(2nc)\mathsf{DTIME}(2^{n^c})c > 1c>1c > 1 Seja um problema de linguagem / decisão em \ mathsf {NP} . Em seguida, L pode ser decidido dado um certificado de tamanho polinomial em tempo...
É possível mostrar que a cobertura mínima de vértices em um gráfico bipartido pode ser reduzida a um problema de fluxo máximo? Ou para o problema de corte mínimo (siga o teorema de corte mínimo de fluxo máximo, a reivindicação é válida). Intuitivamente: para cada fluxo, escolha um ponto final e,...
Tenho um jogo que estou construindo ai ai pois tem 2 jogadores fazendo movimentos simultâneos. Neste jogo, há exatamente um movimento em que, se os dois fazem ao mesmo tempo, o resultado é diferente do que se tivessem feito separadamente (todos os outros movimentos são bem independentes). Enfim,...
Eu estava lendo Linux Kernel Development de Robert Love, onde me deparei com isso O Linux adota uma abordagem interessante ao suporte a threads: não diferencia entre threads e processos normais. Para o kernel, todos os processos são iguais - alguns simplesmente compartilham recursos. Eu não...
Muitas áreas do mundo sofrem conflitos entre dois grupos (geralmente étnicos ou religiosos). Para o propósito desta pergunta, suponho que a maioria das pessoas de ambos os lados queira viver em paz, mas há poucos extremistas que incitam ao ódio e à violência. O objetivo desta pergunta é encontrar...
Os slides do meu curso em arquitetura de software sugerem que esses são termos separados, mas não consigo encontrar a diferença. Todos eles não estão apenas traduzindo
Como o título diz, alguém encontrou um algoritmo de tempo polinomial para verificar se dois gráficos com ciclo hamiltoniano são isomórficos? Esse problema está
Dado um conjunto SSS de pontos p1 1, . . ,p2p1 1,..,p2p_1,..,p_2 forneça o algoritmo mais eficiente para determinar se quaisquer 3 pontos do conjunto são colineares. O problema é que comecei com a definição geral, mas não posso continuar resolvendo o problema. O que podemos dizer sobre pontos...
Este é um exemplo em minhas anotações de aula. Esta função possui complexidade de tempoO(nlogn)O(nlogn)O(n \log n)? Como o pior caso é a função entra em elseramificação e 2 loops aninhados com complexidade de tempo delognlogn\log n e nnn, então é O(nlogn)O(nlogn)O(n \log n). Estou certo? int j...
Eu tenho um gráfico ponderado direcionado . Sempre existe uma aresta de um vértice para outro , o peso pode ser infinito positivo e não existe ciclo negativo.G = ( V, E, W)G=(V,E,W)G = (V, E, W)EuEuijjjw ( i , j )W(Eu,j)w(i,j) Uma execução de alguns algoritmos encontrará os comprimentos (pesos...
Estou escrevendo uma pequena função para alterar um gráfico de uma certa maneira e queria saber se existe um nome formal para a operação. A operação utiliza duas arestas distintas, injeta um novo nó entre os nós existentes de cada aresta e adiciona uma aresta entre os dois novos nós. Por...
Eu estou procurando um algoritmo, que dado um gráfico GGG e um número natural ttt, determina se GGG é ttt-transitivo . Também estou interessado em saber se esse problema está em P, NP, NPC ou em alguns outros fatos interessantes sobre sua classe de
Estou tentando entender como o segundo bit ou byte de paridade é definido no RAID 6. Estou lendo um artigo de H. Peter Anvin e ele entra na álgebra de campo de Galois, que é algo novo para mim. De qualquer forma, um representante da HP estava tentando me explicar o RAID 6 e ela pensou que eram...
Dado um cacto , queremos ponderar suas bordas de tal maneira que Para cada vértice, a soma dos pesos das arestas incidentes no vértice não passa de 1. A soma de todos os pesos das arestas é maximizada. Claramente, a resposta não passa de para vértices ( que é a soma de um vértice e é a soma de...
Fiz essa pergunta em math.stackexchange , mas fui redirecionado aqui. Minha pergunta é: se existe alguma relação histórica entre os campos dos sistemas dinâmicos (e campos relacionados, como controle ótimo) e a ciência da computação (teórica). A razão pela qual faço essa pergunta é que vários...
Fui encarregado de resolver algumas relações de recorrência e tenho tido problemas com as chamadas relações 'chip & conquistar'. Aqui estão alguns problemas de exemplo: T(n)=T(n−5)+cn2T(n)=T(n−5)+cn2T(n) = T(n-5) + cn^2 e T(n)=T(n−2)+lognT(n)=T(n−2)+lognT(n) = T(n-2) + \log{n} Eu deveria...
Eu defino um CNF longo para conter pelo menos cláusulas, onde é o número de suas variáveis. Deixe é uma fórmula CNF longa e satisfatória .2n22n22^\frac{n}{2}nnnLong-SAT = { ϕ : ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}\} Eu gostaria de saber por que . Primeiro, pensei que fosse pois eu posso...
Observe que estou ciente da indecidibilidade da conversão de gramática livre de contexto em gramática regular. Mas, dada a propriedade de não incorporação da gramática livre de contexto de entrada, existe algum algoritmo para convertê-la em gramática regular ou diretamente no...
Enquanto eu examinava o material sobre a abordagem gananciosa, soube que um conhecimento sobre matróides (greedoids) me ajudaria a abordar o problema adequadamente. Depois de ler sobre os matróides, entendi o que são os matróides. Mas como você usa o conceito de um matróide para resolver um...
Atualmente, estou pesquisando para minha tese de diploma em ciência da computação com um tópico na área de tabelas de hash distribuídas. Naturalmente, vim à questão de onde veio o termo tabela de hash distribuído . (Eu sei que não é ciência do foguete apenas derivá-lo da distribuição de uma tabela...