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

É fácil ver que para qualquer existe um mapeamento 1-1 F de {0,1} n a {0,1} n + O ( log n ), de modo que, para qualquer x, o vetor F ( x ) é " equilibrado ", ou seja, possui número igual de 1s e 0s. É possível …

10 ds.algorithms  ds.data-structures  encoding 

Olá pessoal, Atualmente, estou tentando encontrar um tópico sólido de tese de mestrado referente a algum ramo da teoria dos autômatos ou relacionado a linguagens formais. Estou tentando gerar boas idéias para o que seria um tópico aceitável, algo ambicioso, mas algo factível ao mesmo tempo. Quaisquer sugestões seriam muito …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

Seja um grafo conectado não regular cujo grau é delimitado. Suponha que cada nó contenha um token exclusivo.G=(V,E)G=(V,E)G= (V, E) Eu quero embaralhar uniformemente os tokens no gráfico usando apenas swaps locais (ou seja, troca dos tokens entre dois nós adjacentes)? Existe um limite inferior conhecido para esse problema? A …

10 ds.algorithms  random-walks  dc.distributed-comp 

A natureza de divisão e conquista da FFT pode ser generalizada para outras transformações (z Transform, chirp, etc) automaticamente? Existe um algoritmo que inclua uma descrição da transformação (não sei quais informações seriam necessárias) e possa produzir uma função rápida como a FFT?

10 ds.algorithms 

Suponha que eu tenha um circuito booleano que calcule alguma função f : { 0 , 1 } n → { 0 , 1 } . Suponha que o circuito seja composto de portas AND, OR e NOT com entrada e saída de ventilador no máximo 2.CCCf: { 0 , …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Folga complementar (CS) é comumente ensinada quando se fala de dualidade. Estabelece uma boa relação entre as restrições / variáveis ​​primárias e as duplas do ponto de vista matemático. Os dois principais motivos para a aplicação do CS (conforme ensinado em cursos de graduação e livros didáticos): Para verificar a …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

Ganância é um termo não formal, mas pode ser (não tenho certeza, é por isso que estou perguntando) que, para certos problemas, a ganância possa ser formulada matematicamente e, assim, seja provado que não existe um algoritmo ganancioso ideal. Isso é possível?

10 ds.algorithms  greedy-algorithms 

Para muitos problemas, o algoritmo com a melhor complexidade assintótica tem um fator constante muito grande, oculto pela grande notação O. Isso ocorre na multiplicação de matrizes, multiplicação de números inteiros (especificamente, o recente algoritmo de multiplicação de números inteiros O (n log n) de Harvey e van der Hoeven), …

9 cc.complexity-theory  ds.algorithms  time-complexity 

Sabe-se que Ford-Fulkerson ou Edmonds-Karp com a heurística do tubo de gordura (dois algoritmos para fluxo máximo) não precisam parar se alguns pesos forem irracionais. De fato, eles podem até convergir para o valor errado ! No entanto, todos os exemplos que pude encontrar na literatura [referências abaixo, mais referências …

9 ds.algorithms  graph-algorithms  max-flow 

a,ba,ba, bminx,y>0|ax−by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Aqui são inteiros. Obviamente, tomar dá uma resposta desinteressante; em geral, quão próximos esses poderes podem chegar? Além disso, como calculamos rapidamente o minimizador ?x = y = 0 x , yx,yx,yx, yx=y=0x=y=0x = y = 0x,yx,yx, y

9 ds.algorithms  randomized-algorithms  nt.number-theory  comp-number-theory 

Os solucionadores SMT como Z3 ou Boolector usam um conjunto complexo de heurísticas para resolver problemas. No entanto, isso também dificulta muito a previsão do desempenho de um solucionador para um determinado problema. Minha pergunta é assim: Questão Existe uma maneira de entender ou obter informações sobre o desempenho de …

9 ds.algorithms  sat  heuristics 

Após os sucessos mais recentes e mais recentes das redes neurais nos jogos de tabuleiro, parece que o próximo objetivo que estabelecemos poderia ser algo mais útil do que derrotar humanos em Starcraft. Mais precisamente, eu me perguntava se As redes neurais podem ser treinadas para resolver problemas algorítmicos clássicos? …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

O artigo SODA de duas páginas da Kalai fornece um algoritmo simples e eficiente para a correspondência de padrões com não se preocupa (caracteres curinga que correspondem a um caractere). Em essência, é tão fácil quanto a convolução. Mas o que acontece se estivermos procurando por vários padrões com não …

9 ds.algorithms  reference-request  string-matching 

Eu tenho tentado implementar o algoritmo de multiplicação de números inteiros Schönhage-Strassen, mas atingi um obstáculo na etapa recursiva. Eu tenho um valor com bits e quero calcular x ^ 2 \ pmod {2 ^ n + 1} . Eu originalmente pensei que a idéia era escolher um k tal …

9 ds.algorithms 

Se considerarmos apenas os problemas em P, existem grandes lacunas entre o algoritmo de RAM de palavras mais rápido e o algoritmo de máquina de Turing mais rápido para problemas específicos? Estou particularmente interessado se existem grandes lacunas para problemas naturais de interesse geral.

9 cc.complexity-theory  ds.algorithms