【板子】拓扑序计数

题目通过逆序对约束建立了一个有向无环图(DAG),要求计算这个 DAG 所有可能的拓扑序数量。这是图论中一个非常经典的问题。

给定一个有向无环图(DAG),包含 n 个节点和 m 条有向边。求从节点 1 到节点 n 的所有拓扑序数量(即满足所有边约束的全排列数量)。答案对 998244353 取模。

输入格式

  • 第一行:n, m

  • 接下来 m 行:每行 u, v 表示一条从 u 到 v 的有向边

输出格式

一个整数,表示拓扑序数量

核心思路

  1. pre[i]i 的所有前驱节点。

  2. dp[mask] 表示当前已经放了 mask(二进制状态)里的这些数,有多少种合法方案。

  3. 枚举 mask,尝试放一个新的节点 j

  4. 如果 j 的所有前驱都已经在 mask 里了,就可以放 j


代码

复制代码
#include <bits/stdc++.h>
using namespace std;

const int MOD = 998244353;

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int n, m;
    cin >> n >> m;

    // pre[j] = 所有必须在 j 前面的节点列表
    vector<vector<int>> pre(n);

    for (int i = 0; i < m; i++) {
        int u, v;
        cin >> u >> v;
        u--; v--;       // 转为 0-based
        pre[v].push_back(u); // u 是 v 的前驱
    }

    // dp[mask] = 当前选中集合为 mask 时的方案数
    vector<int> dp(1 << n, 0);
    dp[0] = 1; // 初始状态:一个数都没放,算 1 种方案

    // 枚举所有状态
    for (int mask = 0; mask < (1 << n); mask++) {
        // 尝试放下一个节点 j
        for (int j = 0; j < n; j++) {
            // 如果 j 已经放过了,跳过
            if (mask >> j & 1) continue;

            // 检查 j 的所有前驱是否都已经放过
            bool ok = true;
            for (int p : pre[j]) {
                if (!(mask >> p & 1)) {
                    ok = false;
                    break;
                }
            }

            // 如果前驱齐全,可以放 j
            if (ok) {
                int next_mask = mask | (1 << j);
                dp[next_mask] = (dp[next_mask] + dp[mask]) % MOD;
            }
        }
    }

    // 答案:所有节点都放完了的状态
    cout << dp[(1 << n) - 1] << '\n';

    return 0;
}
相关推荐
fqbqrr1 小时前
2607d,C++细节比不上d
c++·d
^yi1 小时前
【C++】继承的那些事儿~
c++·继承·菱形继承·隐藏·final·继承原理·多继承的指针偏移
37.2℃9952 小时前
专业的Claude Design解决方案
前端·算法
め.2 小时前
定点数运算库
算法·unity
dyxal2 小时前
最长公共子序列(LCS)
python·算法
ShineWinsu3 小时前
对于Linux:模版方法类的解析以及socket、TcpSocket的封装
linux·c++·面试·socket·模板方法模式·封装·tcpsocket
殷忆枫4 小时前
AI笔记三十七:AI边缘端道桥安全监测系统:YOLOv8n推理与Web监控全解析
笔记·yolo
稚南城才子,乌衣巷风流4 小时前
ST 表(Sparse Table)算法详解:原理、实现与应用
算法
hold?fish:palm4 小时前
9 找到字符串中所有字母异位词
c++·算法·leetcode
逸模4 小时前
轻加盟模式,稳住品牌统一调性的思路
笔记·建模·公装·翻模·交底