2
ответа
Примеры моноидов/полугрупп в программировании
Это известно, что моноиды потрясающе повсеместны в программировании. Они так повсеместны и так же полезны, что я, как 'проект хобби', работаю над системой, которая является полностью на основе их...
вопрос задан: 20 March 2010 21:43
2
ответа
Библиотекой Parsec Haskell можно пользоваться для реализации синтаксического анализатора с рекурсивным спуском с резервным копированием?
Я рассматривал использование библиотеки парсинга Парсека Haskell для парсинга подмножества Java как синтаксический анализатор с рекурсивным спуском как альтернатива более традиционным решениям парсера-генератора как Счастливый. Парсек...
вопрос задан: 20 March 2010 14:37
2
ответа
вектор сдвига камеры - отношение к матрице вращения
Я работаю с некоторым кодом, который производит 3x3 матрица вращения и вектор сдвига, представляющий ориентацию камер и местоположение. Однако документация указывает что получить местоположение...
вопрос задан: 9 March 2010 14:50
2
ответа
Каковы аргументы и как за, так и против эквивалентности имен и как за, так и против структурной эквивалентности?
В кругах дизайна языка раньше были продолжительные дебаты, законченные, должны ли языки использовать структурную эквивалентность или эквивалентность имен. Языки как Алгол или ML или Modula-3, используемый структурный...
вопрос задан: 2 March 2010 13:19
2
ответа
NFA к вопросу DFA
Во-первых, это не вопрос, просящий алгоритм преобразовать NFA в DFA. Это знало (и доказало), который эквивалентный DFA NFA имеет самое большее 2n состояния, даже при том, что большинство времен это будет...
вопрос задан: 9 January 2010 14:59
2
ответа
Coinduction - четкое, краткое описание
Я изучаю coinduction (не индукция) как часть класса на статическом анализе. Роясь вокруг Интернета, я просто не нахожу четкое, краткое описание: Что coinduction То, как...
вопрос задан: 6 October 2009 01:05
2
ответа
На вид ненужный случай в алгоритме объединения в SICP
Я пытаюсь понять алгоритм объединения, описанный в SICP здесь В частности, в процедуре "extend-if-possible", существует проверка (первое место, отмеченное с Астериксом "*"), который является...
вопрос задан: 5 August 2009 00:04
2
ответа
Каков наиболее недооцененный или небольшой известный, но полезный алгоритм? [закрытый]
Я ищу один алгоритм или структуру данных, которая так неизвестна все же полезная, что Вы думаете, что это - ужасный контроль сообществом программирования или информатикой. Если только мы могли все...
вопрос задан: 1 July 2009 08:26
2
ответа
Оптимальный поиск k минимальные значения в неотсортированном списке целых чисел
У меня просто взяли интервью с вопросом, и мне любопытно, каков ответ должен быть. Проблема была по существу: Скажите, что у Вас есть неотсортированный список n целых чисел. Как Вы находите k минимальные значения в...
вопрос задан: 17 February 2009 21:25
2
ответа
как первые полные NP проблемы, как показывали, были полны NP?
Из статьи в Википедии о Полном NP: "Самый легкий способ доказать, что некоторая новая проблема полна NP, является первым, чтобы доказать, что это находится в NP, и затем уменьшать некоторую известную полную NP проблему до него" я'...
вопрос задан: 20 November 2008 21:38
2
ответа
Уровень абстракции решает каждую проблему
То, что делает кавычку "Уровень абстракции, решает каждую проблему", среднюю в Информатике?
вопрос задан: 14 November 2008 01:34
1
ответ
Лучшие источники, чтобы начать изучать информатику
Помимо некоторых навыков программирования на R и Python, я очень новичок в области компьютерных наук. У меня есть некоторый опыт в математике и статистике, но ничего не относится к CS конкретно. Примеры тем ...
вопрос задан: 28 March 2019 01:55
1
ответ
Оптимальное решение для обхода дерева и суммирования значений узлов при условии
Привет всем, у меня есть алгоритмическая проблема, и я изо всех сил пытаюсь найти оптимальное решение. У меня есть дерево, которое я хочу пройти. Узлы дерева состоят из значения и ранга узла (значение, а также ранг могут ...
вопрос задан: 25 March 2019 19:57
1
ответ
Алгоритм размещения с использованием Python
Я пытаюсь создать модель, в которой производители могут разместить груз, который должен быть отправлен, а перевозчик может сообщить, что его грузовик едет из пункта А в пункт Б. Если отправитель, пункт назначения ...
вопрос задан: 25 March 2019 07:41
1
ответ
сокращение отображения за полиномиальное время для NP
Я уже доказал переходное свойство для сокращений отображений за полиномиальное время, а именно: если A сводится к B, а B сводится к C, то A сводится к C. Поэтому с этого момента, зная ...
вопрос задан: 20 March 2019 04:39
1
ответ
JS. получить несколько значений, используя идентификатор
function handleUser (activeMenu, user) {$ ('# accordion'). html (""); $ .each (user, (index, user) = > {$ ('# accordion'). append (< input class = "control" id = "a $ {user.userId}" value = $ {user. имя} > & ...
вопрос задан: 19 March 2019 14:49
1
ответ
Будет ли эта функция линейной, квадратичной или нет? (С #)
Что касается длины списка, являющегося входным (n), будет ли временная сложность этого кода линейной, потому что существует только один цикл или квадратичный из-за "любого", технически зацикливающегося на новом ...
вопрос задан: 16 January 2019 17:58
1
ответ
как создать гауссовский случайный вектор с нулевым средним, имеющий матрицы корреляции, собственные значения которых экспоненциально распределены
1. Это вопрос из статьи «Быстрое обобщенное отслеживание собственных векторов на основе метода мощности». 2. Автор пишет: «Мы генерируем два гауссовских случайных вектора с нулевым средним, которые имеют корреляцию ...
вопрос задан: 16 January 2019 16:53
1
ответ
B-Tree VS Hash Thlat
В MySQL тип индекса - это B-дерево, и доступ к элементу в B-дереве находится в логарифмическом амортизированном времени O ( Журнал (n)). С другой стороны, доступ к элементу в хеш-таблице находится в O (1). Почему хеш ...
вопрос задан: 31 October 2017 18:18
1
ответ
Как делает Jan Willem Klop “(L L L …)” Y combinator работа?
Я понимаю, каков Y Combinator, но я не понимаю этот пример "романа" combinator от страницы Wikipedia: Yk = (L L L L L L L L L L L L L L L L L L L L L L L L L L), Где: L =...
вопрос задан: 23 May 2017 10:27
1
ответ
Почему двоичный поиск является алгоритмом "разделяй и властвуй"?
На экзамене меня спросили, является ли двоичный поиск алгоритмом "разделяй и властвуй". Я ответил, что да, потому что вы делите проблему на более мелкие подпроблемы, пока не достигнете результата. Но ...
вопрос задан: 1 May 2017 09:18
1
ответ
P=NP: Каковы самые многообещающие методы?
Я знаю, что P=NP не был решен до сих пор, но может кто-либо говорить мне что-то о следующем: Что в настоящее время является самым многообещающим математическим / компьютер научные методы, которые могли быть...
вопрос задан: 8 December 2013 19:03
1
ответ
Почему константа добавляется в случае, если 3?
В Основной Теореме случаи 1 и 3 Вы имеете, если f (n) = O (регистрируют b a-e) в случае, если 1, я задался вопросом, почему нужно вычесть постоянный e там? В третьем случае основной теоремы нужно добавить...
вопрос задан: 28 September 2013 12:16
1
ответ
Определение регулярных языков
Я попробовал и записал мозг для понимания определения Регулярных языков в дискретной математике и ее Приложениях (Rosen), не достигая цели понимания, почему определение...
вопрос задан: 19 August 2013 03:53
1
ответ
Доказательства Формата Fitch - Какие-либо автоматические решатели вокруг? [закрытый]
Есть ли любое программное обеспечение вокруг того использования формата Fitch (используется на Языке, Доказательстве и Логике), позволяет помещать определенный набор помещения, и цели и иметь его показывают нам полный список необходимых шагов...
вопрос задан: 29 December 2011 14:36
1
ответ
Преобразование EBNF к BNF
Это были несколько лет начиная с моего класса языка программирования и таким образом, я забыл тонкости BNF's и EBNF's, и у меня нет учебника рядом со мной. А именно, я забыл, как преобразовать...
вопрос задан: 30 August 2011 19:29
1
ответ
Эвристика для оценки эффективности сокращенных упорядоченных двоичных диаграмм решений?
Сокращенные упорядоченные двоичные диаграммы решений (ROBDD) представляют собой эффективную структуру данных для булевых функций от нескольких переменных f (x1 , x2, ..., xn). Я хотел бы получить интуитивное представление о том, насколько они эффективны
вопрос задан: 2 November 2010 20:38
1
ответ
Минимизация NFA без determinization
Это известно, как каждый добирается от NFA для регулярного языка к минимальному DFA. Однако DFA мог бы иметь экспоненциально большее число состояний. То, в чем я нуждаюсь, является способом уменьшить NFA, давая...
вопрос задан: 31 July 2010 17:11
1
ответ
Что 'переплетается'?
Я видел этот термин, когда считано о том, как Spring работает, и я только что прочитал статью о выполнении реализации JPA, и это имеет следующую статистику: EclipseLink...
вопрос задан: 30 July 2010 12:38
1
ответ
Доказательства Формата Fitch - какие-либо ресурсы вокруг?
Я в настоящее время изучаю доказательства логики первого порядка Формата Fitch. Мой лектор следует тесно за Языком, Доказательством и Логикой Jon Barwise. Я пытаюсь сделать некоторые доказательства, но я испытываю некоторые затруднения...
вопрос задан: 9 June 2010 04:49