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

Перетин контекстної вільної мови L із звичайною мовою M, як кажуть, завжди вільний від контексту. Я зрозумів переконливі конструкції продукту, але все ще не розумію, чому це контекстно, але не регулярно. Мова, породжена таким перетином, має рядки, які приймаються як PDA, так і DFA. Оскільки його приймає DFA, чи не …

16 regular-languages  context-free  finite-automata  formal-grammars 

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

16 terminology  reference-request  computer-architecture  memory-management 

Нещодавно я дуже зацікавився розумінням та доведенням аспектів (функціональних) мов програмування. Однак, коли я заглиблююсь все глибше, такі речі, як обчислення, теорія категорій та денотаційна семантика, трохи важко обробляти без належного пояснення.λλ\lambda Я читаю SICP (досить просвітницьку книгу), але прагну заглибитися в теорію функціонального програмування. Чи є книги / блоги …

16 reference-request  lambda-calculus  functional-programming  books 

Я вивчав три, і я викладаю свої висновки з них нижче. Чи міг би хтось сказати мені, чи достатньо точно я їх зрозумів чи ні? Дякую. Дейкстри алгоритм використовується тільки тоді , коли у вас є одне джерело , і ви хочете знати , найменший шлях від одного вузла до …

16 algorithms  graph-theory 

Алгоритм мінімізації DFA Бжозовського будує мінімальний DFA для DFA GGG шляхом: перевернути всі ребра в GGG , перетворивши початковий стан у стан прийняття, а стан прийняття - початковий, щоб отримати NFA N′N′N' для зворотної мови, використовуючи побудову живлення, щоб отримати G′G′G' для зворотної мови, обернення ребер (і початковий прийняття підкачки) …

16 algorithms  finite-automata  runtime-analysis 

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

16 algorithms  combinatorics  strings  dynamic-programming 

Минулого року я читав фантастичний документ на тему "Квантова механіка для дитячого саду" . Папір був непростим. Зараз мені цікаво, як пояснити хитрощі найпростішими можливими словами. Як я можу довести (або принаймні рукохвиль), що середня складність становить , і які найкращі та найгірші випадки стосуються до класу дитячих садків? Або …

16 algorithms  education  algorithm-analysis  didactics  sorting 

Чому ми використовуємо інші бази, які не є ні двійковими (для комп'ютерів), ні десятковими (для людей)? Комп'ютери в кінцевому підсумку представляють їх у двійковій формі, і людина настійно вважає за краще десяткове представлення. Чому б не дотримуватися цих двох основ?

16 numeral-representations 

Мені незрозуміло щодо використання словосполучень "нескінченна" мова або "кінцева" мова в комп'ютерній теорії. Я думаю , що корінь проблеми в тому , що мова як L={ab}∗L={ab}∗L=\{ab\}^* є нескінченною в тому сенсі , що він може генерувати нескінченну (але рахункове) число рядків. Тим не менш, його все ще можна розпізнати за …

16 formal-languages  terminology  regular-languages 

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

16 algorithms  graph-theory  shortest-path 

Чому нам потрібно перевернути ядро ​​в 2D згортці в першу чергу? Яка користь від цього? Отже, чому ми не можемо залишити його розкрученим? http://www.songho.ca/dsp/convolution/convolution2d_example.html вхід ядро вихід "Спочатку переверніть ядро, яке є затіненою коробкою, і в горизонтальному, і у вертикальному напрямку"

16 image-processing 

Існують релятивістські космічні часи (наприклад, MH spacetimes; див. Hogarth 1994), де світова лінія нескінченної тривалості може міститися в минулому кінцевого спостерігача. Це означає, що звичайний спостерігач може мати доступ до нескінченної кількості кроків обчислення. Якщо припустити, що комп'ютер може бездоганно функціонувати протягом нескінченного періоду часу (і я знаю, що це …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

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

15 algorithms  data-structures  terminology  computational-geometry 

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

15 complexity-theory  np-complete  np-intermediate 

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

15 algorithms  turing-machines  combinatorics