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

Brainfuck - це повна мова програмування, яка використовує лише 8 символів (6, якщо ви ігноруєте введення-виведення). Дві найбільш помітні з них , які штовхають його на Тьюринга повнота [і ], по суті , етикетки і Гото Brainfuck в. Зазвичай програми Brainfuck використовують кілька наборів [], але мені було цікаво, скільки …

12 turing-completeness 

Це відбувається з точки зору великих даних. В основному, багато фреймворків (наприклад, Apache Spark) "компенсують" відсутність реляційних операцій, забезпечуючи інтерфейси, подібні до Functor / Monad, і відбувається подібний рух до перетворень котів у SQL (Slick in Scala). Наприклад, нам потрібне природне з'єднання (якщо не бути повторів на індексах) для zip …

12 relational-algebra  category-theory  curry-howard 

Мені в інтерв'ю було надано таку проблему (яку я вже не вдалося вирішити, не намагаючись обдурити свій шлях минулого): Гра починається з натурального числа . (Наприклад A 0 = 1234. ) Це число перетворюється на двійкове представлення, а N - кількість бітів, встановлене на 1 . (Наприклад A 0 = …

12 algorithms  optimization 

Або: чи потрібен нам Руперт, щоб взагалі отримати подарунки? Проблеми з маршрутизацією в сторону Санта стикається з такою проблемою (багато, багато разів): Враховуючи мішок місткістю і набір подарунків , кожен розміром , він хоче зробити дітей щасливими. З усіх списків він знає, що дочірні значення присутні саме .CCC{p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\}sisis_i{c1,…,ck}{c1,…,ck}\{c_1, …

12 algorithms  complexity-theory  optimization  packing 

Про практичні основи мов програмування говорить Роберт Харпер Якщо пропозиція є істинною, означає мати її підтвердження, що означає пропозиція помилковою? Це означає, що ми спростовуємо це, показуючи, що це неможливо довести. Тобто, судження є помилковим, якщо ми можемо показати, що припущення, що воно є правдивим (має доказ), суперечить відомим фактам. …

12 logic 

В даний час я повинен вивчити Coq і не знаю, як боротися з or: Як приклад, настільки простий, як це, я не бачу, як довести: Theorem T0: x \/ ~x. Я був би дуже вдячний, якби хтось міг мені допомогти. Для довідки я використовую цю шпаргалку . Також маю на …

12 logic  coq 

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

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

В даний час я пишу код для створення двійкових даних. Мені спеціально потрібно генерувати 64-бітні числа з заданою кількістю встановлених бітів; точніше, процедура повинна приймати деяку і повертати псевдовипадкове 64-бітове число з точно яти бітами, встановленими на , а решта встановити на 0.n 10&lt;n&lt;640&lt;n&lt;640 < n < 64nnn111 Мій сучасний …

12 algorithms  information-theory  coding-theory  pseudo-random-generators 

У нас є багато проблем, таких як факторизація, які є сильно вигаданими, але не доведеними, поза межами P. Чи є питання з протилежною властивістю, а саме з тим, що вони сильно здогадуються, але не знаходяться всередині P?

12 complexity-theory  polynomial-time 

Передумови: Я є повноправним мирянином з інформатики. Я читав про зайнятих номерах Бівер тут , і я знайшов такий уривок: Людство ніколи не може знати значення ВВ (6) для певного, не кажучи вже про ВВ (7) або будь-якого більшого числа в послідовності. Насправді, у нас вже ухиляються перші п’ятірки та …

12 turing-machines  number-theory  busy-beaver 

Якщо у нас є будь-яка довільна комп'ютерна програма, яка може змінювати її вказівки, чи можна імітувати цю програму програмою, яка не може змінювати її інструкції? Редагувати: Я новачок у stackexchange, тому не впевнений, чи мені дозволяють задати НОВЕ запитання тут, але ось так: Добре, тому доказ того, що це можливо, …

12 computability  computation-models  turing-completeness  church-turing-thesis 

Ви можете отримати номер Gödel оперативної пам’яті, склавши в ньому список команд і зробивши цей список цілим числом. Отже, те, що я думав, є чимось на кшталт "ОЗУ, яка повертає власне число Gödel (скажімо, ), повинна мати інформацію у ньому, тож ціле число було б більше , тому воно не …

12 computability 

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

12 logic  linear-temporal-logic  temporal-logic 

У мене виникають проблеми з обгортанням голови навколо проблем ПРАЙМ, КОМПОЗИТ, ФАКТОР і те, як вони пов'язані за складністю. Я розумію, що PRIME показав, що він знаходиться в тестом на первинність AKS, і я вважаю, що це працює і для COMPOSITE.ПPP Що стосується ФАКТОРА, ЖА СТO R = { ( …

12 complexity-theory  factoring 

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

12 algorithms  optimization  randomized-algorithms  network-flow  scheduling