Quais são alguns problemas não triviais em que sabemos que o algoritmo atual que temos é o ideal assintoticamente ideal? (Para máquinas de turing) E como isso é
Quais são alguns problemas não triviais em que sabemos que o algoritmo atual que temos é o ideal assintoticamente ideal? (Para máquinas de turing) E como isso é
Na minha introdução ao curso de programação, estamos aprendendo sobre o método Initialization-Maintenance-Termination de provar que um algoritmo faz o que esperamos. Mas apenas tivemos que provar que um algoritmo já conhecido como correto está correto. Nunca fomos solicitados a mostrar que um...
Em seu artigo Approximate Distance Oracles , Thorup e Zwick mostraram que, para qualquer gráfico não direcionado ponderado, é possível construir uma estrutura de dados do tamanho que possa retornar uma aproximação ( 2 k - 1 ) distância entre qualquer par de vértices no gráfico.O ( k n1 + 1 /...
Tenho sérios problemas para entender um passo do artigo de Dobkin e Kirkpatrick sobre a separação dos poliedros. Estou tentando entender esta versão: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf Argumenta que, depois de conhecermos a melhor separação de e ,...
Lembro-me de ver um estudo ou artigo há um tempo atrás, alegando que a maior parte da aceleração observada em programas de computador nas últimas décadas é de algoritmos melhores e não de hardware mais rápido. Alguém conhece o estudo ou
Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a -> b -> b seq ⊥ b = ⊥ seq...
Escrevi uma implementação do algoritmo Kuhn-Munkres para o problema de correspondência perfeita bipartida de peso mínimo com base nas notas de aula encontradas aqui e ali na web. Funciona muito bem, mesmo em milhares de vértices. E eu concordo que a teoria por trás disso é verdadeiramente bela. E...
Estou implementando uma parte do sistema que requer alguma ajuda. Portanto, estou enquadrando-o como um problema gráfico para torná-lo independente de domínio. Problema: Recebemos o gráfico acíclico . Sem perda de generalidade, assuma que tem exatamente um vértice de origem e exatamente um vértice...
Sabemos que o algoritmo de mincut de Karger pode ser usado para provar (de maneira não construtiva) que o número máximo de possíveis mincuts que um gráfico pode ter é (n2)(n2)n \choose 2 . Fiquei imaginando se de alguma forma poderíamos provar essa identidade, fornecendo uma prova bijetiva...
Qual é a classe de complexidade associada a algoritmos de pesquisa exaustivos? (se houver) É NP ou PSPACE? Existem modelos restritos de computação que capturam a classe de algoritmos exaustivos de pesquisa semelhantes aos modelos para programação dinâmica e
Dado como entrada um número inteiro e um conjunto de conjuntos de elementos de , qual é a complexidade de encontrar um conjunto de elementos de tal que tem cardinalidade mínima e está incluído em nenhum dos conjuntos de ?nnnSSS{1,...,n}{1,...,n}\{1, ..., n\}TTT{1,...,n}{1,...,n}\{1, ...,...
Eu já fiz essa pergunta no stackoverflow , mas talvez seja mais adequado para este site. O problema é: Eu tenho N pares de números inteiros não assinados. Eu preciso classificá-los. O vetor final dos pares deve ser classificado de forma não decrescente pelo primeiro número em cada par e não cada...
Dada uma matriz (assumindo ), qual é o algoritmo mais rápido para calcular sua classificação e base das colunas?m×nm×nm \times nm≥nm≥nm \ge n Estou ciente de que pode ser resolvido através da interseção matróide linear, que implica um algoritmo determinístico de tempo e um algoritmo aleatório de...
Seja G um gráfico não-direcionado de n nós e T seja um subconjunto de nós de V (G) chamados terminais . Um preservador de distância de (G, T) é um gráfico H que satisfaz a propriedade dH( u , v ) = dG( u , v )dH(você,v)=dG(você,v)d_H(u,v) = d_G(u,v) para todos os nós u, v em T. (Observe que H...
Estou interessado em implementar o SM para tarefas de LP, no entanto, ouvi falar de possíveis armadilhas: o livro de Cormen diz que é possível ter dados de entrada que farão com que a implementação ingênua se comporte em tempo exponencial. Também ouvi dizer que a implementação ingênua pode fazer um...
Existe algo conhecido sobre o seguinte problema? Faz algum sentido? Como isso é chamado? É trivialmente equivalente a algum outro problema? Qual é a complexidade do tempo? Dado um gráfico não direcionado (geral / plano / grau delimitado / etc.) G = (V, E), encontre um subconjunto máximo de arestas...
Gostaria de saber como encontrar a circunferência de um gráfico esparso e não direcionado. Por esparso, quero dizer . Por ótimo, quero dizer a menor complexidade de tempo.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Pensei em alguma modificação no algoritmo de Tarjan para gráficos não direcionados, mas não...
Tempo constante é a complexidade absoluta de fim de tempo baixo. Alguém pode se perguntar: existe algo não trivial que pode ser calculado em tempo constante? Se nos apegarmos ao modelo da máquina de Turing, pouco poderá ser feito, pois a resposta só pode depender de um segmento inicial de...
Estou interessado em gráficos em nnn vértices que podem ser produzidos através do processo a seguir. Comece com um gráfico arbitrário GGG em k≤nk≤nk\le n vértices. Rotule todos os vértices em GGG como não utilizados . Produzir um novo gráfico G′G′G' pela adição de um novo vértice vvv , o qual...
Estou preparando algum material do curso sobre heurística para otimização e tenho estudado métodos de descida coordenada. A configuração é aqui uma função multivariada que você deseja otimizar. tem a propriedade restrita a qualquer variável, é fácil otimizar. Portanto, a descida de coordenadas...