Submission #604500

# Submission time Handle Problem Language Result Execution time Memory
604500 2022-07-25T07:07:01 Z tutis L-triominoes (CEOI21_ltriominoes) C++17
10 / 100
8000 ms 2100 KB
/*input
2 3 0

*/

#pragma GCC optimize ("O3")
#pragma GCC target("avx,avx2,fma")
#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
using namespace std;
using namespace __gnu_pbds;
template <typename T>
using oset = tree<T,  null_type,  less<T>,  rb_tree_tag,  tree_order_statistics_node_update>;
using ll = long long;
using ull = unsigned long long;
using ld = long double;
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
int main()
{
	ios_base::sync_with_stdio(false);
	cin.tie(0);
	cout.tie(0);
	int W, H, K;
	cin >> W >> H >> K;
	map<int, int>A;
	while (K--)
	{
		int x, y;
		cin >> x >> y;
		if (A.count(y) == 0)
			A[y] = 0;
		A[y] |= 1 << (x - 1);
	}
	bitset < 1 << 13 > gal;
	gal[(1 << W) - 1] = true;
	vector<int>X[1 << 13];
	A[H + 1] = 0;
	for (int i = 1; i <= H;)
	{
		int msk = 0;
		function<void(int, int, int)>dfs = [&](int i, int m1, int m2)
		{
			if (i == W - 1)
			{
				if (m1 == (1 << W) - 1)
					X[msk].push_back(m2);
				return;
			}
			for (int da : {0, 1})
			{
				for (int db : {0, 1})
				{
					int m[2] = {m1, m2};
					bool ok = true;
					for (int dx : {0, 1})
					{
						for (int dy : {0, 1})
						{
							if (dx == da && dy == db)
								continue;
							if ((m[dx] & (1 << (i + dy))) != 0)
								ok = false;
							m[dx] |= 1 << (i + dy);
						}
					}
					if (ok)
						dfs(i + 1, m[0], m[1]);
				}
			}
			dfs(i + 1, m1, m2);
		};
		if (A[i] == 0)
		{
			int i1 = A.upper_bound(i)->first;
			for (int t = 0; t < (i1 - i); t++)
			{
				bitset < 1 << 13 > gal_;
				for (msk = 0; msk < (1 << W); msk++)
					if (gal[msk])
					{
						if (X[msk].empty())
							dfs(0, msk, 0);
						for (int msk1 : X[msk])
							if ((msk1 & A[i]) == 0)
								gal_[msk1 | A[i]] = true;
					}
				gal = gal_;
			}
			i = i1;
		}
		else {
			bitset < 1 << 13 > gal_;
			for (msk = 0; msk < (1 << W); msk++)
				if (gal[msk])
				{
					if (X[msk].empty())
						dfs(0, msk, 0);
					for (int msk1 : X[msk])
						if ((msk1 & A[i]) == 0)
							gal_[msk1 | A[i]] = true;
				}
			gal = gal_;
			i++;
		}
	}
	if (gal[(1 << W) - 1])
		cout << "YES\n";
	else
		cout << "NO\n";
}
# Verdict Execution time Memory Grader output
1 Correct 1 ms 468 KB Output is correct
2 Correct 1 ms 468 KB Output is correct
3 Correct 1 ms 468 KB Output is correct
4 Correct 1 ms 468 KB Output is correct
5 Correct 1 ms 468 KB Output is correct
6 Correct 1 ms 468 KB Output is correct
7 Correct 1 ms 468 KB Output is correct
8 Correct 77 ms 696 KB Output is correct
9 Correct 1 ms 468 KB Output is correct
10 Correct 5 ms 532 KB Output is correct
11 Correct 125 ms 684 KB Output is correct
12 Correct 14 ms 564 KB Output is correct
13 Correct 1 ms 468 KB Output is correct
14 Correct 1 ms 468 KB Output is correct
15 Correct 57 ms 696 KB Output is correct
16 Correct 2128 ms 2100 KB Output is correct
17 Correct 95 ms 584 KB Output is correct
18 Correct 809 ms 1096 KB Output is correct
19 Correct 8 ms 532 KB Output is correct
20 Correct 2288 ms 2088 KB Output is correct
21 Correct 764 ms 1060 KB Output is correct
22 Correct 1 ms 468 KB Output is correct
23 Correct 5 ms 532 KB Output is correct
24 Correct 2 ms 468 KB Output is correct
25 Correct 1977 ms 2080 KB Output is correct
26 Correct 2192 ms 2040 KB Output is correct
27 Correct 1 ms 468 KB Output is correct
# Verdict Execution time Memory Grader output
1 Execution timed out 8092 ms 468 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 8051 ms 468 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 5771 ms 496 KB Output is correct
2 Execution timed out 8086 ms 512 KB Time limit exceeded
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 8076 ms 468 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 1 ms 468 KB Output is correct
2 Correct 1 ms 468 KB Output is correct
3 Correct 1 ms 468 KB Output is correct
4 Correct 1 ms 468 KB Output is correct
5 Correct 1 ms 468 KB Output is correct
6 Correct 1 ms 468 KB Output is correct
7 Correct 1 ms 468 KB Output is correct
8 Correct 77 ms 696 KB Output is correct
9 Correct 1 ms 468 KB Output is correct
10 Correct 5 ms 532 KB Output is correct
11 Correct 125 ms 684 KB Output is correct
12 Correct 14 ms 564 KB Output is correct
13 Correct 1 ms 468 KB Output is correct
14 Correct 1 ms 468 KB Output is correct
15 Correct 57 ms 696 KB Output is correct
16 Correct 2128 ms 2100 KB Output is correct
17 Correct 95 ms 584 KB Output is correct
18 Correct 809 ms 1096 KB Output is correct
19 Correct 8 ms 532 KB Output is correct
20 Correct 2288 ms 2088 KB Output is correct
21 Correct 764 ms 1060 KB Output is correct
22 Correct 1 ms 468 KB Output is correct
23 Correct 5 ms 532 KB Output is correct
24 Correct 2 ms 468 KB Output is correct
25 Correct 1977 ms 2080 KB Output is correct
26 Correct 2192 ms 2040 KB Output is correct
27 Correct 1 ms 468 KB Output is correct
28 Execution timed out 8092 ms 468 KB Time limit exceeded
29 Halted 0 ms 0 KB -