結果
| 問題 | No.237 作図可能性 |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2026-04-28 19:19:41 |
| 言語 | D (dmd 2.112.0) |
| 結果 |
AC
|
| 実行時間 | 1 ms / 2,000 ms |
| コード長 | 731 bytes |
| 記録 | |
| コンパイル時間 | 2,608 ms |
| コンパイル使用メモリ | 172,632 KB |
| 実行使用メモリ | 6,400 KB |
| 最終ジャッジ日時 | 2026-04-28 19:19:52 |
| 合計ジャッジ時間 | 4,587 ms |
|
ジャッジサーバーID (参考情報) |
judge2_0 / judge1_1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 28 |
ソースコード
module main;
// https://ja.wikipedia.org/wiki/定規とコンパスによる作図 より
import std;
// n個からk個取る組み合わせ
T[][] comb(T)(in T[] arr, in int k)
{
if (k == 0) return [[]];
typeof(return) result;
foreach (immutable i, immutable x; arr)
foreach (suffix; arr[i + 1 .. $].comb(k - 1))
result ~= x ~ suffix;
return result;
}
void main()
{
// 入力
long A = readln.chomp.to!long;
// 答えの計算
int ans = 0;
auto fermat = [3L, 5, 17, 257, 65537]; // フェルマー素数
for (long f = 4; f <= A; f <<= 1)
ans++;
foreach (k; 1 .. 6) {
foreach (c; comb(fermat, k)) {
for (long f = reduce!"a * b"(1L, c); f <= A; f <<= 1)
ans++;
}
}
// 答えの出力
writeln(ans);
}