Perguntas com a marcação «ds.data-structures»

São conhecidos resultados que descartam a existência de estruturas de dados "boas demais para serem verdadeiras"? Por exemplo: pode-se adicionar e J o i n funcionalidade de um estrutura de dados de manutenção (ver a fim Dietz e Sleator STOC '87 ) e ainda assim obter S ( 1 ) …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

Estou explorando a idéia de escrever um DBMS de maneira puramente funcional. A estrutura de dados tradicional usada para indexação é a B-Tree. Gostaria de saber algum equivalente puramente funcional do B-Tree que seria otimizado para minimizar o acesso ao disco. Obrigado.

14 ds.data-structures  functional-programming  db.databases 

Considere a lista com poucas ligações simples em um ambiente puramente funcional. Seus louvores foram cantados do topo das montanhas e continuarão sendo cantados. Aqui irei abordar um dos muitos pontos fortes e a questão de como ele pode ser estendido à classe mais ampla de sequências puramente funcionais baseadas …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

Enquanto tentava consertar um bug em uma biblioteca, procurei artigos sobre como encontrar subfaixas em árvores vermelhas e negras sem sucesso. Estou pensando em uma solução usando zíperes e algo semelhante à operação de acréscimo usual usada em algoritmos de exclusão para estruturas de dados imutáveis, mas ainda estou imaginando …

14 ds.data-structures  tree 

Se bolas forem colocadas em bandejas uniformemente aleatoriamente, a bandeja carregada mais pesada terá bolas com alta probabilidade. Em "O poder do hash de tabulação simples" , Pătraşcu e Thorup mencionam que "Chernoff-Hoeffding limita para aplicativos com independência limitada" ( espelho ) mostra que esse limite para a população do …

13 ds.data-structures  randomness  hash-function  independence 

Estou procurando uma estrutura de dados que mantenha uma tabela inteira ttt de tamanho nnn e permita as seguintes operações no tempo O(logn)O(log⁡n)O(\log n) . increase(a,b)increase(a,b)\text{increase}(a,b) , que aumentat[a],t[a+1],…,t[b]t[a],t[a+1],…,t[b]t[a],t[a+1],\ldots,t[b] . , que diminui t [ a ] , t [ a + 1 ] , … , t [ b …

13 ds.data-structures  cg.comp-geom 

A pergunta O que há de novo em estruturas de dados puramente funcionais desde Okasaki? , e a resposta épica do jbapple, mencionada usando listas de diferenças na programação funcional (em oposição à programação lógica), algo em que recentemente me interessei. Isso me levou a encontrar a lista de diferenças …

13 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

Diz-se que duas árvores de busca binária são linearmente equivalentes quando concordam em suas travessias em ordem. O seguinte teorema explica por que as rotações das árvores são tão fundamentais: Sejam A e B árvores de pesquisa binárias. Então A e B são linearmente equivalentes se, e somente se, estiverem …

13 reference-request  ds.data-structures 

Pense no modelo de célula-sonda. Existe uma estrutura de dados que pode alocar blocos contíguos de memória de qualquer tamanho (como, por exemplo, malloc em C), e liberá-los, evitando a segmentação de memória, e executa todas as operações no pior momento determinístico de O (log n) em que n é …

12 ds.data-structures  memory 

Existe em uma fila de prioridade inteira que usa O(n)O(n)O(n) palavras de espaço com as seguintes operações, todas no pior caso e sem acesso à aleatoriedade: createEmptyQueueem O(lgcU)O(lgcU)O(lg^c U) para alguma constante ccc . insertem O(1)O(1)O(1) . deleteMinem O(δmin)O(δmin)O(\delta_{\min}) , onde δminδmin\delta_{\min} é a diferença entre a menor e a …

12 ds.data-structures 

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 

Dado um filtro de bloom de tamanho N-bits e K funções hash, dos quais M-bits (onde M <= N) do filtro estão definidos. É possível aproximar o número de elementos inseridos no filtro de bloom? Exemplo Simples Eu estive refletindo sobre o exemplo a seguir, assumindo um BF de 100 …

12 ds.data-structures  pr.probability 

Essa pergunta é inspirada em uma pergunta existente sobre se uma pilha pode ser simulada usando duas filas no tempo amortizado por operação da pilha. A resposta parece ser desconhecida. Aqui está uma pergunta mais específica, correspondente ao caso especial em que todas as operações PUSH são executadas primeiro, seguidas …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting 

No pior caso puramente funcional , listas ordenadas por tempo constante , Brodal et al. apresentar árvores equilibradas puramente funcionais com O (1) concatenado e O (lg n) inserir, excluir e localizar. A estrutura de dados é um pouco complicada. Existe uma árvore de pesquisa balanceada mais simples com O …

12 functional-programming  ds.data-structures 

A função inversa de Ackermann ocorre frequentemente ao analisar algoritmos. Uma ótima apresentação está aqui: http://www.gabrielnivasch.org/fun/inverse-ackermann . α1(n)=[n/2]α1(n)=[n/2]\alpha_1(n) = [n/2] α2(n)=[log2n]α2(n)=[log2⁡n]\alpha_2(n) = [\log_2 n] α3(n)=log∗nα3(n)=log∗⁡n\alpha_3(n) = \log^* n ......... αk(n)=1+αk(αk−1(n))αk(n)=1+αk(αk−1(n))\alpha_k(n) = 1 + \alpha_k(\alpha_{k−1}(n))α(n)=min{k:αk(n)≤3}α(n)=min{k:αk(n)≤3}\alpha(n) = \min\{k: \alpha_k(n)\leq 3\} Minha pergunta é: Qual é a função Claramente . Que limites mais …

11 ds.algorithms  ds.data-structures  bounds