Я проектирую базу данных объектов в памяти для очень конкретного случая использования. Это один писатель, но должен поддерживать эффективное одновременное чтение. Чтения должны быть изолированными. Нет языка запросов, база данных поддерживает только: получить объект / -ы по атрибуту / набору...
Расстояние редактирования Левенштейна-расстояния между списками является хорошо изученной проблемой. Но я не могу найти много о возможных улучшениях, если известно, что ни один элемент не встречается более одного раза в каждом списке . Также предположим, что элементы сопоставимы / сортируемы (но...
Я новичок в автоматах, и я получил краткое введение в регулярные выражения только вчера. Я прочитал различные правила для определения регулярного выражения. Но я не могу отличить регулярные выражения от грамматики языка (меня не учили грамматике регулярных выражений). Я понимаю, что грамматика...
Я только что прочитал несколько страниц в книге Сипсера «Введение в теорию вычислений о проблеме почтовой корреспонденции» и думаю, что PCP на самом деле находится в NP. Сертификатор составляет: для конфигурации входного ворса конкатенации т 1 , т 2 , . , , , t n как строка t и конкатенация b 1 ,...
Я знаю, что это кажется очень глупым (или слишком очевидным для формулировки) вопросом. Тем не менее, я смущен в какой-то момент. Мы можем показать, что P NPзнак равно== тогда и только тогда, когда сможем разработать алгоритм, который решает любой конкретный случай проблемы в NP за полиномиальное...
В настоящее время я читаю введение в алгоритмы и пришел по алгоритму Джонсона, который зависит от того, чтобы убедиться, что все пути положительны. алгоритм зависит от нахождения новой весовой функции (w '), которая является положительной для всех ребер и сохраняет правильность соотношений...
Я думал, что все регулярные языки могут быть выражены с помощью регулярных выражений (если язык регулярный, он может быть выражен с помощью регулярных выражений), но мне сказали, что для этого вам нужны все три регулярные операции (конкатенация, объединение и звездочка) держать. Например, мне...
У меня возникают проблемы, когда я обдумываю проблемы ПРАЙМ, КОМПОЗИТ, ФАКТОР и их взаимосвязь с точки зрения сложности. Я понимаю, что PRIME был показан в тестом на примитивность AKS, и я считаю, что это работает и для COMPOSITE.PPP Что касается ФАКТОРА, FACTOR={(m,r):∃s such...
Кажется, что люди устали от ручного управления памятью, поэтому они изобрели сборку мусора, и жизнь была достаточно хорошей. Но как насчет других типов ресурсов? Файловые дескрипторы, сокеты или даже созданные пользователем данные, такие как соединения с базой данных? Это похоже на наивный вопрос,...
Контейнер называется полным, если он содержит не менее шаров. Наша цель - заполнить как можно больше ящиков.kkk В простейшем сценарии нам дано шаров, и мы можем расположить их произвольно. В этом случае, очевидно, лучшее, что мы можем сделать, - это произвольно выбрать мусорных ведер и положить...
Один из самых популярных вопросов о структурах данных и алгоритме, который чаще всего задают при телефонном
На этом сайте я видел несколько вопросов о Deep Dream, однако ни один из них, по-видимому, фактически не говорит о том, что конкретно делает DeepDream. Насколько я понял, они, похоже, изменили целевую функцию, а также изменили обратное распространение, так что вместо обновления весов они обновляют...
У Алисы, студентки, есть много домашней работы в течение следующих недель. Каждый предмет домашнего задания занимает у нее ровно один день. Каждый элемент также имеет крайний срок и отрицательно влияет на ее оценки (допустим реальное число, бонусные баллы только при условии сопоставимости), если...
Чтобы найти разницу, я только что столкнулся с утверждениями ниже о временной логике в Википедии : Другой вариант модальной логики, разделяющий многие общие черты с динамической логикой, отличается от всех вышеупомянутых логик тем, что Пнуэли охарактеризовал как «эндогенную» логику, а другие -...
Если у нас есть какая-либо произвольная компьютерная программа, которая может изменить ее инструкции, возможно ли смоделировать эту программу с помощью программы, которая не может изменить ее инструкции? Редактировать: Я новичок в stackexchange, поэтому не уверен, что мне разрешено задавать НОВЫЙ...
У нас много проблем, таких как факторизация, которые сильно предположили, но не доказали, что они находятся вне P. Есть ли вопросы с противоположным свойством, а именно, что они сильно предположены, но не доказано, что они находятся внутри...
Справочная информация: я полный дилетант в области компьютерных наук. Я читал о занятых номерах Бивер здесь , и я нашел следующий отрывок: Человечество может никогда не узнать значение BB (6) наверняка, не говоря уже о значении BB (7) или любом более высоком числе в последовательности. На самом...
В настоящее время я должен изучить Coq и не знаю, как бороться с or: Как простой пример, я не вижу, как это доказать: Theorem T0: x \/ ~x. Буду очень признателен, если кто-нибудь сможет мне помочь. Для справки я использую этот шпаргалку . Также пример доказательства, которое я имею в виду: здесь...
Задача линейного программирования: найти сильно полиномиальный алгоритм времени, который для заданной матрицы A ∈ Rm × n и b ∈ Rm решает, существует ли x ∈ Rn с Ax ≥ b. Я знаю, что в списке Стива Смейла перечислены некоторые нерешенные проблемы математики. Но такая проблема линейного...
В практических основах Языки программирования , Роберт Харпер говорит Если для утверждения быть истинным означает иметь доказательство этого, что это означает для предложения быть ложным? Это значит, что у нас есть опровержение , доказывающее, что это невозможно доказать. То есть утверждение...