LAL: Linear Arrangement Library 23.01.00
A library focused on algorithms on linear arrangements of graphs.
Loading...
Searching...
No Matches
bit_sort.hpp
1/*********************************************************************
2 *
3 * Linear Arrangement Library - A library that implements a collection
4 * algorithms for linear arrangments of graphs.
5 *
6 * Copyright (C) 2019 - 2023
7 *
8 * This file is part of Linear Arrangement Library. The full code is available
9 * at:
10 * https://github.com/LAL-project/linear-arrangement-library.git
11 *
12 * Linear Arrangement Library is free software: you can redistribute it
13 * and/or modify it under the terms of the GNU Affero General Public License
14 * as published by the Free Software Foundation, either version 3 of the
15 * License, or (at your option) any later version.
16 *
17 * Linear Arrangement Library is distributed in the hope that it will be
18 * useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
19 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 * GNU Affero General Public License for more details.
21 *
22 * You should have received a copy of the GNU Affero General Public License
23 * along with Linear Arrangement Library. If not, see <http://www.gnu.org/licenses/>.
24 *
25 * Contact:
26 *
27 * LluĂ­s Alemany Puig (lalemany@cs.upc.edu)
28 * LARCA (Laboratory for Relational Algorithmics, Complexity and Learning)
29 * CQL (Complexity and Quantitative Linguistics Lab)
30 * Jordi Girona St 1-3, Campus Nord UPC, 08034 Barcelona. CATALONIA, SPAIN
31 * Webpage: https://cqllab.upc.edu/people/lalemany/
32 *
33 * Ramon Ferrer i Cancho (rferrericancho@cs.upc.edu)
34 * LARCA (Laboratory for Relational Algorithmics, Complexity and Learning)
35 * CQL (Complexity and Quantitative Linguistics Lab)
36 * Office S124, Omega building
37 * Jordi Girona St 1-3, Campus Nord UPC, 08034 Barcelona. CATALONIA, SPAIN
38 * Webpage: https://cqllab.upc.edu/people/rferrericancho/
39 *
40 ********************************************************************/
41
42#pragma once
43
44// C++ includes
45#include <algorithm>
46
47// lal includes
48#include <lal/detail/data_array.hpp>
49#include <lal/detail/sorting/insertion_sort.hpp>
50#include <lal/detail/type_traits/is_pointer_iterator.hpp>
51
52namespace lal {
53namespace detail {
54namespace sorting {
55
69template <
70 typename T, typename iterator_t,
71 std::enable_if_t<
72 std::is_integral_v<T> && is_pointer_iterator_v<T, iterator_t>,
73 bool
74 > = true
75>
76void bit_sort(iterator_t begin, iterator_t end, const T& m, char * const seen)
77noexcept
78{
79 // fill bit array
80 for (auto it = begin; it != end; ++it) {
81 seen[*it - m] = 1;
82 }
83
84 // pointer to see
85 std::size_t seenit = 0;
86 // element to assign to container
87 T i = m;
88
89 // pointer to container
90 iterator_t it = begin;
91 while (it != end) {
92 // assign value to container
93 *it = i;
94 it += seen[seenit];
95
96 // move pointer in bit array
97 seen[seenit] = 0;
98 ++i;
99 ++seenit;
100 }
101}
102
117template <
118 typename T, typename It,
119 std::enable_if_t<
120 std::is_integral_v<T> && is_pointer_iterator_v<T, It>,
121 bool
122 > = true
123>
124void bit_sort_mem(It begin, It end, const std::size_t size, char * const seen)
125noexcept
126{
127 if (size <= 1) { return; }
128 if (size <= 14) {
129 insertion_sort(begin, end);
130 return;
131 }
132 if (size <= 30) {
133 std::sort(begin, end);
134 return;
135 }
136
137 bit_sort(begin,end, T{0}, seen);
138}
139
151template <
152 typename T, typename It,
153 std::enable_if_t<
154 std::is_integral_v<T> && is_pointer_iterator_v<T, It>,
155 bool
156 > = true
157>
158void bit_sort(It begin, It end, const std::size_t size) noexcept
159{
160 if (size <= 1) { return; }
161 if (size <= 14) {
162 insertion_sort(begin, end);
163 return;
164 }
165 if (size <= 30) {
166 std::sort(begin, end);
167 return;
168 }
169
170 // maximum & minimum elements within array
171 const auto [m_it,M_it] = std::minmax_element(begin, end);
172 const auto m = *m_it;
173 const auto M = *M_it;
174
175 // bit array
176 data_array<char> seen(M - m + 1, 0);
177
178 bit_sort(begin,end, m, seen.begin());
179}
180
181} // -- namespace sorting
182} // -- namspace utils
183} // -- namespace lal
void insertion_sort(It begin, It end) noexcept
Insertion sort.
Definition: insertion_sort.hpp:58
void bit_sort(iterator_t begin, iterator_t end, const T &m, char *const seen) noexcept
Sorts the elements within range [begin, end)
Definition: bit_sort.hpp:76
void bit_sort_mem(It begin, It end, const std::size_t size, char *const seen) noexcept
Sort integer values increasingly.
Definition: bit_sort.hpp:124
Main namespace of the library.
Definition: basic_types.hpp:50
Wrapper of a C array for autmatic deallocation of memory.
Definition: data_array.hpp:59
T * begin() noexcept
Non-constant raw pointer to first element.
Definition: data_array.hpp:291