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

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

34 algorithms  algorithm-analysis  sorting  arrays 

Я бачу, що більшість визначень того, що означає бути Тюрінгом, є тавтологічними до певної міри. Наприклад, якщо ви Google "що означає" Тюрінг повний ", ви отримуєте: Комп'ютер є Тьюрінгом повним, якщо він може вирішити будь-яку проблему, яку машина Тьюрінга може ... Хоча дуже чітко визначено, чи є різні системи Тьюрінга …

34 turing-machines  turing-completeness 

Чи є відомі проблеми в NPNP\mathsf{NP} (а не в PP\mathsf{P} ), які не є NPNP\mathsf{NP} Повними? Я розумію, що в даний час немає відомих проблем, але це не виключено як можливість. Якщо є проблема, яка є NPNP\mathsf{NP} (а не PP\mathsf{P} ), але не NP-completeNP-complete\mathsf{NP\text{-}complete} , це буде наслідком відсутності ізоморфізму …

34 complexity-theory  np-complete  p-vs-np 

Дійкстра у своєму нарисі « Про жорстокість справді викладання обчислювальної науки» робить наступну пропозицію щодо вступного курсу програмування: З одного боку, ми навчаємо, як виглядає предикатне числення, але ми робимо це зовсім інакше, ніж філософи. Для того, щоб навчити програміста-початківця до маніпулювання неінтерпретованими формулами, ми навчаємо його більше як булева …

33 reference-request  programming-languages  education  didactics 

Чи є принципова різниця між динамічним програмуванням «зверху вниз» та «знизу вгору»? Зокрема, чи існує проблема, яку можна вирішити знизу вгору, але не зверху вниз? Або підхід знизу вгору є лише розкручуванням повторення підходу зверху вниз?

33 algorithms  dynamic-programming 

Існує бункерів і тип куль. й бін має ЕТИКЕТКИ для , тобто очікуване число куль типу .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj Ви починаєте з кульок типу . Кожна куля типу має вагу , і хочемо покласти кульки в бункери таким чином, щоб бін мав вагу . Розподіл куль, таким, що виконується попередня …

33 complexity-theory  np-hard  integer-programming 

Добре відомо, що цей "наївний" алгоритм переміщення масиву шляхом заміни кожного елемента іншим випадково вибраним не працює належним чином: for (i=0..n-1) swap(A[i], A[random(n)]); Зокрема, оскільки на кожному з ітерацій робиться один із варіантів (з однаковою ймовірністю), можливі можливих 'шляхів' через обчислення; тому що кількість можливих перестановокне ділиться рівномірно на кількість …

33 algorithms  algorithm-analysis  asymptotics  probability-theory  randomness 

У своєму семінарному документі 1987 р. Dana Angluin представляє поліноміальний алгоритм часу для вивчення ДФА з запитів про членство та теоретичних запитів (контрприклади до запропонованого DFA). Вона показує, що якщо ви намагаєтеся вивчити мінімальний коефіцієнт DFA з станами, а ваш найбільший зразок довжини m , то вам потрібно зробити O …

33 algorithms  learning-theory  machine-learning 

Прочитавши кілька джерел, я все ще плутаюсь щодо потоків на рівні користувача та ядра. Зокрема: Нитки можуть існувати як на рівні користувача, так і на рівні ядра Яка різниця між рівнем користувача та рівнем ядра?

33 operating-systems  terminology  concurrency  os-kernel 

EDIT: Зараз я задав подібне запитання про різницю між категоріями та наборами. Кожен раз, коли я читаю про теорію типів (яка, правда, досить неформальна), я не можу реально зрозуміти, чим вона відрізняється від теорії множин, конкретно . Я розумію, що між висловлюванням "х належить множина X" і "x належить до …

33 type-theory  sets 

Сьогодні ми обговорили на лекції дуже простий алгоритм пошуку елемента в відсортованому масиві за допомогою двійкового пошуку . Нас попросили визначити його асимптотичну складність для масиву з елементів.nnn Моя ідея полягала в тому, що очевидно або є більш конкретним, оскільки - кількість операцій в гіршому випадку. Але я можу зробити …

33 algorithm-analysis  asymptotics  landau-notation  reference-question 

Вибачте заздалегідь, якщо це питання звучить нерозумно ... Наскільки мені відомо, побудова алгоритму з використанням динамічного програмування працює таким чином: висловити проблему як рецидиви; реалізувати відношення рецидивів або через запам'ятовування, або за допомогою підходу знизу вгору. Наскільки я знаю, я все сказав про динамічне програмування. Я маю на увазі: динамічне …

33 algorithms  dynamic-programming  algorithm-design 

У моєму класі учень запитав, чи можна намалювати всі кінцеві автомати без перетину ребер (схоже, всі мої приклади були). Звичайно, відповідь негативна, явний автомат для мови {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\} має структуру K5K5K_5 , повний графік на п'яти вузлах . Ювал показав подібну структуру для …

32 regular-languages  finite-automata  planar-graphs 

Я навіть не студент CS, тому це може бути дурним питанням, але будь ласка, майте на собі ... У епоху перед комп'ютером ми можемо реалізувати структуру даних масиву лише на зразок масиву ящиків. Оскільки вам потрібно знайти ящик з відповідним індексом, перш ніж витягувати з нього значення, часова складність пошуку …

32 algorithms  algorithm-analysis  data-structures  runtime-analysis 

Я читав про Йоту та Джота і вважав цей розділ заплутаним: На відміну від Iota, де синтаксичне дерево для рядка може розгалужуватися або зліва, або справа, синтаксис Jot рівномірно ліво-розгалужений. Як результат, Iota суворо без контексту, але Jot є звичайною мовою. Я розумію, що і Йота, і Джот Тюрінг завершені. …

32 regular-languages  programming-languages  turing-completeness