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

Я бачив веб-сайти, які хочуть "довести", що HTML5 + CSS є Turing завершеним. Я бачив веб-сайти, які мають на меті "довести", що SQL є Turing завершеним. Я бачив купу веб-сайтів, які хочуть "пояснити", що означає бути Тьюрінгом завершеним. Достатньо! Де я можу знайти книгу (написану експертом з теорії обчислюваності) або …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

Нотація Big-O приховує постійні фактори, тому існують деякі алгоритми , які не піддаються будь-якому розумному розміру вводу, оскільки коефіцієнт на n терміні настільки величезний.O ( n )O(n)O(n)нnn Чи є відомі алгоритми, час виконання яких але з деяким величезним терміном o ( f ( n ) ), який настільки величезний, що …

10 algorithms  asymptotics 

Ця проблема виникла при тестуванні програмного забезпечення. Проблему трохи важко пояснити. Спершу наведу приклад, потім спробую узагальнити проблему. Є 10 предметів, які підлягають тестуванню, наприклад, від A до J, і інструмент для тестування, який може протестувати 3 предмети одночасно. Порядок елементів у інструменті тестування не має значення. Звичайно, для вичерпного …

10 algorithms  combinatorics  software-testing 

Або принаймні генерувати набір рядків, який приймає одна NFA, тому я можу подати її в іншу NFA. Якщо я проведу пошук по кожному шляху NFA, чи буде це спрацьовувати? Хоча це займе багато часу.

10 algorithms  regular-languages  finite-automata 

Двійкова послідовність довжини просто впорядкована послідовність х 1 , ... , х п , так що кожен х J є або 0 або 1 . Для того, щоб генерувати всі такі бінарні послідовності, можна використовувати очевидну структуру двійкового дерева таким чином: корінь "порожній", але кожному лівому дочірньому відповідає додавання 0 …

10 algorithms  graphs  binary-trees 

Дані числа такі, що є присвоєння чисел що є перестановкою такою, щоA 1 ≤ A 2 ≤ . . . ≤ до до Σ я = 1 А я = K ( 2 K + 1 ) я 1 , я 2 , . . . , Я 2 до …

10 np-complete  decision-problem 

Мій досвід походить з імперативних мов, насамперед C, C ++ та Python. Я підхопив Scala, Erlang і трохи Haskell через кілька років і з тих пір дуже зацікавився функціональним програмуванням і формалізмами, які стоять за ним. Я також зацікавлений в одночасному і розподіленому програмуванні і розглядаю формалізми, що стоять за …

10 distributed-systems  concurrency 

Галька - це пасьянс, що грається на непрямому графіку , де кожна вершина має нуль або більше камінчиків. Один крок гальки складається з видалення двох камінчиків з вершини та додавання одного камінчика до довільного сусіда . (Очевидно, що вершина v повинна мати щонайменше дві камінчики перед переміщенням.) Проблема PebbleDestruction задає …

10 algorithms  graph-theory  np-complete 

Графік є хордальним, якщо він не має індукованих циклів довжиною або більше. Кліка дерево з є деревом , в якому вершина дерева є максимальними кліками . Край у відповідає мінімальному роздільника. Кількість чітких дерев клики може бути експоненціальною в кількості вершин на хордальному графіку.GGG444TTTGGGGGGTTT Зменшено кліка граф , є об'єднанням …

10 algorithms  graph-theory  reference-request 

У мене є обмежена проблема оптимізації в ентропії матриці (Шеннона) . Матриця може бути записана як сума матриць 1 рангу виду де - заданий нормалізований вектор. Коефіцієнти матриць першої позиції - це невідомі, в яких ми оптимізуємо, і вони повинні бути більшими за нуль і дорівнювати 1. A [ v …

10 optimization  entropy 

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

10 programming-languages  lambda-calculus 

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

10 reference-request  game-theory 

Я шукаю ресурси для початку роботи з програмним аналізом . Єдина книга, яку я знайшов у цій темі, - це книга Nielson & Nielson . Крім цього, здається, що є лише "компіляторні" книги, де "аналіз програм" був би главою, або щось подібне. Чи знають люди про якісь інші ресурси?

10 reference-request  compilers  semantics 

Я не можу обернути голову, як працює засувка SR. Здається, ви підключаєте рядок введення від R, а інший від S, і ви повинні отримати результати в і Q ' .QQQQ′Q′Q' Однак і R, і S вимагають введення з другого виходу, а вихід другого вимагає введення з другого виходу. Що спочатку …

10 circuits  sequential-circuit 

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

10 machine-learning