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

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

9 terminology  dynamic-programming 

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

9 terminology  traveling-salesman 

Фон Я пишу деякий код для напівавтоматизованого оцінювання, використовуючи однорангову оцінку як частину процесу класифікації. Студенти отримують пари есе одночасно, і студенти мають слайдер, щоб вибрати, який краще і наскільки краще. наприклад, слайдер може виглядати приблизно так: A---X-B На основі результатів однорангової оцінки есе складають рейтинг, а потім вчитель оцінює …

9 algorithms  graphs  modelling 

Я використовую Mathematica для вирішення проблем. У мене питання про матрицю обернену. якщо я хочу лише один елемент зворотної матриці, чи існує швидший алгоритм, ніж використовувати Inverseдля обчислення всієї оберненої матриці та витягти елемент, який я хочу?

9 algorithms 

Як зазначено в питанні, як ми можемо довести, що ?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Чи може хтось вказати мені на доказ чи окреслити його тут? Дякую!

9 complexity-theory  time-complexity  space-complexity 

Я дізнався про нейронні мережі та SVM. Підручники, які я читав, підкреслювали, наскільки важлива kernelization для SVM. Без функції ядра, SVM - це лише лінійний класифікатор. Завдяки kernelization, SVM також можуть включати нелінійні функції, що робить їх більш потужним класифікатором. Мені здається, що можна також застосувати кернелізацію до нейронних мереж, …

9 machine-learning  artificial-intelligence  neural-networks 

Під час вставлення елемента в дерево-поворот, обертання виконуються парами на основі зигзагоподібного або зиг-зигового малюнка. Коли має бути непарне число обертань, які слід виконати, можна було б зробити додаткове обертання, що починається на листі, або зберегти зайве обертання і зробити це в корені. Це важливо? Наприклад, у додане зображення я …

9 data-structures  binary-trees  splay-trees 

Я хотів би пробити рівномірну випадкову точку в полігоні ... Якщо взяти вибірку великої кількості, вони з однаковою ймовірністю потраплять у два регіони, якщо вони мають однакову площу. Це було б досить просто, якби це квадрат, оскільки я б взяв два випадкових числа в [0,1] як свої координати. Форма у …

9 algorithms  randomness  sampling  random-number-generator 

Чому початкові ваги нейронних мереж ініціалізуються як випадкові числа? Я десь читав, що це робиться для "порушення симетрії", і це змушує нейронну мережу швидше вчитися. Як порушення симетрії змушує її швидше вчитися? Не вдалося б ініціалізувати ваги до 0 кращою ідеєю? Таким чином ваги зможуть швидше знайти свої значення (позитивні …

9 machine-learning  artificial-intelligence  neural-networks 

Для свого ступеня CS я мав більшість "стандартних" математичних передумов: Обчислення: диференційні, інтегральні, складні числа Алгебра: досить багато понять до полів. Теорія чисел: XGCD та пов'язані з ними матеріали, в основному для криптовалют. Лінійна алгебра: до власних векторів / власних значень Статистика: ймовірності, тестування Логіка: пропозиційний, предикатний, модальний, гібридний. Мої …

9 artificial-intelligence  cryptography  discrete-mathematics 

Я намагаюся зрозуміти інтерактивні системи доказування і спробував наступну проблему як вправу. Ми знаємо, що і , тому придумали (легко зрозуміти) інтерактивні системи підтвердження для ?ПН⊆ РSПА СЕPH⊆PSPACEPH \subseteq PSPACEЯП= РSПА СЕIP=PSPACEIP=PSPACEПНPHPH Інтерактивна система доказування є тривіальною, але мені не вдалося отримати інтерактивну систему підтвердження навіть для . Чи знаєте …

9 complexity-theory  interactive-proof-systems 

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

9 type-theory 

Я генерую випадкові DFA для тестування алгоритму зменшення DFA на них. Алгоритм, який я зараз використовую, такий: для кожного стану , для кожного символу в алфавіті додайте до деякого випадкового стану. Кожна держава має однакову ймовірність стати кінцевим станом.qqqcccδ(q,c)δ(q,c)\delta (q, c) Це хороший метод створення об'єктивних DFA? Крім того, цей …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

Команда вирішила, що кожного ранку хтось повинен приносити круасани для всіх. Це не повинно бути однаковою людиною кожен раз, тому повинна бути система, яка визначає, чия черга наступна. Мета цього питання - визначити алгоритм для вирішення, чия черга буде завтра принести круасани завтра. Обмеження, припущення та завдання: Чия черга принести …

9 algorithms  scheduling 

Я шукаю граматику, залежну від контексту, яка описує наступну мову: L = { w w ∣ w ∈ { a , b}∗, | ш | ≥ 1 }L={шш∣ш∈{а,б}∗,|ш|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . У мене проблеми з тим, що немає таких правил, як Х→ …

9 formal-languages  formal-grammars  context-sensitive