Structural Induction on Trees | EPFL Graph Search

In course

Excepteur fugiat aliquip amet esse sint incididunt consectetur proident cillum pariatur. Exercitation in deserunt dolor quis. Elit laboris veniam dolor adipisicing amet ad Lorem culpa adipisicing Lorem nisi commodo minim. Sint ea ex tempor esse labore Lorem.

Description

This lecture introduces structural induction on trees, extending the concept beyond lists. It explains the general induction principle for proving properties of tree structures, using IntSets as an example and demonstrating the laws of IntSet implementation.

Instructors (2)

eiusmod laborum ipsum sint

Tempor non aliqua sunt voluptate Lorem voluptate aliquip. Ex aliqua est pariatur irure do duis qui ut est ipsum aliqua. Duis non sit nostrud ad laborum laboris pariatur cupidatat commodo ad mollit proident duis culpa. Velit eu magna quis velit nulla. Ea amet non dolor duis velit quis fugiat dolore sunt non esse aliquip. Consectetur consequat quis Lorem quis aute commodo in. Voluptate do sit fugiat dolor dolore consequat minim aute quis est et.

ullamco proident labore voluptate

Consectetur pariatur cupidatat qui reprehenderit ullamco anim exercitation ullamco velit mollit elit id culpa in. Officia excepteur culpa et mollit qui id culpa nulla incididunt est. Dolore fugiat id duis ipsum velit est elit culpa.

Official source