Предположим, мне дано целых чисел фиксированной ширины (т.е. они помещаются в регистр ширины ), , так что их сумма a 1 + a 2 + ⋯ + a n = S также помещается в регистр ширины ш .nnnwwwa1,a2,…ana1,a2,…ana_1, a_2, \dots a_na1+a2+⋯+an=Sa1+a2+⋯+an=Sa_1 + a_2 + \dots + a_n = Swww Мне кажется, что мы...
Мне бы очень понравилась ваша помощь в следующем: Для любого фиксированного мне нужно решить, есть ли замыкание под следующими операторами:L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} .Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists...
Рассмотрим следующую версию задачи Клика, где вход имеет размер и нас просят найти клику размера k . Ограничение состоит в том, что процедура принятия решения не может изменить входной граф в любое другое представление и не может использовать любое другое представление для вычисления его ответа,...
Я новичок (абсолютный новичок в теории вычислительной сложности), и у меня есть вопрос. Допустим, у нас есть «проблема коммивояжера», решит ли ее следующее применение алгоритмов Дейкстры? Из начальной точки мы вычисляем кратчайшее расстояние между двумя точками. Мы идем к сути. Удаляем исходную...
Динамическое программирование может сократить время, необходимое для выполнения рекурсивного алгоритма. Я знаю, что динамическое программирование может помочь уменьшить временную сложность алгоритмов. Являются ли общие условия такими, чтобы при выполнении рекурсивного алгоритма подразумевалось, что...
Я знаю, что существуют нерегулярные языки, поэтому является регулярным, но все примеры, которые я могу найти, являются контекстно-зависимыми, но не контекстно-свободными.L∗L∗L^* Если нет ни одного, как вы это...
Я задал похожий вопрос на cstheory.SE . Согласно этому ответу на Stackoverflow существует алгоритм, который на не ленивом чисто функциональном языке программирования имеет сложность , тогда как тот же алгоритм в императивном программировании - Ω ( n ) . Добавление ленивости к языку FP сделало бы...
Я реализовал топологическую сортировку на основе статьи в Википедии, которую я использую для разрешения зависимостей, но она возвращает линейный список. Какой алгоритм я могу использовать, чтобы найти независимые...
Я читал о числах занятых бобров и о том, как они асимптотически растут больше, чем любая вычислимая функция. Почему это так? Это из-за невычислимости функции занятого бобра? Если так, то все ли невычислимые функции растут асимптотически больше, чем вычислимые? Редактировать: Хорошие ответы ниже, но...
Наивный байесовский предиктор делает свои прогнозы, используя эту формулу: P(Y=y|X=x)=αP(Y=y)∏iP(Xi=xi|Y=y)P(Y=y|X=x)=αP(Y=y)∏iP(Xi=xi|Y=y)P(Y=y|X=x) = \alpha P(Y=y)\prod_i P(X_i=x_i|Y=y) где - нормализующий фактор. Это требует оценки параметров P ( X i = x i | Y = y ) по данным. Если мы сделаем...
Может ли число с плавающей запятой IEEE-754 <1 (т. Е. Созданное с помощью генератора случайных чисел, который генерирует число> = 0,0 и <1,0) когда-либо умножаться на некоторое целое число (в форме с плавающей запятой), чтобы получить число, равное или большее, чем что целое число из-за...
Пожалуйста, рассмотрите следующую тройную вложенную петлю: for (int i = 1; i <= n; ++i) for (int j = i; j <= n; ++j) for (int k = j; k <= n; ++k) // statement Здесь утверждение выполняется ровно раз Может кто-нибудь объяснить, как эта формула была получена?...
Если рассматривать дерево как частичное упорядоченное множество, оно становится частным случаем полурешетки соединения. Для полурешетки соединения мы хотим иметь возможность эффективно вычислять (уникальную) наименьшую верхнюю границу двух элементов (более или менее). В случае дерева структура...
Брюинье и Оно нашли алгебраическую формулу для функции разбиения , которая, как сообщалось, была прорывом. Я не могу понять статью, но имеет ли она какие-либо алгоритмические последствия для быстрого вычисления функции...
Хорошо известная проблема SAT определена здесь для справки. Проблема DOUBLE-SAT определяется как DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least...
Есть много популярных языков. Но компьютерные ученые говорят нам, что для того, чтобы точно понять поведение программ на этих языках и однозначно спорить с поведением программы (например, доказать их идентичность), нам нужно перевести их на другой, хорошо понятный язык. Они называют такой язык...
Мне было интересно, если кто-то знал происхождение модели клиент-сервер. Откуда этот термин (бумага, программное приложение,
Я ищу O (V + E) алгоритм для нахождения транзитивного сокращения с учетом DAG. То есть удалите как можно больше ребер, чтобы, если бы вы могли достичь v от u, для произвольных v и u вы все еще можете достичь после удаления ребер. Если это стандартная проблема, пожалуйста, укажите мне какое-нибудь...
Существуют ли надежные структуры в игре жизни Конвея ? Например, кто-нибудь построил космический корабль со щитом, который поглощает все маленькие осцилляторы и планеры, с которыми он...
Это мой первый пост после пассивного использования в течение некоторого времени. Я хотел бы задать несколько вопросов, если можно. Я не математик, но мой вопрос относится к области математики / информатики. В частности, проблема P против NP. Я знаю, что это проблема, которую элитные профессионалы...