[seqfan] Re: Xmas-challenge

Peter Luschny peter.luschny at gmail.com
Sat Dec 26 22:43:05 CET 2020


>
> However, if this sequence is already in the OEIS,
>
don't reveal *its A-number* (this year).
>

The sequence has now been discovered in the OEIS.
First by Rob Pratt, then by Georg Fischer and finally by
Allen Wechsler. Allan made some interesting remarks
that he will surely share here as well.

I think it's a neat problem, and it's NP-hard. For this
reason, it would be nice to develop a small program
for this sequence that demonstrates the treatment
of such a problem using a constraint satisfaction solver.



More information about the SeqFan mailing list