Perguntas com a marcação «ds.algorithms»

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 tempo . Existe …

14 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

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 …

14 ds.algorithms  linear-programming  software  implementation  simplex 

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 …

14 ds.algorithms  reference-request  graph-algorithms  planar-graphs 

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 …

14 ds.algorithms  sorting 

Considere alguma linguagem tal que:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) e para que L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Em outras palavras, a máquina mais rápida calcula L no tempo O ( f ( n ) ) e a máquina mais eficiente em espaço M ' calcula L enquanto usa o …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

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 ainda …

14 ds.algorithms  graph-theory  linear-programming  simplex 

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 encontrei bons resultados. Na verdade, eu pensei que …

14 ds.algorithms  graph-theory  open-problem 

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 (bastante injetiva) …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

Estou lendo o artigo "Fast Paxos" de Leslie Lamport e fico preso às provas de correção dos clássicos Paxos e Fast Paxos. Por consistência, o valor escolhido pelo coordenador na fase 2 a na rodada i deve satisfazervvv2a2a2aiii Para qualquer rodada j < i , nenhum valor diferente de v …

13 ds.algorithms  dc.distributed-comp  proofs 

Nos é dado um gráfico acíclico direcionado com um número associado a cada vértice ( ) e um número alvo .g : V → N T ∈ NG = ( V, E)G=(V,E)G=(V,E)g: V→ Ng:V→Ng:V\to \mathbb{N}T∈ NT∈NT\in \mathbb{N} O problema de soma de subconjuntos do DAG (pode existir com um nome …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

Motivação: Um co-autor edita um manuscrito e eu gostaria de ver um resumo claro das edições. All "diff" -como ferramentas tendem a ser inútil se você está tanto em movimento texto ao redor (por exemplo, re-organização da estrutura) e fazer edições locais. É realmente tão difícil acertar? Definições: eu gostaria …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

Esta questão é sobre problemas de programação quadrática com restrições de caixa (box-QP), ou seja, problemas de otimização do formulário minimizar sujeito a .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Se fosse semi-definido positivo, tudo seria agradável, convexo e fácil, e poderíamos resolver o problema em tempo …

13 ds.algorithms  optimization  exp-time-algorithms 

Em seu trabalho seminal, algoritmos teóricos de grupo para multiplicações de matrizes , Cohn, Kleinberg, Szegedy e Umans introduzem o conceito de quebra-cabeça exclusivamente solucionável (definido abaixo) e a capacidade da USP. Eles afirmam que Coppersmith e Winograd, em seu próprio papel inovador A multiplicação de matrizes através de progressões …

13 ds.algorithms  co.combinatorics  algebraic-complexity  matrix-product 

Uma função de ajuste é submodular monótono se para todos , A , B f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA , BUMA,BA,Bf( A ) + f( B ) ≥ f( A ∪ …

13 ds.algorithms  approximation-algorithms  submodularity 

Eu tenho um problema algébrico relacionado a vetores no campo GF (2). Seja v1, v2, … , Vmv1,v2,...,vmv_1, v_2, \ldots, v_m (0,1) - vetores da dimensão e . Encontre um algoritmo de tempo polinomial que encontre um vetor (0,1) da mesma dimensão, de modo que não seja a soma de …

13 ds.algorithms  linear-algebra