Koji je od sledećih informatičkih algoritama teoretski rešen?