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

Considere conjuntos de valores (representados como matrizes classificadas sem duplicatas e com um tamanho conhecido (ou seja, o tamanho pode ser obtido em O (1)) .Os valores podem ser testados quanto à igualdade no tempo O (1). para obter o conjunto de valores presentes em pelo menos conjuntos diferentes entre …

11 ds.algorithms 

Houve algum estudo para determinar se a inteligência humana pode superar os algoritmos (ou seja, testar se o Teorema Sem Almoço Gratuito se aplica à inteligência humana)? Na mesma linha, alguém desenvolveu um método técnico para tirar proveito de quaisquer propriedades supra-computacionais únicas da inteligência humana?

11 ds.algorithms  big-picture  ai.artificial-intel 

Diz-se que dois grupos (G,⋅)(G,⋅)(G,\cdot) e (H,×)(H,×)(H, \times) são isomórficos se existir um homomorfismo de GGG a HHH que seja bijetivo. O problema do isomorfismo do grupo é o seguinte: dados dois grupos, verifique se são isomórficos ou não. Existem diferentes maneiras de inserir um grupo, os dois mais usados …

11 ds.algorithms  gr.group-theory 

Eu queria saber qual é a lista dos problemas computacionais naturais atuais para os quais não há vantagem de complexidade conhecida no uso de um computador quântico. Para começar, acho que o cálculo da distância de edição é aquele para o qual o algoritmo quântico mais rápido conhecido parece ser …

11 ds.algorithms  quantum-computing  big-list 

De acordo com o livro Topological Graph Theory, de Gross e Tucker, dada a incorporação celular de um gráfico em uma superfície (por 'superfície', quero dizer aqui uma esfera com algumas pegas, e abaixo de S n se refere à esfera com exatamente n identificadores), pode-se definir uma multigraph dupla …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Algoritmos de aproximação podem gerar um fator constante na saída. Isso é um pouco menos satisfatório do que algoritmos exatos. No entanto, fatores constantes são ignorados na complexidade do tempo. Então, eu me pergunto se o seguinte truque é possível ou foi usado, para resolver algum problema :B ∘ AB∘AB …

11 ds.algorithms  big-list  approximation-algorithms 

Eu estaria muito interessado em referências à teoria das funções submodulares (do básico ao avançado). Em particular, estou estudando aproximações para problemas de otimização rígida e quero desenvolver minhas bases em funções submodulares, pois são relevantes para os problemas de otimização que venho estudando. Desde já, obrigado.

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Existe um algoritmo de classificação baseado em comparação que usa uma média de comparações ?lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) A existência do pior algoritmo de comparação é um problema em aberto, mas o caso médio é suficiente para um algoritmo aleatório com o esperado comparações para cada entrada. O significado de é que ele …

10 cc.complexity-theory  ds.algorithms  sorting 

Motivação : Ao desenvolver ferramentas para controle de versão de dados, acabamos analisando algoritmos para "diferenciar" dois conjuntos de números inteiros, criando uma sequência de transformações que levam um conjunto de números inteiros para o outro. Conseguimos reduzir esse problema ao seguinte problema muito natural que parece ter conexões para …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

Os transdutores considerados aqui são aqueles que a Wikipedia chama de transdutores de estado finito . O comportamento de um transdutor , isto é, a relação que ele calcula, é escrito : uma palavra é uma saída para iff .[ T ] y x x [ T ] yTTT[ T][T][T]yyyxxxx …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Seja k > 0k>0k>0 uma constante fixa. Dado um número inteiro nnn , queremos construir uma permutação σ∈ Snσ∈Sn\sigma \in S_n tal que: A construção utiliza tempo e espaço constantes (ou seja, o pré-processamento leva tempo e espaço constantes). Nós podemos usar a randomização. Dado i ∈ [ n ]i∈[n]i\in[n] …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

Dado que dois poliedros e Q , P e Q são equidecomponíveis se houver conjuntos finitos de poliedros P_1, \ ldots, P_n e Q_1, \ ldots, Q_n de modo que P_i e Q_i sejam congruentes para todos i , P = \ cup_ {i = 1} ^ n P_i e …

10 ds.algorithms  computational-geometry  polygon 

Sabemos que a igualdade beta de termos lambda simplesmente digitados é decidível. Dado M, N: σ → τ, é decidível se para todos os X: σ, MX ≃β≃β≃_β NX?

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

Eu tenho o seguinte problema: Entrada: dois conjuntos de intervalos e (todos os pontos de extremidade são inteiros). Consulta: existe uma bijeção monótona ?T f : S → TSSSTTTf: S→ Tf:S→Tf:S \to T O bijeç~ao é monótona wrt da ordem inclusão conjunto em e . T ∀ X ⊆ Y …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Que algoritmo podemos usar para encontrar todas as raízes inteiras de um polinômio com coeficientes inteiros?f( X )f(x)f(x) Observo que Sage pode encontrar as raízes dentro de alguns segundos, mesmo quando todos os coeficientes de são muito grandes. Como é capaz de fazer isso?f( X )f(x)f(x)

10 ds.algorithms  na.numerical-analysis