forked from adnanaziz/EPIJudge
-
Notifications
You must be signed in to change notification settings - Fork 0
/
is_circuit_wirable.cc
82 lines (68 loc) · 1.92 KB
/
is_circuit_wirable.cc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
#include <algorithm>
#include <queue>
#include <stdexcept>
#include <vector>
#include "test_framework/generic_test.h"
#include "test_framework/serialization_traits.h"
#include "test_framework/timed_executor.h"
using std::all_of;
using std::queue;
using std::vector;
struct GraphVertex;
bool Bfs(GraphVertex* s);
struct GraphVertex {
int d = -1;
vector<GraphVertex*> edges;
};
bool IsAnyPlacementFeasible(vector<GraphVertex>* graph) {
return all_of(begin(*graph), end(*graph),
[](GraphVertex& v) { return v.d != -1 || Bfs(&v); });
}
bool Bfs(GraphVertex* s) {
s->d = 0;
queue<GraphVertex*> q;
q.emplace(s);
while (!empty(q)) {
for (GraphVertex*& t : q.front()->edges) {
if (t->d == -1) { // Unvisited vertex.
t->d = q.front()->d + 1;
q.emplace(t);
} else if (t->d == q.front()->d) {
return false;
}
}
q.pop();
}
return true;
}
struct Edge {
int from;
int to;
};
template <>
struct SerializationTraits<Edge> : UserSerTraits<Edge, int, int> {};
bool IsAnyPlacementFeasibleWrapper(TimedExecutor& executor, int k,
const vector<Edge>& edges) {
vector<GraphVertex> graph;
if (k <= 0) {
throw std::runtime_error("Invalid k value");
}
graph.reserve(k);
for (int i = 0; i < k; i++) {
graph.push_back(GraphVertex{});
}
for (auto& e : edges) {
if (e.from < 0 || e.from >= k || e.to < 0 || e.to >= k) {
throw std::runtime_error("Invalid vertex index");
}
graph[e.from].edges.push_back(&graph[e.to]);
}
return executor.Run([&] { return IsAnyPlacementFeasible(&graph); });
}
int main(int argc, char* argv[]) {
std::vector<std::string> args{argv + 1, argv + argc};
std::vector<std::string> param_names{"executor", "k", "edges"};
return GenericTestMain(
args, "is_circuit_wirable.cc", "is_circuit_wirable.tsv",
&IsAnyPlacementFeasibleWrapper, DefaultComparator{}, param_names);
}