Информатика

Учитывая этот псевдокод пузырьковой сортировки: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT Какие основные идеи я должен …

11 algorithms  time-complexity  sorting  average-case 

Учитывая симметричную вещественную матрицу , существует ли алгоритм, который вычисляет сумму по всем 1 \ leq i &lt;j &lt;k \ leq n со сложностью по времени лучше, чем O (n ^ 3) ?n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i&lt;j&lt;k≤n1≤i&lt;j&lt;k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

11 algorithms  time-complexity 

В этом вопросе я спросил, в чем разница между набором и типом . Эти ответы действительно проясняются (например, @AndrejBauer), поэтому в своей жажде знаний я подчиняюсь искушению задать то же самое о категориях: Каждый раз, когда я читаю о теории категорий (которая, по общему признанию, является довольно неформальной), я не …

11 sets  category-theory 

Насколько я понимаю, большинство популярных реализаций мьютекса (например, std :: mutex в C ++) не гарантируют справедливости, то есть они не гарантируют, что в случаях конфликта блокировка будет получена потоками в том порядке, в котором они называется блокировка (). На самом деле, даже возможно (хотя мы надеемся, что это необычно), …

11 concurrency  synchronization  threads 

Что такое индукция-индукция ? Ресурсы, которые я нашел: книга HoTT , в конце главы 5.7. статья nLab статья под названием индуктивно-индуктивные определения этот блог также упоминает индуктивно-индуктивные типы Первые две ссылки слишком кратки для меня, а последние две слишком технические. Кто-нибудь может объяснить это в терминах непрофессионала? Было бы лучше, …

11 type-theory  induction  inductive-datatypes 

Все знают «Garey &amp; Johnson», и я всегда обращаюсь к ним, когда мне нужно выполнить преобразование для доказательства NP-твердости. Однако недавно я нуждался в доказательстве твердости APX, и мне интересно, есть ли подобный (и более современный ...?) Набор проблем, которые, как было показано, являются APX-сложными. Кто-нибудь знает что-нибудь подобное? Мне …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

Я хочу выразить следующее ограничение в целочисленной линейной программе: Y= { 01если х = 0если x ≠ 0.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} У меня уже есть целочисленные переменные и мне обещают, что - 100 ≤ x ≤ 100 . Как …

11 linear-programming  integer-programming 

Я изо всех сил пытаюсь понять цель универсального и экзистенциального количественного определения типов. Я играю с написанием игрушечного языка, основанного на исчислении конструкций . Я читал о Морте и Хенке, чтобы помочь мне лучше понять. Я не понимаю, почему у CoC есть и лямбда, и полная абстракция. ( Λ х …

11 lambda-calculus  type-theory  calculus-of-constructions 

Пытаясь понять взаимосвязи между кодированием Хаффмана, арифметическим кодированием и дистанционным кодированием, я начал думать о недостатках кодирования Хаффмана, связанных с проблемой дробной битовой упаковки . То есть, предположим, что у вас есть 240 возможных значений для символа, и вам необходимо закодировать его в биты, вы застряли бы с 8 битами …

11 information-theory  data-compression  coding-theory  entropy  huffman-coding 

В основном проблема заключается в следующем: для набора положительных чисел найти минимальное число , которое не является делителем ни одного элемента из , т. .SSSdddSSS∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x Обозначим n=|S|n=|S|n = |S|и C=max(S)C=max(S)C = \max(S) . Рассмотрим функцию F(x)=F(x)=F(x) = наименьшее простое число, не делящее …

11 algorithms  number-theory 

Зоопарк Сложности определяет как класс задач решения, решаемых детерминированной машиной Тьюринга за линейное время.LINLINLIN LIN⊆PLIN⊆PLIN \subseteq P Поскольку HORN-SAT разрешим в (как указано в алгоритмах линейного времени для проверки выполнимости формул рогового высказывания (1984) )O(n)O(n)O(n) Представлены новые алгоритмы для определения, является ли (пропозициональная) формула Хорна выполнимой. Если формула Хорна содержит …

11 complexity-theory  time-complexity  reductions 

Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 4 года назад . Я увлекаюсь математической элегантностью и строгостью, и сейчас ищу такую ​​литературу по алгоритмам …

11 algorithms  algorithm-analysis  reference-request  books 

Существуют ли какие-либо известные алгоритмы, которые корректно выводят «да» для NP-полной задачи без неявной генерации сертификата? Я понимаю, что легко превратить оракула выполнимости в искатель удовлетворяющих назначений: просто итерируйте по переменным, каждый раз запрашивая оракула выполнимости, чтобы решить соединение этой переменной с исходной задачей. Но будет ли такая обертка когда-нибудь …

11 algorithms  complexity-theory  np-complete 

Скажем, например, я занимаюсь обработкой строк, которая требует некоторого анализа двух строк. У меня нет никакой информации о том, какова их длина, поэтому они происходят из двух разных семей. Было бы приемлемо назвать сложность алгоритма или O ( n + m ) (в зависимости от того, используем ли мы наивный …

11 time-complexity  asymptotics  landau-notation  notation 

Является ли проблема определения того, является ли данное булево выражение выполнимым в вычислительном отношении отличным от фактического нахождения решения выражения? Другими словами, есть ли другой способ найти, что данное выражение выполнимо без явного определения «правильных настроек» для булевых переменных? Или все возможные доказательства сводятся за полиномиальное время к «правильным настройкам»? …

11 complexity-theory  satisfiability