Хорошо известно, что вывод типа Хиндли-Милнера (простой тип вычисления с полиморфизмом) имеет разрешимый вывод типа: вы можете реконструировать основные типы для любых программ без каких-либо аннотаций.λλ\lambda Добавление классов типов в стиле Haskell, похоже, сохраняет эту разрешимость, но...
Возможно, мое ограниченное понимание предмета неверно, но это то, что я понимаю до сих пор: Функциональное программирование основано на лямбда-исчислении, сформулированном Алонзо Черчем. Императивное программирование основано на модели машины Тьюринга, созданной Аланом Тьюрингом, учеником Черча....
На сайте Алгоритмы сортировки делается следующее заявление: Идеальный алгоритм сортировки будет иметь следующие свойства: Стабильный: равные ключи не переупорядочены. Работает на месте, требуя дополнительного пространства.O(1)O(1)O(1) Сравнение ключей в худшем случае...
Недавно я наткнулся на следующую интересную статью, в которой утверждается, что эффективное сжатие случайных наборов данных всегда более чем на 50%, независимо от типа и формата данных. В основном он использует простые числа для уникального построения представления 4-байтовых блоков данных, которые...
Найдите наименьшее количество сравнений, необходимое для сортировки (упорядочения) пяти элементов, и разработайте алгоритм, который сортирует эти элементы, используя это количество сравнений. Решение : их 5! = 120 возможных результатов. Поэтому двоичное дерево для процедуры сортировки будет иметь...
Вопрос: Существует ли установленная процедура или теория для генерации кода, который эффективно применяет умножение матрицы на вектор, когда матрица плотна и заполнена только нулями и единицами? В идеале оптимизированный код должен систематически использовать ранее вычисленную информацию для...
Я знаю, что в императивных языках программирования цикла while-do достаточно в качестве конструкции потока управления, чтобы сделать язык Тьюринга завершенным (что касается потока управления - конечно, нам также нужна неограниченная память и некоторые операторы ...) , Суть моего вопроса такова:...
Рассмотрим следующую алгоритмическую задачу: Входные данные: натуральное число вместе с его простой факторизацией. Найти: натуральные числа которые минимизируют , с учетом ограничения, чтоNNnх , у, zИкс,Y,Zx,y,zх у+ уZ+ х зИксY+YZ+ИксZxy+yz+xzх уZ= nИксYZзнак равноNxyz=n В чем сложность этой...
Для заданного взвешенного неориентированного графа G: Какие условия должны выполняться, чтобы для G было несколько минимальных остовных деревьев? Я знаю, что MST уникален, когда все веса различны, но вы не можете полностью изменить это утверждение. Если на графике есть несколько ребер с одинаковым...
Я готовлюсь к собеседованию по кодированию и не могу найти самый эффективный способ решения этой проблемы. Допустим, у нас есть два массива, состоящих из несортированных чисел. Массив 2 содержит число, которого нет в массиве 1. Оба массива имеют случайно расположенные числа, не обязательно в одном...
Когда Big O впервые использовался в информатике и когда он стал стандартом? На этой странице Википедии цитируются Кнут, Большой Омикрон, Большая Омега и Большая Тета , SIGACT, апрель-июнь 1976 года, но начало этой статьи гласит: Большинство из нас привыкли к идее использования обозначения для...
Я хотел бы знать, есть ли правило, чтобы доказать это. Например, если я использую закон распределения, я получу только ( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)...
Рассмотрим индуктивный тип, который имеет некоторые рекурсивные вхождения во вложенном, но строго положительном месте. Например, деревья с конечным ветвлением с узлами, использующими общую структуру данных списка для хранения дочерних элементов. Inductive LTree : Set := Node : list LTree ->...
Насколько мне известно, есть три основных алгебры процессов, которые вдохновили широкий спектр исследований формальных моделей параллелизма. Эти: CCS и калькуляция Робин Милнерππ\pi CSP Тони Хоаром и ACP Ян Бергстра и Ян Виллем Клоп Все трое, по-видимому, по сей день ведут довольно активную работу,...
Я знаю, что с ~ 2004 года закон Мура перестал работать на тактовую частоту процессора. Я ищу график, показывающий это, но не могу найти его: большинство диаграмм там показывают количество транзисторов или мощность в год. Где я могу найти некоторые данные, показывающие частоту процессора компьютеров...
В сценарии, который я сейчас читаю по лямбда-исчислению, бета-эквивалентность определяется следующим образом: -эквивалентность является наименьшей эквивалентности , который содержит .ββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta Я понятия не имею, что это значит. Может кто-нибудь объяснить это более...
Что такое хорошая книга для начинающих по информатике для молодого человека, скажем, 15 лет? Я хочу начать в CS, но понятия не имею, с чего начать. У меня ограниченный опыт...
Я хочу доказать или опровергнуть существование алгоритма, который, учитывая массив целых чисел, находит три индекса i , j и k такие, что i < j < k и A [ i ] < A [ j ] < A [ k ] (или находит, что такой тройки не существует) за линейное время.AAAя , джi,ji, jКkkя < J < Ki<j<ki...
Если взвешенный граф GGG имеет два разных минимальных остовных дерева T1=(V1,E1)T1=(V1,E1)T_1 = (V_1, E_1) и T2=(V2,E2)T2=(V2,E2)T_2 = (V_2, E_2) , то верно ли, что для любого ребра eee в E1E1E_1 число ребер в E1E1E_1 с таким же весом, что и eee (включая само eee ), равно числу ребер в E2E2E_2 с...
Я закончил большую часть материала в книге Кормена «Введение в алгоритмы» и ищу книгу по алгоритмам, которая охватывает материал, выходящий за рамки книги Кормана. Есть какие-нибудь рекомендации? ПРИМЕЧАНИЕ: я спрашивал об этом в stackoverflow, но не слишком доволен ответом. ПРИМЕЧАНИЕ. Глядя на...