NAME
Math::Combinatorics - Perform combinations and permutations on lists
SYNOPSIS
Available as an object oriented API.
use Math::Combinatorics;
my @n = qw(a b c);
my $combinat = Math::Combinatorics->new(count => 2,
data => [@n],
);
print "combinations of 2 from: ".join(" ",@n)."\n";
print "------------------------".("--" x scalar(@n))."\n";
while(my @combo = $combinat->next_combination){
print join(' ', @combo)."\n";
}
print "\n";
print "permutations of 3 from: ".join(" ",@n)."\n";
print "------------------------".("--" x scalar(@n))."\n";
while(my @permu = $combinat->next_permutation){
print join(' ', @permu)."\n";
}
output:
Or available via exported functions 'permute', 'combine', and 'factorial'.
use Math::Combinatorics;
my @n = qw(a b c);
print "combinations of 2 from: ".join(" ",@n)."\n";
print "------------------------".("--" x scalar(@n))."\n";
print join("\n", map { join " ", @$_ } combine(2,@n)),"\n";
print "\n";
print "permutations of 3 from: ".join(" ",@n)."\n";
print "------------------------".("--" x scalar(@n))."\n";
print join("\n", map { join " ", @$_ } permute(@n)),"\n";
Output:
combinations of 2 from: a b c
------------------------------
a b
a c
b c
permutations of 3 from: a b c
------------------------------
a b c
a c b
b a c
b c a
c a b
c b a
Output from both types of calls is the same, but the object-oriented approach consumes much less memory for large sets.
DESCRIPTION
Combinatorics is the branch of mathematics studying the enumeration, combination, and permutation of sets of elements and the mathematical relations that characterize their properties. As a jumping off point, refer to:
http://mathworld.wolfram.com/Combinatorics.html
This module provides a pure-perl implementation of nCk, nCRk, nPk, nPRk, !n and n! (combination, multiset, permutation, string, derangement, and factorial, respectively). Functional and object-oriented usages allow problems such as the following to be solved:
- combine - nCk
-
http://mathworld.wolfram.com/Combination.html
"Fun questions to ask the pizza parlor wait staff: how many possible combinations of 2 toppings can I get on my pizza?".
- derange - !n
-
http://mathworld.wolfram.com/Derangement.html
"A derangement of n ordered objects, denoted !n, is a permutation in which none of the objects appear in their "natural" (i.e., ordered) place."
- permute - nPk
-
http://mathworld.wolfram.com/Permutation.html
"Master Mind Game: ways to arrange pieces of different colors in a certain number of positions, without repetition of a color".
Object-oriented usage additionally allows solving these problems by calling "new()" with a frequency vector:
- string - nPRk
-
http://mathworld.wolfram.com/String.html
"Morse signals: diferent signals of 3 positions using the two symbols - and .".
$o = Math::Combinatorics->new( count=>3 , data=>[qw(. -)] , frequency=>[3,3] ); while ( my @x = $o->next_multiset ) { my $p = Math::Combinatorics->new( data=>\@x , frequency=>[map{1} @x] ); while ( my @y = $p->next_string ) { #do something } }
- multiset/multichoose - nCRk
-
http://mathworld.wolfram.com/Multiset.html
"ways to extract 3 balls at once of a bag with 3 black and 3 white balls".
$o = Math::Combinatorics->new( count=>3 , data=>[qw(white black)] , frequency=>[3,3] ); while ( my @x = $o->next_multiset ) { #do something }
EXPORT
the following export tags will bring a single method into the caller's namespace. no symbols are exported by default. see pod documentation below for method descriptions.
combine
derange
multiset
permute
string
factorial
AUTHOR
Allen Day <allenday@ucla.edu>, with algorithmic contributions from Christopher Eltschka and Tye.
Copyright (c) 2004-2005 Allen Day. All rights reserved. This program is free software; you can redistribute it and/or modify it under the same terms as Perl itself.
ACKNOWLEDGEMENTS
A sincere thanks to everyone for helping to make this a better module. After initial development I've only had time to accept patches and improvements. Math::Combinatorics continues to be developed and improved by the community. Contributors of note include:
For adding new features: Carlos Rica, David Coppit, Carlos Segre, Lyon Lemmens
For bug reports: Ying Yang, Joerg Beyer, Marc Logghe, Yunheng Wang, Torsten Seemann, Gerrit Haase, Joern Behre, Lyon Lemmens, Federico Lucifredi
BUGS / TODO
Report them to the author.
* Need more extensive unit tests.
* tests for new()'s frequency argment
* A known bug (more of a missing feature, actually) does not allow parameterization of k
for nPk in permute(). it is assumed k == n. L</permute()> for details. You can work
around this by making calls to both L</permute()> and L</combine()>
* Lots of really interesting stuff from Mathworld.Wolfram.com. MathWorld rocks! Expect
to see implementation of more concepts from their site, e.g.:
http://mathworld.wolfram.com/BellNumber.html
http://mathworld.wolfram.com/StirlingNumberoftheSecondKind.html
http://mathworld.wolfram.com/Word.html
* Other combinatorics stuff
http://en.wikipedia.org/wiki/Catalan_number
http://en.wikipedia.org/wiki/Stirling_number
SEE ALSO
String::Combination (alas misnamed, it actually returns permutations on a string).
http://perlmonks.thepen.com/29374.html
http://groups.google.com/groups?selm=38568F79.13680B86%40physik.tu-muenchen.de&output=gplain
EXPORTED FUNCTIONS
combine()
Usage : my @combinations = combine($k,@n);
Function: implements nCk (n choose k), or n!/(k!*(n-k!)).
returns all unique unorderd combinations of k items from set n.
items in n are assumed to be character data, and are
copied into the return data structure (see "Returns" below).
Example : my @n = qw(a b c);
my @c = combine(2,@n);
print join "\n", map { join " ", @$_ } @c;
# prints:
# b c
# a c
# a b
Returns : a list of arrays, where each array contains a unique combination
of k items from n
Args : a list of items to be combined
Notes : data is internally assumed to be alphanumeric. this is necessary
to efficiently generate combinations of large sets. if you need
combinations of non-alphanumeric data, or on data
C<sort {$a cmp $b}> would not be appropriate, use the
object-oriented API. See L</new()> and the B<compare> option.
Identical items are assumed to be non-unique. That is, calling
C<combine(1,'a','a') yields two sets: {a}, and {a}. See
L</next_multiset() if this is not the desired behavior.
derange()
Usage : my @deranges = derange(@n);
Function: implements !n, a derangement of n items in which none of the
items appear in their originally ordered place.
Example : my @n = qw(a b c);
my @d = derange(@n);
print join "\n", map { join " ", @$_ } @d;
# prints:
# a c b
# b a c
# b c a
# c a b
# c b a
Returns : a list of arrays, where each array contains a derangement of
k items from n (where k == n).
Args : a list of items to be deranged.
Note : k should really be parameterizable. this will happen
in a later version of the module. send me a patch to
make that version come out sooner.
Notes : data is internally assumed to be alphanumeric. this is necessary
to efficiently generate combinations of large sets. if you need
combinations of non-alphanumeric data, or on data
C<sort {$a cmp $b}> would not be appropriate, use the
object-oriented API. See L</new()>, and the B<compare> option.
next_derangement()
Usage : my @derangement = $c->next_derangement();
Function: get derangements for @data.
Returns : returns a permutation of items from @data (see L</new()>),
where none of the items appear in their natural order. repeated calls
retrieve all unique derangements of @data elements. a returned empty
list signifies all derangements have been iterated.
Args : none.
factorial()
Usage : my $f = factorial(4); #returns 24, or 4*3*2*1
Function: calculates n! (n factorial).
Returns : undef if n is non-integer or n < 0
Args : a positive, non-zero integer
Note : this function is used internally by combine() and permute()
permute()
Usage : my @permutations = permute(@n);
Function: implements nPk (n permute k) (where k == n), or n!/(n-k)!
returns all unique permutations of k items from set n
(where n == k, see "Note" below). items in n are assumed to
be character data, and are copied into the return data
structure.
Example : my @n = qw(a b c);
my @p = permute(@n);
print join "\n", map { join " ", @$_ } @p;
# prints:
# b a c
# b c a
# c b a
# c a b
# a c b
# a b c
Returns : a list of arrays, where each array contains a permutation of
k items from n (where k == n).
Args : a list of items to be permuted.
Note : k should really be parameterizable. this will happen
in a later version of the module. send me a patch to
make that version come out sooner.
Notes : data is internally assumed to be alphanumeric. this is necessary
to efficiently generate combinations of large sets. if you need
combinations of non-alphanumeric data, or on data
C<sort {$a cmp $b}> would not be appropriate, use the
object-oriented API. See L</new()>, and the B<compare> option.
Identical items are assumed to be non-unique. That is, calling
C<permute('a','a') yields two sets: {a,a}, and {a,a}. See
L</next_string() if this is not the desired behavior.
CONSTRUCTOR
new()
Usage : my $c = Math::Combinatorics->new( count => 2, #treated as int
data => [1,2,3,4] #arrayref or anonymous array
);
Function: build a new Math::Combinatorics object.
Returns : a Math::Combinatorics object
Args : count - required for combinatoric functions/methods. number of elements to be
present in returned set(s).
data - required for combinatoric B<AND> permutagenic functions/methods. this is the
set elements are chosen from. B<NOTE>: this array is modified in place; make
a copy of your array if the order matters in the caller's space.
frequency - optional vector of data frequencies. must be the same length as the B<data>
constructor argument. These two constructor calls here are equivalent:
$a = 'a';
$b = 'b';
Math::Combinatorics->new( count=>2, data=>[\$a,\$a,\$a,\$a,\$a,\$b,\$b] );
Math::Combinatorics->new( count=>2, data=>[\$a,\$b], frequency=>[5,2] );
so why use this? sometimes it's useful to have multiple identical entities in
a set (in set theory jargon, this is called a "bag", See L<Set::Bag>).
compare - optional subroutine reference used in sorting elements of the set. examples:
#appropriate for character elements
compare => sub { $_[0] cmp $_[1] }
#appropriate for numeric elements
compare => sub { $_[0] <=> $_[1] }
#appropriate for object elements, perhaps
compare => sub { $_[0]->value <=> $_[1]->value }
The default sort mechanism is based on references, and cannot be predicted.
Improvements for a more flexible compare() mechanism are most welcome.
OBJECT METHODS
next_combination()
Usage : my @combo = $c->next_combination();
Function: get combinations of size $count from @data.
Returns : returns a combination of $count items from @data (see L</new()>).
repeated calls retrieve all unique combinations of $count elements.
a returned empty list signifies all combinations have been iterated.
Note : this method may only be used if a B<frequency> argument is B<NOT>
given to L</new()>, otherwise use L</next_multiset()>.
Args : none.
next_multiset()
Usage : my @multiset = $c->next_multiset();
Function: get multisets for @data.
Returns : returns a multiset of items from @data (see L</new()>).
a multiset is a special type of combination where the set from which
combinations are drawn contains items that are indistinguishable. use
L</next_multiset()> when a B<frequency> argument is passed to L</new()>.
repeated calls retrieve all unique multisets of @data elements. a
returned empty list signifies all multisets have been iterated.
Note : this method may only be used if a B<frequency> argument is given to
L</new()>, otherwise use L</next_combination()>.
Args : none.
next_permutation()
Usage : my @permu = $c->next_permutation();
Function: get permutations of elements in @data.
Returns : returns a permutation of items from @data (see L</new()>).
repeated calls retrieve all unique permutations of @data elements.
a returned empty list signifies all permutations have been iterated.
Note : this method may only be used if a B<frequency> argument is B<NOT>
given to L</new()>, otherwise use L</next_string()>.
Args : none.
next_string()
Usage : my @string = $c->next_string();
Function: get strings for @data.
Returns : returns a multiset of items from @data (see L</new()>).
a multiset is a special type of permutation where the set from which
combinations are drawn contains items that are indistinguishable. use
L</next_permutation()> when a B<frequency> argument is passed to L</new()>.
repeated calls retrieve all unique multisets of @data elements. a
returned empty list signifies all strings have been iterated.
Note : this method may only be used if a B<frequency> argument is given to
L</new()>, otherwise use L</next_permutation()>.
Args : none.
INTERNAL FUNCTIONS AND METHODS
sum()
Usage : my $sum = sum(1,2,3); # returns 6
Function: sums a list of integers. non-integer list elements are ignored
Returns : sum of integer items in arguments passed in
Args : a list of integers
Note : this function is used internally by combine()
compare()
Usage : $obj->compare()
Function: internal, undocumented. holds a comparison coderef.
Returns : value of compare (a coderef)
count()
Usage : $obj->count()
Function: internal, undocumented. holds the "k" in nCk or nPk.
Returns : value of count (an int)
data()
Usage : $obj->data()
Function: internal, undocumented. holds the set "n" in nCk or nPk.
Returns : value of data (an arrayref)
swap()
internal, undocumented.
reverse()
internal, undocumented.
rotate()
internal, undocumented.
upper_bound()
internal, undocumented.
lower_bound()
internal, undocumented.
_permutation_cursor()
Usage : $obj->_permutation_cursor()
Function: internal method. cursor on permutation iterator order.
Returns : value of _permutation_cursor (an arrayref)
Args : none