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

Alguém poderia apontar para um ou mais sites onde é possível fazer o download de uma implementação de trabalho de um solucionador #SAT? Estou interessado em retornar a contagem exata da solução, não em uma aproximação.

21 ds.algorithms  sat  software 

Digamos que uma linguagem LLL seja P -densidade perto se houver um algoritmo de tempo polinomial que decida corretamente LLL em quase todas as entradas. A∈A∈A\in LΔALΔAL\Delta Alimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.AAALLLLLL Observe que não precisa ser esparso. Por exemplo, se tiver bits, ainda estará desaparecendo (a uma taxa exponencial), …

20 cc.complexity-theory  ds.algorithms  complexity-classes  np-complete 

Suponha que queremos classificar uma lista de números reais. Suponha que recebamos uma caixa preta que pode classificar números reais instantaneamente. Quanta vantagem podemos obter usando esta caixa preta?n √SSSnnnn−−√n\sqrt n Por exemplo, podemos classificar os números com apenas chamadas para a caixa preta? O melhor algoritmo que eu encontrei …

20 ds.algorithms  sorting  decision-trees 

Recentemente, li este resumo dos problemas envolvidos na diferenciação entre árvores e isso me interessou em saber qual é o estado da arte para esse problema. Além disso, suponha que entre as operações de edição permitidas esteja o nó tradicional de adição / exclusão, edite o conteúdo e adicione as …

20 ds.algorithms  tree  edit-distance 

Quais são alguns resultados conhecidos para encontrar um subarray n-dimensional exato dentro de uma matriz n-dimensional? Em 1D, é apenas um problema de correspondência de cadeias, o KMP faz isso em tempo linear. Em 2D, este artigo mostrou que isso pode ser feito em tempo linear com pouco espaço extra. …

20 ds.algorithms  reference-request  string-matching 

Um colega que trabalha em programação genética me fez a seguinte pergunta. Primeiro tentei resolvê-lo com base em uma abordagem gananciosa, mas, pensando bem, encontrei um contraexemplo do algoritmo ganancioso. Então, pensei que vale a pena mencionar aqui. Considere dois polinômios que são representados por suas árvores de expressão. Por …

20 ds.algorithms  tree  ai.artificial-intel  genetic-programming 

Estou procurando uma boa pesquisa sobre algoritmos e complexidade da álgebra linear (operações como rank, inverso, autovalores, ... para matrizes booleanas, e números inteiros / racionais) com ênfase nos algoritmos paralelo ( hierarquia N C ) e polytime . Não consegui encontrar uma recente.FpFp\mathbb{F}_pNCNCNC Você conhece uma boa pesquisa recente …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Na classe de complexidade , existem alguns problemas conjecturados para NÃO pertencer à classe N C , ou seja, problemas com algoritmos paralelos determinísticos. O problema de fluxo máximo é um exemplo. E acredita-se que haja problemas em N C , mas uma prova ainda não foi encontrada.PP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Perfeito Matching …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Seja uma função. Queremos estimar a média de ; ou seja: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )f:{0,1}n→(2−n,1]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n \to (2^{-n},1]fffE[f(n)]=2−n∑x∈{0,1}nf(x)E[f(n)]=2−n∑x∈{0,1}nf(x)\mathbb{E}[f(n)]=2^{-n}\sum_{x\in \lbrace 0,1 \rbrace ^ n}f(x) NOTE: …

20 ds.algorithms  randomized-algorithms  black-box 

Suponha que temos uma matriz n por n. É possível reordenar suas linhas e colunas para obter uma matriz triangular superior? Esta questão é motivada por este problema: Ordenação topológica positiva O problema de decisão original é pelo menos tão difícil quanto este, então um resultado de completude do NP …

20 ds.algorithms  np-hardness  open-problem  matrices 

Qual é a complexidade mais conhecida para calcular a distância exata de edição entre duas strings do mesmo comprimento usando espaço de trabalho sublinear no tamanho da entrada? Presumo que a entrada seja armazenada em algum formato somente leitura. Esse é um problema estudado anteriormente? Para tornar a pergunta um …

19 ds.algorithms  edit-distance  space-time-tradeoff 

Alguém pode me ajudar com o seguinte problema? Quero encontrar alguns valores ai,bjai,bja_i,b_j (mod NNN ) em que i=1,2,…,K,j=1,2,…,Ki=1,2,…,K,j=1,2,…,Ki=1,2,…,K, j=1,2,…,K (por exemplo K=6K=6K=6 ), dada uma lista de valores de K2K2K^2 que correspondem às diferenças ai−bj(modN)ai−bj(modN)a_i-b_j\pmod N (por exemplo N=251N=251N=251 ), sem conhecer a relação correspondente concreta. Como os valores …

19 ds.algorithms  linear-algebra  nt.number-theory  cryptographic-attack  comp-number-theory 

Você recebe um gráfico com n vértices. Pode ser bipartido, se você quiser. Existem m conjuntos de arestas E 1 , … , E m ⊆ E (digamos disjuntos). Estou interessado no problema de encontrar um subconjunto S ⊆ V , o menor possível (ou até menor), de modo que …

19 ds.algorithms  graph-theory  optimization 

Computar a constante Cheeger de um gráfico , também conhecida como constante isoperimétrica (porque é essencialmente uma relação área / volume mínima), é conhecida por ser NP-completa. Geralmente é aproximado. Estou interessado em saber se os algoritmos polinomiais exatos são conhecidos para classes especiais de gráficos. Por exemplo, ainda é …

19 ds.algorithms  reference-request  graph-algorithms 

Antecedentes: Chao Xu postou a seguinte pergunta há algum tempo: " 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) ". Parece que estamos um pouco presos ao problema; Discuti o mesmo problema com …

19 ds.algorithms  sorting  sorting-network