Описание тега theory
Programming-language-agnostic Questions that focus on the theoretical aspects rather than the actual implementations.
1
ответ
Бинарное дерево из 6 узлов, ровно 2 имеют ровно 1 дочерний элемент
Возможно ли такое двоичное дерево? Я нарисовал все возможные итерации, и считаю, что не могу найти дерево, удовлетворяющее этим свойствам. Обратите внимание, что это не BST, поэтому значения ключей не имеют значения. Есть бесчисленное количество с р…
12 окт '15 в 19:55
2
ответа
PHP: назначить два ключа одному значению; сделать 2 ключа имеют синоним
Я пытаюсь создать способ систематического изменения музыкальных структур. Основная шкала представлена числами 1-7 (которые представлены по-другому: C=1, D=3, E=5, F=6, G=8, A=10, B=12, потому что все соседние примечания пары, кроме EF и BC, имеют …
22 июн '14 в 04:53
4
ответа
Реализация безопасности на уровне чипа
С недавним приобретением Intel известной компании по безопасности, я начинаю думать о том, какое программное обеспечение может быть более безопасным на уровне чипов. Вот примеры, которые я придумала: Генерация случайных чисел шифрование Защита памят…
23 авг '10 в 16:44
1
ответ
Удаление "models.py" из приложения Django
В проекте я использую Django рамки, у меня есть два приложения: Приложение, отвечающее за REST API, содержащее продукцию models.py файл. Приложение отвечает за веб-клиент, который использует модели REST API. Оба они содержат огромные статические фай…
30 ноя '17 в 01:42
1
ответ
Есть ли исследования разбора в двух измерениях?
В теории формального языка язык L над алфавитом Σ является подмножеством Σ* (набора слов над этим алфавитом). Для таких (одномерных) языков было проведено множество исследований эффективных методов синтаксического анализа (например, LL(K), LR(K), GL…
13 окт '18 в 17:50
1
ответ
Электронная коммерция, как рассчитать цену по 3-х мерной матрице?
У меня есть продукт, для которого мы хотим получить форму цитаты. форма имеет: 1 - Количество 2 - Размер 3 - Дополнительный вариант 1 4 - Дополнительный вариант 2 и т. Д. Количество и размер определяют стоимость дополнительных услуг. Например, чтобы…
25 янв '11 в 21:11
2
ответа
Самый быстрый способ перевернуть список? (Только смежные элементы могут быть заменены)
Это теоретический / математический вопрос. Может быть, кто-то найдет применение для этого, хотя. Я переставлял некоторые слои в Inkscape, пытаясь перевернуть весь стек, и мне было интересно, каков был бы самый быстрый (т.е. наименее перемещающийся) …
28 дек '11 в 02:43
1
ответ
Являются ли грамматики современных языков программирования контекстно-зависимыми или контекстно-зависимыми?
Являются ли языки C++, C# или Java контекстно-зависимыми или контекстно-зависимыми?
11 мар '12 в 04:24
1
ответ
Как очистить экземпляр, поданный afterClass в Junit?
Я ищу способ собрать и опубликовать эти myResults, Но джунит @AfterClass поддерживает только статический метод. Если у меня суперкласс. Если запущено несколько тестов, это может быть ужасно. Любая идея, как я могу решить это? Если я использую после,…
18 апр '13 в 10:15
3
ответа
Сделайте Java-методы видимыми только для определенных классов
У меня есть класс менеджера, который отвечает за управление объектами определенного вида. Для этого ему необходимо манипулировать этими объектами, но эти объекты не имеют никакого отношения к менеджеру, поэтому с технической точки зрения они находят…
19 ноя '12 в 14:13
1
ответ
Распознающая сила "современных" регулярных выражений
Какой класс языков действительно распознают современные современные регулярные выражения? Всякий раз, когда существует группа захвата неограниченной длины с обратной ссылкой (например, (.*)_\1) регулярное выражение теперь соответствует нерегулярному…
30 янв '11 в 03:33
2
ответа
Примеры для сравнения традиционных математических обозначений с обозначениями APL/J
Я читаю обзор, чтобы сравнить Mathematica с APL/J. Один вопрос, поднятый в статье, кажется мне очень интересным: Действительно ли Mathematica является способом выражения наших творческих мыслей - вернувшись к нотации 17-го века, предназначенной для …
22 янв '14 в 19:23
1
ответ
Построение недетерминированной машины Тьюринга
Нарисуйте схему двухдетерминированной недетерминированной машины Тьюринга M, которая решает язык L = {w∈Σ * | w = uu u ∈Σ *} Если бы я мог получить помощь в объяснении шагов, как построить NDTM (лингвистически), я бы мог нарисовать диаграмму, но я н…
09 янв '17 в 16:40
18
ответов
Что такое Y-комбинатор?
Y-комбинатор - это концепция информатики с "функциональной" стороны вещей. Большинство программистов вообще ничего не знают о комбинаторах, если они даже слышали о них. Что такое Y-комбинатор? Как работают комбинаторы? Для чего они хороши? Полезны л…
18 сен '08 в 15:21
1
ответ
Генерация Светильников из списка n
Предположим, у меня есть N команд и что нужно для составления списка матчей, где каждая команда играет с каждой другой командой, что является лучшим способом для этого. Есть известный алгоритм, который делает это хорошо? Эффективность на самом деле …
11 дек '10 в 19:14
7
ответов
С точки зрения программирования, что означает семантика?
Это предложение из блога Эрика Липперта: Учитывая эту неудачную ситуацию, имеет смысл сначала выделить механизм хранения, а затем семантику. Легко получить словарное определение того, что означает "семантика", но что это значит с точки зрения компью…
27 май '09 в 17:00
3
ответа
Рекурсивные множества против рекурсивных функций
В чем разница между рекурсивным множеством и рекурсивной функцией?
05 дек '09 в 20:48
1
ответ
Понять лемму прокачки
Я относительно новичок в лемме прокачки, и у меня есть проблема, которая, я думаю, я ответил правильно, может кто-нибудь сказать мне, если это работает, и если нет, то почему Проблема: {www | w is {a,b}*} Мой подход: L = www u * (v ^ k) * w должно б…
30 апр '14 в 23:14
2
ответа
Необработанный вывод переменной с использованием bool casting: неожиданное поведение
Я пытаюсь напечатать int как необработанные данные, просто для любопытства, приводя указатель переменной к логическому и увеличивая указатель "sizeof(int) * 8" раз, но я не получаю ожидаемого поведения. Вы можете объяснить мне, почему? что мне не хв…
07 мар '14 в 23:01
3
ответа
Каковы основные различия между алгоритмами поиска Кнута-Морриса-Пратта и Бойера-Мура?
Каковы основные различия между алгоритмом поиска Кнута-Морриса-Пратта и алгоритмом поиска Бойера-Мура? Я знаю, что KMP ищет Y в X, пытается определить шаблон в Y и сохраняет шаблон в векторе. Я также знаю, что BM лучше работает для маленьких слов, т…
29 сен '12 в 20:20