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

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

26 computability  programming-languages  turing-completeness 

Це завдання програмного забезпечення (операційної системи) виявити переповнення стека чи виявлено переповнення стека в апаратному забезпеченні, спричиняючи виняток у процесорі?

26 computer-architecture  stacks 

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

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

Я вивчаю мов програмування Haskell, і я намагаюся обернути голову навколо того, в чому полягає різниця між a typeі a kind. Як я розумію, a kind is a type of type. Наприклад, a ford is a type of carі a car is a kind of vehicle. Це хороший спосіб подумати …

26 type-theory 

Це питання надихнуло коментар щодо StackOverflow . Окрім знання проблем, повних NP, книги Гарі Джонсон та багатьох інших; чи є правило, щоб дізнатися, чи проблема схожа на NP-повну? Я шукаю не щось суворе, а те, що працює в більшості випадків. Зрозуміло, кожен раз, коли ми повинні доводити, що проблема є …

26 complexity-theory  np-complete  intuition 

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

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Чи є наступним мовний контекст вільним? L = { u x v y∣ u , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | х | = | у| ,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Я не раз чув, що для досить малих значень n, O (n) можна думати про / трактувати так, ніби це O (1). Приклад : Мотивація цього ґрунтується на неправильній ідеї, що O (1) завжди кращий, ніж O (lg n), завжди кращий, ніж O (n). Асимптотичний порядок операції є актуальним лише …

26 asymptotics 

Я знаю, що алгоритм Евкліда є найкращим алгоритмом отримання GCD (великого загального дільника) списку натуральних чисел. Але на практиці ви можете кодувати цей алгоритм різними способами. (У моєму випадку я вирішив використовувати Java, але C / C ++ може бути іншим варіантом). Мені потрібно використовувати найефективніший код, можливий у своїй …

26 algorithms  recursion  arithmetic 

Коли є деякі (відносно) основні (думаю, студент першого курсу коледжу рівня CS), коли можна використовувати рекурсію замість просто циклу?

26 algorithms  recursion 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Відомо, що кожна проблема оптимізації / пошуку має еквівалентну проблему рішення. Наприклад, проблема найкоротшого шляху версія оптимізації / пошуку: Давши ненаправлений невагомий графік та дві вершини , …

26 complexity-theory  optimization  search-problem  decision-problem 

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

26 complexity-theory  np-hard  board-games  tiling 

Враховуючи лише алфавіт , рядки, які можна подати як вхід до машин Тьюрінга, з набору Σ ∗ . Але чи має сенс вхід бути нескінченним двійковим рядком? Наприклад, якщо машина Тьюрінга приймає всі рядки, починаючи з 0, чи двійковий рядок нескінченних нулів також належить до мови, прийнятої машиною Тюрінга?Σ = …

26 turing-machines 

Якщо припустити, що запити кешу l1 та l2 призводять до пропуску, чи процесор зупиняється до отримання основної пам'яті? Я чув про ідею переходу на іншу нитку, якщо так, що використовується для пробудження застряглої нитки?

26 computer-architecture  cpu-cache  cpu-pipelines 

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

26 data-structures  binary-trees