Описание тега computer-science-theory
Theoretical computer science (TCS) is a division or subset of general computer science and mathematics which focuses on more abstract or mathematical aspects of computing and includes the theory of computation.
1
ответ
Является ли выполнение кода ядра для обработки системного вызова из процесса частью процесса?
(В основном я задаю следующие вопросы об ОС с точки зрения информатики. Далее, если мне нужно быть конкретным в отношении ОС, я в основном говорю о Linux) Процесс определяется как выполнение одной или нескольких программ. Тем не менее, мы часто разл…
25 фев '16 в 18:59
0
ответов
Как извлечь нечеткие знания при построении графа знаний?
Недавно я изучал, как извлечь нечеткие знания при построении графа знаний, но в настоящее время я знаю только, как использовать какой-то алгоритм нечеткой математики, но я понятия не имею, так что, хорошая идея? Кстати, я также хочу спросить, включе…
16 апр '18 в 14:52
1
ответ
Система конгруэнций с непарными взаимно простыми модулями
У меня есть набор сравнений x = a1 (mod n) ... x = ak (mod nk) И я хочу найти xэто можно решить с помощью китайской теоремы об остатках и связанных с ней алгоритмов: https://en.wikipedia.org/wiki/Chinese_remainder_theorem Некоторые примеры: https://…
28 апр '18 в 21:48
0
ответов
Эффективное хранение данных для нуклеотидов с обычными повторами
Я работаю над забавной проблемой, связанной с поиском более эффективного способа хранения генома человеческого малярийного паразита, и я подумал, что было бы полезно получить некоторые из наших идей! Итак, вот справочная информация: предположим, что…
17 фев '19 в 18:44
1
ответ
Алгоритм SiftDown Количество сравнений
Я недавно работал с siftDown алгоритм, используемый для построения бинарных куч. В книге "Алгоритмы и структуры данных: базовый инструментарий" в упражнении 6.5 указано, что для данной реализации этого алгоритма требуется 2*log(n) Элемент сравнения.…
03 июн '16 в 10:48
0
ответов
Почему все фундаментальные структуры данных в информатике рекурсивны по своей природе?
Я заметил, что каждая фундаментальная структура данных в информатике кажется рекурсивной по своей природе. например, графики, списки, массивы, наборы и т. д. Это почему? Есть ли фундаментальная причина? Это потому, что проще доказать свойства рекурс…
28 авг '13 в 02:08
3
ответа
3
ответа
Самый эффективный способ объединить группу пользователей для быстрой игры
У меня есть приложение, в которое пользователи входят, чтобы играть в быструю игру 1 на 1 (продолжительность 20 секунд). Я хотел бы знать наиболее эффективный способ объединения каждого пользователя с другим пользователем, чтобы играть в игру и пере…
09 июл '18 в 21:49
2
ответа
В чем разница между алгоритмом и моделью программирования?
В чем разница между алгоритмом и моделью программирования (или парадигмой)?
24 сен '12 в 14:47
1
ответ
Относительно памяти алгоритма Флойда-Варшалла O(n^2)
Почему хранение в алгоритме Флойда-Варшалла? Не было бы меньше, если бы использовался связанный список, а не матрица N на N?
26 июл '13 в 01:47
1
ответ
Против какого класса языка могут использоваться регулярные выражения Perl?
Я знаю, что некоторые возможности механизма регулярных выражений Perl не являются регулярными. Но что это за класс? Это может быть без контекста, но теория КС никогда не была моей сильной стороной.
30 сен '09 в 14:05
3
ответа
LISP 1.5. Как lisp похож на машинный язык?
Хотелось бы, чтобы Джон Маккарти был еще жив, но... Из Руководства программиста LISP 1.5: LISP может интерпретировать и выполнять программы, написанные в форме S-выражений. Таким образом, подобно машинному языку и в отличие от большинства других язы…
13 авг '13 в 22:36
1
ответ
Производные для контекстно-свободной грамматики
В конечном итоге я хочу преобразовать следующий CFG в нормальную форму Хомского: S→aSbS∣bSaS∣ε Однако я не уверен, правильно ли я делаю деривации - вот что у меня есть: Замена нетерминалов с терминалами S→aabb S→ε Может кто-нибудь сказать мне, если …
05 окт '14 в 20:50
3
ответа
Теория автоматных предпосылок
Я интересуюсь теорией автоматов, чтобы улучшить мое понимание программирования и проектирования компиляторов (я хотел бы создать несколько простых синтаксисов в моих собственных проектах, например: L-Systems, AI, структуры нейронных сетей и интеллек…
18 июн '14 в 04:05
2
ответа
Где Search вписывается в шаблон программного обеспечения MVC?
Я реализую алгоритм поиска в базе данных, который выполняет поиск по множеству коллекций в MongoDB и возвращает оптимизированные результаты, основанные на состоянии всей базы данных. У меня нет проблем с реализацией, но номенклатура и то, как я долж…
03 апр '14 в 00:42
0
ответов
Является ли Functional Complete средством Тьюринга?
Я заметил, что И, ИЛИ, НЕ эти три логических элемента являются функционально завершенными, это означает, что я могу представить любую таблицу истинности только этими тремя элементами. Итак, я хочу знать, могу ли я представить какую-либо вычислимую ф…
31 окт '16 в 02:35
2
ответа
Какова асимптотическая сложность log_2(n)-log_3(n)?
Я пытаюсь определить, является ли это: O (1). Как я могу это доказать? В терминах сложности log_b(n) - это log(n). Итак, является ли O(log_2(n)-log_3(n))=O(0)=O(1)? это не похоже на сильное доказательство. Кроме того, это не сходится асимптотически,…
18 дек '13 в 18:48
3
ответа
Java: Каков наилучший способ добавить нечетные числа, чтобы получить 1 4 9 16 в качестве вывода
Я знаю, как отображать нечетные числа, но не могу понять, как отобразить сумму нечетных чисел, чтобы получить 1 4 9 16 25 36 49 64 81 100 вывод идея состоит в том, чтобы использовать 1 = 1 1 + 3 = 4 4 + 5 = 9 и так далее Идея состоит в том, чтобы из…
18 янв '16 в 06:43
3
ответа
Почему журнал появляется так часто в алгоритмической сложности?
Этот вопрос касается того, существует ли какое-то абстрактное сходство между решениями, которое приводит к появлению в журнале таких проблем, как сортировка и поиск. Или, проще говоря, почему журнал появляется так часто в алгоритмической сложности?
15 окт '14 в 19:36
2
ответа
Рекурсивное определение языка
Предположим, у меня есть язык, состоящий из только сбалансированных скобок, то есть {ε, (), ( ()), () (), ( ( ())), ( () ()), ... } и I' Я попросил написать рекурсивное определение для него. Может ли кто-нибудь дать мне пример того, как это может вы…
09 фев '13 в 16:43