I had an interesting job interview experience a while back. The question started really easy:
Q1: We have a bag containing numbers
You could try using a Bloom Filter. Insert each number in the bag into the bloom, then iterate over the complete 1-k set until reporting each one not found. This may not find the answer in all scenarios, but might be a good enough solution.