Pairs of non-empty disjoint sets
$begingroup$
Question:
Let $S={1,2, cdots, 10 }$. Then the number of pairs $(A, B)$, where $A$ and
$B$ are non-empty disjoint subsets of $S$ is?
[I could solve the question as demonstrated below, but it involves calculating a tedious sum of products, which would take up a lot of time. It is typically expected to solve this in a couple of minutes, so I was wondering if there was a faster way to do this.]
My approach:
Let the set $A$ consist of $x$ elements. There are ${10 choose x}$ ways of making that selection.
We are now left with $10-x$ elements.
Let the set $B$ consist of $y$ elements. This selection can be done by ${10-x choose y}$ ways.
The total number of ways can be found out by summing over the product of the two above as $sum_{x=1}^{9} sum_{y=1}^{10-x} {10 choose x}{10-x choose y} $ which comes out to be $57002$
combinatorics discrete-mathematics elementary-set-theory
$endgroup$
add a comment |
$begingroup$
Question:
Let $S={1,2, cdots, 10 }$. Then the number of pairs $(A, B)$, where $A$ and
$B$ are non-empty disjoint subsets of $S$ is?
[I could solve the question as demonstrated below, but it involves calculating a tedious sum of products, which would take up a lot of time. It is typically expected to solve this in a couple of minutes, so I was wondering if there was a faster way to do this.]
My approach:
Let the set $A$ consist of $x$ elements. There are ${10 choose x}$ ways of making that selection.
We are now left with $10-x$ elements.
Let the set $B$ consist of $y$ elements. This selection can be done by ${10-x choose y}$ ways.
The total number of ways can be found out by summing over the product of the two above as $sum_{x=1}^{9} sum_{y=1}^{10-x} {10 choose x}{10-x choose y} $ which comes out to be $57002$
combinatorics discrete-mathematics elementary-set-theory
$endgroup$
2
$begingroup$
Note: this is problem #9 on the 2002 AIME II. (Well, aside from the nonsense that all AIME problems tack onto the end where you need to convert the answer to an integer between $0$ and $999$.)
$endgroup$
– Misha Lavrov
Apr 21 '18 at 5:28
$begingroup$
@MishaLavrov Ah yes, I see! I was not aware of AIME, I'll admit. Thanks
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:31
add a comment |
$begingroup$
Question:
Let $S={1,2, cdots, 10 }$. Then the number of pairs $(A, B)$, where $A$ and
$B$ are non-empty disjoint subsets of $S$ is?
[I could solve the question as demonstrated below, but it involves calculating a tedious sum of products, which would take up a lot of time. It is typically expected to solve this in a couple of minutes, so I was wondering if there was a faster way to do this.]
My approach:
Let the set $A$ consist of $x$ elements. There are ${10 choose x}$ ways of making that selection.
We are now left with $10-x$ elements.
Let the set $B$ consist of $y$ elements. This selection can be done by ${10-x choose y}$ ways.
The total number of ways can be found out by summing over the product of the two above as $sum_{x=1}^{9} sum_{y=1}^{10-x} {10 choose x}{10-x choose y} $ which comes out to be $57002$
combinatorics discrete-mathematics elementary-set-theory
$endgroup$
Question:
Let $S={1,2, cdots, 10 }$. Then the number of pairs $(A, B)$, where $A$ and
$B$ are non-empty disjoint subsets of $S$ is?
[I could solve the question as demonstrated below, but it involves calculating a tedious sum of products, which would take up a lot of time. It is typically expected to solve this in a couple of minutes, so I was wondering if there was a faster way to do this.]
My approach:
Let the set $A$ consist of $x$ elements. There are ${10 choose x}$ ways of making that selection.
We are now left with $10-x$ elements.
Let the set $B$ consist of $y$ elements. This selection can be done by ${10-x choose y}$ ways.
The total number of ways can be found out by summing over the product of the two above as $sum_{x=1}^{9} sum_{y=1}^{10-x} {10 choose x}{10-x choose y} $ which comes out to be $57002$
combinatorics discrete-mathematics elementary-set-theory
combinatorics discrete-mathematics elementary-set-theory
edited Jan 30 at 17:21


Maria Mazur
49.6k1361124
49.6k1361124
asked Apr 21 '18 at 4:54


