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

Não entendo muito bem por que quase todos os solucionadores de SAT usam CNF em vez de DNF. Parece-me que resolver o SAT é mais fácil usando DNF. Afinal, você só precisa verificar o conjunto de implicantes e verificar se um deles não contém uma variável e sua negação. Para …

22 ds.algorithms  sat 

Aqui estão algumas maneiras de analisar o tempo de execução de um algoritmo: 1) Análise de pior caso: tempo de execução na pior instância. 2) Análise de caso médio: tempo de execução esperado em uma instância aleatória. 3) Análise amortizada: tempo médio de execução na pior sequência de instâncias. 4) …

22 ds.algorithms 

Isso é parecido com " Algoritmos do livro ". Embora as reduções também sejam algoritmos, achei duvidoso que se pensasse em uma redução na resposta à pergunta sobre algoritmos do livro. Daí uma consulta separada! Reduções de todos os tipos são bem-vindas. Começarei com a redução realmente simples da cobertura …

22 ds.algorithms  np-hardness  big-list  reductions 

x∈Rnx∈Rnx \in \mathbb{R}^n∥x∥0&lt;k‖x‖0&lt;k\|x\|_0 < kAxAxAxAAARRRnnnR≪nR≪nR \ll nAAAkkk-parte com tão pequeno quanto . Talvez eu não tenha os parâmetros mais conhecidos, mas essa é a ideia geral.xxxRRRO(kno(1))O(kno(1))O(k n^{o(1)}) Minha pergunta é: existem fenômenos semelhantes em outras configurações? O que quero dizer é que o sinal de entrada pode vir de alguma …

22 ds.algorithms  ds.data-structures  compressed-sensing 

Alguém conhece um programa de código aberto para calcular a decomposição em árvore de gráficos para um "k" (largura) fixo? Eu sei que o problema de encontrar a Decomposição em Árvore é NP-Difícil para a variável "k", mas minhas instâncias de entrada serão realmente pequenas (~ 10 nós) e "k" …

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

Recentemente, passei pela dolorosa experiência divertida de explicar informalmente o conceito de complexidade computacional a um jovem programador autodidata talentoso, que nunca havia feito um curso formal de algoritmos ou complexidade antes. Não surpreendentemente, muitas noções pareciam estranhas a princípio, mas faziam sentido em alguns exemplos (PTIME, intratabilidade, incomputabilidade) , …

21 cc.complexity-theory  ds.algorithms  np-hardness 

Vamos chamar uma função superpolinomial se for válido para cada c&gt; 0 .f( N )f(n)f(n) c &gt; 0limn → ∞nc/ f( n ) = 0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c &gt; 0c&gt;0c>0 É claro que, para qualquer idioma L ∈ PL∈PL\in {\mathsf P} ele sustenta que L ∈ D T I M E ( …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

Para algoritmos aleatórios usando valores reais, o "truque mediano" é uma maneira simples de reduzir a probabilidade de falha a qualquer limite , ao custo de apenas uma multiplicativa sobrecarga. Ou seja, se a saída de cair em um "bom intervalo" com probabilidade (pelo menos) , executando cópias independentes e …

21 ds.algorithms  randomized-algorithms 

Todos sabemos que a distinção de elementos no modelo baseado em comparação não pode ser feita em tempo. No entanto, em uma palavra RAM, é possível alcançar melhor.o ( n logn )o(nregistro⁡n)o(n\log n) Obviamente, se alguém assume a existência de uma função de hash perfeita que pode ser calculada em …

21 ds.algorithms 

De acordo com o artigo "Connect the Stars" , de KW Regan , ele menciona no final que ainda é um problema em aberto encontrar uma representação de números inteiros, de modo que as operações de adição, multiplicação e comparação sejam computáveis ​​em tempo linear: Existe uma representação de números …

21 ds.algorithms  ds.data-structures  worst-case 

Ultimamente, comecei a procurar algoritmos de aproximação para problemas difíceis de NP e estava pensando nas razões teóricas para estudá-los. (A questão não é para ser inflamatória - estou apenas curiosa). Alguma teoria verdadeiramente bela saiu do estudo dos algoritmos de aproximação - a conexão entre o teorema PCP e …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

Recentemente, trabalhei no problema para calcular a soma aproximada de uma lista de números não negativos classificados. Para qualquer fixo ϵ&gt;0ϵ&gt;0\epsilon>0 , um Esquema do tempo de aproximação foi derivado de modo a que ele dá uma -approximation para a soma. O artigo está publicado em http://arxiv.org/abs/1112.0520 , que não …

21 ds.algorithms  reference-request 

O problema unidimensional do caminho do vendedor ambulante é, obviamente, o mesmo que a classificação e, portanto, pode ser resolvido exatamente por comparações no tempo , mas é formulado de tal maneira que a aproximação quanto a exata solução faz sentido. Em um modelo de computação em que as entradas …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

(crossposted from MathOverflow) Oi, Eu estava lendo este tópico: /mathpro/16393/finding-a-cycle-of-fixed-length Eu quero encontrar um ciclo de 5 em um gráfico. Na verdade, o que eu realmente quero é um ciclo ímpar mais curto, de pelo menos 5, mas talvez isso seja um pouco irrelevante. Para meus propósitos, trato e n …

21 ds.algorithms  graph-theory  graph-algorithms  sparse-matrix 

(Este é um acompanhamento para esta pergunta e sua resposta .) Eu tenho o seguinte programa linear inteiro totalmente unimodular (TU) (ILP). Aqui ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},w são números inteiros positivos dados como parte da entrada. Um subconjunto especificado das variáveis é definido como zero e o restante pode assumir valores integrais positivos:xijxijx_{ij} …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time