当前位置:首页 > 技术 > 正文内容

树形动态规划的自顶向下实现方法

访客 技术 2026年9月28日 14

树形DP基础与状态设计

树形动态规划通过自顶向下遍历树结构,将子树状态合并到父节点。核心思想是定义状态表示当前节点在不同选择下的最优解,避免贪心策略的错误。

独立集问题

定义状态:dp[u][0]表示不选节点u时子树最大权值和,dp[u][1]表示选u时的最大权值和。

状态转移:

  • dp[u][0] = Σ max(dp[v][0], dp[v][1])(子节点可选可不选)
  • dp[u][1] = Σ dp[v][0] + value[u](选u则子节点不可选)
void dfs(int node, int parent) {
    dp[node][0] = 0;
    dp[node][1] = node_value[node];
    for (int neighbor : graph[node]) {
        if (neighbor == parent) continue;
        dfs(neighbor, node);
        dp[node][0] += max(dp[neighbor][0], dp[neighbor][1]);
        dp[node][1] += dp[neighbor][0];
    }
}

树形背包问题

将节点权值视为物品,容量限制为capacity。状态dp[u][w]表示以u为根的子树在容量w下的最大价值。

转移过程模拟01背包:

  • 遍历子树,将子树状态合并到当前节点
  • 双重循环枚举容量组合
void dfs(int node, int parent) {
    memset(dp[node], -0x3f, sizeof(dp[node]));
    if (weight[node] <= capacity) 
        dp[node][weight[node]] = profit[node];
    for (int child : graph[node]) {
        if (child == parent) continue;
        dfs(child, node);
        vector<int> temp(dp[node], dp[node] + capacity + 1);
        for (int cap1 = 0; cap1 <= capacity; cap1++) {
            for (int cap2 = 0; cap1 + cap2 <= capacity; cap2++) {
                temp[cap1 + cap2] = max(temp[cap1 + cap2], 
                                      dp[node][cap1] + dp[child][cap2]);
            }
        }
        for (int c = 0; c <= capacity; c++) 
            dp[node][c] = temp[c];
    }
}

最小点覆盖问题

目标:选择最少节点覆盖所有边。状态定义:

  • dp[u][0]:u未选,其子树被覆盖
  • dp[u][1]:u已选,子树被覆盖

转移方程:

  • dp[u][0] += dp[v][1]
  • dp[u][1] += min(dp[v][0], dp[v][1]) + 1
void dfs(int node, int parent) {
    for (int child : graph[node]) {
        if (child == parent) continue;
        dfs(child, node);
        dp[node][0] += dp[child][1];
        dp[node][1] += min(dp[child][0], dp[child][1]);
    }
    dp[node][1] += 1;
}

最小支配集问题

状态扩展为三种:

  • dp[u][0]:u被选,子树完全支配
  • dp[u][1]:u未被选,但子树被支配(需至少一个子节点被选)
  • dp[u][2]:u未被选,子树(不含u)被支配

关键转移逻辑:

  • dp[u][1]需保证至少一个子节点被选,通过最小差值调整
void dfs(int node, int parent) {
    long long min_diff = LLONG_MAX;
    for (int child : graph[node]) {
        if (child == parent) continue;
        dfs(child, node);
        dp[node][0] += min({dp[child][0], dp[child][1], dp[child][2]});
        dp[node][1] += min(dp[child][0], dp[child][1]);
        min_diff = min(min_diff, dp[child][0] - min(dp[child][0], dp[child][1]));
        dp[node][2] += dp[child][1];
    }
    dp[node][0] += node_value[node];
    dp[node][1] += min_diff;
}

相关文章

Linux crontab 详解

1) crontab 是什么cron 是 Linux 的定时任务守护进程;crontab 是用来编辑/查看“按时间周期执行命令”的表(cron table)。常见两类:用户 crontab:每个用户一份(crontab -e 编辑)系统级 crontab / cron.d:可指定执行用户(/etc/crontab、/etc/cron.d/*)2) crontab 时间...

富文本里可以允许的 HTML 属性

一、所有标签默认允许的安全属性(极少)class        (可选)id           (通常建议禁用)title️ 注意:id 容易被滥用做锚点注入,很多系统直接禁用class 允许的话最好只允许固定前缀(如 editor-*)二、a 标签允许属性<a href="" t...

Mac 安装 Node.js 指南

方法一:通过官网安装包(最简单,适合初学者)如果你只是想快速安装并开始使用,这是最直接的方法。访问 Node.js 官网。页面会显示两个版本:LTS (Recommended For Most Users):长期支持版,最稳定。建议选这个。Current:最新特性版,包含最新功能但可能不够稳定。下载 .pkg 安装包并运行。按照安装向导点击“下一步”即可完成。方法二:使用 Homebrew 安装(...

Dom\HTML_NO_DEFAULT_NS 的副作用:自动加闭合标签

在使用Dom\HTMLDocument时,Dom\HTML_NO_DEFAULT_NS 将禁止在解析过程中设置元素的命名空间, 此设置是为了与DOMDocument向后兼容而存在的。当使用它时,已知的一个副作用就是:自动加闭合标签例如 </img> 为什么会这样?当你使用:Dom\HTML_NO_DEFAULT_NS文档会变成 无命名空间模式,此时内部更接近 XML...

Laravel 事件和监听器创建

在 Laravel 中,使用 Artisan 命令创建 Events(事件) 和 Listeners(监听器) 是非常高效的。你可以通过以下几种方式来实现:1. 手动创建单个 Event如果你只想创建一个事件类,可以使用 make:event 命令:Bashphp artisan make:event UserRegistered执行后,文件将生成在 app/Even...

自定义域名解析神器 dnsmasq

什么是 dnsmasq?dnsmasq 是一个轻量级、功能强大的网络服务工具,专为小型和中等规模网络设计。它是一个综合的网络基础设施解决方案[1]。dnsmasq 能做什么?功能说明应用场景DNS 转发与缓存将 DNS 查询转发到上游服务器(ISP、Google DNS 等),并在本地缓存结果加快 DNS 查询速度,减少外部 DNS 流量本地 DNS解析本地网络设备的主机名,无需编辑&n...

发表评论

访客

◎欢迎参与讨论,请在这里发表您的看法和观点。