| Sì Nino, i valori sono gli indici delle combinazioni. Le matrici della tabella è vero che rappresentano uno dei tanti possibili riduttori, ma non sono scelte a caso. Le ho prese da LaJolla scegliendo tra quelle indicate in grassetto (quelle non migliorabili). Non conosco quali siano i primati irriducibili su Weefs, altrimenti avrei attinto anche da lì.
Sarebbe utile riuscire a trovare una regola che accomuna almeno una piccola parte dei sistemi. Ad esempio, se si riuscisse a trovare la formula che fornisce le combinazioni dei ridotti di un certo tipo; Che so!? Quelli con V il doppio di K, oppure con V e K numeri primi, allora si potrebbe provare a calcolare un ridotto dello stesso tipo, con V molto grande (cosa che i software non permettono di fare per via dei limiti di memoria)
Se non ho visto male una piccola regola, in fondo già esiste, ma è un caso particolare che non ci è molto d'aiuto: osservando le matrici con v=k+1 si nota che la copertura si può ottenere con le prime t+1 combinazioni in ordine lessicografico infatti 10,9,2,2=3 (la 1, la 2 e la 3) e così per gli altri dello stesso tipo.. 11,10,2,2=3 12,11,2,2=3 ... 10,9,3,3=4 (sempre le prime in ordine vanno bene) 11,10,3,3=4 ... 10,9,4,4=5 (sempre le prime t+1 nell'ordine lessicografico) 11,10,4,4=5
quindi si può ipotizzare, il 200,199,50,50=51
Trovare una formula per sistemi più interessanti è un'utopia, ma per passatempo, proverò a isolare alcuni un certo tipo di matrice e vedo se per fortuna salta fuori qualcosa.
|