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

Я читав документ "Обчислювальна техніка та інтелект" Тьюрінга ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) і знайшов фрагмент, в якому він говорить: Я встановив на комп’ютері Манчестера невелику програму, використовуючи лише 1000 одиниць пам’яті, за допомогою якої машина, що постачається з одним шістнадцятизначним номером, відповідає на іншу протягом двох секунд. Я б заперечував комусь …

10 algorithms  history 

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

10 computability  logic  turing-completeness 

Я часто зустрічався з цим терміном у різних навчальних матеріалах CS: L2 CS162 (UC Berkeley): Введення / виведення на карту пам'яті L4 CS162 (UC Berkeley): Файли, відображені на пам'яті L24 CS61 (UC Berkeley): "Вбудований введення / виведення пам'яті": регістри керування / даних пристрою, відображені в адресному просторі процесора Навіть після …

10 data-structures  operating-systems  memory-management 

Якщо процесори можуть одночасно виконувати лише одне, то чому я можу постійно відтворювати музику і все ще мати змогу виконувати інші завдання? Я розумію систему переривань, але чи не потрібно, щоб процесор постійно обробляв аудіо, щоб він не звучав трепетно ​​/ мляво? Я запитую про основну реалізацію, чи пов’язане це …

10 cpu  multi-tasking 

Розглянемо наступне твердження проблеми: Давши початкове число, ви з вашим другом по черзі віднімаєте з нього ідеальний квадрат. Перший, який потрапив до нуля, виграє. Наприклад: Початковий стан: 37 Гравець1 віднімає 16. Стан: 21 Гравець2 віднімає 8. Стан: 13 Гравець1 віднімає 4. Стан: 9 Гравець2 віднімає 9. Стан: 0 Player2 перемагає! …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

Ось проблема: Існує пов'язаний графік з вузлами, що представляють певну кількість людей. Кожен вузол / людина має думку щодо теми, наприклад, козир проти Клінтона, паперові книги проти запалення тощо Мета - змусити кожен вузол у графі поділяти однакову думку, вибравши певну підмножину вузлів у певній послідовності. Якщо більшість людей з …

10 graphs  graph-theory  social-networks 

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

10 type-theory  dependent-types  coq 

Приблизно, непрямий графік дуже схожий на спрямований графік, де для кожного ребра (v, w) завжди є ребро (w, v). Це говорить про те, що може бути прийнятним перегляд непрямих графіків як підмножини спрямованих графіків (можливо, з додатковим обмеженням того, що додавання / видалення ребер може бути виконано лише у відповідних …

10 graphs  terminology 

Виходячи з фону C ++, я не розумію, для чого потрібні вирази типів / типів як громадянина першого класу? Єдиною моєю мовою, яка підтримує цю функцію, є Aldor. Хтось має літературу про типи як громадянин першого класу чи знає деякі причини, чому це корисно?

10 programming-languages  language-design  types 

Я описую підхід до грамотного ізоморфізму, який, ймовірно, має помилкові позитиви, і мені цікаво, чи існує література, яка свідчить про те, що вона не працює. Беручи під увагу два суміжності матриці , за загальним визнанням наївним метод перевірки ізоморфізму , щоб перевірити , є чи для кожного рядка U з …

10 reference-request  graph-isomorphism 

Розгляньте машину з кінцевим станом як звичайну, але кожен перехід також може оновлювати цілий лічильник, додаючи чи віднімаючи число. Скажімо, функція переходу форми переходить до нового стану і додає до лічильника, де (так може бути додатним , мінус або нуль).δ(q,a)=(p,k)δ(q,a)=(p,k)\delta(q,a) = (p,k)pppkkkk∈Zk∈Zk \in \mathbb{Z}kkk Рядок приймається, якщо кінцевий стан і …

10 finite-automata 

Я намагаюся навчити себе квантовим обчисленням, і я гідно розумію лінійну алгебру. Я пробрався через ворота NOT, що було не дуже погано, але потім я дістався до воріт Адамара. І я застряг. Головним чином, тому що, хоча я "розумію" маніпуляції, я не розумію, що вони насправді роблять, і чому ви …

10 logic  quantum-computing 

Я сьогодні дізнався, що алгоритм аналізу відрізняється на основі обчислювальної моделі. Це те, про що я ніколи не думав і не чув. Приклад, поданий мені, що ілюстрував це далі, користувачем @chi : Наприклад, розгляньте завдання: задане повернення x i . У оперативній пам'яті це можна вирішити в O ( 1 …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

Я не знаю правильної термінології для того, щоб задати це питання, тому я опишу це з великою кількістю слів, майте на собі. Передумови , так що ми знаходимося на одній сторінці: Програми часто містять кеші - компроміс часу / пам'яті. Поширена помилка програміста - забути оновити кешоване значення після зміни …

10 terminology  reference-request  functional-programming  programming-paradigms 

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

10 algorithms  graph-theory  set-cover