Запитання з тегом «reference-request»

Якщо коротко: як класифікуються системи типів в академічному контексті; зокрема, де я можу знайти авторитетні джерела, які роблять чіткими відмінності між різними типами системи? У певному сенсі складність цього питання полягає не в тому, що я не можу знайти відповідь, а в тому, що я можу знайти занадто багато, і …

23 reference-request  programming-languages  type-theory 

Що стосується проектування алгоритмів, часто використовують такі методи: Динамічне програмування Жадібна стратегія Розділяй і володарюй Хоча для перших двох методів є відомі теоретичні основи, а саме принцип принципу оптимізму Беллмана та теорія матроїдів (відповідно гредоїд), я не зміг знайти такої загальної основи для алгоритмів на основі науково-дослідної роботи. По-перше, мені …

22 algorithms  reference-request  divide-and-conquer 

Я закінчив більшість матеріалів у книзі «Вступ до алгоритмів» Кормена, і шукаю книгу алгоритмів, яка охоплює матеріал поза книгою Кормана. Чи є якісь рекомендації? ПРИМІТКА. Я запитав це на стартовому потоці, але не був дуже задоволений відповіддю. ПРИМІТКА. Переглядаючи більшість коментарів, я думаю, що в ідеалі я хотів би знайти …

21 algorithms  reference-request  books 

Яка хороша книга для початківців інформатики для молодого, скажімо, 15-річного віку? Я хочу розпочати роботу в CS, але поняття не маю, з чого почати. У мене обмежений досвід програмування.

21 education  reference-request 

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

20 algorithms  reference-request  books 

Останнім часом я читав трохи літератури і знайшов досить цікаві структури даних. Я досліджував різні методи приведення часу оновлення до найгіршого часу оновлення [1-7].O ( 1 )O(1)\mathcal{O}(1) Нещодавно я почав шукати безблокові структури даних для підтримки ефективного одночасного доступу. Чи були використані будь-які з цих найгірших випадків методи оновлення часу …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

Нещодавно я знайшов у статті [1] спеціальну симетричну версію SAT під назвою 2/2/4-SAT . Але є багато варіантів комплектуючих, наприклад: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...НПNP\text{NP} Деякі інші варіанти простежуються: - SAT , Planar-NAE- SAT , ...222СБSAT\text{SAT}СБSAT\text{SAT} Чи існують документи (або веб-сторінки), які класифікують усі (дивні) варіанти , які …

20 complexity-theory  reference-request  satisfiability 

Безконтекстні мови не закриваються доповненням, ми це знаємо. Наскільки я розумію, безконтекстні мови, які є підмножиною для деяких букв , закриваються під доповненням (!?) a , ba∗b∗a∗b∗a^*b^*a,ba,ba,b Ось мій аргумент. Кожна мова CF має напів-лінійний Parikh зображення . Напівлінійні набори закриті доповненням. Сукупність векторів, які представляють напівлінійний набір, легко перетворити …

20 formal-languages  reference-request  context-free  closure-properties 

Добре, перш ніж почати, я розумію, що це знаходиться на окраїні теми (я прочитав Довідку щодо питань для цього сайту), тим більше, що це не проблема в реальному світі. Однак: Я не можу знайти нічого релевантного в Google З пуристської точки зору, напевно, це повинно входити до інформатики? У будь-якому …

20 reference-request  human-computing 

Деякі складні алгоритми (пошук об'єднання ) мають майже постійну обернену функцію Акермана, яка виявляється в асимптотичній складності часу, і є найгіршим оптимальним часом, якщо ігнорується майже постійний зворотний термін Акермана. Чи існують приклади відомих алгоритмів із часом виконання, які передбачають функції, які зростають в основному повільніше, ніж обернені Акерманном (наприклад, …

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

Уточнення розділів - це техніка, в якій ви починаєте з кінцевого набору об'єктів і поступово розділяєте набір. Деякі проблеми, як мінімізація DFA, можна вирішити за допомогою доопрацювання розділів досить ефективно. Я не знаю жодних інших проблем, які зазвичай вирішуються за допомогою уточнення розділів, окрім перелічених на сторінці Вікіпедії. З усіх …

20 algorithms  reference-request  data-structures  partitions  sets 

У мене виникли проблеми з прийняттям теоретичного уявлення про складність «ефективного рішення паралельного алгоритму», яке задається класом NC : NC є класом проблем , які можуть бути вирішені з допомогою паралельного алгоритму під час O(logcn)O(logc⁡n)O(\log^cn) на p(n)∈O(nk)p(n)∈O(nk)p(n) \in O(n^k) процесори з c,k∈Nc,k∈Nc,k \in \mathbb{N} . Ми можемо припустити ПРАМ . …

20 complexity-theory  reference-request  parallel-computing 

Багато алгоритмів максимуму потоку, які я зазвичай бачу реалізованими, алгоритм Дініка, натискання реле та інші, можуть покращити свою асимптотичну вартість часу завдяки використанню динамічних дерев (також відомих як дерева-зрізані посилання). Реле натискання працює в або O ( V 3 ) або O ( V 2 √О ( V2Е)О(V2Е)O(V^2E)О( V3)О(V3)O(V^3)нормально, але …

20 reference-request  graphs  data-structures  network-flow 

Я намагаюся з’ясувати, хто придумав термін «машинне навчання». Додатковим питанням є те, звідки Артур Самуель у 1959 р. Визначає сферу "машинного навчання" як: сфера навчання, яка дає комп'ютерам можливість навчатися, не будучи явно запрограмованими ? Ви можете знайти багато, багато посилань на це визначення в Інтернеті, але я не зміг …

19 terminology  reference-request  machine-learning  history 

Алгоритм Ramer-Douglas-Peucker для спрощення ліній має найгірший варіант виконання O(n2)O(n2)O(n^2) . Для належно розподілених випадкових входів очікується складність виконання ( O(nlogn)O(nlog⁡n)O(n \log n) . У 2D існують інші алгоритми з найгіршим випадком складності виконання O(nlogn)O(nlog⁡n)O(n \log n) , які обчислюють точно такий же результат, як алгоритм Рамера-Дугласа-Пюкера. Оскільки ці алгоритми …

19 reference-request  computational-geometry  randomized-algorithms