The Proof And Search Complexity Of Three Combinatorial Principles