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

Вопросы, требующие статей в литературе по конкретным, узким вопросам.

5
Как не решить P = NP?
Существует множество попыток доказать либо либо , и, естественно, многие люди задумываются над этим вопросом, имея идеи для доказательства того или иного направления.P ≠ N PP = N Pпзнак равноNп\mathsf{P} = \mathsf{NP} P ≠ N Pп≠Nп\mathsf{P} \neq \mathsf{NP} Я знаю, что есть подходы, которые, как было доказано, не работают, и, …

4
Что такое хвостовая рекурсия?
Я знаю общую концепцию рекурсии. Я наткнулся на концепцию хвостовой рекурсии при изучении алгоритма быстрой сортировки. В этом видео о алгоритме быстрой сортировки из MIT в 18:30 секунд профессор говорит, что это хвостовой рекурсивный алгоритм. Мне не ясно, что на самом деле означает хвостовая рекурсия. Может ли кто-нибудь объяснить концепцию …

6
Работа с труднопреодолимостью: NP-полные проблемы
Предположим, что я программист, и у меня есть NP-полная проблема, которую мне нужно решить. Какие методы доступны для решения проблем с NPC? Есть опрос или что-то похожее на эту тему?

6
Что используют группы, моноиды и кольца в вычислениях базы данных?
Почему такая компания, как Twitter, заинтересована в алгебраических понятиях, таких как группы, моноиды и кольца? Смотрите их репозиторий на github: twitter / algebird . Все, что я мог найти, это: Реализации Monoids для интересных алгоритмов аппроксимации, таких как фильтр Блума , HyperLogLog и CountMinSketch . Они позволяют вам думать об …

3
В худшем случае
У меня проблемы с поиском хороших ресурсов, которые дают наихудший случай на месте стабильногоO ( n lnн )O(nln⁡n)O(n \ln n) алгоритма сортировки. Кто-нибудь знает какие-нибудь хорошие ресурсы? Просто напоминание, означает, что он использует переданный массив, а алгоритму сортировки разрешено использовать только постоянное дополнительное пространство. Стабильный означает, что элементы с одинаковым …

2
Квантовое лямбда-исчисление
Классически, есть 3 популярных способа думать о вычислениях: машина Тьюринга, схемы и лямбда-исчисление (я использую это как ловушку для большинства функциональных представлений). Все 3 были плодотворными способами думать о различных типах проблем, и разные области используют разные формулировки по этой причине. Однако когда я работаю с квантовыми вычислениями, я всегда …

2
на «О жестокости по-настоящему преподавания информатики»
Дейкстра в своем эссе « О жестокости реального обучения информатике» предлагает следующее предложение для вводного курса по программированию: С одной стороны, мы учим тому, что похоже на исчисление предикатов, но делаем это совсем не так, как философы. Чтобы обучить начинающего программиста манипулированию неинтерпретируемыми формулами, мы учим его больше как булевой …

1
Какие алгоритмы машинного обучения можно использовать для прогнозов временных рядов?
В настоящее время я играю с прогнозами временных рядов (специально для Forex). Я видел несколько научных работ о сетях эхо-состояний, которые применяются к прогнозу Forex. Существуют ли другие хорошие алгоритмы машинного обучения для этой цели? Также было бы интересно извлечь «прибыльные» модели из временных рядов.

2
Что означает «истинный параллелизм»?
Я часто слышу такие фразы, как «истинная семантика параллелизма» и «истинные эквивалентности параллелизма» без каких-либо ссылок. Что означают эти термины и почему они важны? Каковы некоторые примеры истинных совпадений параллелизма и зачем они нужны? Например, в каких случаях они более применимы, чем более стандартные эквиваленты (бисимуляция, эквивалентность трасс и т. …

1
Асимптотика числа слов в обычном языке заданной длины
Для обычного языка , пусть с п ( Ь ) быть число слов в L длины п . Используя Jordan канонической форму (применительно к Неаннотированным матрицам перехода некоторого DFA для L ), можно показать , что при достаточно большой п , с п ( L ) = K Е я …

1
Есть ли типизированное исчисление SKI?
Большинство из нас знает соответствие между комбинаторной логикой и лямбда-исчислением . Но я никогда не видел (может быть, я недостаточно глубоко изучил) эквивалент «типизированных комбинаторов», соответствующих простейшему типу лямбда-исчисления. Существует ли такая вещь? Где можно найти информацию об этом?

5
Есть ли фильтр против Блума?
Bloom фильтр позволяет эффективно отслеживать ли уже встречались различные значения в процессе обработки. Когда имеется много элементов данных, тогда фильтр Блума может привести к значительной экономии памяти по хеш-таблице. Основная особенность фильтра Блума, который он разделяет с хеш-таблицей, заключается в том, что он всегда говорит «не новый», если элемент не …

2
Есть ли иногда эффективный алгоритм для решения #SAT?
Пусть - булева формула, состоящая из обычных операторов AND, OR, NOT и некоторых переменных. Я хотел бы, чтобы подсчитать число удовлетворяющих назначений для B . То есть я хочу найти количество различных назначений значений истинности для переменных для которых принимает истинное значение. Например, формула имеет три удовлетворяющих назначения; имеет четыре. …

7
Начать изучать Теорию Распределенных Систем?
Что может быть лучше, чем кто-либо может сделать, чтобы иметь хорошее представление о теории распределенных систем, любые книги или ссылки, и темы должны быть покрыты в первую очередь и требования, чтобы начать обучение в этой теме.

1
Различают процедуру принятия решения против решателя SMT и средства доказательства теорем против решателя ограничений
Эти термины смущают меня. Насколько я понимаю SAT решатель: решить выполнимость логики высказываний (используя DPLL или локальный поиск). Процедура принятия решения - это процедура определения выполнимости некоторой разрешимой теории первого порядка. SMT-решатель - это SAT-решатель + процедура принятия решения. Теорема доказатель указывает что-то вроде динамической логики, например, инструмент KeY Решатель …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.