2016-09-19 11:50:08 +08:00
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include <unordered_map>
|
|
|
|
|
2017-01-06 04:47:08 +08:00
|
|
|
namespace vcpkg::Graphs
|
2016-09-19 11:50:08 +08:00
|
|
|
{
|
|
|
|
enum class ExplorationStatus
|
|
|
|
{
|
|
|
|
// We have not visited this vertex
|
|
|
|
NOT_EXPLORED,
|
|
|
|
|
|
|
|
// We have visited this vertex but haven't visited all vertices in its subtree
|
|
|
|
PARTIALLY_EXPLORED,
|
|
|
|
|
|
|
|
// We have visited this vertex and all vertices in its subtree
|
|
|
|
FULLY_EXPLORED
|
|
|
|
};
|
|
|
|
|
2017-04-12 10:37:38 +08:00
|
|
|
template <class V, class U>
|
|
|
|
__interface AdjacencyProvider
|
2016-09-19 11:50:08 +08:00
|
|
|
{
|
2017-04-12 10:37:38 +08:00
|
|
|
std::vector<V> adjacency_list(const U& vertex) const;
|
2016-09-19 11:50:08 +08:00
|
|
|
|
2017-04-12 10:37:38 +08:00
|
|
|
U load_vertex_data(const V& vertex) const;
|
|
|
|
};
|
2017-04-11 09:45:44 +08:00
|
|
|
|
2017-04-12 10:37:38 +08:00
|
|
|
template <class V, class U>
|
|
|
|
static void topological_sort_internal(const V& vertex,
|
|
|
|
const AdjacencyProvider<V, U>& f,
|
|
|
|
std::unordered_map<V, ExplorationStatus>& exploration_status,
|
|
|
|
std::vector<U>& sorted)
|
|
|
|
{
|
|
|
|
ExplorationStatus& status = exploration_status[vertex];
|
|
|
|
switch (status)
|
2017-04-12 05:44:14 +08:00
|
|
|
{
|
2017-04-12 10:37:38 +08:00
|
|
|
case ExplorationStatus::FULLY_EXPLORED:
|
|
|
|
return;
|
|
|
|
case ExplorationStatus::PARTIALLY_EXPLORED:
|
|
|
|
Checks::exit_with_message(VCPKG_LINE_INFO, "cycle in graph");
|
|
|
|
case ExplorationStatus::NOT_EXPLORED:
|
|
|
|
{
|
|
|
|
status = ExplorationStatus::PARTIALLY_EXPLORED;
|
2017-04-13 10:29:43 +08:00
|
|
|
U vertex_data = f.load_vertex_data(vertex);
|
2017-04-12 10:37:38 +08:00
|
|
|
for (const V& neighbour : f.adjacency_list(vertex_data))
|
|
|
|
topological_sort_internal(neighbour, f, exploration_status, sorted);
|
|
|
|
|
|
|
|
sorted.push_back(std::move(vertex_data));
|
|
|
|
status = ExplorationStatus::FULLY_EXPLORED;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
Checks::unreachable(VCPKG_LINE_INFO);
|
2017-04-12 05:44:14 +08:00
|
|
|
}
|
|
|
|
}
|
2016-09-19 11:50:08 +08:00
|
|
|
|
2017-04-12 10:37:38 +08:00
|
|
|
template <class V, class U>
|
|
|
|
std::vector<U> topological_sort(const std::vector<V>& starting_vertices, const AdjacencyProvider<V, U>& f)
|
2017-04-12 05:44:14 +08:00
|
|
|
{
|
2017-04-12 10:37:38 +08:00
|
|
|
std::vector<U> sorted;
|
2017-04-12 05:44:14 +08:00
|
|
|
std::unordered_map<V, ExplorationStatus> exploration_status;
|
|
|
|
|
|
|
|
for (auto& vertex : starting_vertices)
|
|
|
|
{
|
2017-04-12 10:37:38 +08:00
|
|
|
topological_sort_internal(vertex, f, exploration_status, sorted);
|
2016-09-19 11:50:08 +08:00
|
|
|
}
|
|
|
|
|
2017-04-12 05:44:14 +08:00
|
|
|
return sorted;
|
|
|
|
}
|
2017-01-06 04:47:08 +08:00
|
|
|
}
|