Запитання з тегом «ds.data-structures»

Чи відомі результати, які виключають існування структур "занадто хороших, щоб бути справжніми"? Наприклад: чи можна додати функцію SplitSplitSplit та JoinJoinJoin до структури даних щодо обслуговування замовлень (див. Dietz і Sleator STOC '87 ) і все-таки отримати операції O(1)O(1)\mathcal{O}(1) ? Або: чи можна реалізувати впорядкований набір з цілими клавішами та операціями …

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

Я досліджую ідею написання СУБД чисто функціональним способом. Традиційна структура даних, що використовується для індексації, - B-Tree. Я хотів би знати якийсь чисто функціональний еквівалент B-Tree, який був би оптимізований для мінімізації доступу до диска. Спасибі.

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

Розгляньте низькоокремо пов'язаний список у суто функціональній обстановці. Його похвали співали з вершин гори і продовжують співати. Тут я торкнуся однієї з її численних сильних сторін і питання про те, як вона може бути поширена на ширший клас суто функціональних послідовностей на основі дерев. Проблема полягає в наступному: Ви хочете …

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

Намагаючись виправити помилку в бібліотеці, я без успіху шукав документи про знаходження підрядок на червоних та чорних деревах. Я розглядаю рішення, використовуючи блискавки і щось подібне до звичайної операції додавання, що використовується в алгоритмах видалення для змінних структур даних, але мені все ще цікаво, чи не існує кращого підходу, який …

14 ds.data-structures  tree 

Питання Що нового в чисто функціональних структурах даних після Окасакі? , і епічна відповідь jbapple, згадана з використанням списків різниць у функціональному програмуванні (на відміну від логічного програмування), що мене нещодавно цікавило. Це змусило мене знайти реалізацію списку різниць для Haskell. У мене є два запитання (пробачте / виправте мене, …

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

Я шукаю структуру даних, яка б підтримувала цілу таблицю розміром і дозволила наступні операції в часі .n O ( журнал n )тttнnnO ( журналn )O(log⁡n)O(\log n) збільшення ( a , b )increase(a,b)\text{increase}(a,b) , що збільшує .t [ a ] , t [ a + 1 ] , … , t …

13 ds.data-structures  cg.comp-geom 

Якщо кульок розміщено у бункерах навмання рівномірно, найважчий завантажений контейнер має в ньому велику ймовірність . У "Силі простого відсікання табуляції" Патрашку та Торуп згадують, що "межі Черноффа-Гоффдінга для додатків з обмеженою незалежністю" ( дзеркальне відображення ) показує, що це обмеження на населення найважчого завантаженого бункера також має місце, якщо …

13 ds.data-structures  randomness  hash-function  independence 

Кажуть, що два бінарних дерева пошуку є лінійно еквівалентними, коли вони погоджуються в їх порядку замовлення. Наступна теорема пояснює, чому обертання дерев настільки принципові: Нехай A і B - двійкові дерева пошуку. Тоді A і B є лінійно еквівалентними тоді і тільки тоді, коли вони з'єднані послідовністю обертів дерев. Я …

13 reference-request  ds.data-structures 

Подумайте про модель зондування клітинок. Чи існує структура даних, яка може виділяти суміжні шматки пам'яті будь-якої довжини (наприклад, malloc у С) та звільняти їх, уникаючи сегментації пам'яті, і виконує кожну операцію у найгіршому випадку детермінованого часу O (log n), де n загальний об'єм пам'яті? Уникаючи сегментації пам'яті, я маю на …

12 ds.data-structures  memory 

Чи є в цілому черзі пріоритет, який використовує пробіли слів із наступними операціями, і все це в гіршому випадку та без доступу до випадковості:O(n)O(n)O(n) createEmptyQueueв для деякої постійної .cО ( л. ГcU)O(lgcU)O(lg^c U)ccc insertв .O ( 1 )O(1)O(1) deleteMinв , де \ delta _ {\ min} - різниця між найменшим …

12 ds.data-structures 

Розглянемо монотонний предикат PPP над силовим набором 2|n|2|n|2^{|n|}(упорядковано включенням). Під "монотонним" я маю на увазі: ∀x,y∈2|n|∀x,y∈2|n|\forall x, y \in 2^{|n|}такий, що x⊂yx⊂yx \subset y , якщо P(x)P(x)P(x) то P(y)P(y)P(y) . Я шукаю алгоритм, щоб знайти всі мінімальні елементи PPP , тобто x∈2|n|x∈2|n|x \in 2^{|n|}такий, що P(x)P(x)P(x)але ∀y⊂x∀y⊂x\forall y \subset x …

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

Дано фільтр розпускання розміром N-біт і K хеш-функцій, з яких встановлено M-біти (де M <= N) фільтра. Чи можна наблизити кількість елементів, вставлених у фільтр розпускання? Простий приклад Я роздумував над наступним прикладом, припускаючи BF зі 100-бітових та 5 хеш-функцій, де встановлено 10-бітові ... Найкращий сценарій: якщо припустити, що хеш-функції …

12 ds.data-structures  pr.probability 

Це питання натхнене існуючим питанням про те, чи можна моделювати стек, використовуючи дві черги з амортизованим часом за операцію стека. Відповідь, здається, невідома. Ось більш конкретне запитання, відповідне окремому випадку, коли перші операції PUSH виконуються спочатку, а потім усі операції POP. Наскільки ефективно можна повернути список елементів за допомогою двох …

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

У сортованих списках з чисто функціональним найгіршим випадком , упорядкованим постійним часом , Brodal et al. представити чисто функціональні врівноважені дерева з O (1) з’єднувати та O (lg n) вставляти, видаляти та знаходити. Структура даних дещо складна. Чи є більш просте дерево збалансованого пошуку з O (1) об'єднаним, функціональним чи …

12 functional-programming  ds.data-structures 

Зворотна функція Акермана виникає часто при аналізі алгоритмів. Чудова презентація його тут: 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\} Моє запитання: Що таке функція Ясно . Які жорсткіші межі можна задати на ? Чи …

11 ds.algorithms  ds.data-structures  bounds