Почему языки высокого уровня, по-видимому, никогда не достигают языков низкого уровня с точки зрения скорости? Примерами языков высокого уровня могут служить Python, Haskell и Java. Низкоуровневые языки было бы сложнее определить, но, скажем, C. Сравнения можно найти по всему Интернету и все они...
Регулярная expresssion определяется рекурсивно aaa для некоторых - это регулярное выражение,a ∈ Σa∈Σa \in \Sigma εε\varepsilon - это регулярное выражение, ∅∅\emptyset - это регулярное выражение, ( R1∪ R2)(R1∪R2)(R_1 \cup R_2) где и - регулярные выражения, регулярное выражение,р1R1R_1р2R2R_2 ( R1∘...
Все знают «Garey & Johnson», и я всегда обращаюсь к ним, когда мне нужно выполнить преобразование для доказательства NP-твердости. Однако недавно я нуждался в доказательстве твердости APX, и мне интересно, есть ли подобный (и более современный ...?) Набор проблем, которые, как было показано,...
Требуется найти степень (целое положительное число) матрицы действительных чисел. Существует множество эффективных алгоритмов умножения матриц (например, некоторые параллельные алгоритмы - Кэннона, DNS ), но существуют ли алгоритмы, предназначенные именно для определения мощности матрицы и более...
Что такое индукция-индукция ? Ресурсы, которые я нашел: книга HoTT , в конце главы 5.7. статья nLab статья под названием индуктивно-индуктивные определения этот блог также упоминает индуктивно-индуктивные типы Первые две ссылки слишком кратки для меня, а последние две слишком технические....
В Java, вы должны явно привести, чтобы уменьшить значение переменной public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple Apple child =...
Я дал множество , целое число , и неотрицательные целые числа . Моя проблема состоит в нахождении непересекающиеся подмножества из такие , что:A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant kaijaija_{ij}sssSjSjS_j{1,…,k}{1,…,k}\{1,\ldots,k\} ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; и...
Существует ли какой-либо инструмент для создания прототипа семантики и системы типов языка программирования, который также позволяет выполнять некоторую проверку моделей стандартных свойств, например, правильности типа? Я спрашиваю об этом, потому что я читаю книгу по Alloy, и она предоставляет...
У меня есть два набора точек в 2-мерной плоскости. Я хочу найти ближайшую пару точек такую, чтобы , , а евклидово расстояние между как можно меньше. Насколько эффективно это можно сделать? Можно ли это сделать за , где?s , t s ∈ S t ∈ T s , t O ( n log n ) n = | S | + | T |S,TS,TS,Ts,ts,Ts,ts∈Ss∈Ss...
Предположим, что кто-то хочет рассуждать о свойствах кода помимо таких вещей, как целостность и функциональная чистота, а также заботится о потреблении памяти или алгоритмической сложности функции. Можно ли это сделать с помощью зависимых систем типирования и...
Вопрос в том, можно ли свести каждую математическую теорему к вопросу о том, останавливается ли одна машина Тьюринга. В частности, меня интересуют гипотезы, которые в настоящее время не доказаны. Например: Википедия говорит, что в настоящее время неизвестно, существуют ли какие-то нечетные...
При создании клиента для веб-API в C # я столкнулся с проблемой, связанной nullсо значением, в которой он представлял бы две разные вещи: ничего , например, fooможет иметь или не иметьbar неизвестно : по умолчанию ответ API включает только подмножество свойств, вы должны указать, какие...
Википедия перечисляет временную сложность сложения как , где - количество битов.нNNnNNn Это жесткая теоретическая нижняя граница? Или это просто сложность самого быстрого известного алгоритма. Я хочу знать, потому что сложность сложения подчеркивает все другие арифметические операции и все...
Предположим , что мы читаем последовательность чисел, один за другим. Как найти к «й наименьший элемент только с помощью O ( K ) клеток памяти и в линейном времени ( O ( п ) ). Я думаю , что мы должны сохранить первые K члены последовательности и когда получим K + 1 «й член, удалить термин ,...
Согласно этим примечаниям считается , что DFS имеет сложность пространства , где - коэффициент ветвления дерева, а - максимальная длина любого пути в пространстве состояний.б мO ( б м )O(bm)O(bm)бbbмmm То же самое сказано в этой странице Wikibook на Неинформированном Поиске . Теперь «инфобокс»...
Насколько я понимаю, большинство популярных реализаций мьютекса (например, std :: mutex в C ++) не гарантируют справедливости, то есть они не гарантируют, что в случаях конфликта блокировка будет получена потоками в том порядке, в котором они называется блокировка (). На самом деле, даже возможно...
Общий вопрос, как следует из названия: В чем разница между DS и OR / оптимизацией. На концептуальном уровне я понимаю, что DS пытается извлечь знания из имеющихся данных и использует в основном статистические методы машинного обучения. С другой стороны, OR использует данные для принятия решений на...
Колода карт 52. Рука состоит из 5 карт из 52 (не может иметь дубликат). Какое наименьшее количество бит для представления комбинации из 5 карт и как? Рука НЕ зависит от порядка (KQ = QK). 64329 = 96432 Да, можно использовать 52 бита. Это может представлять собой руку любого количества карт....
У меня сложилось впечатление, что наши компьютеры, будучи конечными, в конечном итоге не более мощные, чем (чрезвычайно большие) конечные автоматы. Тем не менее, линейно ограниченные машины Тьюринга также конечны, но кажется, что регулярные языки являются строго неподходящим подмножеством...
Итак, учитывая два DFA, является ли проблема обнаружения, если они генерируют один и тот же язык, разрешимой проблемой? Я уже знаю, что равенство двух КЛЛ не является разрешимым а как насчет равенства двух ДФА? учитывая, что большинство проблем с DFAs разрешимы, это тоже...