5 ms·
Yes, but filling a grid in a way that satisfies all of the regular expressions is a much harder problem than matching a single regex. Semi-related: generating
by lemoing 3y ago
Yes, but filling a grid in a way that satisfies all of the regular expressions is a much harder problem than matching a single regex.
Semi-related: generating fill for regular crosswords is NP-complete: https://www.sciencedirect.com/science/article/abs/pii/S0304397523005881 https://www.sciencedirect.com/science/article/abs/pii/S03043...
- mcint 3y agoWell, at this scale, it would take longer to set up a SAT solver than it would for the SAT solver to list all valid solutions.