Tamojit MaitiTamojit Maiti
323313
323313
2
$begingroup$
Note: this is problem #9 on the 2002 AIME II. (Well, aside from the nonsense that all AIME problems tack onto the end where you need to convert the answer to an integer between $0$ and $999$.)
$endgroup$
– Misha Lavrov
Apr 21 '18 at 5:28
$begingroup$
@MishaLavrov Ah yes, I see! I was not aware of AIME, I'll admit. Thanks
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:31
add a comment |
2
$begingroup$
Note: this is problem #9 on the 2002 AIME II. (Well, aside from the nonsense that all AIME problems tack onto the end where you need to convert the answer to an integer between $0$ and $999$.)
$endgroup$
– Misha Lavrov
Apr 21 '18 at 5:28
$begingroup$
@MishaLavrov Ah yes, I see! I was not aware of AIME, I'll admit. Thanks
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:31
2
2
$begingroup$
Note: this is problem #9 on the 2002 AIME II. (Well, aside from the nonsense that all AIME problems tack onto the end where you need to convert the answer to an integer between $0$ and $999$.)
$endgroup$
– Misha Lavrov
Apr 21 '18 at 5:28
$begingroup$
Note: this is problem #9 on the 2002 AIME II. (Well, aside from the nonsense that all AIME problems tack onto the end where you need to convert the answer to an integer between $0$ and $999$.)
$endgroup$
– Misha Lavrov
Apr 21 '18 at 5:28
$begingroup$
@MishaLavrov Ah yes, I see! I was not aware of AIME, I'll admit. Thanks
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:31
$begingroup$
@MishaLavrov Ah yes, I see! I was not aware of AIME, I'll admit. Thanks
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:31
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Suppose we have set $A$, $B$ and $S={1,2,...10}$. So for each $xin S$ you can put it in exactly one of this sets: $A$ or in $B$ or $(Acup B)'$. So for each $x$ you have 3 choices and thus you can choose $A,B$ on $3^{10}$ ways.
Now we have to substract all pairs where one of the sets is empty. If $A$ is empty, $B$ could be any subset apart from $A$. So we have $2^{10}$ choices. The same is true if $B$ is empty. So we have $2^{11}$ such pair of sets. But we have pair $(emptyset,emptyset )$ counted twice, we have to substract $2^{11}-1$ bad pairs of sets.
So the finaly result is $3^{10}-2^{11}+1$
$endgroup$
1
$begingroup$
It will be $3^{10}$, since $A$ has 10 elements
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:14
1
$begingroup$
It cannot be $3^{10}$.You need to ensure that $A,B$ are non empty.
$endgroup$
– copper.hat
Apr 21 '18 at 5:14
2
$begingroup$
$A,B$ can be empty in $2^{11}$ ways. And in one of these instances, both $A,B$ are empty, so we need to add $1$ to the result.
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:16
$begingroup$
The final result becomes $3^{10} - 2^{11} + 1 = 57002$
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:18
1
$begingroup$
Edit...........
$endgroup$
– Maria Mazur
Apr 21 '18 at 5:50
add a comment |
$begingroup$
It is also interesting to note that the sum you get can be simplified in the following way using the binomial theorem:
begin{align}
sum_{x=1}^{9}sum_{y=1}^{10-x}{ 10 choose x}{ 10-x choose y} &= sum_{x=1}^{9}{ 10 choose x}left(sum_{y=0}^{10-x}{ 10-x choose y} -1 right)\
&=sum_{x=1}^{9}{ 10 choose x} (2^{10-x} -1) \
&= sum_{x=0}^{10}{ 10 choose x}2^{10-x} -2^{10}-1 - sum_{x=0}^{10}{ 10 choose x}+1+1 \
&= 3^{10}-2^{10}-1-2^{10}+1+1 \
&= 3^{10}-2^{11}+1
end{align}
Thus getting a pretty interesting identity.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2746901%2fpairs-of-non-empty-disjoint-sets%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Suppose we have set $A$, $B$ and $S={1,2,...10}$. So for each $xin S$ you can put it in exactly one of this sets: $A$ or in $B$ or $(Acup B)'$. So for each $x$ you have 3 choices and thus you can choose $A,B$ on $3^{10}$ ways.
Now we have to substract all pairs where one of the sets is empty. If $A$ is empty, $B$ could be any subset apart from $A$. So we have $2^{10}$ choices. The same is true if $B$ is empty. So we have $2^{11}$ such pair of sets. But we have pair $(emptyset,emptyset )$ counted twice, we have to substract $2^{11}-1$ bad pairs of sets.
So the finaly result is $3^{10}-2^{11}+1$
$endgroup$
1
$begingroup$
It will be $3^{10}$, since $A$ has 10 elements
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:14
1
$begingroup$
It cannot be $3^{10}$.You need to ensure that $A,B$ are non empty.
$endgroup$
– copper.hat
Apr 21 '18 at 5:14
2
$begingroup$
$A,B$ can be empty in $2^{11}$ ways. And in one of these instances, both $A,B$ are empty, so we need to add $1$ to the result.
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:16
$begingroup$
The final result becomes $3^{10} - 2^{11} + 1 = 57002$
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:18
1
$begingroup$
Edit...........
$endgroup$
– Maria Mazur
Apr 21 '18 at 5:50
add a comment |
$begingroup$
Suppose we have set $A$, $B$ and $S={1,2,...10}$. So for each $xin S$ you can put it in exactly one of this sets: $A$ or in $B$ or $(Acup B)'$. So for each $x$ you have 3 choices and thus you can choose $A,B$ on $3^{10}$ ways.
Now we have to substract all pairs where one of the sets is empty. If $A$ is empty, $B$ could be any subset apart from $A$. So we have $2^{10}$ choices. The same is true if $B$ is empty. So we have $2^{11}$ such pair of sets. But we have pair $(emptyset,emptyset )$ counted twice, we have to substract $2^{11}-1$ bad pairs of sets.
So the finaly result is $3^{10}-2^{11}+1$
$endgroup$
1
$begingroup$
It will be $3^{10}$, since $A$ has 10 elements
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:14
1
$begingroup$
It cannot be $3^{10}$.You need to ensure that $A,B$ are non empty.
$endgroup$
– copper.hat
Apr 21 '18 at 5:14
2
$begingroup$
$A,B$ can be empty in $2^{11}$ ways. And in one of these instances, both $A,B$ are empty, so we need to add $1$ to the result.
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:16
$begingroup$
The final result becomes $3^{10} - 2^{11} + 1 = 57002$
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:18
1
$begingroup$
Edit...........
$endgroup$
– Maria Mazur
Apr 21 '18 at 5:50
add a comment |
$begingroup$
Suppose we have set $A$, $B$ and $S={1,2,...10}$. So for each $xin S$ you can put it in exactly one of this sets: $A$ or in $B$ or $(Acup B)'$. So for each $x$ you have 3 choices and thus you can choose $A,B$ on $3^{10}$ ways.
Now we have to substract all pairs where one of the sets is empty. If $A$ is empty, $B$ could be any subset apart from $A$. So we have $2^{10}$ choices. The same is true if $B$ is empty. So we have $2^{11}$ such pair of sets. But we have pair $(emptyset,emptyset )$ counted twice, we have to substract $2^{11}-1$ bad pairs of sets.
So the finaly result is $3^{10}-2^{11}+1$
$endgroup$
Suppose we have set $A$, $B$ and $S={1,2,...10}$. So for each $xin S$ you can put it in exactly one of this sets: $A$ or in $B$ or $(Acup B)'$. So for each $x$ you have 3 choices and thus you can choose $A,B$ on $3^{10}$ ways.
Now we have to substract all pairs where one of the sets is empty. If $A$ is empty, $B$ could be any subset apart from $A$. So we have $2^{10}$ choices. The same is true if $B$ is empty. So we have $2^{11}$ such pair of sets. But we have pair $(emptyset,emptyset )$ counted twice, we have to substract $2^{11}-1$ bad pairs of sets.
So the finaly result is $3^{10}-2^{11}+1$
edited Apr 21 '18 at 5:54


