Как проверить, является ли ориентированный граф ацикличным? А как называется алгоритм? Буду признателен за ссылку.
Что такое O (log * N) и чем он отличается от O (log N)?
Смысл константной корректности состоит в том, чтобы иметь возможность предоставить представление об экземпляре, которое не может быть изменено или удалено пользователем. Компилятор поддерживает это, указывая, когда вы нарушаете константность из константной функции или пытаетесь использовать...
Как монаду состояния можно разложить на Product (слева - функтор) и Reader (справа - представимый). Есть ли способ разложить монаду продолжения? Ниже код моя попытка, которая не проверяет тип -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs,...
Я ищу способ автоматического определения районов в городах как полигонов на графике. Мое определение окрестности состоит из двух частей: Блок : область, заключенная между количеством улиц, где количество улиц (ребер) и перекрестков (узлов) составляет минимум три (треугольник). Окрестности : для...
Класс Applicativeтипов представляет слабые моноидальные функторы, которые сохраняют декартову моноидальную структуру в категории типизированных функций. Другими словами, учитывая канонические изоморфизмы, свидетельствующие о том, что (,)образуется моноидальная структура: -- Implementations left to...