DWITE Online Computer Programming Contest, November 2009, Problem 3
Besides high school programming contests, another application for automated execution of code is in test suites, that validate the correctness of software (which, in some ways, is what DWITE judge does anyway). Given enough tests and edge cases in sample input, we could increase the confidence that the software is correct. Absolute certainty will require mathematical proofs, or generating every possible sample input and testing against that (which is often not possible).
For this problem, we'll be generating binary strings -- words of length 4, consisting of only 1s and 0s, with certain additional restrictions specified in the input file.
The input file will contain 5 lines, a binary string of length 1 to 4 -- a pattern that should not appear in binary strings in the generated set.
That is: if the input is "1", then the only valid output string is "0000" (any other binary string of size 4 will contain "1"). Substring "11" disallows: 1100, 0110, 0011; but it also appears in 1110, 0111, and 1111.
The output will contain 5 sets of generated binary strings, sorted in ascending order, that is, from 0000 to 1111.
0000 0000 0001 0010 0100 0101 1000 1001 1010