Combinatorial counting problem

Click For Summary

Homework Help Overview

The problem involves demonstrating a one-to-one correspondence between even and odd subsets of the set {0, 1, ..., n}. Participants are exploring combinatorial proofs and counting methods related to this concept.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the meaning of "even subsets" and "odd subsets," questioning whether it refers to the number of elements in the subsets or the elements themselves. There are attempts to relate algebraic expansions to combinatorial proofs, with some participants expressing confusion over how to count the subsets effectively.

Discussion Status

The discussion is active, with participants providing insights and clarifications about the definitions involved. Some have shared algebraic approaches, while others are seeking a clearer combinatorial perspective. There is no explicit consensus on the best method to prove the correspondence, but various lines of reasoning are being explored.

Contextual Notes

Participants are working under the constraints of needing a combinatorial proof and are grappling with the definitions of even and odd subsets. There is a sense of uncertainty regarding the counting methods and relationships between different combinations.

ploppers
Messages
12
Reaction score
0

Homework Statement



Show that there is a one to one correspondence between even and odd subsets of the set {0, 1...n}.

Homework Equations



They want a combinatorial proof so basically a proof based on counting?
Perhaps (n choose k) = (n choose n-k)

The Attempt at a Solution



I've solved this problem algebraically by expanding (1-1)^n, however, I do not understand, by counting, how there are the same amount of even subsets as odd. I tried expanding the factorials and trying to simplify but it proved to be unsuccessful. This is the 1st problem of the problem set, I have a feeling that the solution is very simple.
 
Physics news on Phys.org
What does "even subset" mean? Do you mean subsets having an even number of elements or subsets consisting of only even numbers?

My guess is the second interpretation. And if you show the "even" sets and "odd" sets have the same number of elements, wouldn't that do it?
 
I've solved this problem algebraically by expanding (1-1)^n...

You have:

0 = (1-1)^n = Sum from k = 0 to n of Binomial[n,k](-1)^k =

(add up the even and odd k separately) =

#even subsets - #odd subsets.
 
Even and odd subsets mean choosing an even amount or odd amount. For example, 4 choose 3 would be an odd subset while 4 choose 2 would be even. Thanks for the responses, that was exactly what I did to prove it algebraically, however, what would the combinatorial proof be?

I've tried to solve the problem further by comparing the relationship between choosing 2i +1 numbers and 2i numbers. (nC2i + 1) = (nC2i)(n - 2i)/(2i + 1). When I sum these, I don't see how they could ever equal...
 

Similar threads

Replies
17
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
1K
Replies
5
Views
3K