Вопросы с тегом «reference-request»

Вкратце: как системы типов классифицируются в академическом контексте; в частности, где я могу найти авторитетные источники, в которых четко различаются различные типы систем типов? В некотором смысле, проблема в этом вопросе не в том, что я не могу найти ответ, а скорее в том, что я могу найти слишком много, …

23 reference-request  programming-languages  type-theory 

Когда дело доходит до разработки алгоритмов, часто используются следующие методы: Динамическое программирование Жадная стратегия Разделяй и властвуй Хотя для первых двух методов существуют хорошо известные теоретические основы, а именно принцип оптимальности Беллмана и теория матроидов (соответственно, жадных), я не смог найти такой общей основы для алгоритмов, основанных на УиК. Во-первых, …

22 algorithms  reference-request  divide-and-conquer 

Я закончил большую часть материала в книге Кормена «Введение в алгоритмы» и ищу книгу по алгоритмам, которая охватывает материал, выходящий за рамки книги Кормана. Есть какие-нибудь рекомендации? ПРИМЕЧАНИЕ: я спрашивал об этом в stackoverflow, но не слишком доволен ответом. ПРИМЕЧАНИЕ. Глядя на большинство комментариев, я думаю, что в идеале я …

21 algorithms  reference-request  books 

Что такое хорошая книга для начинающих по информатике для молодого человека, скажем, 15 лет? Я хочу начать в CS, но понятия не имею, с чего начать. У меня ограниченный опыт программирования.

21 education  reference-request 

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

20 algorithms  reference-request  books 

В последнее время я немного читал литературу и нашел довольно интересные структуры данных. Я исследовал различные методы уменьшения времени обновления до худшем случае [1-7].O ( 1 )О(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-SATNPNP\text{NP} , ... Есть и другие варианты: - SAT , Planar-NAE- SAT222SATSAT\text{SAT}SATSAT\text{SAT} , ... Существуют ли обзорные документы (или веб-страницы), которые классифицируют все (странные) варианты , которые …

20 complexity-theory  reference-request  satisfiability 

Языки без контекста не закрыты в дополнении, мы это знаем. Насколько я понимаю, контекстно-свободные языки, которые являются подмножеством a*б*a∗b∗a^*b^* для некоторых букв а , бa,ba,b , закрыты в дополнении (!?) Вот мой аргумент. Каждый CF язык LLL имеет полулинейный образ Париха π( L ) = { ( m , n …

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 ( журналсн )O(logc⁡n)O(\log^cn)c , k ∈ Np ( n ) ∈ O ( nК)p(n)∈O(nk)p(n) …

20 complexity-theory  reference-request  parallel-computing 

Многие алгоритмы максимального потока, которые я обычно вижу реализованными, алгоритм Dinic, push relbel и другие, могут улучшить свои асимптотические временные затраты за счет использования динамических деревьев (также известных как деревья среза ссылок). Push-релабель запускается в или или нормально, но с динамическими деревьямиO ( V 3 ) O ( V 2 …

20 reference-request  graphs  data-structures  network-flow 

Я пытаюсь выяснить, кто придумал термин «машинное обучение». Вспомогательный вопрос - откуда Артур Самуэль назвал область «машинного обучения» в 1959 году следующим образом: область обучения, которая дает компьютерам возможность учиться без явного программирования ? Вы можете найти много, много ссылок на это определение в Интернете, но я не смог отследить …

19 terminology  reference-request  machine-learning  history 

Рассмотрим следующую проблему: Вход: два массива AAA и BBB длиной nnn , где BBB в отсортированном порядке. Запрос: делать и B содержат одни и те же элементы (с учетом кратности)?AAABBB Какой самый быстрый детерминированный алгоритм для этой проблемы? Можно ли решить это быстрее, чем отсортировать их? Можно ли решить эту …

19 algorithms  reference-request  sorting