Запитання з тегом «applied-theory»

Здається, що скрізь, де я дивлюся, структури даних реалізуються за допомогою червоно-чорних дерев ( std::setу C ++, SortedDictionaryу C # тощо) Щойно накривши (a, b), червоно-чорні та AVL дерева в моєму класі алгоритмів, ось що у мене вийшло (також розпитуючи професорів, переглядаючи кілька книжок і трохи гуглившись): Дерева AVL мають …

46 data-structures  search-trees  applied-theory  dictionaries  balanced-search-trees 

Чому така компанія, як Twitter, зацікавлена ​​в таких алгебраїчних поняттях, як групи, моноїди та кільця? Перегляньте їх сховище в github: twitter / algebird . Все, що я міг знайти, це: Реалізація Monoids для цікавих алгоритмів наближення, таких як фільтр Bloom , HyperLogLog та CountMinSketch . Вони дозволяють думати про такі …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

Бачачи, що мови ієрархії Хомського типу 3 можуть бути розпізнані державною машиною без зовнішньої пам’яті (тобто кінцевим автоматом), тип 2 - державною машиною з єдиним стеком (тобто автоматикою, що висувається), а тип 0 - державна машина з двома стеками (або, що еквівалентно, стрічкою, як це стосується машин Тьюрінга), як мови …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

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

30 algorithms  algorithm-analysis  education  applied-theory 

Я використовую розв'язувач SAT для кодування проблеми, і як частина примірника SAT, у мене є булеві змінні x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n де передбачається, що саме одна з них повинна бути правдою, а решта повинна бути помилковим. (Я іноді бачив, як це описано як "гаряче" кодування.) Я хочу кодувати обмеження "рівно один з x1,…,xnx1,…,xnx_1,\dots,x_n …

25 satisfiability  sat-solvers  applied-theory 

Автомат - це абстрактна модель цифрового комп’ютера. Цифрові комп'ютери повністю детерміновані; їх стан у будь-який час однозначно передбачуваний із вхідного та початкового стану. Коли ми намагаємося моделювати реальні системи, то чому включати недетермінізм у теорію автоматів?

23 automata  nondeterminism  applied-theory 

Теоретично сортування Radix дуже швидко, коли ви знаєте, що ключі знаходяться у певному обмеженому діапазоні, скажімо, наприклад, значень у діапазоні . Якщо ви просто конвертуєте значення в базу яка займає час, зробіть базу radix сортування, а потім перетворіть назад у початкову базу для загального алгоритму .ннn[ 0 … nк- 1 …

20 algorithms  sorting  applied-theory  radix-sort 

Сьогодні розмова Геннінга Керстана ("Семантика слідів для імовірнісних перехідних систем") вперше зіткнулася з теорією категорій. Він створив теоретичну основу для опису імовірнісних перехідних систем та їх поведінки загалом, тобто з незліченними нескінченними наборами стану та різними уявленнями про сліди. З цією метою він проходить через кілька шарів абстракції, щоб нарешті …

18 applied-theory  category-theory 

ННHгод : U→ { 0 , … , М- 1 }год:U→{0,…,М-1}h: U \rightarrow \{0,\ldots,M-1\}∀ х , у∈ U, x ≠ y⇒ Прh ∈ H[ h ( x ) = h ( y) ] ≤ 1М∀х,у∈U,х≠у⇒Пргод∈Н[год(х)=год(у)]≤1М\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq \frac{1}{M} Концепція …

14 data-structures  education  hash-tables  applied-theory 

Існує та популярна проблема [1] [2] в інформатиці, яка полягає у знаходженні мінімальної кількості прямих, що охоплюють заданий набір точок у 2D. Хоча я просканував багато робіт, жодна з них не має чіткої мотивації проблеми. У чому полягає користь вирішення цієї проблеми? Чи є папір, яка пояснює це?

12 reference-request  computational-geometry  applied-theory 

Я хочу зрозуміти теорію типів, але спершу я повинен знати, як я можу її застосувати. Чи можуть бути більше неочевидних застосувань теорії типів, окрім типових систем у програмуванні? Чи можуть бути інші додатки, скажімо, в профілюванні особистості та подібних?

10 type-theory  applied-theory 

Чи використовується алгоритм Дейкстри в сучасних системах пошуку маршрутів, таких як карти Google або сатнав у вашому автомобілі? Якщо ні, то що таке?

10 algorithms  graphs  shortest-path  applied-theory