답안 #834643

# 제출 시각 아이디 문제 언어 결과 실행 시간 메모리
834643 2023-08-22T16:24:46 Z tranxuanbach Vision Program (IOI19_vision) C++17
12 / 100
10 ms 1388 KB
#include "vision.h"

#include <bits/stdc++.h>
using namespace std;

const int N = 2e2 + 5, M = 1e4 + 5;

int n, m, k;

int cnt_dia;
vector <int> query;

int offset_tmp;

int offset_original;
int zero, one;
int offset_maindia; // y - x
int offset_antidia; // y + x

int offset_k_maindia;
int offset_k_antidia;
int offset_kn1_maindia;
int offset_kn1_antidia;

int same_maindia, same_antidia;
int offset_within_k;
int within_k;
int offset_within_kn1;
int within_kn1;

void construct_network(int _n, int _m, int _k){
	n = _n; m = _m; k = _k;

	cnt_dia = n + m - 1;

	offset_original = 0;
	query = {offset_original + (0 * m + 0), add_not(offset_original + (0 * m + 0))};
	zero = add_and(query);
	one = add_or(query);

	offset_maindia = one + 1 - (0 - (n - 1));
	for (int dia = 0 - (n - 1); dia <= (m - 1) - 0; dia++){
		query.clear();
		for (int y = 0; y < m; y++){
			int x = y - dia;
			if (not (0 <= x and x < n)){
				continue;
			}
			query.emplace_back(offset_original + (x * m + y));
		}
		add_xor(query);
	}
	offset_antidia = offset_maindia + ((m - 1) - 0) + 1 - (0 + 0);
	for (int dia = 0 + 0; dia <= (n - 1) + (m - 1); dia++){
		query.clear();
		for (int y = 0; y < m; y++){
			int x = dia - y;
			if (not (0 <= x and x < n)){
				continue;
			}
			query.emplace_back(offset_original + (x * m + y));
		}
		add_xor(query);
	}

	offset_tmp = offset_antidia + ((n - 1) + (m - 1)) + 1 - (0 - (n - 1));
	for (int dia = 0 - (n - 1); dia <= (m - 1) - 0; dia++){
		query = {zero};
		for (int dia2 = dia + 1; dia2 <= min(dia + k, (m - 1) - 0); dia2++){
			query.emplace_back(offset_maindia + dia2);
		}
		add_or(query);
	}
	offset_k_maindia = offset_tmp + ((m - 1) - 0) + 1 - (0 - (n - 1));
	for (int dia = 0 - (n - 1); dia <= (m - 1) - 0; dia++){
		query = {offset_maindia + dia, offset_tmp + dia};
		add_and(query);
	}
	offset_tmp = offset_k_maindia + ((m - 1) - 0) + 1 - (0 + 0);
	for (int dia = 0 + 0; dia <= (n - 1) + (m - 1); dia++){
		query = {zero};
		for (int dia2 = dia + 1; dia2 <= min(dia + k, (n - 1) + (m - 1)); dia2++){
			query.emplace_back(offset_antidia + dia2);
		}
		add_or(query);
	}
	offset_k_antidia = offset_tmp + ((n - 1) + (m - 1)) + 1 - (0 + 0);
	for (int dia = 0 + 0; dia <= (n - 1) + (m - 1); dia++){
		query = {offset_antidia + dia, offset_tmp + dia};
		add_and(query);
	}

	offset_tmp = offset_k_antidia + ((n - 1) + (m - 1)) + 1 - (0 - (n - 1));
	for (int dia = 0 - (n - 1); dia <= (m - 1) - 0; dia++){
		query = {zero};
		for (int dia2 = dia + 1; dia2 <= min(dia + (k - 1), (m - 1) - 0); dia2++){
			query.emplace_back(offset_maindia + dia2);
		}
		add_or(query);
	}
	offset_kn1_maindia = offset_tmp + ((m - 1) - 0) + 1 - (0 - (n - 1));
	for (int dia = 0 - (n - 1); dia <= (m - 1) - 0; dia++){
		query = {offset_maindia + dia, offset_tmp + dia};
		add_and(query);
	}
	offset_tmp = offset_kn1_maindia + ((m - 1) - 0) + 1 - (0 + 0);
	for (int dia = 0 + 0; dia <= (n - 1) + (m - 1); dia++){
		query = {zero};
		for (int dia2 = dia + 1; dia2 <= min(dia + (k - 1), (n - 1) + (m - 1)); dia2++){
			query.emplace_back(offset_antidia + dia2);
		}
		add_or(query);
	}
	offset_kn1_antidia = offset_tmp + ((n - 1) + (m - 1)) + 1 - (0 + 0);
	for (int dia = 0 + 0; dia <= (n - 1) + (m - 1); dia++){
		query = {offset_antidia + dia, offset_tmp + dia};
		add_and(query);
	}

	query = {};
	for (int dia = 0 - (n - 1); dia <= (m - 1) - 0; dia++){
		query.emplace_back(offset_maindia + dia);
	}
	same_maindia = add_not(add_or(query));
	query = {};
	for (int dia = 0; dia <= (n - 1) + (m - 1); dia++){
		query.emplace_back(offset_antidia + dia);
	}
	same_antidia = add_not(add_or(query));

	offset_within_k = same_antidia + 1 - (0);
	query = {same_maindia};
	for (int dia = 0 - (n - 1); dia <= (m - 1) - 0; dia++){
		query.emplace_back(offset_k_maindia + dia);
	}
	add_or(query);
	query = {same_antidia};
	for (int dia = 0 - (n - 1); dia <= (m - 1) - 0; dia++){
		query.emplace_back(offset_k_antidia + dia);
	}
	add_or(query);
	query = {offset_within_k + 0, offset_within_k + 1};
	within_k = add_and(query);

	offset_within_kn1 = within_k + 1 - (0);
	query = {same_maindia};
	for (int dia = 0 - (n - 1); dia <= (m - 1) - 0; dia++){
		query.emplace_back(offset_kn1_maindia + dia);
	}
	add_or(query);
	query = {same_antidia};
	for (int dia = 0 - (n - 1); dia <= (m - 1) - 0; dia++){
		query.emplace_back(offset_kn1_antidia + dia);
	}
	add_or(query);
	query = {offset_within_kn1 + 0, offset_within_kn1 + 1};
	within_kn1 = add_and(query);

	query = {within_k, add_not(within_kn1)};
	add_and(query);
}
# 결과 실행 시간 메모리 Grader output
1 Correct 0 ms 212 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 0 ms 212 KB Output is correct
6 Correct 0 ms 212 KB Output is correct
7 Correct 0 ms 212 KB Output is correct
8 Correct 0 ms 212 KB Output is correct
9 Correct 0 ms 212 KB Output is correct
10 Incorrect 0 ms 212 KB on inputs (0, 0), (2, 1), expected 0, but computed 1
11 Halted 0 ms 0 KB -
# 결과 실행 시간 메모리 Grader output
1 Correct 0 ms 212 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 0 ms 212 KB Output is correct
6 Correct 0 ms 212 KB Output is correct
7 Correct 0 ms 212 KB Output is correct
8 Correct 0 ms 212 KB Output is correct
9 Correct 0 ms 212 KB Output is correct
10 Incorrect 0 ms 212 KB on inputs (0, 0), (2, 1), expected 0, but computed 1
11 Halted 0 ms 0 KB -
# 결과 실행 시간 메모리 Grader output
1 Correct 0 ms 212 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 0 ms 212 KB Output is correct
6 Correct 0 ms 212 KB Output is correct
7 Correct 0 ms 212 KB Output is correct
8 Correct 0 ms 212 KB Output is correct
9 Correct 0 ms 212 KB Output is correct
10 Incorrect 0 ms 212 KB on inputs (0, 0), (2, 1), expected 0, but computed 1
11 Halted 0 ms 0 KB -
# 결과 실행 시간 메모리 Grader output
1 Correct 0 ms 212 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 0 ms 212 KB Output is correct
6 Correct 0 ms 212 KB Output is correct
7 Correct 0 ms 212 KB Output is correct
8 Correct 0 ms 212 KB Output is correct
9 Correct 0 ms 212 KB Output is correct
10 Incorrect 0 ms 212 KB on inputs (0, 0), (2, 1), expected 0, but computed 1
11 Halted 0 ms 0 KB -
# 결과 실행 시간 메모리 Grader output
1 Correct 1 ms 340 KB Output is correct
2 Correct 7 ms 852 KB Output is correct
3 Correct 5 ms 852 KB Output is correct
4 Correct 10 ms 1000 KB Output is correct
5 Correct 1 ms 468 KB Output is correct
6 Correct 4 ms 724 KB Output is correct
7 Correct 6 ms 980 KB Output is correct
8 Correct 8 ms 980 KB Output is correct
9 Correct 1 ms 340 KB Output is correct
10 Correct 4 ms 596 KB Output is correct
11 Correct 5 ms 852 KB Output is correct
12 Correct 6 ms 852 KB Output is correct
13 Correct 7 ms 980 KB Output is correct
14 Correct 7 ms 1028 KB Output is correct
15 Correct 1 ms 340 KB Output is correct
16 Correct 4 ms 724 KB Output is correct
17 Correct 5 ms 852 KB Output is correct
18 Correct 6 ms 888 KB Output is correct
19 Correct 7 ms 1000 KB Output is correct
20 Correct 7 ms 1020 KB Output is correct
21 Correct 0 ms 212 KB Output is correct
22 Correct 0 ms 212 KB Output is correct
# 결과 실행 시간 메모리 Grader output
1 Correct 0 ms 212 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 1 ms 340 KB Output is correct
4 Incorrect 2 ms 468 KB on inputs (0, 0), (3, 28), expected 1, but computed 0
5 Halted 0 ms 0 KB -
# 결과 실행 시간 메모리 Grader output
1 Incorrect 8 ms 1388 KB on inputs (126, 120), (176, 169), expected 0, but computed 1
2 Halted 0 ms 0 KB -
# 결과 실행 시간 메모리 Grader output
1 Correct 0 ms 212 KB Output is correct
2 Correct 0 ms 212 KB Output is correct
3 Correct 0 ms 212 KB Output is correct
4 Correct 0 ms 212 KB Output is correct
5 Correct 0 ms 212 KB Output is correct
6 Correct 0 ms 212 KB Output is correct
7 Correct 0 ms 212 KB Output is correct
8 Correct 0 ms 212 KB Output is correct
9 Correct 0 ms 212 KB Output is correct
10 Incorrect 0 ms 212 KB on inputs (0, 0), (2, 1), expected 0, but computed 1
11 Halted 0 ms 0 KB -