while(!que.empty()){
    auto now = que.front(); que.pop();
    if(/*状態が S_n である*/){
        // 処理
    }
    else{
        // 隣接する状態を追加
    }
}

rep(bit, 1 << n){
    rep(i, n){
        if(bit & 1 << i) // フラグが立っているかの判断
    }
}

vector<int>uf(n, -1); // 非負整数で根、負数でサイズ

function<int(int)>root = [&uf, &root](int x){
    if(uf[x] < 0) return x; // 自身が根
    uf[x] = root(uf[x]);
    return uf[x];
};

function<int(int)>size = [&uf, &root](int x){
    return -uf[root(x)];
};

function<void(int, int)>unite = [&uf, &root, &size](int x, int y){
    if(size(x) < size(y)){ // yに揃える
        uf[root(y)] += uf[root(x)];
        uf[root(x)] = y;
    }
    else { // xに揃える
        uf[root(x)] += uf[root(y)];
        uf[root(y)] = x;
    }
}

int l = 0, r = 0;
while(l < n){
    if(r < n and 条件を満たす){
        // 処理a
        ++r;
    }
    else{
        // 処理a'
        ++l;
    }
    // 処理b
}

vector<ll>a;
vector<ll>b = a; // 1.

// 2.
map<ll,vector<ll>>mp;
for(ll idx=0; ll i : a){
    mp[i].push_back(idx);
    ++idx;
}

// 3. 
sort(ALL(b));

// 4.
for(ll idx=0; ll i : b){
    for(auto j : mp[i]) a[j] = idx;
    ++idx;
}

int main(){
    vector<vector<pair<ll,ll>>> G(n); // グラフ (fir:頂点, sec:距離)
    // グラフ入力

    vector<ll>dist(n, INF); // 距離
    priority_queue<pair<ll,ll>, vector<pair<ll,ll>>, greater<pair<ll,ll>>>que; // 最小値を取り出すqueue
    dist[0] = 0; // 始点
    que.push(make_pair(0, 0)); // 始点の情報を追加

    while(!que.empty()){
        // 1. まだ訪れていない頂点のうち、最も始点から近い点を取り出す
        auto [d, now] = que.top(); que.pop();

        // 2. すでに確定している距離ではない(=すでにその頂点を訪れている)場合、パス
        if(d > dist[now]) continue;

        // 3. 頂点を列挙
        for(auto [i, j] : G[now]){
            // 4. すでにある距離より長くなりそうならパス(追加する必要はない)
            if(dist[i] <= dist[now]+j) continue;

            // 5. 距離を更新(ちなみに、絶対に短くなるのでchminとかは要らない)
            dist[i] = dist[now]+j;

            // 6. queに追加
            que.push(make_pair(dist[i], i));
        }
    }
}

vector<vector<ll>>G(n); // 順方向に辺が張られたグラフ
vector<vector<ll>>Gr(n); // 逆方向に辺が張られたグラフ

// グラフの入力

stack<ll>stk; // 帰りがけ順に記録する
vector<ll>visited(n); // 訪問済みかどうか

// 1. 探索順を決める
function<void(ll)>dfs1=[&](ll now){
    if(visited[now]) return;
    visited[now] = 1;
    for(auto i : G[now]) dfs1(i);
    stk.push(now);
};
rep(i, n) dfs1(i);

// 2. もう一度DFSをして分解
visited.assign(n);
vector<ll>result(n, -1); // どの頂点がどのグループに属するか
function<void(ll,ll)>dfs2=[&](ll now, ll id){
    if(visited[now]) return;
    visited[now] = 1;
    for(auto i : Gr[now]) dfs2(i, id);
    result[now] = id;
};
while(!stk.empty()) {
    ll i = stk.top(); stk.pop();
    dfs2(i, i);
}