Вам дан массив длины . Каждый элемент массива принадлежит одному из K классов. Вы должны переставить массив, используя минимальное количество операций подкачки, чтобы все элементы одного и того же класса всегда были сгруппированы вместе, то есть они образуют непрерывный подмассив. Например: NnnКKK...
Моя ситуация Я пишу статью, представляющую программный модуль, который я разработал, и я хочу сравнить его время выполнения с другими модулями для той же задачи. Я знаю о недостатках экспериментов во время выполнения , но, пожалуйста, примите во внимание, что в моем случае это никак не обойти. (Я...
В зависимо-типизированном программировании есть два основных способа разложения данных и выполнения рекурсии: Зависимое сопоставление с образцом : определения функций приведены в виде нескольких предложений. Унификация гарантирует, что все пропущенные случаи невозможны, а внешний решатель...
Какие алгоритмы машинного обучения (кроме SVM) используют принцип минимизации структурных рисков
В конечных автоматах это тривиальное упражнение, показывающее, что не существует алгоритма, который может обнаружить все вирусы, но есть много компаний-разработчиков, продающих антивирусное программное обеспечение. Есть ли какая-либо часть CS, которая имеет дело с вирусами и антивирусами? PS: Я не...
Существуют ли хорошие учебные веб-ресурсы по дискретной математике с
Я пытаюсь научить себя различным подходам к проверке программного обеспечения. Я прочитал несколько статей. Насколько я узнал, логика высказываний с темпоральным обычно использует проверку моделей с помощью решателей SAT (в текущих - реактивных системах), но как насчет логики первого порядка с...
Является ли этот вариант проблемы подмножества простым / известным? Принимая во внимание целого , и множество положительных целых чисел А = { х 1 , х 2 , . , , , x n } , так что каждый x i имеет не более k = 2 битов, установленных в 1 ( x i = 2 b i 1 + 2 b i 2 ,mмmA={x1,x2,...,xn}Aзнак...
Недавно я задал вопрос по математике SE. Ответа пока нет. Этот вопрос связан с этим вопросом, но с техническими подробностями в отношении информатики. Даны два DFA A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) и где набор состояний, входной алфавит и функция перехода и одинаковы,...
Формальный язык над алфавитом является подмножеством , то есть, набор слов в этом алфавите. Два формальных языка и равны, если соответствующие множества экстенсивно равны как подмножества . Можно использовать языки в теории сложности, чтобы формализовать понятие «проблемы». Можно было бы...
Я смотрю на следующую проблему: Для заданных мерных векторов натуральных чисел v 1 , … , v m и некоторого входного вектора u , является ли u линейной комбинацией v i с коэффициентами натуральных чисел?nnnv1,…,vmv1,…,vmv_1, \ldots, v_muuuuuuviviv_i т.е. есть ли где u = t 1 v 1 + ⋯ + t m v m...
Этот вопрос о пересечении теории вероятностей и сложности вычислений. Одним из ключевых замечаний является то, что некоторые распределения проще генерировать, чем другие. Например, проблема Для заданного числа вернуть равномерно распределенное число с .i 0 ≤ i < nnnniii0≤i<n0≤i<n0 \leq i <...
Ответ Бабу на недавний вопрос напоминает мне о том, что когда-то я читал статью об эквивалентности (с точки зрения как фактов, которые можно вывести или доказать, так и сложности времени выполнения алгоритма вывода) анализа потока данных , абстрактная интерпретация , и тип логического вывода . В...
Я слышал несколько возможных объяснений, поэтому я хотел бы получить надежную ссылку. Обновление 05.19: Меня интересует этот вопрос, потому что один из моих студентов написал в своей диссертации, что название происходит от объяснения ниже (1). До сих пор я думал / слышал, что это происходит из...
Учитывая триангуляцию (без точек Штейнера) простого многоугольника , можно рассмотреть дуал этой триангуляции, который определяется следующим образом. Мы создаем вершину для каждого треугольника в нашей триангуляции и соединяем две вершины, если соответствующие треугольники имеют общее ребро....
Я разместил это на MathUnderflow, но не получил ответов, поэтому решил попробовать здесь, Я читаю старую статью Рабина и Фишера [опубликует ссылку, когда это возможно], где, помимо прочего, доказана двоякая экспоненциальная сложность арифметики Пресбургера. Доказательство основывается на...
В « Доказательствах и типах» Жирара мы можем прочитать: С алгоритмической точки зрения, секвенциальное исчисление не имеет изоморфизма Карри-Ховарда из-за множества способов написания одного и того же доказательства. Это мешает нам использовать его в качестве типизированного исчисления, хотя мы...
Я работаю над проблемой, связанной с латинскими квадратами, и я хочу метод, который сводится к решению проблемы: Входные данные : конечный простой граф G. Выходные данные : YESесли G имеет нетривиальный автоморфизм, в NOпротивном случае. Следовательно ... Вопрос : существует ли эффективный алгоритм...