結果
| 問題 | No.12 限定された素数 | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2020-12-16 00:32:46 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 256 ms / 5,000 ms | 
| コード長 | 1,474 bytes | 
| コンパイル時間 | 861 ms | 
| コンパイル使用メモリ | 97,812 KB | 
| 実行使用メモリ | 15,704 KB | 
| 最終ジャッジ日時 | 2024-09-20 02:50:23 | 
| 合計ジャッジ時間 | 8,203 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 26 | 
ソースコード
#include <iostream>
#include <string>
#include <algorithm>
#include <vector>
#include <iomanip>
#include <cmath>
#include <stdio.h>
#include <queue>
#include <deque>
#include <cstdio>
#include <set>
#include <map>
#include <bitset>
#include <stack>
#include <cctype>
using namespace std;
bool d[10] = { false };
bool bo[5000050] = { false };
vector<vector<int>> vec(10);
int main() {
	int n;
	cin >> n;
	for (int i = 0; i < n; i++) {
		int a;
		cin >> a;
		d[a] = true;
	}
	bo[1] = true;
	for (int i = 2; i <= 5000000; i++) {
		if (!bo[i]) {
			for (int j = i + i; j <= 5000000; j += i) {
				bo[j] = true;
			}
			int i1 = i;
			bool d1[10] = { false };
			while (i1 > 0) {
				if (!d1[i1 % 10]) {
					vec[i1 % 10].emplace_back(i);
					d1[i1 % 10] = true;
				}
				i1 /= 10;
			}
		}
	}
	long long ans = -1;
	for (int i = 1; i <= 5000000; i++) {
		if (!bo[i - 1]) {
			long long m = 5000001;
			bool b = true;
			for (int j = 0; j < 10; j++) {
				if (!d[j]) {
					auto itr = lower_bound(vec[j].begin(), vec[j].end(), i);
					if (itr != vec[j].end()) {
						if (m > * itr) {
							m = *itr;
						}
					}
				}
			}
			for (int j = 0; j < 10; j++) {
				if (d[j]) {
					auto itr = lower_bound(vec[j].begin(), vec[j].end(), i);
					if (itr == vec[j].end()) {
						b = false;
					}
					else {
						if (*itr >= m) {
							b = false;
						}
					}
				}
			}
			if (b) {
				if (ans < m - i - 1) {
					ans = m - i - 1;
				}
			}
		}
	}
	cout << ans << endl;
}
            
            
            
        