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

Estou procurando referências sobre a complexidade do problema de balanceamento de fórmulas booleanas . Em particular, Sabia-se que as fórmulas booleanas podem ser balanceadas em AC0AC0\mathsf{AC^0} ? Existe uma prova simples de que o balanceamento de fórmula booleana esteja em AC0AC0\mathsf{AC^0} ? Por "simples", quero dizer uma prova mais simples …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Eu sei que a eliminação gaussiana realiza operações aritméticas , mas não tenho certeza se algum algoritmo melhor é conhecido.O(n3)O(n3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

Corrija . Para qualquer grande o suficiente , gostaríamos de rotular todos os subconjuntos de de tamanho exatamente por números inteiros positivos de . Gostaríamos que essa rotulagem satisfizesse a seguinte propriedade: existe um conjunto de números inteiros, stn { 1 .. n } n / k { 1 ... …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

Parece haver muitos algoritmos aleatórios para teste de identidade polinomial, verificando se um determinado polinômio é zero ou não. Existem resultados de algoritmos que fazem algum tipo de estimativa de polinômios sobre um conjunto específico de pontos? Por exemplo, isso pode ser aproximar para qual fração desses pontos o polinômio …

10 ds.algorithms  approximation-algorithms  randomized-algorithms  derandomization  polynomials 

Seja . Preciso gerar gráficos simples de circunferência modo que o conjunto de todas as -cycles forme uma cobertura de borda dupla de (ou seja, toda aresta é compartilhada por exatamente duas -cycles), e de modo que a interseção de duas -cycles é um vértice, uma aresta ou vazio. Os …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

As representações mais simples para gráficos usam matrizes / listas de adjacência, o que significa que cada nó e aresta é representado explicitamente. A importância de representações implícitas para gráficos que apresentam fortes regularidades é reconhecida há muito tempo. Por exemplo, Galperin e Wigderson (1983), Papadimitriou e Yannakakis ( Uma …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

Eu sei que para um gráfico bipartido não ponderado, posso encontrar a cobertura mínima de vértices, encontrando primeiro a correspondência máxima e transformando-a em uma cobertura de vértice usando o Teorema de König. Existe uma modificação que se possa usar se os nós forem ponderados?

10 ds.algorithms  graph-theory 

Seja um gráfico não direcionado. Uma decomposição de em subconjuntos separados é chamada de decomposição de Hamilton de se o subgráfico induzido por cada conjunto for um gráfico de Hamilton ou consistir em uma única aresta com .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Exemplo : O gráfico bipartido completo K_ possui uma decomposição de Hamilton …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Estou tentando usar árvores de sufixo para comparar seqüências de caracteres. Eu encontrei implementações / teoria para o maior problema de sub-string comum usando árvores de sufixo. No entanto, o que estou procurando é uma discussão sobre o problema relacionado - "todas as substrings comuns". Especificamente, tenho um problema no …

10 ds.algorithms  string-matching 

No artigo Sobre dois problemas da teoria da informação , Erdõs e Rényi estabelecem limites menores no número mínimo de pesagens que se deve fazer para determinar o número de moedas falsas em um conjunto de moedas.nnn Mais formalmente: As moedas falsas têm um peso menor que as moedas certas; …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Para um grafo não direcionado e um determinado conjunto de vértices, o que é o algoritmo assintoticamente mais rápido conhecido por encontrar um caminho simples contendo todos os elementos de . E se exigirmos que o caminho seja o mais curto possível?GGGSSSSSS

10 ds.algorithms  graph-algorithms  time-complexity 

Suponha que consideremos 3-SAT com variáveis ​​e cláusulas c . Estou pesquisando um método que parece ter O ( v 2 + log c ) tempo / espaço para resolver qualquer problema de SAT que se encaixe nessa descrição, dentro de um erro que pode ser ajustado para uma quantia …

10 ds.algorithms  sat  upper-bounds 

Dado um gráfico planar não ponderado e uma coleção de pares de vértices ( k ≥ 2 é uma constante), encontre k caminhos verticais-disjuntos (exceto a origem) de s a t é tal que o comprimento do caminho mais longo é minimizado.(s,t1),…,(s,tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k≥2k≥2k\ge2kkkssstitit_i Pergunta: Existe um algoritmo de tempo polinomial para …

10 ds.algorithms  graph-algorithms 

Gostaria de saber se o seguinte problema simples foi estudado antes e se alguma solução é conhecida. Seja G uma grade finita (MxN), S um subconjunto das células de G (as "migalhas"). Diz-se que duas migalhas estão conectadas (localmente) se suas coordenadas diferirem em no máximo uma (isto é, se …

10 ds.algorithms  graph-theory  graph-algorithms 

Existe um algoritmo de tempo polinomial para encontrar - se houver - uma aranha de abrangência de um determinado gráfico ? Uma aranha é uma árvore com no máximo um nó com grau maior que 2: eu sei que várias condições de grau em G (essencialmente, graus de nó suficientemente …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms