Skip to main content
15 events
when toggle format what by license comment
Aug 28 at 5:33 comment added Benjamin Wang @Bubbler thank you for introducing me to Picat!
Aug 28 at 0:16 comment added Bubbler @BenjaminWang Picat script to find a quad free coloring for 1..93, cross checked in Python.
Aug 27 at 10:58 comment added Benjamin Wang @Bubbler the answer seems to suggest the integers from 1 to 73 already doesn't allow a quad free coloring. Can you confirm that with your program? (Also, how would you go about writing this program?)
Aug 24 at 21:06 answer added noedne timeline score: 8
Jul 21 at 6:36 comment added Will.Octagon.Gibson @Moti I haven’t solved it.
Jul 21 at 6:30 comment added Moti Did you solve it?
May 29 at 17:00 comment added Ver Nick @Bubbler generalizing it into {1, ..., N} and K colours might be a better insight.
May 24 at 20:41 comment added Will.Octagon.Gibson @Moti The phrase, “no matter what coloring is chosen ...” is meant to include all possible colorings including all random colorings.
May 24 at 16:17 comment added Moti It would be better to write " '''and color them RANDOMLY...":)
May 24 at 7:36 comment added Will.Octagon.Gibson @Moti If 3=red, 6=red, 9=green, 18=blue, then your choice of numbers won’t work because the numbers are not all the same color. Notice the following phrase in the question: “no matter what coloring is chosen ...”.
May 24 at 6:05 comment added Moti Is 3, 6, 9, and 18 satisfy you?
May 22 at 9:38 comment added Will.Octagon.Gibson @xnor I saw that puzzle after I posted my question and I debated whether I should delete my question or not. I decided to keep my question because I am hoping my weaker constraint can lead to an elegant solution.
May 22 at 9:07 comment added Bubbler With computer programs, I found that {1, ..., 93} allows a quad-free coloring but {1, ..., 94} doesn't. Doesn't feel like a useful insight though.
May 22 at 8:26 comment added xnor This puzzle implies the answer is yes, though the weaker condition here might allow a nicer and more accessible argument.
May 22 at 2:49 history asked Will.Octagon.Gibson CC BY-SA 4.0