Deterministic algorithm to solve weighted set cover in O(2^n)

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite
1












A weighted set cover problem is:


Given a universe $U=1,2,...,n$ and a collection of subsets of $U$, $mathcal S=S_1,S_2,...,S_m$, and a cost function $c:mathcal Sto Q^+$ , find a minimum cost subcollection of $mathcal S$ that covers all elements of $U$.




The question is how to design a deterministic algorithm to solve weight set cover in $O(2^n)$ (just find the optimum solution)?



If I simply use exhaust searching to look through all possible cover (which is actually equals to $2^m$) and find the one with minimum weight, it will cost $O(2^m)$ but not $O(2^n)$.



Thanks in advanced!



After some experiment I find that when a the $mathcal S$ is acutally equals to the power set of the universe $U$($m=2^n$),there are less than $2^n$ combination of the power set of $mathcal S$($2^n^n$) can cover the universe $U$. But how can I prove that the coverable combination of $mathcal S$ is less than $2^n$?







share|cite|improve this question





















  • A hint maybe is that from strong exponential time hypothesis(SETH) one cannot find a algorithm faster than O(2^n).
    – wst
    Jul 29 at 2:58










  • Maybe cstheory.stackexchange.com could answer your question
    – Mike Earnest
    Jul 31 at 14:12














up vote
2
down vote

favorite
1












A weighted set cover problem is:


Given a universe $U=1,2,...,n$ and a collection of subsets of $U$, $mathcal S=S_1,S_2,...,S_m$, and a cost function $c:mathcal Sto Q^+$ , find a minimum cost subcollection of $mathcal S$ that covers all elements of $U$.




The question is how to design a deterministic algorithm to solve weight set cover in $O(2^n)$ (just find the optimum solution)?



If I simply use exhaust searching to look through all possible cover (which is actually equals to $2^m$) and find the one with minimum weight, it will cost $O(2^m)$ but not $O(2^n)$.



Thanks in advanced!



After some experiment I find that when a the $mathcal S$ is acutally equals to the power set of the universe $U$($m=2^n$),there are less than $2^n$ combination of the power set of $mathcal S$($2^n^n$) can cover the universe $U$. But how can I prove that the coverable combination of $mathcal S$ is less than $2^n$?







share|cite|improve this question





















  • A hint maybe is that from strong exponential time hypothesis(SETH) one cannot find a algorithm faster than O(2^n).
    – wst
    Jul 29 at 2:58










  • Maybe cstheory.stackexchange.com could answer your question
    – Mike Earnest
    Jul 31 at 14:12












up vote
2
down vote

favorite
1









up vote
2
down vote

favorite
1






1





A weighted set cover problem is:


Given a universe $U=1,2,...,n$ and a collection of subsets of $U$, $mathcal S=S_1,S_2,...,S_m$, and a cost function $c:mathcal Sto Q^+$ , find a minimum cost subcollection of $mathcal S$ that covers all elements of $U$.




The question is how to design a deterministic algorithm to solve weight set cover in $O(2^n)$ (just find the optimum solution)?



If I simply use exhaust searching to look through all possible cover (which is actually equals to $2^m$) and find the one with minimum weight, it will cost $O(2^m)$ but not $O(2^n)$.



Thanks in advanced!



After some experiment I find that when a the $mathcal S$ is acutally equals to the power set of the universe $U$($m=2^n$),there are less than $2^n$ combination of the power set of $mathcal S$($2^n^n$) can cover the universe $U$. But how can I prove that the coverable combination of $mathcal S$ is less than $2^n$?







share|cite|improve this question













A weighted set cover problem is:


Given a universe $U=1,2,...,n$ and a collection of subsets of $U$, $mathcal S=S_1,S_2,...,S_m$, and a cost function $c:mathcal Sto Q^+$ , find a minimum cost subcollection of $mathcal S$ that covers all elements of $U$.




The question is how to design a deterministic algorithm to solve weight set cover in $O(2^n)$ (just find the optimum solution)?



If I simply use exhaust searching to look through all possible cover (which is actually equals to $2^m$) and find the one with minimum weight, it will cost $O(2^m)$ but not $O(2^n)$.



Thanks in advanced!



After some experiment I find that when a the $mathcal S$ is acutally equals to the power set of the universe $U$($m=2^n$),there are less than $2^n$ combination of the power set of $mathcal S$($2^n^n$) can cover the universe $U$. But how can I prove that the coverable combination of $mathcal S$ is less than $2^n$?









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 29 at 5:10
























asked Jul 28 at 15:08









wst

114




114











  • A hint maybe is that from strong exponential time hypothesis(SETH) one cannot find a algorithm faster than O(2^n).
    – wst
    Jul 29 at 2:58










  • Maybe cstheory.stackexchange.com could answer your question
    – Mike Earnest
    Jul 31 at 14:12
















  • A hint maybe is that from strong exponential time hypothesis(SETH) one cannot find a algorithm faster than O(2^n).
    – wst
    Jul 29 at 2:58










  • Maybe cstheory.stackexchange.com could answer your question
    – Mike Earnest
    Jul 31 at 14:12















A hint maybe is that from strong exponential time hypothesis(SETH) one cannot find a algorithm faster than O(2^n).
– wst
Jul 29 at 2:58




A hint maybe is that from strong exponential time hypothesis(SETH) one cannot find a algorithm faster than O(2^n).
– wst
Jul 29 at 2:58












Maybe cstheory.stackexchange.com could answer your question
– Mike Earnest
Jul 31 at 14:12




Maybe cstheory.stackexchange.com could answer your question
– Mike Earnest
Jul 31 at 14:12















active

oldest

votes











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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2865315%2fdeterministic-algorithm-to-solve-weighted-set-cover-in-o2n%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2865315%2fdeterministic-algorithm-to-solve-weighted-set-cover-in-o2n%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?