POJ ~ 2446 ~ Chessboard (二分图匹配 + 奇偶性建图)

题意:输入三个数字m,n,k。表示m*n的图中有k个洞,然后输入这k个洞的坐标(y,x),y表示列,x表示行。问拿1*2的木块去是否能铺满这个图,木块不允许覆盖,有洞的地方不允许放。


思路:打死我也想不到这是二分图匹配问题。首先图中的点可以分为两部分,(i+j)为偶数的点,(i+j)为奇数的点,铺砖其实就相当于如果选择一个奇数点那么一定要选择一个偶数点。这样这个图就分为了两部分,奇数点集合,偶数点集合,建边呢就是奇数点到相邻的偶数点建边,偶数点到相邻的奇数点建边。

建边的时候有一个优化:如果按上述方法建边会建立很多重复的边导致复杂度上升。我们让每个点都跟他的左边那个点和上边那个点去建边就好了,但是一定要确保边都是从奇数点到偶数点(或偶数点到奇数点的),要保持一致。

对于n*m-k为奇数时,一定不行,因为木块为2。



最大流解法:建立超级源和超级汇,超级源到奇数点建边,超级汇到偶数点建边。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<vector>
#include<queue>
using namespace std;
const int MAXN = 35*35;
const int INF = 0x3f3f3f3f;
struct Edge
{
    int from, to, cap, flow;       //起点,终点,容量,流量
    Edge(int u, int v, int c, int f) : from(u), to(v), cap(c), flow(f) {}
};
struct Dinic
{
    int n, m, s, t;                //结点数,边数(包括反向弧),源点s,汇点t
    vector<Edge> edges;            //边表。edges[e]和edges[e^1]互为反向弧
    vector<int> G[MAXN];           //邻接表,G[i][j]表示结点i的第j条边在edges数组中的序号
    int d[MAXN];                   //从起点到i的距离(层数差)
    int cur[MAXN];                 //当前弧下标
    bool vis[MAXN];                //BFS分层使用

    void init(int n)
    {
        this->n = n;
        edges.clear();
        for (int i = 0; i <= n; i++) G[i].clear();
    }

    void add_edge(int from, int to, int cap)
    {
        edges.push_back(Edge(from, to, cap, 0));
        edges.push_back(Edge(to, from, 0, 0));
        m = edges.size();
        G[from].push_back(m - 2);
        G[to].push_back(m - 1);
    }

    bool BFS()//构造分层网络
    {
        memset(vis, 0, sizeof(vis));
        queue<int> Q;
        d[s] = 0;
        vis[s] = true;
        Q.push(s);
        while (!Q.empty())
        {
            int x = Q.front(); Q.pop();
            for (int i = 0; i < G[x].size(); i++)
            {
                Edge& e = edges[G[x][i]];
                if (!vis[e.to] && e.cap > e.flow)
                {
                    vis[e.to] = true;
                    d[e.to] = d[x] + 1;
                    Q.push(e.to);
                }
            }
        }
        return vis[t];
    }
    int DFS(int x, int a)//沿阻塞流增广
    {
        if (x == t || a == 0) return a;
        int flow = 0, f;
        for (int& i = cur[x]; i < G[x].size(); i++)//从上次考虑的弧
        {
            Edge& e = edges[G[x][i]];
            if (d[x] + 1 == d[e.to] && (f = DFS(e.to, min(a, e.cap - e.flow))) > 0)//多路增广
            {
                e.flow += f;
                edges[G[x][i]^1].flow -= f;
                flow += f;
                a -= f;
                if (a == 0) break;
            }
        }
        return flow;
    }
    int max_flow(int s, int t)
    {
        this->s = s; this->t = t;
        int flow = 0;
        while (BFS())
        {
            memset(cur, 0, sizeof(cur));
            flow += DFS(s, INF);
        }
        return flow;
    }
};
Dinic solve;
int main()
{
    int n, m, k;
    bool vis[MAXN][MAXN];
    while (~scanf("%d%d%d", &n, &m, &k))
    {
        if ((n*m-k)&1) { printf("NO\n"); continue; }//奇数个点一定不行
        solve.init(n*m+1);
        memset(vis, 0, sizeof(vis));
        for (int i = 0; i < k; i++)
        {
            int x, y; scanf("%d%d", &y, &x);
            vis[x][y] = true;
        }
        int s = 0, t = n*m+1;
        for (int i = 1; i <= n; i++)
        {
            for (int j = 1; j <= m; j++)
            {
                if (vis[i][j]) continue;
                if((i+j)&1)
                {
                    solve.add_edge(s, i*n+j, 1); //超级源到奇数点
                    if (!vis[i][j-1] && j-1 > 0) solve.add_edge(i*n+j, i*n+j-1, 1);//左
                    if (!vis[i-1][j] && i-1 > 0) solve.add_edge(i*n+j, (i-1)*n+j, 1);//上
                }
                else
                {
                    if (!vis[i][j-1] && j-1 > 0) solve.add_edge(i*n+j-1, i*n+j, 1);//左
                    if (!vis[i-1][j] && i-1 > 0) solve.add_edge((i-1)*n+j, i*n+j, 1);//上
                    solve.add_edge(i*n+j, t, 1); //偶数点到超级汇
                }
            }
        }
        int ans = solve.max_flow(s, t);
        if (ans == (n*m-k)/2) printf("YES\n");
        else printf("NO\n");
    }
    return 0;
}
/*
4 3 2
2 1
3 3
*/




阅读更多
版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/ZscDst/article/details/79966317
上一篇POJ ~ 3041 ~ Asteroids (二分图 + 最小点覆盖)
下一篇POJ ~ 1019 ~ Number Sequence (模拟 or 数学规律)
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

关闭
关闭