induction

8зной

1ответ

Какова связь между рекурсией и доказательством по индукции?

Какова связь между рекурсией и доказательством по индукции? Скажем fn(n), рекурсии fn(n) вызывает саму себя, пока не встречаются base condition; индукция - это когда base condition встречается, попроб

recursion type-theory induction 2012-06-09

---

1зной

1ответ

Доказательство полиномиальной большой тета через индукцию?

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

algorithm big-o big-theta induction 2012-09-19

---

0зной

3ответ

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

я читал о сжатых попытках и прочитать следующее: сжатого Trie представляет собой дерево, которое имеет L листьев и каждый внутренний узел в синтаксическом дереве имеет по крайней мере 2 детей. Затем а

algorithm trie compression induction 2012-01-16

---

7зной

1ответ

Структурная индукция в Haskell

Является ли следующее определение структурной индукции? foldr f a (xs::ys) = foldr f (foldr f a ys) xs Может ли кто-нибудь дать мне пример структурной индукции в Haskell?

haskell induction 2013-02-19

---

0зной

4ответ

Как я могу доказать по индукции, что второй из этих двух алгоритмов быстрее?

У меня есть два алгоритма. A. Solves problem in 2^n seconds. B. Solves problem in n^2 + 1,000,000 seconds. Как я могу индуктивно доказать, что B является быстрее, чем А. Я сказал, что 2^п> 2n + 1

performance algorithm proof induction 2013-02-20

---