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

Estou lendo pesquisas de Trevisan e Lovett sobre aplicações de aditivos combinatórios no TCS. A maioria desses aplicativos se enquadra na complexidade computacional , por exemplo, limites mais baixos. Gostaria de saber se a combinatória aditiva também encontrou aplicações no design de algoritmos . A motivação para minha pergunta é …

12 ds.algorithms  reference-request  co.combinatorics 

A entrada é um universo e uma família de subconjuntos de U , digamos, F ⊆ 2 U . Nós assumimos que os subconjuntos em F pode cobrir U , ou seja, ⋃ E ∈ F E = U .UUUUUUF⊆2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Uma sequência de cobertura …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

Considere um vetor dimensional v em que v i ∈ { 0 , 1 } . Para cada i sabemos p i = P ( v i = 1 ) e vamos assumir o v i são independentes. Usando essas probabilidades, existe uma maneira eficiente de iterar sobre vetores binários …

12 ds.algorithms  space-bounded 

Muito semelhante à minha pergunta postada anteriormente . Desta vez, no entanto, o gráfico não é direcionado. Dado Um gráfico não direcionado sem arestas múltiplas ou loops,GGG Um vértice de origem ,sss Um vértice alvo ,ttt Comprimento máximo do caminho ,eull Estou procurando por - Um subgrafo de G que …

12 ds.algorithms  graph-algorithms  shortest-path 

Autômatos residuais de estado finito (RFSAs, definidos em [DLT02]) são NFAs que possuem alguns recursos interessantes em comum com os DFAs. Em particular, sempre existe um RFSA de tamanho mínimo canônico para cada idioma regular, e o idioma reconhecido por cada estado no RFSA é um resíduo, assim como em …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Estou procurando um pequeno gráfico GGG cujo número cromático vetorial é menor que o número cromático, χv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) . ( GGG tem vector número cromática qqq se houver uma atribuição x:V→Rdx:V→Rdx\colon V \rightarrow \mathbf R^d , em que intuitivamente os vectores associados com vértices vizinhos estão distantes O requisito é. ⟨x(v),x(w)⟩≤−1/(q−1)⟨x(v),x(w)⟩≤−1/(q−1)\langle …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

O algoritmo simplex é frequentemente tratado dentro da aritmética real ou no mundo discreto com cálculos exatos. No entanto, parece ser implementado com mais frequência com aritmética de ponto flutuante. Isso leva à questão de saber se o algoritmo simplex deve ser considerado como um algoritmo numérico, em particular como …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

Considere um predicado monotônico PPP sobre o conjunto de potências 2|n|2|n|2^{|n|}(ordenado por inclusão). Por "monotônico", quero dizer: ∀x,y∈2|n|∀x,y∈2|n|\forall x, y \in 2^{|n|}tal que x⊂yx⊂yx \subset y , se P(x)P(x)P(x) então P(y)P(y)P(y) . Eu estou procurando um algoritmo para encontrar todos os elementos mínimos de PPP , ou seja, a x∈2|n|x∈2|n|x …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Se você receber uma coleção de pedidos parciais, a classificação topológica informará se há uma extensão da coleção para um pedido total (uma extensão nesse caso é um pedido total consistente com cada um dos pedidos parciais). Eu me deparei com uma variação: Fixar um conjunto . Você recebe sequências …

12 ds.algorithms  reference-request  order-theory 

O livro A = B de Petkovsek, Wilf e Zeilberger descreve algoritmos para calcular diferentes somas de binômios. AFAIK, esses algoritmos ainda estão sendo aprimorados por diferentes autores. Você sabe onde podemos encontrar as implementações mais atualizadas desses algoritmos? E você sabe se existem implementações em alguns softwares gratuitos, como …

12 ds.algorithms  co.combinatorics  implementation 

Espero que alguém conheça isso, por isso não preciso ler a literatura ... x1, … , Xnx1,…,xnx_1, \ldots, x_nn - 1n−1n-1[ x1, x2] , [ x2, x3] , … , [ Xn - 1, xn][x1,x2],[x2,x3],…,[xn−1,xn][x_1, x_2], [x_2, x_3], \ldots, [x_{n-1},x_n]kkkkkkpEu= ( i , xEu)pi=(i,xi)p_i =(i,x_i)kkk kkkO ( n logk )O(nlog⁡k)O( …

12 ds.algorithms  reference-request  sorting 

Existe um algoritmo de tempo linear para dividir o texto uniformemente em linhas de largura máxima. Ele usa SMAWK (ou Knuth &amp; Plass) e significa "uniformemente": http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Existe um algoritmo ou uma função de custo côncavo para o algoritmo acima, que levaria em conta o número de linhas nas quais …

12 ds.algorithms 

Considere o seguinte problema de teste de associação ao subgrupo abeliano . Entradas: Um grupo abeliano finito G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} com arbitrariamente grande didid_i . Um gerador de conjunto {h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbrace de um subgrupo H⊂GH⊂GH\subset G . Um elemento b∈Gb∈Gb\in G . Saída: 'yes' se b∈Hb∈Hb\in H e 'no' em outro lugar …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory 

Dada uma sequência de números, ela pode ser classificada com comparações e swaps / movimentos? Qualquer ponteiro para publicações sobre esse assunto ou contra-argumentos mostrando um limite inferior ajudaria.O ( n ln n ) O ( n ) Ω ( n ln n )nnnO ( n lnn )O(nln⁡n)O(n \ln n)O …

12 cc.complexity-theory  ds.algorithms 

Existem várias noções concorrentes de um "gráfico esparso". Por exemplo, um gráfico incorporado na superfície pode ser considerado esparso. Ou um gráfico com densidade de arestas delimitadas. Ou um gráfico com alta circunferência. Um gráfico com grande expansão. Um gráfico com largura de árvore limitada. (Mesmo dentro do subcampo dos …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture