proof

1зной

2ответ

Обнаружение ошибки в доказательстве с указанием языка L = {0^(n) 1^(n) | п> 0} является регулярным выражением

Доказательство: Пусть М следующая НКА: Automata for L Теперь, если х в L, то х = 0^(п) 1^(п). Таким образом, при обработке x, M начнет в состоянии q0, зациклирует в состоянии q0 n раз, затем перейдет

1зной

1ответ

Доказательство краев корня дерева суффикса

Мне было интересно, как написать доказательство того, что количество ветвей или корневых ребер в дереве суффиксов равно размеру алфавита строки S. Скажем, если у нас есть S = {aaabaac} , алфавит = {a,

0зной

1ответ

Двоичное дерево поиска доказывает количество листьев

Я должен доказать, что в двоичном дереве поиска число узлов с двумя дочерними элементами меньше числа листьев. Я нашел некоторые доказательства по индукции в Интернете, но я хотел меньше подойти к это

-2зной

2ответ

Доказательство п^2 - 4n = Big-Theta (2^п)

я должен доказать или опровергнуть уравнение п^2 - 4n = Big-Theta (2^п) Насколько я знаю Мне нужно доказать следующие два уравнения: f = O(g) g = O(f) Я начал решать п = O (г) n^2 - 4n = c * 2^n //

2зной

2ответ

Как реализовать индукцию по математике на Haskell

data Nat = Zero | Succ Nat type Predicate = (Nat -> Bool) -- forAllNat p = (p n) for every finite defined n :: Nat implies :: Bool -> Bool -> Bool implies p q = (not p) || q basecase :: Predic

0зной

1ответ

Пропозициональная логика Формальное доказательство

Я пытаюсь официально доказать следующее уравнение, как практика перед моим логическим экзаменом. Тем не менее, я немного затрудняюсь в разработке шагов. Вот правила, которые я использую; A ∧ A ≡ A, A

1зной

1ответ

Модифицированная версия Миллера-Рабина для проверки детерминированного примитива?

Miller-Rabin test использует k случайные целые числа для проверки на простоту. В соответствии с КСПС, 3 й издание, страница 971: теорема 31.38 Если п нечетное составное число, то число свидетелей к со