問題一覧 > ネタ問題

No.8130 Platinumbach Problem

レベル : / 実行時間制限 : 1ケース 6.000秒 / メモリ制限 : 1024 MB / 標準ジャッジ問題
タグ : (AC するまで非表示) / 解いたユーザー数 45
作問者 : 👑 p-adic / テスター : sclara
お気に入りにしたユーザー ProblemId : 13222 / 自分の提出
問題文最終更新日: 2026-04-01 09:20:48
This statement was translated by AI (claude-opus-5-5, effort medium) and may contain errors or differ in nuance from the original. The original statement takes precedence. Back to the original
yukicoder April Fool Contest 2026 (順位表) の他の問題:

Note

The execution time limit for this problem is 6000[ms].

Problem Statement

Consider the following problem:

You are given a positive integer $N$.

Determine whether $N$ can be expressed as a sum of finitely many distinct primes.

Here, a sum of $1$ prime means that prime itself.

A positive integer $T$ is given at the beginning of the input. Answer $T$ instances of this problem.

Background

Can every even number greater than or equal to $4$ be expressed as a sum of $2$ primes (not necessarily distinct)?

It has apparently been proved in 2014 by Tom$\textrm{\'a}$s Oliveira e Silva, Siegfried Herzog, and Silvio Pardi that no counterexample exists among even numbers up to at least $4 \times 10^{18}$[1], but whether a counterexample actually exists is not known. In other words, this is an open problem in mathematics, and the conjecture that no counterexample exists is called the Goldbach conjecture.

Since solving the Goldbach conjecture itself is far too difficult, various variants that weaken its claim have been devised. For example, the version that allows a sum of at most $6$ primes instead of exactly $2$ was reportedly proved in 1995 by Olivier Ramar$\textrm{\'e}$[2].

So what happens if, in exchange for removing the limit on the number of summands, we require that the primes used in the sum be distinct? That is the question we would like you all to consider this time.

Input

For each positive integer $t$ less than or equal to $T$, let $N_t$ denote the input $N$ for the $t$-th problem.

The input is then given from standard input in $2$ lines, in the following format:

  • Line $1$ contains $T$, separated by half-width spaces.
  • Line $2$ contains $N_t$ for each positive integer $t$ less than or equal to $T$, in increasing order of $t$, separated by half-width spaces.
$T$
$N_1$ $\cdots$ $N_T$

Constraints

The input satisfies the following constraints:

  • $T$ is an integer satisfying $1 \leq T \leq 10^5$.
  • For every positive integer $t$ less than or equal to $T$, $N_t$ is an integer satisfying $1 \leq N_t$.
  • $\sum_{t=1}^{T} N_t \leq 10^{14}$.

Subtasks

This problem has partial scoring based on subtasks.

Subtask name Points Additional constraints
small $25$ points ($10 \%$) $N_t \leq 10^5$
large $225$ points ($90 \%$) None

Output

For each positive integer $t$ less than or equal to $T$, print Yes on line $t$ if $N_t$ can be expressed as a sum of finitely many distinct primes, and No otherwise.

Print a newline at the end.

Sample

Sample 1
Input
8
1 2 3 4 5 6 7 8
Output
No
Yes
Yes
No
Yes
No
Yes
Yes

$1$, $4$, and $6$ cannot be expressed as a sum of finitely many distinct primes.

$2 = 2$, $3 = 3$, $5 = 5$, $7 = 7$, and $8 = 3 + 5$ can be expressed as sums of finitely many distinct primes.

References

  1. Oliveira e Silva, Siegfried Herzog, and Silvio Pardi, Empirical verification of the even Goldbach conjecture and computation of prime gaps up to $4 \cdot 10^{18}$, Math. Comp. 83 (2014), pp. 2033--2060.
  2. Olivier Ramar$\textrm{\'e}$, On $\textrm{\u{S}}$nirel'man's constant, Annali della Scuola Superiore di Pisa vol. 22, no. 4 (1995), pp. 645--705.

提出するには、Twitter 、GitHub、 Googleもしくは右上の雲マークをクリックしてアカウントを作成してください。