ok ero abbastanza certo di aver fatto giusto
per pirignao: hai ragione su quello non ci avevo pensato, a questo punto non c'è un minimo (valido per tutti i k) per quel problema (sapere solo se la biglia diversa è più leggera o più pesante)
andando a rivedere il quesito di alefig, lui scriveva:
Si hanno a disposizione n pesate e la strategia da seguire nel fare le pesate deve essere decisa prima di iniziare e non si può cambiare a seconda del risultato ottenuto durante le varie pesate.
è proprio questo il dubbio di cui parlavo all'inizio, che non son riuscito a risolvere: (3^n -1) / 2 è il max anche se togliamo il vincolo della strategia decisa per forza all'inizio? O, al contrario, concedendo la possibilità di scegliere la pesata successiva a seconda del risultato ottenuto nelle precedenti, questo max aumenta? se dovessi scommettere direi che il max resta lo stesso (ho provato per numeri bassi), ma in quanto a dimostrarlo non saprei da dove partire ...