Codeforces 512C Fox And Dinner 奇偶建图 网络流

本文介绍了一种使用网络流算法解决特定桌椅排列问题的方法,确保任意两个相邻的人权利之和为素数,且每张桌子至少包含3个人。通过构建二部图并利用奇偶数特性,实现满流状态来验证解的存在性,并提供一种输出具体方案的方法。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

题目链接:点击打开链接

题意:

给定n个人和其权值。

让人坐到任意多张圆形的桌子上使得任意两个相邻的人权值和为素数,且一张桌子至少3个人

输出桌子数和每张桌子坐的人(输出任意一个具体方案)

思路:

 首先人的权值都是>=2的,也是就说组合成的素数一定是奇数

奇数 = 奇数+偶数。所以桌子上的人一定是奇偶交错的,而且一张桌子人数是偶数个(即n必须为偶数,一半是奇数,一半是偶数)

由上得:一个奇数要选择2个偶数,一个偶数要被2个奇数选择。

所以得到一个二部图,X集为奇数,Y集为偶数

网络流:

奇数连源点,flow=2

偶数连汇点,flow=2

if(奇数+偶数 == Prime)

奇数向偶数连一条flow=1的边

满流时就说明有解

输出方案时把连通块放一桌即可。

#pragma comment(linker, "/STACK:1024000000,1024000000")
#include<stdio.h>
#include<iostream>
#include<algorithm>
#include<queue>
#include<cstring>
#include<vector>
#include<set>
#include<cmath>
using namespace std;
#define inf 1073741824
#define N 500 
#define M 100100
//N为点数 M为边数

struct Edge{
    int from, to, cap, nex;
}edge[M * 2];//双向边,注意RE 注意这个模版是 相同起末点的边 同时有效而不是去重
int head[N], tot;//2个要初始化-1和0

void add(int u, int v, int cap, int rw = 0){//网络流要加反向弧,即u->v 为10 则 v->u为 -10
    Edge E = { u, v, cap, head[u] };
    edge[tot] = E;
    head[u] = tot++;

    Edge E2 = { v, u, rw, head[v] }; //如果是无向边则rw的参数值和cap相同(即 add(u,v,cap,cap) ),若是有向边则rw不写(即 add(u,v,cap); )
    edge[tot] = E2;
    head[v] = tot++;
}

int dis[N], cur[N];//dis[i]表示i点距离起点的距离 cur[i]表示i点所连接的边中 正在考虑的边 优化不再考虑已经用过的点 初始化为head
bool vis[N];
bool BFS(int Start, int End){//跑一遍最短路
    memset(vis, 0, sizeof(vis));
    memset(dis, -1, sizeof(dis));

    queue<int>Q;
    Q.push(Start);  dis[Start] = 0; vis[Start] = 1;

    while (!Q.empty())
    {
        int u = Q.front(); Q.pop();
        for (int i = head[u]; i != -1; i = edge[i].nex){
            Edge E = edge[i];
            if (!vis[E.to] && E.cap > 0)
            {
                vis[E.to] = true;
                dis[E.to] = dis[u] + 1;
                if (E.to == End) return true;
                Q.push(E.to);
            }
        }
    }
    return false;
}
int DFS(int x, int a, int End){//当前 流入x 的流量是a   流量a 是所有流过边中 边权的最小值
    if (x == End || a == 0)return a;
    int flow = 0, f; //flow表示从x点流到下面所有点,最大的流量
    for (int& i = cur[x]; i != -1; i = edge[i].nex)
    {
        Edge& E = edge[i];
        if (dis[x] + 1 == dis[E.to] && (f = DFS(E.to, min(a, E.cap), End))>0)
        {
            E.cap -= f;
            edge[i ^ 1].cap += f;//反向边要减掉
            flow += f;
            a -= f;
            if (a == 0)break;
        }
    }
    return flow;
}
int Dinic(int Start, int End){
    int flow = 0;
    while (BFS(Start, End)){ //当存在源点到汇点的路径时
        memcpy(cur, head, sizeof(head));//把head的数组复制过去
        flow += DFS(Start, inf, End);
    }
    return flow;
}
void init(){ memset(head, -1, sizeof head); tot = 0; }

