Hola, buena solución ignatius, muy inteligente...
Yo lo resolví de forma mas estupida: por fuerza bruta, aqui el trozo de codigo que resuelve el acertigo (en python):
------------------------------------
bd=bigdict() # todos los productos y sus soluciones ordenadas como bd[product]=[posibles sols]
goodsum=incertsums() # para estos valores de la suma, P no puede nunca saber cual es la sol, por esta razón S contesta que sabia que P no sabe.
disum={}
for k in bd.keys() :
if len(bd[k])>1 : # si ==1 ya es unico y sabemos cual es la sol asi que P no diria de no saber.
c=0
for e in bd[k] :
# si la suma es la correcta para que S diga que sabia ya que P no sabia
if (e[0]+e[1]) in goodsum :
ee=e
c+=1
if c==1 : # pero unica: si no P no puede decir de saber la… » ver todo el comentario
translate.google.com/#de|es|arbeit