I would like to implement an algorithm but I guess it's a well-known problem and it has been implemented yet, but I am unable to verify that without its name.Here is what I am willing to do :I have a list of assertions that can be either true or falseI have an oracle that can tell me how many assertions are true among a specified list, but which is unable to tell explicitly which ones are valid or notMy goal is to know for each assertion if it is true or falseThe oracle can only check lists with at least a huge number of assertions (it is not possible to test each assertion one by one)My approach is to work on subsets (dichotomy seems to be the most efficient way) on my assertion list to divide it in two parts, and submit both parts to the oracle.After this, I would change the way my assertion list is split and make another test and so on ...For those who know the game Mastermindthis is somehow the idea.Well, is there any official name for this problem and reputed way of solving it ?
What is this algorithm?
algorithms