Boxes and Objects!

Find a 6 a_6 , the number of ways of distributing 6 6 distinct objects into 4 4 distinct boxes such that boxes 1 1 and 2 2 must hold an even number of objects and 3 3 must hold an odd number of objects.


The answer is 512.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Aaghaz Mahajan
Aug 2, 2019

Let the boxes be named A,B,C and D. Now, form a table to see how many objects can be taken by each box.

A B C D
0 0 1 5
0 0 3 3
0 0 5 1
0 2 1 3
0 2 3 1
2 0 1 3
2 0 3 1
0 4 1 1
4 0 1 1
2 2 1 1

Now, it is a simple matter of counting each case and adding them all up.

The first and the third row have ( 6 1 ) \displaystyle \binom{6}{1} ways each.
The second row has ( 6 3 ) \displaystyle \binom{6}{3} ways.
Rows 4 to 7 have ( 6 2 ) ( 4 1 ) \displaystyle \binom{6}{2}\cdot\binom{4}{1} ways each.
Rows 8 and 9 have ( 6 4 ) ( 2 1 ) \displaystyle \binom{6}{4}\cdot\binom{2}{1} ways each.
And the last row has ( 6 2 ) ( 4 2 ) ( 2 1 ) \displaystyle \binom{6}{2}\cdot\binom{4}{2}\cdot\binom{2}{1} ways.


Adding all these answers we get a 6 = 512 \displaystyle a_6=512

The exponential generating function for ( a r a_r ) is [ e x + e x 2 \frac{e^x +e^{-x}}{2} ] [ e x + e x 2 \frac{e^x +e^{-x}}{2} ] [ e x e x 2 \frac{e^x -e^{-x}}{2} ] [ e x e^x ]

1 8 \frac{1}{8} [ e 2 x e 2 x e^{2x} - e^{-2x} ][ e 2 x + 1 e^{2x} +1 ]

Which on summation from r = 0 r= 0 to \infty gives generalized value as

a r a_r = 1 8 \frac{1}{8} { 4 r + 2 r ( 2 ) r 4^r +2^r -(-2)^r }

Putting r = 6 r=6 we get a 6 a_6 as 512 512

Would you care to provide a derivation of your first claim?

Noe Blassel - 1 year, 10 months ago

Log in to reply

@Noe Blassel See my solution for a more elementary way.....

Aaghaz Mahajan - 1 year, 10 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...