Комп'ютерна наука

Яке з наведених тверджень є правильним? існують достатні та необхідні умови щодо регулярності мови, але ще не виявлені. Немає достатньої та необхідної умови щодо регулярності мови. Накачана лема - необхідна умова нерегулярності мови. Накачана лема є достатньою умовою нерегулярності мови. Я знаю, що # (4) є правильним, а # (3) …

11 formal-languages  regular-languages 

Враховуючи цей псевдо-код бульбашки: 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 

Чи теоретично можливо вказати мову програмування, для якої не може існувати жодна реалізація? Мова програмування - це спосіб визначення функцій. Реалізація означає метод виконання заданої програми на цій мові на заданому вході до виводу функції, відповідної програмі на цьому вході. Які мінімальні вимоги до такої мови?

11 formal-languages  computability  programming-languages 

Дано симетричну дійсну n×nn×nn \times n матрицю A=(aij)A=(aij)A=(a_{ij}) , чи існує алгоритм, який обчислює суму по всьому 1 \ leq i &lt;j &lt;k \ leq n з часовою складністю кращою за O (n ^ 3) ?1≤i&lt;j&lt;k≤nO(n3)∑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 

Я розумію, що більшість популярних реалізацій mutex (наприклад, std :: mutex в C ++) не гарантують справедливості - тобто вони не гарантують, що у випадках суперечки замок буде набутий потоками в тому порядку, який вони називається lock (). Насправді навіть можливо (хоча, сподіваємось, нечасто), що у випадках високої суперечності деякі …

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 

Я намагаюся зрозуміти мету універсального та екзистенційного кількісного визначення типів. Я граю разом із написанням іграшкової мови на основі обчислення конструкцій . Я читав про Морта та Хенка, щоб допомогти мені краще зрозуміти. Я не розумію, чому у Кок є як лямбда, так і всебічна абстракція. (λx:A.B)(λx:A.B)(\lambda x:A . B) …

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

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

11 linear-programming  integer-programming 

Намагаючись зрозуміти зв’язки між кодуванням Хаффмана, арифметичним кодуванням і кодуванням діапазону, я почав думати про недоліки кодування Хаффмана, пов'язані з проблемою дробового розфасування бітів . Тобто, припустимо, що у вас є 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) = найменше просте число, яке не ділить xxx …

11 algorithms  number-theory 

Зоопарк Складності визначає, що є класом задач рішення, що вирішуються детермінованою машиною Тьюрінга в лінійний час.Л яNLINLIN Л яN⊆ РLIN⊆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 

Алгоритм Бжозовського можна поширити на автомати Мура, але його часова складність загалом експоненціальна. Чи існує якийсь інший алгоритм мінімізації автоматів Мура? Який час роботи цих алгоритмів, якщо такі є?

11 reference-request  automata  optimization  finite-automata  transducers