Запитання з тегом «terminology»

У Теорії обчислень Майкла Сіпсера на сторінці 270 він пише: P = клас мов, для членства яких можна швидко визначитися. NP = клас мов, на які можна швидко перевірити членство. Яка різниця між "вирішеним" та "перевіреним"?

16 complexity-theory  terminology  decision-problem 

За даними Вікіпедії : Неофіційно, з точки зору алгоритмічної теорії інформації, зміст інформації рядка еквівалентно довжині найкоротшого можливого автономного подання цієї рядка. Яке аналогічне неформальне суворе визначення "корисної інформації"? Чому «корисна інформація» не сприймається як більш природна чи більш фундаментальна концепція; Наївно це здається, що суто випадковий рядок за визначенням …

16 information-theory  terminology  kolmogorov-complexity 

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

16 terminology  reference-request  computer-architecture  memory-management 

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

16 formal-languages  terminology  regular-languages 

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

15 algorithms  data-structures  terminology  computational-geometry 

Чи є різниця між ними? Відповідно до книги Уллмана , компілятори перетворюють одну мову на іншу (як правило, низький рівень), і так це робить асемблер. Чим вони відрізняються?

15 terminology  compilers 

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

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

Припустимо, нам дано два числа і і ми хочемо знайти для l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Наївний алгоритм просто перевіряє всі можливі пари; наприклад, у рубінах у нас буде: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

З Вікіпедії про рандомізовані алгоритми Слід розрізняти алгоритми, які використовують випадковий вхід для зменшення очікуваного часу роботи або використання пам'яті, але завжди закінчуються правильним результатом у обмеженій кількості часу, та ймовірнісними алгоритмами , які залежно від випадкового введення мають шанс створення неправильного результату (алгоритми Монте-Карло) або невдача результату (алгоритми Лас-Вегаса) …

14 algorithms  terminology  randomized-algorithms  nondeterminism  machine-models 

Я намагаюся навчити себе вживати зубрів. Сторінка бізона (1) говорить про зубра: Створіть детермінований LR або узагальнений парсер LR (GLR), використовуючи LALR (1), IELR (1) або канонічний LR (1) парсер таблиць. Що таке IELR-аналізатор? Усі релевантні статті, які я знайшов у всесвітній мережі Інтернету, платні.

14 formal-languages  terminology  formal-grammars  parsers 

Згідно зі статтею Вікіпедії , L у означає "сканування зліва направо", а "R" означає "найправіше виведення". Однак в оригінальній статті Кнута про граматики L R ( k ) він визначає L R ( k ) (на стор. 610) як мову, що "перекладається зліва направо із пов'язаною k ".LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)kkk Я здогадуюсь, …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Я трохи розгублений, що саме означає "ключ" в інформатиці. Я розумію пари ключ-значення, первинні ключі тощо ... Але я не можу знайти визначення поняття "ключ" саме по собі. Наскільки я можу сказати, це означає лише частину даних. У CLRS дані, пов'язані з деревами, називаються "ключами". Дані для пошуку хеш-таблиці називаються …

14 terminology 

Виконуючи другу ката-код (яка просить вас впровадити алгоритм двійкового пошуку п'ять разів, кожен раз за допомогою іншого методу), я придумав дещо інше рішення, яке працює наступним чином: Якщо у мене буде відсортований масив довжиною 100, і я бачу, що його початкове поле містить число 200, а його кінцеве поле містить …

14 algorithms  terminology  search-algorithms  binary-search 

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

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

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

13 formal-languages  terminology  automata  finite-automata  formal-grammars