mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-11-25 19:50:45 +08:00
121 lines
3.6 KiB
C++
121 lines
3.6 KiB
C++
#pragma once
|
|
|
|
#include <unordered_map>
|
|
#include <unordered_set>
|
|
|
|
namespace vcpkg::Graphs
|
|
{
|
|
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
|
|
};
|
|
|
|
template <class V>
|
|
class Graph
|
|
{
|
|
static void find_topological_sort_internal(V vertex,
|
|
ExplorationStatus& status,
|
|
const std::unordered_map<V, std::unordered_set<V>>& adjacency_list,
|
|
std::unordered_map<V, ExplorationStatus>& exploration_status,
|
|
std::vector<V>& sorted)
|
|
{
|
|
status = ExplorationStatus::PARTIALLY_EXPLORED;
|
|
|
|
for (V neighbour : adjacency_list.at(vertex))
|
|
{
|
|
ExplorationStatus& neighbour_status = exploration_status[neighbour];
|
|
if (neighbour_status == ExplorationStatus::NOT_EXPLORED)
|
|
{
|
|
find_topological_sort_internal(neighbour, neighbour_status, adjacency_list, exploration_status, sorted);
|
|
}
|
|
else if (neighbour_status == ExplorationStatus::PARTIALLY_EXPLORED)
|
|
{
|
|
throw std::runtime_error("cycle in graph");
|
|
}
|
|
}
|
|
|
|
status = ExplorationStatus::FULLY_EXPLORED;
|
|
sorted.push_back(vertex);
|
|
}
|
|
|
|
public:
|
|
|
|
void add_vertex(V v)
|
|
{
|
|
this->vertices[v];
|
|
}
|
|
|
|
// TODO: Change with iterators
|
|
void add_vertices(const std::vector<V>& vs)
|
|
{
|
|
for (const V& v : vs)
|
|
{
|
|
this->vertices[v];
|
|
}
|
|
}
|
|
|
|
void add_edge(V u, V v)
|
|
{
|
|
this->vertices[v];
|
|
this->vertices[u].insert(v);
|
|
}
|
|
|
|
std::vector<V> find_topological_sort() const
|
|
{
|
|
std::unordered_map<V, int> indegrees = count_indegrees();
|
|
|
|
std::vector<V> sorted;
|
|
sorted.reserve(indegrees.size());
|
|
|
|
std::unordered_map<V, ExplorationStatus> exploration_status;
|
|
exploration_status.reserve(indegrees.size());
|
|
|
|
for (auto& pair : indegrees)
|
|
{
|
|
if (pair.second == 0) // Starting from vertices with indegree == 0. Not required.
|
|
{
|
|
V vertex = pair.first;
|
|
ExplorationStatus& status = exploration_status[vertex];
|
|
if (status == ExplorationStatus::NOT_EXPLORED)
|
|
{
|
|
find_topological_sort_internal(vertex, status, this->vertices, exploration_status, sorted);
|
|
}
|
|
}
|
|
}
|
|
|
|
return sorted;
|
|
}
|
|
|
|
std::unordered_map<V, int> count_indegrees() const
|
|
{
|
|
std::unordered_map<V, int> indegrees;
|
|
|
|
for (auto& pair : this->vertices)
|
|
{
|
|
indegrees[pair.first];
|
|
for (V neighbour : pair.second)
|
|
{
|
|
++indegrees[neighbour];
|
|
}
|
|
}
|
|
|
|
return indegrees;
|
|
}
|
|
|
|
const std::unordered_map<V, std::unordered_set<V>>& adjacency_list() const
|
|
{
|
|
return this->vertices;
|
|
}
|
|
|
|
private:
|
|
std::unordered_map<V, std::unordered_set<V>> vertices;
|
|
};
|
|
}
|