Suponha que recebamos uma matriz A[1..n]A[1..n]A[1..n] contendo números inteiros não negativos (não necessariamente distintos). Deixe BBB ser AAA ordenado na ordem não crescente. Queremos calcular m=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. A solução óbvia é classificar AAA e...
Estou procurando recursos (de preferência um manual) sobre tópicos avançados em algoritmos (tópicos além do que é abordado em manuais de algoritmos como CLRS e DPV). O tipo de material que pode ser usado para o ensino de tópicos em um curso de algoritmos, como o Erik Demaine e o curso de...
Existe uma maneira documentada de calcular nós? (circunferências embutidas em um espaço euclidiano tridimensional). Quero dizer, um tipo de dados para representá-los e um algoritmo para determinar se duas instâncias do tipo de dados representam o mesmo nó. Se a resposta for positiva, e a...
GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max Eu digo que um subgrafo de (com o mesmo conjunto de vértices) é sp-equivalente a se . Em outras palavras, remover arestas para ir de para não altera o comprimento dos caminhos mais curtos; as arestas removidas não são necessárias para...
A função inversa de Ackermann ocorre frequentemente ao analisar algoritmos. Uma ótima apresentação está aqui: http://www.gabrielnivasch.org/fun/inverse-ackermann . α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] α2(n)=[log2n]α2(n)=[log2n]\alpha_2(n) = [\log_2 n] α3(n)=log∗nα3(n)=log∗n\alpha_3(n) =...
Eu queria saber qual é a lista dos problemas computacionais naturais atuais para os quais não há vantagem de complexidade conhecida no uso de um computador quântico. Para começar, acho que o cálculo da distância de edição é aquele para o qual o algoritmo quântico mais rápido conhecido parece ser...
Em uma fórmula CNF de leitura duas vezes oposta, cada variável aparece duas vezes, uma vez positiva e uma vez negativa. Estou interessado na problema, que consiste em calcular a paridade do número de satisfazer as atribuições de um oposto fórmula CNF leitura duas
Diz-se que dois grupos (G,⋅)(G,⋅)(G,\cdot) e (H,×)(H,×)(H, \times) são isomórficos se existir um homomorfismo de GGG a HHH que seja bijetivo. O problema do isomorfismo do grupo é o seguinte: dados dois grupos, verifique se são isomórficos ou não. Existem diferentes maneiras de inserir um grupo, os...
A natureza de divisão e conquista da FFT pode ser generalizada para outras transformações (z Transform, chirp, etc) automaticamente? Existe um algoritmo que inclua uma descrição da transformação (não sei quais informações seriam necessárias) e possa produzir uma função rápida como a...
Seja um grafo conectado não regular cujo grau é delimitado. Suponha que cada nó contenha um token exclusivo.G=(V,E)G=(V,E)G= (V, E) Eu quero embaralhar uniformemente os tokens no gráfico usando apenas swaps locais (ou seja, troca dos tokens entre dois nós adjacentes)? Existe um limite inferior...
É fácil ver que para qualquer existe um mapeamento 1-1 F de {0,1} n a {0,1} n + O ( log n ), de modo que, para qualquer x, o vetor F ( x ) é " equilibrado ", ou seja, possui número igual de 1s e 0s. É possível definir tal F para que, dado x , possamos calcular F ( x ) eficientemente?nnnFFFnn^nn + O...
Olá pessoal, Atualmente, estou tentando encontrar um tópico sólido de tese de mestrado referente a algum ramo da teoria dos autômatos ou relacionado a linguagens formais. Estou tentando gerar boas idéias para o que seria um tópico aceitável, algo ambicioso, mas algo factível ao mesmo...
Estou procurando uma função hash sobre os conjuntos H (.) E uma relação R (.,.) De modo que, se A for incluído em B, então R (H (A), H (B)). Obviamente, R (.,.) Deve ser fácil de verificar (tempo constante) e H (A) deve ser calculado em tempo linear. Um exemplo de H e R é: , onde k é um número...
Pesquisei no fórum para verificar se isso já havia sido perguntado antes e, embora a teoria algorítmica dos jogos seja discutida, não foi possível encontrar esse problema em particular. Estou tentando descobrir qual é o algoritmo mais conhecido para calcular equilíbrios aproximados de Nash...
Digamos que eu tenha um gráfico ponderado G=(V,E,w)G=(V,E,w)G = (V,E,w) tal que seja a função de ponderação - observe que pesos negativos são permitidos.w:E→[−1,1]w:E→[−1,1]w:E\rightarrow [-1,1] Digamos que define uma propriedade de qualquer subconjunto dos vértices . S ⊂...
Motivação: Nos algoritmos padrão de maxflow de caminho de aumento, o loop interno requer a localização de caminhos da origem para afundar em um gráfico direcionado e ponderado. Teoricamente, é sabido que, para que o algoritmo termine mesmo quando há capacidades irracionais de borda, precisamos...
Esta questão surgiu em minha mente depois de ler as contribuições de András Salamon e Colin McQuillan para minha pergunta anterior Contando soluções de fórmulas Monotone-2CNF . EDIT 30 th março 2011 questão Adicionado n ° 2. EDIT 29 th outubro 2010 Pergunta reformulada após proposta András...
Dado um dígrafo fortemente conectado G com arestas ponderadas, eu gostaria de identificar arestas que provavelmente não fazem parte de nenhum subgrafo mínimo fortemente conectado (MSCS) de G. Um método para encontrar essas arestas é um algoritmo de Floyd-Warshall modificado. Usando o algoritmo de...
Uma transação clássica simplificada do banco de dados pode ser vista como: lendo itens M executando algum cálculo com base nessas leituras escrevendo alguns resultados de N com base nesses cálculos, que podem incluir os elementos lidos originalmente. Ao executar essas transações...
Eu tenho uma pergunta de viabilidade que pode ser estruturada da seguinte maneira. Recebi um ponto em um espaço vetorial dimensional e quero encontrar o ponto mais próximo a que satisfaça um conjunto de " restrições" do formuláriod q p ℓ 0pppdddqqqpppℓ0 0ℓ0\ell_0 Dado um conjunto , no máximo um...