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

У мене виникають труднощі інтуїтивно зрозуміти, чому, як правило, вважають, що PSPACE відрізняється від EXPTIME. Якщо PSPACE - це набір задач, розв’язуваних у просторі полінома вхідного розміру , то як може існувати клас проблем, які зазнають більшого експоненціального часу вибуху та не використовують експоненціальний простір?f(n)f(n)f(n) Відповідь Юваля Філімуса вже надзвичайно …

31 complexity-theory  complexity-classes  intuition 

Отже, проблема рішення TSP (Проблема продавця подорожей) не є повною . Але я не розумію, як я можу переконатися, що дане рішення TSP насправді є оптимальним за багаточленного часу, враховуючи, що немає можливості знайти оптимальне рішення в поліноміальний час (це тому, що проблема не в P)? Що-небудь, що може допомогти …

31 complexity-theory  np-complete  traveling-salesman 

Алан Тьюрінг запропонував модель машини (машина Тьюрінга, ТМ), яка обчислює (числа, функції тощо) і доводила теорему Холтінга . TM - це абстрактне поняття машини (або двигуна, якщо вам подобається). Теорема зупинки - результат неможливості. Carnot Engine (CE) - це абстрактне поняття теплового двигуна, і Карно довів теорему Карно , ще …

31 turing-machines  halting-problem  entropy 

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

30 algorithms  algorithm-analysis  education  applied-theory 

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

30 cryptography 

В Інтернеті є багато визначень щодо того, що таке граматика без контексту, але нічого, що я знаходжу, не задовольняє мою основну проблему: Який контекст це вільний? Щоб досліджувати, я гугла "граматику, залежну від контексту", але все ще не змогла знайти, що таке "контекст". Може хтось, будь ласка, пояснить, на що …

30 terminology  context-free  formal-grammars 

FRP - це передача подій та поведінки через чисті функції. Модель Actor - принаймні, як це реалізовано в Akka - стосується потокової передачі незмінних повідомлень (які можна вважати дискретними подіями) через потенційно нечисті об'єкти, звані акторами. Тож на поверхні вони здаються спорідненими. Що ще можна сказати про те, як вони …

30 distributed-systems  functional-programming  programming-paradigms 

В основному я знаю три основи математики Теорія множин Теорія типів Теорія категорій Тож якими способами пов'язані мови програмування та основи математики? EDIT Первісне питання було "Мови програмування на основі математики" з доданим парагарфом І реалізація теорії 1. Теорія типів у Coq 2. Теорія множин у SETL 3. Теорія категорій …

30 programming-languages  history  type-theory  category-theory 

Я читав CLRS і кажуть: Якщо факторинг великих цілих чисел є простим, то розбити криптосистему RSA легко. Що для мене має сенс, оскільки, знаючи ppp і qqq , легко створити секретний ключ, який є знанням відкритого ключа. Хоча це пояснює зворотне твердження, яке я не зовсім розумію: Зворотне твердження про …

30 cryptography 

Під час реалізації словника ("Я хочу шукати дані клієнтів за їх ідентифікаторами клієнтів") типовими структурами даних є хеш-таблиці та двійкові дерева пошуку. Я знаю, наприклад, що бібліотека STL C ++ реалізує словники (вони називають їх картами), використовуючи (врівноважені) двійкові дерева пошуку, а .NET Framework використовує хеш-таблиці під кришкою. Які переваги …

30 algorithms  data-structures  binary-trees  hash-tables 

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

30 compilers  ambiguity 

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

30 computability  undecidability 

Що таке хороша метафора чи приклад, щоб пояснити англійському головному різницю між класичною інформатикою та "бути хорошим із використанням MS-Windows" комп'ютерна наука комп'ютерне програмування за допомогою комп’ютерів 3 глибоко різні речі. Більшість людей не мають поняття, що таке комп’ютерна наука. Вони просто бачать слово «комп’ютер». Отже, "він - фахівець з …

30 terminology  education 

Відомий факт, що кожна формула LTL може бути виражена Büchi -automaton. Але, мабуть, автомати Büchi - це більш потужна, виразна модель. Я десь чув, що автомати Büchi еквівалентні лінійному часу -calculus (тобто -calculus зі звичайними точками фіксування та лише одним тимчасовим оператором: ).ωω\omegaμμ\muμμ\muXX\mathbf{X} Чи існує алгоритм (конструктивний доказ) цієї рівності?

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

Я проходив дискусію з питання, як визначити квантові машини Тьюрінга? і я відчуваю, що квантова ТМ і недетермістична ТМ - це одне і те ж. Відповіді на інше питання цього не стосуються. Ці дві моделі одні і ті ж? Якщо ні, Які відмінності між квантовою ТМ та НДТМ? Чи є …

30 computability  turing-machines  quantum-computing  nondeterminism