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

Наші сучасні комп'ютери використовують біти, тому вони використовують двійкову систему числення. Але я чув, що майбутні квантові комп'ютери будуть використовувати кубіти замість простих біт. Оскільки у слові "кубіт" є слово "бі", я спершу подумав, що це означає, що квантові комп'ютери будуть використовувати двійкові (база 2). Але потім я почув, що …

13 computer-architecture  quantum-computing  numeral-representations 

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

13 game-theory  randomness 

У мене таке питання, але відповіді на це не маю. Буду вдячний, якщо мій метод правильний: З. Під час пошуку ключового значення 60 у двійковому дереві пошуку, вузли, що містять ключові значення 10, 20, 40, 50, 70, 80, 90, переміщуються, не обов'язково в заданому порядку. Скільки можливих різних порядків, у …

13 data-structures  combinatorics  binary-trees  search-trees  graph-traversal 

Проблема Немає простого способу отримати перестановку за допомогою регексу. Перестановка: отримання слова w=x1…xnw=x1…xnw=x_1…x_n ("aabc") в інший порядок, не змінюючи числа чи виду літер. Регекс: регулярне вираження. Для перевірки: "Перестановки Regex без повторень" Відповідь створює код JavaScript замість регулярного вираження, припускаючи, що це буде простіше. "Як знайти всі перестановки даного слова …

13 formal-languages  regular-languages  regular-expressions 

У мене проблема з цією вправою: Нехай G - наступна неоднозначна граматика λ-числення: E → v | λv.E | EE | (E) де E - єдиний нетермінальний символ, λv.E являє собою абстракцію wrt змінної v в E, а EE являє додаток. Визначте граматику LL (1) G 'так, що L (G …

13 context-free  formal-grammars  compilers  parsers 

У чому полягає складність MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} та MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? Вони в Р? Вони NP-жорсткі? Точніше формалізувати це, нехай Φ(x)=∧niCi,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, де x=(x1,…,xm)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m) і кожен пункт CiCiC_i має вигляд (xi⊕xj)(xi⊕xj)(x_i \oplus x_j) або (xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg x_j) . Завдання 2-XOR-SAT2-XOR-SAT\text{2-XOR-SAT} полягає у знаходженні призначення xx\mathbf{x} яке задовольняє ΦΦ\Phi . Ця …

13 complexity-theory  optimization  np-hard  satisfiability 

Я читав про NPC та його взаємозв'язку з PSPACE, і хочу знати, чи можна вирішити проблеми NPC детерміновано за допомогою алгоритму з найгіршим випадком поліноміального простору, але, можливо, приймаючи експоненціальний час (2 ^ P (n), де P - поліном). Більше того, чи можна це взагалі узагальнити до EXPTIME ? Причина, …

12 complexity-theory  np-complete  np 

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

12 turing-machines 

Зачинено. Це питання поза темою . Наразі відповіді не приймаються. Хочете вдосконалити це питання? Оновіть питання, щоб воно було тематичним для обміну стеками з інформатики. Закрито 11 місяців тому . Python досить відомий використовує відступ для синтаксичного визначення блоків коду. (Див. Складені твердження у довідці про мову Python). Після років …

12 programming-languages  python  syntax 

На вікі haskell є наступний приклад умовного використання монади IO (див. Тут) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Зауважимо, що в цьому прикладі дане визначення IO aмає бути таким, RealWorld -> (a, RealWorld)щоб …

12 programming-languages  functional-programming  haskell 

Якщо функція має тип повернення ⊥ ( нижній тип ), це означає, що вона ніколи не повертається. Наприклад, він може вийти або викинути обидві досить звичайні ситуації. Імовірно, якщо функція мала параметр типу ⊥, її ніколи не можна (безпечно) викликати. Чи існують якісь причини для визначення такої функції?

12 type-theory  type-checking 

Припускаючи, що ми маємо задачу ppp ми показали, що нижня межа розв’язування ppp дорівнює Ω(2n)Ω(2n)\mathcal{\Omega}(2^n) . може нижня межа Ω(2n)Ω(2n)\mathcal{\Omega}(2^n) передбачає задачу в NPNPNP ?

12 time-complexity  np-complete 

Я намагаюся скласти список алгоритмів / проблем, які є "виключно корисними", як, наприклад, для вирішення проблем, які "здаються" дуже експоненціальними за своєю суттю, але мають якийсь особливо розумний алгоритм, який врешті-решт вирішує їх. Приклади того, що я маю на увазі: Лінійне програмування (симплекс-алгоритм - експоненціальний час; для пошуку рішення поліноміального …

12 complexity-theory  polynomial-time  efficiency 

Враховуючи два рядки , ми пишемо для їх конкатенації. Давши рядок і ціле число , запишемо для конкатенаціїS1,S2S1,S2S_1, S_2S1S2S1S2S_1S_2SSSk≥1k≥1k\geq 1(S)k=SS⋯S(S)k=SS⋯S(S)^k = SS\cdots Skkk копійSSS . Тепер, задавши рядок, ми можемо використовувати це позначення для його «стиснення», тобтоAABAABAABAABAABAAB може бути записано як((A)2B)2((A)2B)2((A)^2 B)^2 . Назвемо вагукомпресіїчисло символів, що з’являються в ній, …

12 dynamic-programming  word-combinatorics 

Я знаю, що різні автори використовують різні позначення для представлення семантики мови програмування. Власне кажучи, Гай Стіл вирішує цю проблему у цікавому відео . Мені хотілося б знати, чи хтось знає, чи має провідний оператор турнікет добре розпізнане значення. Наприклад, я не розумію провідного ⊢⊢\vdash оператора на початку знаменника наступного: …

12 type-theory  denotational-semantics