[CF11D]A Simple Task 题解

题解

我们从最简单的思路开始考虑，首先看到题目发现\(n\)非常小，于是很容易想到状态压缩。

我们考虑比较直觉的状态，f[i][j][k]表示以i为起点，当前在j，之前去过的点状态为k的简单环的方案数。

仔细思考以后，我们发现这个状态有问题，问题在于，每一个环再环内的每个点都被计算了一次。

那么怎么避免这种状态呢？我们考虑让每个环仅由其中编号最小的点贡献。

这样操作了以后，每个环仍然被计算了两遍(顺时针一次，逆时针一次)，但是关系不大，最后统计答案的时候除2即可。

考虑到起点已经是环中最小的点了，于是我们无需再状态里额外记录它。

于是将状态变换成f[i][j]表示当前在i，之前去过的点状态为j的简单环的方案数。

那么状态之间如何转移呢？直接DP有些困难，于是我们使用记忆化搜索。

在记忆化搜索的时候要记录一个值表示当前去过几个点，因为显然数量在2即以下的点构不成简单环，但会被记搜记录答案，特判即可。

代码

#include <cstdio>

namespace fast_IO{

    const int IN_LEN = 10000000, OUT_LEN = 10000000;

    char ibuf[IN_LEN], obuf[OUT_LEN], *ih = ibuf + IN_LEN, *oh = obuf, *lastin = ibuf + IN_LEN, *lastout = obuf + OUT_LEN - 1;

    inline char getchar_(){return (ih == lastin) && (lastin = (ih = ibuf) + fread(ibuf, 1, IN_LEN, stdin), ih == lastin) ? EOF : *ih++;}

    inline void putchar_(const char x){if(oh == lastout) fwrite(obuf, 1, oh - obuf, stdout), oh = obuf; *oh ++= x;}

    inline void flush(){fwrite(obuf, 1, oh - obuf, stdout);}

    int read(){

        int x = 0; int zf = 1; char ch = ' ';

        while (ch != '-' && (ch < '0' || ch > '9')) ch = getchar_();

        if (ch == '-') zf = -1, ch = getchar_();

        while (ch >= '0' && ch <= '9') x = x * 10 + ch - '0', ch = getchar_(); return x * zf;

    }

    void write(long long x){

        if (x < 0) putchar_('-'), x = -x;

        if (x > 9) write(x / 10);

        putchar_(x % 10 + '0');

    }

}

using namespace fast_IO;

struct Edge{

	int to, next;

} edges[1005];

int head[20], edge_num = 0;

inline void addEdge(int from, int to){

	edges[++edge_num] = (Edge){to, head[from]};

	head[from] = edge_num;

}

long long f[20][1048577];

int vis[20];

long long DFS(int frt, int u, int sta, int cnt){

	vis[u] = 1;

	if (f[u][sta])

		return f[u][sta];

	for (int c_e = head[u]; c_e; c_e = edges[c_e].next){

		int v = edges[c_e].to;

		if ((1 << (v - 1)) & sta){

			if (cnt > 2 && v == frt)

				++f[u][sta];

		}

		else

			if (v > frt)

				f[u][sta] += DFS(frt, v, sta | (1 << (v - 1)), cnt + 1);

	}

	return f[u][sta];

}

int main(){

	int n = read(), m = read();

	for (int i = 0; i < m; ++i){

		int u = read(), v = read();

		addEdge(u, v), addEdge(v, u);

	}

	long long ans = 0;

	for (int i = 1; i <= n; ++i)

		ans += DFS(i, i, (1 << (i - 1)), 1);

	write(ans / 2); flush();

	return 0;

}

巴特西

[CF11D]A Simple Task 题解

题解

代码

最新文章

热门文章