Me ha costado localizar que el problema ese tan bestia de "mata a tu cónyugue infiel" es un "problema de inducción" según la Wikipedia inglesa:

https://en.wikipedia.org/wiki/Induction_puzzles#Josephine's_Problem