Structural Induction on complete quaternary trees.
question is little bit computer science related and long , but i will try to explain if there is any question.
SO basically , we have to prove a complete quaternary tree and colour its leaf node(the bottom node) with 3 colour . There exists a binary complete tree that has a pair of node with same colour.
Attachment 29374Attachment 29375
I don't know where to start.
Re: Structural Induction on complete quaternary trees.
I hope the attachment allows you to give a proof: