PPL 151 / 177 permanent IDsPrize Problem Ledger · PPLChecked 2026.07.26
Prize Problem LedgerIndependentPPL 151Shallit #19 · Pierce expansion length

Permanent problem IDPPL 151

Source-statedIndependentconjecture

Formal languages

Shallit #19 · Pierce expansion length

Significantly improve either the known upper or lower bound for the maximum length of a Pierce expansion as a function of its numerator.

automata theorytheoretical computer scienceformal languages
01

The problem

Significantly improve either the known upper or lower bound for the maximum length of a Pierce expansion as a function of its numerator.

Open since2014source-stated by 2014
Last checked2026.07.26Catalog verification
02

Reward offers

Offer 01£200Jeffrey Shallit
Personal offer

Personal cash offer stated in Shallit’s official talk. The live talks page records subsequent updates, including a paid solution to one omitted problem; confirm claim procedure with the sponsor before relying on the award.

03

Sources & reading