Flawed and Flawless Problems
Gent et al (1998) fixed flaw ….
- Introduced “flawless” problem generation
- defined in two equivalent ways
- though no proof that problems are truly flawless
Third year student at Strathclyde found new bug
- two definitions of flawless not equivalent
Finally we settled on final definition of flawless
- and gave proof of asymptotic non-triviality
So we think we understand the problem generator!