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

Dados nnn subconjuntos S1,…,SnS1,…,SnS_1,\ldots,S_n de {1,…,d}{1,…,d}\{1,\ldots,d\} . Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j A solução trivial para esse problema passa por todos os pares de conjuntos e verifica a inclusão de um par no tempo , portanto, o tempo de execução geral é . Esse problema pode ser resolvido mais rapidamente? Existe um …

24 ds.algorithms  reference-request 

Problema no casamento estável: http://en.wikipedia.org/wiki/Stable_marriage_problem Estou ciente de que, para uma instância de um SMP, muitos outros casamentos estáveis ​​são possíveis além daquele retornado pelo algoritmo Gale-Shapley. No entanto, se recebermos apenas , o número de homens / mulheres, fazemos a seguinte pergunta - Podemos construir uma lista de preferências …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

O algoritmo de Coppersmith – Winograd é o algoritmo conhecido mais rapidamente assintoticamente para multiplicar duas matrizes quadradas. O tempo de execução de seu algoritmo é o mais conhecido até o momento. Qual é a complexidade espacial deste algoritmo? Está em ?O ( n 2.376 ) Θ ( n 2 …

24 ds.algorithms  matrices 

Um gráfico H é um núcleo se qualquer homomorfismo de H para si é uma bijeção. Um subgrafo H de G é um núcleo de G se H é um núcleo e existe um homomorfismo de G para H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Dado um gráfico G, qual é o algoritmo exato mais …

24 ds.algorithms  graph-theory  graph-algorithms 

Dado um enorme banco de dados de palavras permitidas (classificadas em ordem alfabética) e uma palavra, encontre a palavra no banco de dados mais próxima da palavra especificada em termos de distância de Levenshtein. A abordagem ingênua é, é claro, simplesmente calcular a distância de levenshtein entre a palavra especificada …

24 ds.algorithms  reference-request  string-matching  string-search 

Existe um análogo paralelo natural às árvores de vermelho-preto com propriedades semelhantes ou até mesmo terrivelmente piores para atualizações, sendo razoavelmente eficiente no trabalho? De um modo mais geral, o que podemos fazer de melhor para pesquisas paralelas com atualizações?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

Esta questão foi migrada do Computer Science Stack Exchange porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 3 anos . No artigo científico de 2016 " Realização de um algoritmo Shor escalável " [ 1 ], os autores fatoram 15 com apenas 5 qubits, o que …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

Vamos olhar para o futuro daqui a 30 anos. Vamos ser otimistas e assumir que as áreas relacionadas ao aprendizado de máquina continuam se desenvolvendo tão rapidamente quanto o que vimos nos últimos 10 anos. Isso seria ótimo, mas qual seria o papel da algorítmica tradicional em um futuro tão …

23 ds.algorithms  soft-question  machine-learning 

Seja dois idiomas regulares fornecidos pelos NFAs M_1 como entrada.M 1 , M 2eu1, L2L1,L2L_1,L_2M1, M2M1,M2M_1,M_2 Suponha que gostaríamos de verificar se . Isso pode ser feito claramente por um algoritmo quadrático que calcula o autômato do produto , , mas eu queria saber se algo mais eficiente é conhecido.M …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Sabemos que é difícil aproximar o Conjunto Independente Máximo (MIS) dentro de um fator de para qualquer menos que P = NP. Quais são algumas classes especiais de gráficos para as quais são conhecidos melhores algoritmos de aproximação?n1 - ϵn1-ϵn^{1-\epsilon}ε > 0ϵ>0 0\epsilon > 0 Quais são os gráficos pelos …

23 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms 

A largura da árvore mede a distância entre um gráfico e uma árvore. É NP-difícil calcular a largura da árvore. O algoritmo de aproximação mais conhecido atinge fator.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) O teorema de Courcelle afirma que qualquer propriedade dos gráficos definíveis na lógica monádica de segunda ordem (MSO2) pode ser decidida em …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Dado é um dag. Você deseja rotular cada nó por quantos nós são acessíveis a partir dele. é um limite superior trivial; é um limite inferior (eu acho). Existe um algoritmo melhor? Há razões para acreditar que o limite inferior pode ser melhorado (relacionado: o que exatamente se sabe sobre …

23 ds.algorithms  graph-theory 

Postagem atualizada em 31 de agosto : Adicionei um resumo das respostas atuais abaixo da pergunta original. Obrigado por todas as respostas interessantes! Obviamente, todos podem continuar postando novas descobertas. Para quais famílias de gráficos existe um algoritmo polinomial de tempo para calcular o número cromático ?χ(G)χ(G)\chi(G) O problema é …

23 ds.algorithms  graph-theory  co.combinatorics 

A primeira etapa do algoritmo de teste de primalidade AKS é verificar se o número de entrada é uma potência perfeita. Parece que esse é um fato bem conhecido na teoria dos números, uma vez que o artigo não a explicou em detalhes. Alguém pode me dizer como fazer isso …

23 ds.algorithms  nt.number-theory 

Considere uma rede elétrica modelada como um gráfico planar G, em que cada aresta representa um resistor de 1Ω. Com que rapidez podemos calcular a resistência efetiva exata entre dois vértices em G? Equivalentemente, com que rapidez podemos calcular a corrente exata que flui ao longo de cada extremidade, se …

22 ds.algorithms  graph-theory  planar-graphs  physics