What is the complexity of subset of the power set of a set
$begingroup$
The complexity is $2^n$, if I have a set $B$ and want to find the power set $mathcal{P}(B)$.
But what if I want to find only sets of max size $i$ of $mathcal{P}(B)$? So a subset of $mathcal{P}(B)$ where there only exist sets with sizes less or equal to $i$
Something points in the direction that the complexity is $n^i$ but I have trouble understanding why.
combinatorics discrete-mathematics
$endgroup$
add a comment |
$begingroup$
The complexity is $2^n$, if I have a set $B$ and want to find the power set $mathcal{P}(B)$.
But what if I want to find only sets of max size $i$ of $mathcal{P}(B)$? So a subset of $mathcal{P}(B)$ where there only exist sets with sizes less or equal to $i$
Something points in the direction that the complexity is $n^i$ but I have trouble understanding why.
combinatorics discrete-mathematics
$endgroup$
add a comment |
$begingroup$
The complexity is $2^n$, if I have a set $B$ and want to find the power set $mathcal{P}(B)$.
But what if I want to find only sets of max size $i$ of $mathcal{P}(B)$? So a subset of $mathcal{P}(B)$ where there only exist sets with sizes less or equal to $i$
Something points in the direction that the complexity is $n^i$ but I have trouble understanding why.
combinatorics discrete-mathematics
$endgroup$
The complexity is $2^n$, if I have a set $B$ and want to find the power set $mathcal{P}(B)$.
But what if I want to find only sets of max size $i$ of $mathcal{P}(B)$? So a subset of $mathcal{P}(B)$ where there only exist sets with sizes less or equal to $i$
Something points in the direction that the complexity is $n^i$ but I have trouble understanding why.
combinatorics discrete-mathematics
combinatorics discrete-mathematics
edited Jan 3 at 8:37
Adam Soel
asked Jan 3 at 8:22
Adam SoelAdam Soel
32
32
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Provided that the cardinality of a finite set $mathbf B$ is $n$ the number of subsets of $mathbf B$ with cardinality $j$ equals $binom{n}{j}$, so the number of subset with cardinality that does not exceed $i$ equals:$$sum_{j=0}^ibinom{n}j$$
There is no closed form of this expression.
Substituting $i=n$ observe that $sum_{j=0}^nbinom{n}j=2^n$ which is in accordance with your observation that the cardinality of $wp(mathbf B)$ equals $2^n$.
$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%2f3060360%2fwhat-is-the-complexity-of-subset-of-the-power-set-of-a-set%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Provided that the cardinality of a finite set $mathbf B$ is $n$ the number of subsets of $mathbf B$ with cardinality $j$ equals $binom{n}{j}$, so the number of subset with cardinality that does not exceed $i$ equals:$$sum_{j=0}^ibinom{n}j$$
There is no closed form of this expression.
Substituting $i=n$ observe that $sum_{j=0}^nbinom{n}j=2^n$ which is in accordance with your observation that the cardinality of $wp(mathbf B)$ equals $2^n$.
$endgroup$
add a comment |
$begingroup$
Provided that the cardinality of a finite set $mathbf B$ is $n$ the number of subsets of $mathbf B$ with cardinality $j$ equals $binom{n}{j}$, so the number of subset with cardinality that does not exceed $i$ equals:$$sum_{j=0}^ibinom{n}j$$
There is no closed form of this expression.
Substituting $i=n$ observe that $sum_{j=0}^nbinom{n}j=2^n$ which is in accordance with your observation that the cardinality of $wp(mathbf B)$ equals $2^n$.
$endgroup$
add a comment |
$begingroup$
Provided that the cardinality of a finite set $mathbf B$ is $n$ the number of subsets of $mathbf B$ with cardinality $j$ equals $binom{n}{j}$, so the number of subset with cardinality that does not exceed $i$ equals:$$sum_{j=0}^ibinom{n}j$$
There is no closed form of this expression.
Substituting $i=n$ observe that $sum_{j=0}^nbinom{n}j=2^n$ which is in accordance with your observation that the cardinality of $wp(mathbf B)$ equals $2^n$.
$endgroup$
Provided that the cardinality of a finite set $mathbf B$ is $n$ the number of subsets of $mathbf B$ with cardinality $j$ equals $binom{n}{j}$, so the number of subset with cardinality that does not exceed $i$ equals:$$sum_{j=0}^ibinom{n}j$$
There is no closed form of this expression.
Substituting $i=n$ observe that $sum_{j=0}^nbinom{n}j=2^n$ which is in accordance with your observation that the cardinality of $wp(mathbf B)$ equals $2^n$.
answered Jan 3 at 8:35
drhabdrhab
98.9k544130
98.9k544130
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%2f3060360%2fwhat-is-the-complexity-of-subset-of-the-power-set-of-a-set%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