package Math::ConvexHull; use strict; use constant PI => 3.1415926535897932384626433832795; require Exporter; use vars qw/@ISA %EXPORT_TAGS @EXPORT_OK $VERSION/; @ISA = qw(Exporter); %EXPORT_TAGS = ( 'all' => [ qw( convex_hull ) ] ); @EXPORT_OK = ( @{ $EXPORT_TAGS{'all'} } ); $VERSION = '1.03'; sub convex_hull { my $points = shift; my $start_index = _find_start_point($points); # O(n) my $angles_points = _calculate_angles($points, $start_index); # O(n) @$angles_points = sort { $a->[0] <=> $b->[0] || $a->[1][0] <=> $b->[1][0] || $a->[1][1] <=> $b->[1][1] } @$angles_points; # O(n*log(n)) # remove duplicates (O(n)) my $prev = $angles_points->[0][1]; for (my $i = 1; $i < @$angles_points; $i++) { my $this = $angles_points->[$i][1]; if ( $this->[0]+1e-15 > $prev->[0] && $this->[0]-1e-15 < $prev->[0] && $this->[1]+1e-15 > $prev->[1] && $this->[1]-1e-15 < $prev->[1] ) { splice(@$angles_points, $i, 1); $i--; next; } $prev = $this; } unshift @$angles_points, [undef, $points->[$start_index]]; my $hull = [ 0, 1 # these are indices in $angles_points ]; # O(n) for (my $i = 2; $i < @$angles_points; $i++) { my $p = $angles_points->[$i][1]; while ( _under_180( $angles_points->[$hull->[-2]][1], $angles_points->[$hull->[-1]][1], $p ) > 0 ) { pop @$hull; } push @$hull, $i; } return [map $angles_points->[$_][1], @$hull]; } sub _under_180 { my $p1 = shift; my $p2 = shift; my $p3 = shift; return( ($p3->[0] - $p1->[0]) * ($p2->[1] - $p1->[1]) - ($p2->[0] - $p1->[0]) * ($p3->[1] - $p1->[1]) ); } sub _calculate_angles { my $points = shift; my $start = shift; my $s_x = $points->[$start]->[0]; my $s_y = $points->[$start]->[1]; my $angles = []; my $p_no = 0; foreach my $p (@$points) { $p_no++, next if $p_no == $start; my $x_diff = $p->[0] - $s_x; my $y_diff = $p->[1] - $s_y; my $angle = atan2($y_diff, $x_diff); $angle = PI-$angle if $angle < 0; push @$angles, [$angle, $p]; $p_no++; } return $angles; } # Returns the index of the starting point. sub _find_start_point { my $points = shift; # Looking for the lowest, then leftmost point. my $s_point = 0; for (my $i = 1; $i < @$points; $i++) { my $p = $points->[$i]; if ( $p->[1] <= $points->[$s_point][1] and $p->[1] < $points->[$s_point][1] || $p->[0] < $points->[$s_point][0] ) { $s_point = $i; } } return $s_point; } 1; __END__ =head1 NAME Math::ConvexHull - Calculate convex hulls using Graham's scan (n*log(n)) =head1 SYNOPSIS use Math::ConvexHull qw/convex_hull/; $hull_array_ref = convex_hull(\@points); =head1 DESCRIPTION Math::ConvexHull is a simple module that calculates convex hulls from a set of points in 2D space. It is a straightforward implementation of the algorithm known as Graham's scan which, with complexity of O(n*log(n)), is the fastest known method of finding the convex hull of an arbitrary set of points. There are some methods of eliminating points that cannot be part of the convex hull. These may or may not be implemented in a future version. The implementation cannot deal with duplicate points. Therefore, points which are very, very close (think floating point close) to the previous point are dropped since version 1.02 of the module. However, if you pass in randomly ordered data which contains duplicate points, this safety measure might not help you. In that case, you will have to remove duplicates yourself. =head2 EXPORT None by default, but you may choose to have the convex_hull() subroutine exported to your namespace using standard Exporter semantics. =head2 convex_hull() subroutine Math::ConvexHull implements exactly one public subroutine which, surprisingly, is called convex_hull(). convex_hull() expects an array reference to an array of points and returns an array reference to an array of points in the convex hull. In this context, a point is considered to be an array containing an x and a y coordinate. So an example use of convex_hull() would be: use Data::Dumper; use Math::ConvexHull qw/convex_hull/; print Dumper convex_hull( [ [0,0], [1,0], [0.2,0.9], [0.2,0.5], [0,1], [1,1], ] ); # Prints out the points [0,0], [1,0], [0,1], [1,1]. Please note that convex_hull() does not return I of the points but instead returns the same array references that were passed in. =head1 SEE ALSO New versions of this module can be found on http://steffen-mueller.net or CPAN. After implementing the algorithm from my CS notes, I found the exact same implementation in the German translation of Orwant et al, "Mastering Algorithms with Perl". Their code reads better than mine, so if you looked at the module sources and don't understand what's going on, I suggest you have a look at the book. =head1 AUTHOR Steffen Mueller, Esmueller at cpan dot orgE =head1 COPYRIGHT AND LICENSE Copyright (C) 2003-2008 by Steffen Mueller This library is free software; you can redistribute it and/or modify it under the same terms as Perl itself, either Perl version 5.6 or, at your option, any later version of Perl 5 you may have available. =cut