Я знаком с обоими алгоритмами: Кнут Моррис Пратт и Бойер Мур. Дана строка P, состоящая из алфавита с большим количеством букв. какой алгоритм лучше использовать? Дана строка P с двоичным алфавитом (0 или 1). какой алгоритм лучше использовать?

Я прочитал этот этот вопрос и попрактиковался в сопоставлении шаблонов, но до сих пор не понял. У меня есть панель с той же мерой, несколько раз в год. Теперь я хочу переименовать их логически. Мои необработанные данные выглядят примерно так:...

Итак, я написал следующий тип, чтобы доказать некоторые свойства целых чисел: data Number : Type where PosN : Nat -> Number Zero : Number NegN : Nat -> Number plusPosNeg : Nat -> Nat -> Number plusPosNeg n m with (cmp n...