I am teaching a course in enumerative combinatorics this semester and one of my students asked for deeper clarification regarding the difference between a "combinatorial" and a "bijective" proof.  Specifically, they pointed out that when one is proving the validity of a combinatorial identity by counting a set in two different ways, this is a different activity than giving an explicit bijection between two different sets.  However, in combinatorics we often use the phrases "combinatorial proof" and "bijective proof" as synonyms, and I have often heard people use the phrase "bijective proof" regarding a "count in two different ways" proof of an identity.

It seems to me that often a combinatorial proof arises from describing one set in two different ways; implicit in a proof of the equality of the two descriptions of this set is the identity bijection from the set to itself.  In this sense, one might regard all "combinatorial" proofs as "bijective," but I feel that I am on quite shaky ground with this.  These thoughts have led me to the following questions:

Question 1: What are some examples of combinatorial situations where the same set can be described in two different ways but it is not at all clear that the two descriptions yield the same object?

Question 2: What are some examples of situations where two bijective proofs have been given for a theorem or identity where the bijections turned out to be the same, but proving their equivalence was non-trivial?

I would also appreciate opinions regarding the distinction, if any, between combinatorial arguments where one proves identities by describing a set in two different ways and combinatorial arguments where one sets up bijections between genuinely different sets of objects.

EDIT

Thanks for the answers and comments so far.  Here are two examples that will hopefully clarify what I am asking.  One example of a bijective proof between two different sets are showing that Dyck paths and nonnesting partitions are both Catalan-enumerated objects (even preserving the Narayana statistic with a good bijection).  On the other hand, the identity $\sum_{k=0}^nk{n\choose k}=n2^{n-1}$ is usually proved by describing $k$-subsets of $n$ with a distinguished element in two different ways: in the first way, pick the set then specify the element; in the second way, pick the element then specify the rest of the set.  These are both referred to as bijective or combinatorial proofs, yet somehow they each have a different feel to them.  In the second case, it is pretty easy to see that the two descriptions of these objects yield the same set of objects, but surely there must be more situations where the same set is described in two different ways and the equivalence of their descriptions is difficult to ascertain.  Similarly, there must be times where there are several bijections between different sets, like the first example, where the bijections are the same but not obviously so.  What I am wondering about are examples of these two situations.

A non-combinatorial example of an answer to Q1 is the compact-group vs reflection group definition of the Weyl group of a semi-simple Lie Algebra, where it isn't immediately clear that the same group is obtained.  However, I am looking for more combinatorial examples.


Question: Custom Sized Google Maps (Showing Street Names)
Answer: The only way I've found to achieve this is by creating an HTML file that creates a huge iframe and loads your Google Maps page inside it:

&lt;!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"&gt;
&lt;html&gt;
  &lt;head&gt;
    &lt;title&gt;&lt;/title&gt;
    &lt;meta http-equiv="Content-Type" content="text/html; charset=UTF-8"&gt;
  &lt;/head&gt;
  &lt;body&gt;
    &lt;iframe width="4000" height="4000" frameborder="0" scrolling="no" 
     marginheight="0" marginwidth="0" src="http://maps.google.com/maps"&gt;
    &lt;/iframe&gt;
  &lt;/body&gt;
&lt;/html&gt;


Replace http://maps.google.com/maps in the code above with the URL generated in Google Maps when you click the link icon, and then inside Paste HTML to embed in website. Don't copy the entire &lt;iframe ... code, just the src of the generated iframe tag.

This will create a 4000px by 4000px map. Change the width and height parameters above if that's not big enough (or too big). If your browser tries to paginate the map rather than resize it down to one page, try using a screen-capture browser extension to save a screengrab of the entire 4000x4000 page as an image, then print the image file.

A caveat, though: printing a 4000x4000 map on letter paper will produce street names that are far too small to read. In general Google's labels are sized appropriately for the zoom size, which more or less correlates with printing at that size/zoom. To print a larger (in width/height, not zoom level) map and still be able to read the labels, you'll need to print on large paper like a poster.