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

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

35 data-structures  mathematical-foundations 

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

35 automata  finite-automata 

Я новачок у розумінні алгоритмів інформатики. Я розумію процес бінарного пошуку, але у мене є незначне непорозуміння з його ефективністю. За розміром елементів знадобиться, в середньому, n кроків, щоб знайти певний елемент. Приймаючи логарифм основи 2 з обох сторін, виходить log 2 ( s ) = n . Так що …

35 algorithms  runtime-analysis  binary-search 

Лінійне програмування (LP) знаходиться в P, а цілочисельне програмування (IP) - NP-жорстке. Але оскільки комп'ютери можуть керувати числами лише з обмеженою точністю, на практиці комп'ютер використовує цілі числа для лінійного програмування. Через це не повинні LP та IP бути в одному класі складності?

35 complexity-theory  polynomial-time 

Класично, існує 3 популярних способу думати про обчислення: машина Тьюрінга, схеми та лямбда-числення (я використовую це як улов для більшості функціональних поглядів). Усі 3 були успішними способами роздумувати про різні типи проблем, і різні галузі використовують різну формулювання з цієї причини. Однак, працюючи з квантовими обчисленнями, я тільки коли-небудь замислююся …

35 lambda-calculus  quantum-computing  reference-request  computation-models 

У мене виникають проблеми з пошуку хороших ресурсів, які дають найгірший випадок на місці стабільного алгоритму сортування. Хтось знає про якісь хороші ресурси?O(nlnn)O(nln⁡n)O(n \ln n) Просто нагадування, на місці означає, що він використовує переданий масив, а алгоритм сортування може використовувати лише постійний додатковий простір. Стабільний означає, що елементи з тим …

35 algorithms  reference-request  sorting  in-place 

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

35 computability  programming-languages  type-theory  dependent-types 

За даними Вікіпедії : Ентропія Шеннона вимірює інформацію, що міститься в повідомленні, на відміну від визначеної (або передбачуваної) частини повідомлення. Приклади останнього включають надмірність у мовній структурі або статистичні властивості, що стосуються частоти зустрічань літер або пар слів, триплетів тощо. Отже, ентропія - це міра кількості інформації, що міститься в …

35 information-theory  data-compression  entropy 

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

35 programming-languages  education 

Більшість з нас вивчили програмування, використовуючи "текстові" мови програмування, такі як Basic, C / C ++ та Java. Я вважаю, що людині більш природно і ефективно візуально мислити. Візуальне програмування дозволяє розробникам писати програми, маніпулюючи графічними елементами. Я думаю, що використання візуального програмування повинно покращити якість коду та зменшити помилки …

35 programming-languages 

Ось стандартний псевдокод для першого пошуку: { seen(x) is false for all x at this point } push(q, x0) seen(x0) := true while (!empty(q)) x := pop(q) visit(x) for each y reachable from x by one edge if not seen(y) push(q, y) seen(y) := true Тут pushі popпередбачаються операції з …

35 algorithms  graphs 

Мій колега і я щойно потрапили до записок одного з наших професорів. У примітках зазначається, що існують завдання, які можна вирішити в поліноміальний час (знаходяться в класі PF), але які НЕ перевіряються в поліноміальний час (НЕ є в класі NPF). Щоб детальніше розповісти про ці класи: Ми отримуємо деякий вхід …

34 complexity-theory  np 

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

34 algorithms  graphs 

Бачачи, що мови ієрархії Хомського типу 3 можуть бути розпізнані державною машиною без зовнішньої пам’яті (тобто кінцевим автоматом), тип 2 - державною машиною з єдиним стеком (тобто автоматикою, що висувається), а тип 0 - державна машина з двома стеками (або, що еквівалентно, стрічкою, як це стосується машин Тьюрінга), як мови …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Це може здатися дурним питанням, але мені дуже цікаво знати, як комп'ютер знає, що це ? Крім того, як комп'ютер знає, що порядок цілого числа та алфавіту A, B, C, D, ...? Це десь зберігається в апаратному забезпеченні чи операційна система надає подібну інформацію?1&lt;21&lt;21<21,2,3,4,5,…1,2,3,4,5,…1,2,3,4,5,\ldots

34 computer-architecture  reference-question