int prime[10000], primenum;//有primenum个素数 math.h  
set<int>p;
void PRIME(int Max_Prime){
    p.clear();
    primenum = 0;
    prime[primenum++] = 2;
    for (int i = 3; i <= Max_Prime; i += 2)
    for (int j = 0; j<primenum; j++)
    if (i%prime[j] == 0)break;
    else if (prime[j]>sqrt((double)i) || j == primenum - 1)
    {
        prime[primenum++] = i;
        break;
    }
    for (int i = 0; i < primenum; i++)p.insert(prime[i]);
}
int a[N], n;
vector<int>G[N];
int top;
bool Vis[N];
void dfs(int u, vector<int>&x){
    Vis[u] = 1;
    x.push_back(u);
    for (int i = head[u]; ~i; i = edge[i].nex){
        int v = edge[i].to; if (Vis[v])continue;
        if (a[u] & 1){
            if (edge[i].cap != 1){
                edge[i].cap++;
                dfs(v, x);
            }
        }
        else {
            if (edge[i].cap){
                edge[i].cap--;
                dfs(v, x);
            }
        }
    }
}
int main(){
    PRIME(20000);
    while (cin >> n){
        for (int i = 0; i < n; i++)cin >> a[i];
        if (n & 1){ puts("Impossible"); continue; }
        init();
        int from = n, to = n + 1;
        Vis[from] = Vis[to] = 1;
        for (int i = 0; i < n; i++){
            G[i].clear();
            Vis[i] = 0;
            if (a[i] & 1)
                add(from, i, 2);            
            else
                add(i, to, 2);
            for (int j = 0 ; j < n; j++)
                if (p.count(a[i] + a[j]))
                {
                    if (a[i] & 1)
                        add(i, j, 1);
                }
        }
        int all = Dinic(from, to);
        if (all == n){
            top = 0;
            for (int i = 0; i < n; i++)
            if (Vis[i] == 0){
                dfs(i, G[top++]);
            }
            printf("%d\n", top);
            for (int i = 0; i < top; i++)
            {
                printf("%d ", G[i].size());
                for (int j = 0; j < G[i].size(); j++)printf("%d ", G[i][j]+1); puts("");
            }
        }
        else puts("Impossible");
    }
    return 0;
}


### 解题思路 #### 问题描述 Codeforces 1678C - Tokitsukaze and Strange Inequality 是一道关于排列组合与前缀和的应用问题。给定一个长度为 \( n \) 的排列数组 \( p \),需要统计满足条件 \( a < b < c < d \) 并且 \( p_a < p_c \) 同时 \( p_b > p_d \) 的四元组数量。 --- #### 核心思想 由于数据规模较小 (\( n \leq 5000 \)),可以直接通过枚举的方式解决问题。为了降低时间复杂度,引入 **前缀和** 技术来加速计算过程[^3]。 具体来说: - 枚举变量 \( a \) 和 \( c \),固定它们之后,目标是快速找到符合条件的 \( b \) 和 \( d \)。 - 使用预处理好的前缀和数组 `num` 来高效查询某个范围内满足特定关系的数量。 - 定义辅助数组 `sum` 表示对于固定的区间范围内的某些约束条件下的累积计数结果。 --- #### 实现细节 ##### 步骤一:构前缀和数组 `num` 定义二维数组 `num[i][j]`,其中 `num[i][j]` 表示在序列的前 \( i \) 项中,有多少个元素大于 \( j \)。 该数组可以通过如下方式初始化: ```python n = len(p) max_val = max(p) # 初始化 num 数组 num = [[0] * (max_val + 2) for _ in range(n + 1)] for i in range(1, n + 1): for j in range(max_val + 1, -1, -1): # 反向遍历以保持正确性 if p[i - 1] > j: num[i][j] = num[i - 1][j] + 1 else: num[i][j] = num[i - 1][j] ``` 上述代码的时间复杂度为 \( O(n \cdot m) \),其中 \( m \) 是数组中的最大值。 --- ##### 步骤二:定义并填充辅助数组 `sum` 定义另一个二维数组 `sum[i][j]`,它表示当 \( a=i \), \( c=j \) 时,在区间 \([a+1, c-1]\) 中满足 \( p[b] > p[d] \) 的总贡献次数。 利用动态规划的思想逐步更新此数组: ```python sum_ = [[0] * (n + 1) for _ in range(n + 1)] bucket = [0] * (max_val + 1) for l in range(n - 1, 0, -1): bucket[p[l]] += 1 for r in range(l + 2, n + 1): sum_[l][r] = sum_[l][r - 1] + (num[r - 1][p[r - 1]] - num[l][p[r - 1]]) ``` 这里的关键在于如何有效累加当前区间的合法贡献,并借助之前已经计算的结果减少重复运算。 --- ##### 步骤三:枚举所有可能的 \( a \) 和 \( c \) 最后一步是对所有的 \( a \) 和 \( c \) 进行双重循环,并将对应位置上的 `sum[a][c]` 加入最终答案中: ```python result = 0 for a in range(1, n - 2): for c in range(a + 2, n): result += sum_[a][c] print(result) ``` 整个算法的核心部分即完成以上三个阶段的操作即可实现高效的解决方案。 --- ### 总结 本题主要考察的是对多重嵌套结构的有效简化以及合理运用前缀和技巧的能力。通过巧妙设计的数据结构能够显著提升程序运行效率至可接受水平。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值