yeah i came up with it but it's trivial, just build a tree, store the first occurrence of each number, if all numbers are found halt
The addition chain problem doesn't satisfy this structure. There are sets of numbers that forces a loop in the graph.