Re: List partitioning
- From: Boris Borcic <bborcic@xxxxxxxxx>
- Date: Wed, 29 Oct 2008 20:03:34 +0100
I wrote :
...might be worth the while to consider the space of unions of n>1 groups, whose optimization (ie splitting into n specific groups), can be achieved independently of that of their complement set.
I fear this isn't clear enough. A natural illustration would be the topmost reduction of a search for an optimal partition of N items into P groups where P does /not/ divide N, into searches over all ways of distributing the N items into complementary subsets of N' and N'' items, to divide in turn (this time /evenly/) into P' and P'' groups respectively.
Where N',N'',P' and P'' are fixed as a function of N and P, ie
P' = N mod P
P'' = P - P'
N' = ((N//P)+1)*P'
N'' = (N//P)*P''
For each choice of distribution of N items into N'- and N''-sized subsets, the further optimal partition of each of these complementary subsets can then proceed independently (I think, given your description of the problem).
.
Although I never tried it, if you go that route I would suggest trying tabled predicates as is provided by XSB and B-prolog, with the vague idea that they could permit to write the search as a relatively simple-minded systematic computation, leaving to the system the task of recognizing and skipping a repeated sub-computation (to the point of changing the asymptotic behavior).
Cheers, BB
- Follow-Ups:
- Re: List partitioning
- From: bim
- Re: List partitioning
- References:
- List partitioning
- From: BimKif
- Re: List partitioning
- From: pineapple . link
- Re: List partitioning
- From: bim
- Re: List partitioning
- From: Boris Borcic
- Re: List partitioning
- From: bim
- Re: List partitioning
- From: Boris Borcic
- Re: List partitioning
- From: bim
- Re: List partitioning
- From: Boris Borcic
- Re: List partitioning
- From: bim
- Re: List partitioning
- From: bborcic
- Re: List partitioning
- From: bim
- Re: List partitioning
- From: Boris Borcic
- List partitioning
- Prev by Date: Re: printing the value of the variables passed
- Next by Date: Re: printing the value of the variables passed
- Previous by thread: Re: List partitioning
- Next by thread: Re: List partitioning
- Index(es):
Relevant Pages
|