Question

Let’s take a concrete example and hope I can be clear. Suppose the (ordered) list of months:

January < February < March < … < December

(with integers that stand for the months, zero-based), such that

Jan is 0, Feb is 1, …, Dec is 11.

Now suppose I do not have access to the full names of months, and am given the following list, where months have been shortened to their first letter, and e stands for an empty category, like this:

e, F, e, e, e

If I build a list of ‘unambiguous months’ (f:1, s:8, o:9, n:10, d:11), I can fill the empty categories by by first calculating the first category (using subtraction and mod 12), and then write the rest from there. However, suppose I am given the list

e, A, e, e, J, e

Then I can (intuitively) calculate that although A is ambiguous (could be April or August), in this context it can only be April, since August does not have any Js following it after 2 categories. Once I find this, I can again calculate everything from the start.

My question, finally, is: is there an analytic solution (function, algorithm) for this problem, or is my only hope to use brute force to define each potential relation? For some examples, no disambiguation algorithm/function can work: consider the case where I have a J followed by 11 e‘s, followed by a J followed by 11 e‘s … Since there is a year in between, I cannot disambiguate J into January, June or July.

Answer: I ended up coding Il-Bhima’s answer, because for this case in particular, regex’s are ok, even at a higher running time O(mn). However, I accepted Ben’s answer as the correct answer because it subsumes the others (mentions the regex solution), but also suggests a better way by using the KMP algorithm O(m+n), although this is for larger numbers of the string against to match the pattern. Thanks, everybody.

Answer 1

I’m not sure if this is exactly what you’re looking for, but you could use a modified KMP string search algorithm to solve this problem.

The modification would be to match anything against the empty category. It could even find all possible values for you, such as the J with 11 e’s like you mentioned.

You could also use a finite state machine to determine possibilities, this is what a regular expression would do.