LAL: Linear Arrangement Library 23.01.00
A library focused on algorithms on linear arrangements of graphs.
Loading...
Searching...
No Matches
all_arrangements.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#include <numeric>
47
48// lal includes
49#include <lal/graphs/graph.hpp>
50#include <lal/linear_arrangement.hpp>
51
52namespace lal {
53namespace generate {
54
110public:
116 : all_arrangements(g.get_num_nodes())
117 { }
118
123 all_arrangements(uint64_t n) noexcept
124 : m_n(n),
126 {
127 reset();
128 }
129
138 const linear_arrangement& get_arrangement() const noexcept
139 { return m_arr; }
140
142 bool end() const noexcept { return m_reached_end; }
143
150 void next() noexcept {
152 not std::next_permutation(m_arr.begin_direct(), m_arr.end_direct());
154 }
155
157 void reset() noexcept {
158 m_reached_end = false;
159 m_arr.identity();
160 }
161
168 // yes, a copy...
170 next();
171 return arr;
172 }
173
174private:
176 const uint64_t m_n;
184 bool m_reached_end = false;
185};
186
187} // -- namespace generate
188} // -- namespace lal
Exhaustive enumeration of arrangements of any graph.
Definition: all_arrangements.hpp:109
all_arrangements(uint64_t n) noexcept
Constructor with number of vertices.
Definition: all_arrangements.hpp:123
const linear_arrangement & get_arrangement() const noexcept
Returns the current linear arrangemnt.
Definition: all_arrangements.hpp:138
bool m_reached_end
Has the end of the iteration been reached?
Definition: all_arrangements.hpp:184
const uint64_t m_n
Number of vertices.
Definition: all_arrangements.hpp:176
void next() noexcept
Generates the next arrangement.
Definition: all_arrangements.hpp:150
linear_arrangement m_arr
The arrangement generated by this class.
Definition: all_arrangements.hpp:182
all_arrangements(const lal::graphs::graph &g) noexcept
Constructor with graph.
Definition: all_arrangements.hpp:115
void reset() noexcept
Sets the generator to its initial state.
Definition: all_arrangements.hpp:157
linear_arrangement yield_arrangement() noexcept
Constructs the current arrangement.
Definition: all_arrangements.hpp:167
bool end() const noexcept
Returns true if the end of the iteration was reached.
Definition: all_arrangements.hpp:142
Abstract class for graphs.
Definition: graph.hpp:69
Linear arrangement of vertices.
Definition: linear_arrangement.hpp:103
static linear_arrangement identity(std::size_t n) noexcept
Constructs a linear arrangement from an inverse arrangement.
Definition: linear_arrangement.hpp:444
void update_inverse() noexcept
Updates the inverse arrangement using the direct arrangement.
Definition: linear_arrangement.hpp:474
node * begin_direct() noexcept
Pointer to beginning of direct arrangement.
Definition: linear_arrangement.hpp:481
node * end_direct() noexcept
Pointer to end of direct arrangement.
Definition: linear_arrangement.hpp:485
Main namespace of the library.
Definition: basic_types.hpp:50