aGrUM 3.0.0
a C++ library for (probabilistic) graphical models
pathFinding.h
Go to the documentation of this file.
1/****************************************************************************
2 * This file is part of the aGrUM/pyAgrum library. *
3 * *
4 * Copyright (c) 2005-2026 by *
5 * - Pierre-Henri WUILLEMIN(_at_LIP6) *
6 * - Christophe GONZALES(_at_AMU) *
7 * *
8 * The aGrUM/pyAgrum library is free software; you can redistribute it *
9 * and/or modify it under the terms of either : *
10 * *
11 * - the GNU Lesser General Public License as published by *
12 * the Free Software Foundation, either version 3 of the License, *
13 * or (at your option) any later version, *
14 * - the MIT license (MIT), *
15 * - or both in dual license, as here. *
16 * *
17 * (see https://agrum.gitlab.io/articles/dual-licenses-lgplv3mit.html) *
18 * *
19 * This aGrUM/pyAgrum library is distributed in the hope that it will be *
20 * useful, but WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, *
21 * INCLUDING BUT NOT LIMITED TO THE WARRANTIES MERCHANTABILITY or FITNESS *
22 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE *
23 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER *
24 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, *
25 * ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR *
26 * OTHER DEALINGS IN THE SOFTWARE. *
27 * *
28 * See LICENCES for more details. *
29 * *
30 * SPDX-FileCopyrightText: Copyright 2005-2026 *
31 * - Pierre-Henri WUILLEMIN(_at_LIP6) *
32 * - Christophe GONZALES(_at_AMU) *
33 * SPDX-License-Identifier: LGPL-3.0-or-later OR MIT *
34 * *
35 * Contact : info_at_agrum_dot_org *
36 * homepage : http://agrum.gitlab.io *
37 * gitlab : https://gitlab.com/agrumery/agrum *
38 * *
39 ****************************************************************************/
40
41
58#ifndef GUM_GRAPH_PATH_FINDING_H
59#define GUM_GRAPH_PATH_FINDING_H
60
61#include <optional>
62#include <vector>
63
64#include <agrum/agrum.h>
65
67
68namespace gum::graph {
69
70 namespace detail {
72 inline std::vector< NodeId >
74 } // namespace detail
75
76 // =========================================================================
77 // Directed graphs (GUM_DiGraphable)
78 // =========================================================================
79
86 template < GUM_DiGraphable G >
87 std::optional< std::vector< NodeId > > directedPath(const G& g, NodeId n1, NodeId n2);
88
95 template < GUM_DiGraphable G >
96 std::optional< std::vector< NodeId > > directedUnorientedPath(const G& g, NodeId n1, NodeId n2);
97
103 template < GUM_DiGraphable G >
104 bool hasDirectedPath(const G& g, NodeId from, NodeId to);
105
106 // =========================================================================
107 // Undirected graphs (GUM_UndiGraphable)
108 // =========================================================================
109
116 template < GUM_UndiGraphable G >
117 std::optional< std::vector< NodeId > > undirectedPath(const G& g, NodeId n1, NodeId n2);
118
122 template < GUM_UndiGraphable G >
123 bool hasUndirectedPath(const G& g, NodeId n1, NodeId n2);
124
129 template < GUM_UndiGraphable G >
130 bool hasUndirectedPath(const G& g, NodeId n1, NodeId n2, const NodeSet& except);
131
136 template < GUM_UndiGraphable G >
137 bool hasUndirectedPath(const G& g, const NodeSet& n1, const NodeSet& n2, const NodeSet& except);
138
139 // =========================================================================
140 // Mixed graphs (GUM_MixedGraphable)
141 // =========================================================================
142
149 template < GUM_MixedGraphable G >
150 std::optional< std::vector< NodeId > > mixedOrientedPath(const G& g, NodeId n1, NodeId n2);
151
155 template < GUM_MixedGraphable G >
156 bool hasMixedOrientedPath(const G& g, NodeId n1, NodeId n2);
157
164 template < GUM_MixedGraphable G >
165 std::optional< std::vector< NodeId > > mixedUnorientedPath(const G& g, NodeId n1, NodeId n2);
166
167} // namespace gum::graph
168
170
171#endif // GUM_GRAPH_PATH_FINDING_H
C++20 concepts for aGrUM graph interfaces.
Size NodeId
Type for node ids.
HashTable< NodeId, VAL > NodeProperty
Property on graph elements.
Set< NodeId > NodeSet
Some typdefs and define for shortcuts ...
std::vector< NodeId > reconstructPath(const NodeProperty< NodeId > &mark, NodeId n1, NodeId n2)
Reconstruct the BFS path [n1 … n2] from the predecessor mark table.
std::optional< std::vector< NodeId > > undirectedPath(const G &g, NodeId n1, NodeId n2)
Shortest undirected path from n1 to n2 (BFS).
bool hasMixedOrientedPath(const G &g, NodeId n1, NodeId n2)
Returns true if a mixed-oriented path from n1 to n2 exists.
std::optional< std::vector< NodeId > > directedUnorientedPath(const G &g, NodeId n1, NodeId n2)
Shortest path from n1 to n2 ignoring arc orientation (BFS).
std::optional< std::vector< NodeId > > directedPath(const G &g, NodeId n1, NodeId n2)
Shortest directed path from n1 to n2 (BFS, arc direction).
std::optional< std::vector< NodeId > > mixedUnorientedPath(const G &g, NodeId n1, NodeId n2)
Shortest path ignoring all orientations in a mixed graph.
bool hasDirectedPath(const G &g, NodeId from, NodeId to)
Returns true if there is a directed path from from to to.
std::optional< std::vector< NodeId > > mixedOrientedPath(const G &g, NodeId n1, NodeId n2)
Shortest mixed-oriented path from n1 to n2.
bool hasUndirectedPath(const G &g, NodeId n1, NodeId n2)
Returns true if an undirected path exists between n1 and n2.