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

Suponha que eu tenha um gráfico acíclico direcionado com pesos em número real em seus vértices. Quero encontrar uma ordem topológica do DAG em que, para cada prefixo da ordem topológica, a soma dos pesos não seja negativa. Ou, se você preferir a terminologia teórica da ordem, tenho uma ordem …

45 ds.algorithms  directed-acyclic-graph  partial-order 

Estou procurando conjecturas sobre algoritmos e complexidade que foram vistas por muitos em algum momento credíveis, mas mais tarde elas foram refutadas ou, pelo menos, desacreditadas, devido à crescente contra-evidência. Aqui estão dois exemplos: Hipótese aleatória do oráculo: relações entre classes de complexidade que são válidas para quase todos os …

44 cc.complexity-theory  ds.algorithms 

Eu sempre tive problemas para entender a importância do gap de integralidade (IG) e os limites dele. IG é a razão de (a qualidade de) uma resposta inteira ideal para (a qualidade de) uma solução real ótima do relaxamento do problema. Vamos considerar a cobertura de vértices (VC) como um …

44 cc.complexity-theory  ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

Se você pudesse renomear a programação dinâmica, como chamaria?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

Em outro tópico , Joe Fitzsimons perguntou sobre "os melhores limites inferiores atuais no 3SAT". Eu gostaria de seguir o outro caminho: qual é o melhor limite superior atual no 3SAT? Em outras palavras, qual é a complexidade de tempo do solucionador SAT mais eficiente? Em particular, é concebível encontrar …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

Que explicações teóricas existem para o sucesso prático dos solucionadores de SAT, e alguém pode dar uma visão geral e uma explicação do "estilo da wikipedia", unindo-as? Por analogia, a análise suavizada ( versão arXiv )) para o algoritmo simplex faz um ótimo trabalho ao explicar por que funciona tão …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Em 1937, Turing descreveu uma máquina de Turing. Desde então, muitos modelos de computação foram descritos na tentativa de encontrar um modelo que seja como um computador real, mas ainda simples o suficiente para projetar e analisar algoritmos. Como resultado, temos dezenas de algoritmos para, por exemplo, o problema SORT …

41 ds.algorithms  reference-request  soft-question  machine-models 

O problema do isomorfismo de grafos (IG) é sem dúvida o candidato mais conhecido para um problema intermediário de NP . O algoritmo mais conhecido é o algoritmo subexponencial com tempo de execução . Sabe-se que o IG não éNP-completo a menos que ahierarquia polinomialcolapsa.2O ( n logn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} …

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism 

Minha pergunta é simples: Qual é o pior caso de tempo da melhor algoritmo conhecido correndo para computar uma eigendecomposition de um n×nn×nn \times n matriz? A composição automática reduz à multiplicação de matrizes ou os algoritmos mais conhecidos O(n3)O(n3)O(n^3) (via SVD ) no pior caso? Observe que estou solicitando …

40 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

Existe algum algoritmo de classificação de comparação conhecido que não se reduz a redes de classificação, de modo que cada elemento seja comparado vezes?O ( logn )O(log⁡n)O(\log n) Até onde eu sei, a única maneira de classificar com a comparação em cada elemento é construir uma rede de classificação AKS …

39 ds.algorithms  sorting  sorting-network 

Alguém está familiarizado com o algoritmo Yijie Han , espaço linear e classificação de número inteiro? Esse resultado aparece em um artigo bastante curto ( classificação determinística no tempo e no espaço linear . J. Alg. 50: 96-105, 2004), que basicamente reúne vários resultados anteriores, com adaptações. Meu problema é …

38 ds.algorithms  sorting 

A classe de complexidade consiste naqueles N P -Problemas que podem ser decididas por um máquina de Turing não-determinístico tempo polinomial que tem no máximo uma aceitar caminho computacional. Ou seja, a solução, se houver, é única nesse sentido. É altamente improvável que todos os problemas de estejam em , …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

O problema da soma das raízes quadradas pergunta, dadas duas seqüências e de números inteiros positivos, se a soma menor ou igual a ou maior que a soma . O status de complexidade desse problema está aberto; veja este post para mais detalhes. Esse problema surge naturalmente na geometria computacional, …

37 ds.algorithms  big-list  reductions  computing-over-reals 

Estou curioso para saber se existe uma maneira de armazenar um hash de um conjunto múltiplo de números inteiros que possua as seguintes propriedades, idealmente: Utiliza espaço O (1) Pode ser atualizado para refletir uma inserção ou exclusão no tempo O (1) Duas coleções idênticas (ou seja, coleções que possuem …

36 ds.algorithms  ds.data-structures  hash-function 

Qual é o limite superior do algoritmo simplex para encontrar uma solução para um programa linear? Como eu iria encontrar uma prova para esse caso? Parece que o pior caso é se cada vértice tiver que ser visitado, ou seja, . No entanto, na prática, o algoritmo simplex será executado …

36 ds.algorithms  linear-programming  simplex  smoothed-analysis