Roz: Versione di riferimento di oha.

   conta  tacche 
     n       k  
roz( 1) -> ( 2) [0,1]
roz( 2) -> ( 3) [0,1,2]
roz( 3) -> ( 3) [0,1,3]
roz( 4) -> ( 4) [0,1,2, 4]
roz( 5) -> ( 4) [0,1,2, 5]
roz( 6) -> ( 4) [0,1,4, 6]
roz( 7) -> ( 5) [0,1,2, 3, 7]
roz( 8) -> ( 5) [0,1,2, 5, 8]
roz( 9) -> ( 5) [0,1,2, 6, 9]
roz(10) -> ( 6) [0,1,2, 3, 6,10]
roz(11) -> ( 6) [0,1,2, 3, 7,11]
roz(12) -> ( 6) [0,1,2, 3, 8,12]
roz(13) -> ( 6) [0,1,2, 6,10,13]
roz(14) -> ( 7) [0,1,2,3,4,9,14]
roz(15) -> ( 7) [0,1,2,3,4,10,15]
roz(16) -> ( 7) [0,1,2, 3, 8,12,16]
roz(17) -> ( 7) [0,1,2, 3, 8,13,17]
roz(18) -> ( 8) [0,1,2,3,4,5,12,18]
roz(19) -> ( 8) [0,1,2,3,4,9,14,19]
roz(20) -> ( 8) [0,1,2,3,4,10,15,20]
roz(21) -> ( 8) [0,1,2,3,4,10,16,21]
roz(22) -> ( 8) [0,1,2, 3, 8,13,18,22]
roz(23) -> ( 8) [0,1,2,11,15,18,21,23]

(da qui in poi forse non ottimali)
roz(24) -> ( 9) [0,1,2,3,4,5,12,18,24]
roz(25) -> ( 9) [0,1,2,3,4,5,12,19,25]
roz(26) -> ( 9) [0,1,2,3,4,10,15,21,26]
roz(27) -> ( 9) [0,1,2,3,4,10,16,22,27]
roz(28) -> ( 9) [0,1,2,10,16,21,25,28,38]
roz(29) -> ( 9) [0,1,2,14,18,21,24,27,29]
roz(30) -> (10) [0,1,2,3,4,5,11,18,24,30]
roz(31) -> (10) [0,1,2,3,4,5,12,18,25,31]
roz(32) -> (10) [0,1,2,3,4,5,12,19,26,32]
roz(33) -> (10) [0,1,2,3,4,10,16,22,28,33]
roz(34) -> (10) [0,1,2,3,15,20,24,28,31,34]
roz(35) -> (10) [0,1,2,17,21,24,27,30,33,35]

n  k  sqr(n)*2 =?= To(n)
1  2  2
4  4  4
16 4  4
23 8  9.5
