Yukicoder No.408 五輪ピック
writerの解説にあるcolor codingという確率的algorithmは面白いので見ておくべき。 グラフに限らず、全ての要素が異なる何かをひとつ見つける場合の一般に使えそう。
problem
単純グラフが与えられるので、頂点$0$を含む長さ$5$の閉路の存在を答える問題。
solution
頂点$0$のちょうど反対の位置の辺$e$を固定して残りの$2$頂点が存在するかを確認する。$O(M \log N)$。
辺$e$を固定すると閉路の形は$(0, x, \phi(e), \psi(e), y)$という形になる。 このとき$0 - x - \phi(e)$かつ$0 - y - \psi(e)$で$0, x, \phi(e), \psi(e), y$が相異なるような頂点$x, y$が存在するかどうか確認すればよい。 この存在性は、各頂点$v$に関して$0 - w - v$であるような頂点$w$の集合$f(v)$を計算しておけば、$|f(\phi(e))| \ge 2 \lor |f(\psi(e))| \ge 2 \lor f(\phi(e)) \ne f(\psi(e))$のようにして$O(\log N)$で判定できる。
implementation
#include <iostream>
#include <vector>
#include <set>
#define repeat(i,n) for (int i = 0; (i) < (n); ++(i))
using namespace std;
int main() {
// input
int n, m; cin >> n >> m;
vector<int> a(m), b(m);
repeat (i,m) {
cin >> a[i] >> b[i];
-- a[i]; -- b[i];
}
// select vertices and edges
const int root = 0;
set<int> v1;
repeat (i,m) {
if (b[i] == root) v1.insert(a[i]);
if (a[i] == root) v1.insert(b[i]);
}
vector<set<int> > g1(n);
repeat (i,m) {
if (v1.count(b[i])) g1[a[i]].insert(b[i]);
if (v1.count(a[i])) g1[b[i]].insert(a[i]);
}
// find a cycle
bool ans = false;
repeat (e,m) {
int i = a[e];
int j = b[e];
if (i == root or j == root) continue;
bool g1_i_count_j = g1[i].count(j); g1[i].erase(j);
bool g1_j_count_i = g1[j].count(i); g1[j].erase(i);
if (not g1[i].empty() and not g1[j].empty()) {
if (g1[i].size() >= 2 or g1[j].size() >= 2 or g1[i] != g1[j]) {
ans = true;
}
}
if (g1_i_count_j) g1[i].insert(j);
if (g1_j_count_i) g1[j].insert(i);
if (ans) break;
}
// output
cout << (ans ? "YES" : "NO") << endl;
return 0;
}