[Boost-users] Random permutations using boost::random_number_generator and std::random_shuffle.