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

Я читав цю книгу для свого класу «Довільні алгоритми». У цій конкретній книзі є цілий розділ, присвячений пошуку медіани масиву за допомогою випадкового вибору, що призводить до більш ефективного алгоритму. Тепер я хотів знати, чи є якісь практичні програми цього алгоритму, крім сфери теоретичних удосконалень, у галузі інформатики. Чи є …

14 runtime-analysis  randomized-algorithms 

Список nnn -item можна перевірити як упорядкований, порівнюючи кожен елемент із сусідом. У своїй програмі я не зможу порівнювати кожен предмет із його сусідом: натомість порівняння часом будуть між віддаленими елементами. Зважаючи на те, що список містить більше трьох елементів, а також те, що порівняння є єдиною підтримуваною операцією, чи …

14 sorting 

Процесори розроблені з урахуванням програмного забезпечення, яке люди будуть писати для нього, неявно або явно. Мені здається, що якщо подивитися на дизайн архітектурних наборів інструкцій, вони є дуже «імперативними», в тому сенсі, що кожна інструкція кодує команду імперативного стилю. Також мені здається, що нинішні архітектури наборів інструкцій еволюціонували частково на …

14 computer-architecture  functional-programming 

З огляду на рядок значень В С , Шенноном ентропійним в журналі базі 2 приходить до 0,922 . Як я розумію, у базі 2 закруглена ентропія Шеннона - це мінімальна кількість бітів у двійковій формі, щоб представити єдине одне із значень.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Зі вступу на цій сторінці вікіпедії: https://en.wikipedia.org/wiki/Entropy_%28information_theory%29 Отже, як …

14 information-theory  mathematical-foundations  entropy  binary 

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

14 algorithms  reductions  halting-problem 

У тесті на частину підготовки до GATE виникло питання: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) Я відповів "Це закінчиться для всіх цілих чисел", оскільки навіть для деяких негативних цілих чисел воно закінчиться як помилка переповнення стека . Але мій друг не погодився сказати, що …

14 algorithms  recursion  pseudocode 

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

14 concurrency  stacks  evaluation-strategies 

Закрито . Це питання ґрунтується на думці . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб на нього можна було відповісти фактами та цитатами, відредагувавши цю публікацію . Закрито 2 роки тому . Взагалі комп'ютерні програмісти, які є математиками або мають математичний досвід, дуже гарні з точки …

14 mathematical-foundations 

Чи існують методи розв’язання функціональних рівнянь для невідомих функцій в обчисленні лямбда? Припустимо, у мене функція ідентичності визначена як такою: Ix=xIx=xI x = x (тобто, записавши рівняння для очікуваної поведінки цієї функції), і тепер я хочу вирішити це для , зробивши деяку алгебраїчну трансформацію, щоб отримати інтенсивну формулу для цієї …

14 lambda-calculus 

Чи доведено, що квантові обчислення не є кращими для вирішення повних задач NP, ніж класичні обчислення, або це просто вірили?

14 np-complete  quantum-computing 

Я маю на увазі це [якесь смішне] питання. Чому недетермінований кінцевий автомат називається недетермінованим, поки ми визначаємо переходи для входів. Ну, хоча існують множинні та епсилонні переходи, вони визначені, що означає, що машина є детермінованою для цих переходів. Що означає, що це детерміновано.

14 finite-automata  nondeterminism 

У вступі Кормен та ін. До алгоритмів , розділ 15.3 Елементи динамічного програмування пояснюють запам'ятовування наступним чином: Запам'ятований рекурсивний алгоритм підтримує запис у таблиці рішення кожної підпрограми. Кожен запис таблиці спочатку містить спеціальне значення, яке вказує на те, що запис ще потрібно заповнити. Коли вперше виникає підпроблема, коли розгортається рекурсивний …

14 dynamic-programming  search-trees  dictionaries  memoization 

Мені знайома ідея усунення основної хвостової рекурсії, де функції, які повертають собі прямий результат дзвінка, можуть бути переписані у вигляді ітеративних циклів. foo(...): # ... return foo(...) Я також розумію, що, як особливий випадок, функцію все одно можна переписати, якщо рекурсивний виклик буде завернуто у виклик cons. foo(...): # ... …

14 compilers  recursion  program-optimization  tail-recursion 

Зазвичай я використовую символ для порожнього рядка (порожнє слово або нульовий рядок). Але я знаю, що деякі люди використовують замість .εε\varepsilonλλ\lambdaεε\varepsilon Я думаю, що походить від слова "Порожня". Однак я не знаю, яке походження .εε\varepsilonλλ\lambda У теорії автоматів існує епсилонний перехід автоматів, а також його називають лямбда-переходом. Наприклад, програмне забезпечення …

14 formal-languages  automata  reference-request  notation  history 

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

14 semantics  operational-semantics  denotational-semantics