0
ответов
Будет ли возможность объявлять функции Lisp «чистыми» быть полезными?
Я много читал о Haskell в последнее время, и преимущества, которые оно происходит от чисто функционального языка. (Я не заинтересован в обсуждении монадских для Lisp), это имеет смысл для меня (...
вопрос задан: 31 August 2011 18:01
0
ответов
Термин CS для алгоритмов сопоставления правил в кортежах обязательных и необязательных условий
Я пытаюсь исследовать литературу по алгоритмам для решения конкретной проблемы, но не думаю, что точно знаю правильный поисковый запрос, чтобы описать то, что я ищу. Цель состоит в том, чтобы иметь доступный для запросов ...
вопрос задан: 17 August 2011 00:57
0
ответов
Могу ли я всегда преобразовывать изменяемые алгоритмы в одинарное присваивание и при этом оставаться эффективным?
Контекст Контекст этого вопроса состоит в том, что я хочу поиграть с Программированием экспрессии генов (GEP ), форма эволюционного алгоритма с использованием Erlang. GEP использует DSL на основе строк ...
вопрос задан: 30 July 2011 12:08
0
ответов
Атомарные операции: под капотом
Как атомные операции работают под капотом? Являются ли атомарные операции так называемыми "без ожидания"? Я ищу описание «наименьшего общего делителя» атомарных операций. Что делают все атомарные ...
вопрос задан: 28 July 2011 18:20
0
ответов
Почему два дополнения?
Я пишу учебник, чтобы научить детей (в возрасте от 9 до 13 лет) программированию. Я начал с самих компьютеров, они не имеют большого отношения к информатике, они больше связаны с процессом ...
вопрос задан: 28 July 2011 02:49
0
ответов
Что вы называете функцией, которая вызывает (называется ли это рекурсией)?
Я пытаюсь понять, что вы называете функцией, которая ссылается на себя. Это называется рекурсией? Или это просто функция, ссылающаяся на себя?
вопрос задан: 26 July 2011 18:07
0
ответов
Логические вентили: Реализуйте вентиль ИЛИ, используя ТОЛЬКО вентили XOR
Я делаю некоторую ревизию для своих экзаменов, и один из вопросов, который часто задавали в прошлогоднем вопроснике, - как реализовать вентиль ИЛИ, используя только вентили XOR. Я пытаюсь сделать за последний час ...
вопрос задан: 8 July 2011 02:05
0
ответов
Эффективная реализация двоичных куч
Я ищу информацию о том, как реализовать двоичные кучи Я чувствую, что где-то должна быть хорошая статья об эффективной реализации кучи, но я ее не нашел. На самом деле я '...
вопрос задан: 1 July 2011 13:23
0
ответов
Комбинации упорядочения для максимальной эффективности
Недавно я учитывая проблему, которую я обдумывал и до сих пор не могу решить; Мне было интересно, может ли кто-нибудь здесь указать мне в правильном направлении, предоставив мне псевдо ...
вопрос задан: 19 June 2011 03:37
0
ответов
Реализация барьера процесса N с использованием семафоров
В настоящее время я тренируюсь для экзамена по ОС с предыдущими итерациями, и я наткнулся на это: Реализуйте «N Process Barrier», то есть убедитесь, что каждый процесс из их группы ждет, в ...
вопрос задан: 13 June 2011 13:46
0
ответов
Инверсия приоритета
У меня проблемы с пониманием фрагмента кода инверсии приоритета из статьи: Считайте, что есть задача L с низкий приоритет. Эта задача требует ресурса R. Учтите, что L запущен, и он ...
вопрос задан: 6 June 2011 11:59
0
ответов
Почему компьютеры работают в двоичном формате?
Я провел поиск, но не нашел по-настоящему удовлетворительного ответа. Как разработчик я хочу потратить необходимое время на понимание этого, поэтому я ищу полное объяснение по ...
вопрос задан: 24 May 2011 20:56
0
ответов
Rescale a vector of integers
Assume that I have a vector, V, of positive integers. If the sum of the integers are larger than a positive integer N, I want to rescale the integers in V so that the sum is <= N. The elements in V ...
вопрос задан: 16 May 2011 18:16
0
ответов
database refinement - minimal cover of F (extraneous attributes)
Schema R = (A, B, C, D, E, F) FD F = {ABC -> D, CD -> B, BCF -> D, CDF -> BE, BCDF -> E} Find Fc, the minimal cover (aka. canonical cover) of F. This is the method using in my book: Example: abc ...
вопрос задан: 15 May 2011 12:33
0
ответов
Почему «нестабильная сортировка» считается плохой
Просто интересно, может ли кто-нибудь объяснить, почему «нестабильная сортировка» считается плохой? В основном я не вижу ситуаций, когда это действительно имело бы значение. Может ли кто-нибудь его предоставить?
вопрос задан: 11 May 2011 03:10
0
ответов
Detect differences between tree structures
This is more of a CS question, but an interesting one : Let's say we have 2 tree structures with more or less the same nodes reorganized. How would you find any in some sense minimal sequence of ...
вопрос задан: 5 May 2011 11:33
0
ответов
Передача параметров потока Windows C ++
В Windows C ++ следующий поток создает поток : CreateThread (NULL, NULL, функция, параметр, NULL, & threadID); Это запустит "функцию" в новом потоке и передаст ему "параметр" как void * или ...
вопрос задан: 13 April 2011 18:57
0
ответов
Что означает гистерезис и как он применим к информатике или программированию?
Я был посмотрел на какой-то код и увидел вне контекста комментарий о «гистерезисе». Я думаю, что понял, что делает код, поэтому в моем вопросе нет ничего конкретного Я просто не ...
вопрос задан: 20 March 2011 07:53
0
ответов
Понимание распознавателей и решателей в теории вычислений
У меня возникли некоторые проблемы с пониманием того, что означает для машины распознавание и определение языка. Думаю, я близок к определениям, но не прав. Когда говорят, что машина Тьюринга Т распознает ...
вопрос задан: 14 March 2011 08:34
0
ответов
Алгоритм «переливания воды из набора бутылок в другой» (образно говоря)
Хорошо, у меня проблема. У меня есть набор «А» бутылок разного размера, полный воды.
Затем у меня есть еще один набор бутылок «Б» разных размеров, все пустые. Я хочу перелить воду из пункта А в пункт Б, ...
вопрос задан: 27 February 2011 14:07
0
ответов
Как определить, является ли язык рекурсивным или рекурсивно перечисляемым?
Я должен определить, является ли язык (например, L = {a ^ nb ^ mc ^ s | 0 <= n <= m <= s}) регулярным, контекстно-независимым, рекурсивным, рекурсивно перечислимым или ни одного из них. Я знаю, как определить ...
вопрос задан: 16 February 2011 17:58
0
ответов
Есть ли что-то общее у реактивного программирования и пи-исчисления?
Есть ли что-то общее между реактивным программированием и пи-исчислением?
вопрос задан: 8 February 2011 13:19
0
ответов
Почему используются и прямой, и прямой порядок байтов?
Почему и сегодня, после ~ 40 лет двоичной информатики, все еще используются и обратный, и прямой порядок байтов? Существуют ли алгоритмы или форматы хранения, которые лучше работают с одним и намного хуже с другим? ...
вопрос задан: 20 January 2011 21:20
0
ответов
Как массивы и хэш-карты отображают постоянное время при их доступе?
В частности: учитывая хэш (или индекс массива), как машина получает данные за постоянное время? Мне кажется, что даже прохождение всех других участков памяти (или чего-то еще) потребует ...
вопрос задан: 13 January 2011 23:25
0
ответов
Подходят ли инвариантные утверждения к программированию на C #?
В книгах кодировщиков за работой автор спрашивает: «Как вы используете инварианты в своем коде». Пожалуйста, объясните, что означает этот вопрос. Я видел инварианты классов в вики, но пример приведен на Java, а я не ...
вопрос задан: 3 January 2011 15:23
0
ответов
Имеет ли смысл отображать структуру данных графа в реляционную базу данных?
В частности, в мультиграф. Какой-то коллега предложил это, и я полностью сбит с толку. Есть какие-нибудь идеи по этому поводу?
вопрос задан: 30 December 2010 17:13
0
ответов
Докажите, что клика NP-полноты + граф независимого множества
"Докажите, что NP-Complete определяет данные входные G и k, имеет ли G клику размера k и независимое множество. размера k. Обратите внимание, что это 1 проблема, а не 2; ответ будет положительным, если и только ...
вопрос задан: 14 December 2010 15:57
0
ответов
В чем разница между программой и приложением? [закрыто]
В чем разница между программой и приложением? Я пытаюсь понять это, чтобы сформировать концепцию онтологии. Кто-нибудь может объяснить?
вопрос задан: 13 December 2010 18:05
0
ответов
Введение в coq?
Я пытаюсь (классически) доказать ~ (forall t: U, phi) -> существует t: U , ~ phi в Coq. Я пытаюсь доказать это противоположным образом: 1. Предположим, что такого t нет (так что ~ (существует t: U, ~ phi)) ...
вопрос задан: 11 December 2010 17:08
0
ответов
Что означает «в постоянном времени»?
Я работаю программистом, но у меня нет опыта в области компьютерных наук, поэтому недавно я следил за отличное введение MIT OpenCourseWare в информатику и программирование. В курсе ...
вопрос задан: 1 December 2010 21:16