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

Estou pensando no seguinte problema há um tempo e não encontrei uma solução polinomial para ele. Apenas fonte bruta. Eu também tenho tentado reduzir um problema NP-Complete sem sucesso. Aqui está o problema : Você tem um conjunto classificado de pares inteiros positivos. { ( A1, B1) , ( A2, …

27 ds.algorithms  np-hardness  sorting 

Tenho certeza que todo mundo conhece o experimento com agulhas de Buffon no século 18, que é um dos primeiros algoritmos probabilísticos a calcular .ππ\pi A implementação do algoritmo em computadores geralmente exige o uso de , ou uma função trigonométrica, que, mesmo que sejam implementadas como séries truncadas, acaba …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

Eu não sou um teórico da ciência da computação, mas acho que esse problema do mundo real pertence aqui. O problema Minha empresa possui várias unidades em todo o país. Oferecemos aos funcionários a possibilidade de trabalhar em outra unidade. Mas há uma condição: o número total de trabalhadores em …

26 ds.algorithms  graph-algorithms  application-of-theory 

Dado um idioma comum (NFA, DFA, gramática ou regex), como pode ser contado o número de palavras aceitantes em um determinado idioma? Tanto "com exatamente n letras" quanto "com no máximo n letras" são de interesse. Margareta Ackerman tem dois trabalhos sobre o assunto relacionado de enumerar palavras aceitas por …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

Quais seriam as consequências de #P = FP? Estou interessado em conseqüências práticas e teóricas. Do ponto de vista prático, estou particularmente interessado em consequências na inteligência artificial. Ponteiros para papéis ou livros são mais que bem-vindos. Por favor, não diga que #P = FP implica P = NP, eu …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

Você conhece algum wiki atualizado dedicado a problemas de otimização de NP com seus melhores resultados de aproximação e dureza? Com base no feedback, parece seguro presumir que não exista esse recurso (consulte o final desta pergunta para duas opções próximas). - adicionado em 8 de fevereiro. Como existe um …

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

Preciso calcular a mediana em execução: Entrada: nnn , kkk , vetor .( x1, x2, … , Xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Saída: vetor , em que é a mediana de .y i ( x i , x i + 1 , … , x i + k - 1 )( …

25 ds.algorithms  ds.data-structures  lower-bounds 

Volume III de Knuth de The Art of Computer Programming (capítulo 5, versículo 3.2) inclui o seguinte tabela listando o exato número mínimo de comparações necessárias para selecionar o th menor elemento de um conjunto indiferenciado de tamanho , para todos . Esta tabela, juntamente com as conhecidas expressões de …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

O que se sabe sobre a complexidade do seguinte problema: Dado: números racionais x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n . Saída: números inteiros y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n . Objetivo: minimizar ∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j), onde e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Ou …

25 ds.algorithms  reference-request  optimization 

Os solucionadores SAT são muito importantes em ataques algébricos , por exemplo, walkinsat e minisat . No entanto, ao resolver os problemas de benchmark disponíveis aqui, há uma enorme diferença de desempenho entre os dois - o Walksat é muito mais rápido que o minisat para esses problemas. Por que …

25 ds.algorithms  sat 

Em conexão com a Slither Fazer a ligação quebra-cabeça, eu estive pensando: Suponha que eu tenho um grade de células quadrados, e eu quero encontrar um ciclo simples de bordas de grade, uniformemente de forma aleatória entre todos os ciclos simples possíveis.n×nn×nn\times n Uma maneira de fazer isso seria usar …

25 ds.algorithms  randomness  markov-chains  integer-lattice 

Geralmente, constrói-se um gráfico e, em seguida, faz-se perguntas sobre a decomposição do autovalor da matriz de adjacência (ou algum parente próximo como o Laplaciano ) (também chamado de espectro de um gráfico ). Mas e o problema inverso? Dados valores próprios, é possível (eficientemente) encontrar um gráfico que possua …

25 ds.algorithms  graph-theory  graph-algorithms  spectral-graph-theory 

Formulei o seguinte problema hoje, enquanto brincava com o meu GPS. Aqui está : Seja um gráfico direcionado, de modo que se então , ou seja, é uma orientação do gráfico não direcionado subjacente. Considere as seguintes operações:G(V,E)G(V,E)G(V,E)e=(u,v)∈Ee=(u,v)∈Ee=(u,v) \in E(v,u)∉E(v,u)∉E(v,u) \notin EGGG Flip(u,v)Flip(u,v)Flip(u,v) : Replace an edge (u,v)(u,v)(u,v) with an …

25 ds.algorithms  graph-algorithms 

Edit: Eu primeiro formulei minha restrição (2), agora ela está corrigida. Eu também adicionei mais informações e exemplos. Com alguns colegas, estudando outra questão algorítmica, conseguimos reduzir nosso problema ao seguinte problema interessante, mas não conseguimos resolver a questão de sua complexidade. O problema é o seguinte. Instância: Um número …

24 cc.complexity-theory  ds.algorithms  reference-request 

Eu quero fazer um primeiro solucionador de SAT. Conheço a competição do SAT e a conferência do SAT, e há tantos artigos sobre esse assunto. Eu sou um iniciante, um iniciante oprimido. Por onde devo começar? Eventualmente, eu quero empurrar o estado da arte. Quero alguns conselhos de especialistas sobre …

24 ds.algorithms  reference-request  lo.logic  sat