IOI 2011 Tropical Gardens Race Ricehub

最新推荐文章于 2021-02-27 20:54:16 发布

置顶

风王之瞳开启

最新推荐文章于 2021-02-27 20:54:16 发布

阅读量437

点赞数

分类专栏：提高组专栏文章标签：算法 dfs 图论

本文链接：https://blog.csdn.net/weixin_45715884/article/details/108457120

版权

这篇博客详细解析了IOI 2011年Tropical Gardens问题，涉及无向图的边权处理、分类讨论和动态规划。博主分享了如何构建有向图，通过DFS解决K值大的情况，以及在Race和Ricehub问题中的解题策略，包括点分治和大水题的解决方案。

摘要由CSDN通过智能技术生成

IOI 2011 Tropical Gardens

给定一个N个点M条边的无向图，每条边有一条边权，保证没有孤立点
进行Q次询问，每一次询问给定一个 $K_Q$ ，求符合如下条件的路径的数目

以任意节点为起点
假设沿着边E’进入节点X，与点X相连的边记为 {E}
- 优先选择 {E} 中边权最小的边
- 假如边权最小的边是E’
  - 如果|E|为1，选择E‘
  - 否则选择边权第二小的边
经过恰好K条边之后到达给定节点P

思路：

首先，给定起点和步数后，路径显然固定
看到分类讨论的条件可以考虑拆点
X表示走最小边，X’表示走次小边

原题由于是交互题，边权已经排序，建图只需要遍历每一条边记录与每一个点相连的最小边和次小边，最后处理只有一条出边的节点，建立有向图G，枚举每个点为起点的路径，检查重点是否为P，并统计。时间复杂度为O(M + NKQ)

现在可以过Subtask 1了：
N <= 1000, M <= 10000, Q = 1, K <= 100
（这就有49分了）

然而Subtask 3 中K达到了可怖的 $10^9$ ，显然我们需要消除K

考虑题目给定的终点P：由于终点是固定的，我们可以将G反向，构成新图 $G^T$

由于路径是固定的，G中每一个点至多有一条出边，因此 $G^T$ 中每一个点至多有一条入边

这也就说明，从P点开始DFS，假设遇到环，那么这个环一定包含P

~~读者真的自证不难~~

我们在DFS过程中记录每个点的dist（初始为 $\inf$ ），记为 $F_i$ ，将环长记为C（假如没有环则为 $\inf$ ）

那么以一个点为起点经过恰好K条边到达点P的充要条件是

存在一个自然数λ，使得K = $F_i$ + λC

复杂度为O(M + NQ)，可以得到满分

一定注意所有编号从0开始！！！！！

#include<cstdio>
#include<cstring>
#include<vector>
#include<queue>
#include<iostream>
#include "garden.h"
#include "gardenlib.h"
//这是一道交互题
using namespace std;
int mmax[150007], sec[150007], dist[300007][2], head[300007], eid, c[2], st;
struct edge {
   
    int to, next;
}e[300007];
inline void insert(register int a, register int b) {
   
    e[++eid].to = b; e[eid].next = head[a]; head[a] = eid;
}
inline void dfs1(register int u) {
   
    //printf("%d\n", u);
    for(register int i = head[u]; i; i = e[i].next) {
   
        int v = e[i].to;
        if(dist[v][0] != 0x3f3f3f3f) {
   
            //if(v != st << 1) {cerr << "Abort\n"; exit(0);}
            c[0] = dist[u][0] + 1 - dist[v][0];
            continue;
        }
        dist[v][0] = dist[u][0] + 1;
        dfs1(v);
    }
}
inline void dfs2(register int u) {
   
    for(register int i = head[u]; i; i = e[i].next) {
   
        int v = e[i].to;
        if