Tamojit Maiti
323313
323313
answered Apr 21 '18 at 5:12


Maria MazurMaria Mazur
49.6k1361124
49.6k1361124
1
$begingroup$
It will be $3^{10}$, since $A$ has 10 elements
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:14
1
$begingroup$
It cannot be $3^{10}$.You need to ensure that $A,B$ are non empty.
$endgroup$
– copper.hat
Apr 21 '18 at 5:14
2
$begingroup$
$A,B$ can be empty in $2^{11}$ ways. And in one of these instances, both $A,B$ are empty, so we need to add $1$ to the result.
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:16
$begingroup$
The final result becomes $3^{10} - 2^{11} + 1 = 57002$
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:18
1
$begingroup$
Edit...........
$endgroup$
– Maria Mazur
Apr 21 '18 at 5:50
add a comment |
1
$begingroup$
It will be $3^{10}$, since $A$ has 10 elements
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:14
1
$begingroup$
It cannot be $3^{10}$.You need to ensure that $A,B$ are non empty.
$endgroup$
– copper.hat
Apr 21 '18 at 5:14
2
$begingroup$
$A,B$ can be empty in $2^{11}$ ways. And in one of these instances, both $A,B$ are empty, so we need to add $1$ to the result.
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:16
$begingroup$
The final result becomes $3^{10} - 2^{11} + 1 = 57002$
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:18
1
$begingroup$
Edit...........
$endgroup$
– Maria Mazur
Apr 21 '18 at 5:50
1
1
$begingroup$
It will be $3^{10}$, since $A$ has 10 elements
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:14
$begingroup$
It will be $3^{10}$, since $A$ has 10 elements
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:14
1
1
$begingroup$
It cannot be $3^{10}$.You need to ensure that $A,B$ are non empty.
$endgroup$
– copper.hat
Apr 21 '18 at 5:14
$begingroup$
It cannot be $3^{10}$.You need to ensure that $A,B$ are non empty.
$endgroup$
– copper.hat
Apr 21 '18 at 5:14
2
2
$begingroup$
$A,B$ can be empty in $2^{11}$ ways. And in one of these instances, both $A,B$ are empty, so we need to add $1$ to the result.
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:16
$begingroup$
$A,B$ can be empty in $2^{11}$ ways. And in one of these instances, both $A,B$ are empty, so we need to add $1$ to the result.
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:16
$begingroup$
The final result becomes $3^{10} - 2^{11} + 1 = 57002$
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:18
$begingroup$
The final result becomes $3^{10} - 2^{11} + 1 = 57002$
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:18
1
1
$begingroup$
Edit...........
$endgroup$
– Maria Mazur
Apr 21 '18 at 5:50
$begingroup$
Edit...........
$endgroup$
– Maria Mazur
Apr 21 '18 at 5:50
add a comment |
$begingroup$
It is also interesting to note that the sum you get can be simplified in the following way using the binomial theorem:
begin{align}
sum_{x=1}^{9}sum_{y=1}^{10-x}{ 10 choose x}{ 10-x choose y} &= sum_{x=1}^{9}{ 10 choose x}left(sum_{y=0}^{10-x}{ 10-x choose y} -1 right)\
&=sum_{x=1}^{9}{ 10 choose x} (2^{10-x} -1) \
&= sum_{x=0}^{10}{ 10 choose x}2^{10-x} -2^{10}-1 - sum_{x=0}^{10}{ 10 choose x}+1+1 \
&= 3^{10}-2^{10}-1-2^{10}+1+1 \
&= 3^{10}-2^{11}+1
end{align}
Thus getting a pretty interesting identity.
$endgroup$
add a comment |
$begingroup$
It is also interesting to note that the sum you get can be simplified in the following way using the binomial theorem:
begin{align}
sum_{x=1}^{9}sum_{y=1}^{10-x}{ 10 choose x}{ 10-x choose y} &= sum_{x=1}^{9}{ 10 choose x}left(sum_{y=0}^{10-x}{ 10-x choose y} -1 right)\
&=sum_{x=1}^{9}{ 10 choose x} (2^{10-x} -1) \
&= sum_{x=0}^{10}{ 10 choose x}2^{10-x} -2^{10}-1 - sum_{x=0}^{10}{ 10 choose x}+1+1 \
&= 3^{10}-2^{10}-1-2^{10}+1+1 \
&= 3^{10}-2^{11}+1
end{align}
Thus getting a pretty interesting identity.
$endgroup$
add a comment |
$begingroup$
It is also interesting to note that the sum you get can be simplified in the following way using the binomial theorem:
begin{align}
sum_{x=1}^{9}sum_{y=1}^{10-x}{ 10 choose x}{ 10-x choose y} &= sum_{x=1}^{9}{ 10 choose x}left(sum_{y=0}^{10-x}{ 10-x choose y} -1 right)\
&=sum_{x=1}^{9}{ 10 choose x} (2^{10-x} -1) \
&= sum_{x=0}^{10}{ 10 choose x}2^{10-x} -2^{10}-1 - sum_{x=0}^{10}{ 10 choose x}+1+1 \
&= 3^{10}-2^{10}-1-2^{10}+1+1 \
&= 3^{10}-2^{11}+1
end{align}
Thus getting a pretty interesting identity.
$endgroup$
It is also interesting to note that the sum you get can be simplified in the following way using the binomial theorem:
begin{align}
sum_{x=1}^{9}sum_{y=1}^{10-x}{ 10 choose x}{ 10-x choose y} &= sum_{x=1}^{9}{ 10 choose x}left(sum_{y=0}^{10-x}{ 10-x choose y} -1 right)\
&=sum_{x=1}^{9}{ 10 choose x} (2^{10-x} -1) \
&= sum_{x=0}^{10}{ 10 choose x}2^{10-x} -2^{10}-1 - sum_{x=0}^{10}{ 10 choose x}+1+1 \
&= 3^{10}-2^{10}-1-2^{10}+1+1 \
&= 3^{10}-2^{11}+1
end{align}
Thus getting a pretty interesting identity.
answered Apr 21 '18 at 5:24
Antoine GiardAntoine Giard
9427
9427
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2746901%2fpairs-of-non-empty-disjoint-sets%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
2
$begingroup$
Note: this is problem #9 on the 2002 AIME II. (Well, aside from the nonsense that all AIME problems tack onto the end where you need to convert the answer to an integer between $0$ and $999$.)
$endgroup$
– Misha Lavrov
Apr 21 '18 at 5:28
$begingroup$
@MishaLavrov Ah yes, I see! I was not aware of AIME, I'll admit. Thanks
$endgroup$
– Tamojit Maiti
Apr 21 '18 at 5:31