Am scris ceva cod doar pentru configurațiile de robinet de forță brută și valorile de pornire pentru dimensiuni mici de registru. Deci am niște valori, mai degrabă decât un rezultat analitic.Desigur, rezultatele sunt condiționate de faptul că nu există erori în cod (https://github.com/bmm6o/MVFSR).
pentru lățimea 4, lungimea maximă a ciclului este de 8
pentru lățimea 5, lungimea maximă a ciclului este de 10
pentru lățimea 6, lungimea maximă a ciclului este de 12
pentru lățimea 7, lungimea maximă a ciclului este de 14
pentru lățimea 8, lungimea maximă a ciclului este de 48
pentru lățimea 9, lungimea maximă a ciclului este de 48
pentru lățimea 10, lungimea maximă a ciclului este de 80
pentru lățimea 11, lungimea maximă a ciclului este de 108
pentru lățimea 12, lungimea maximă a ciclului este de 140
pentru lățimea 13, lungimea maximă a ciclului este de 270
pentru lățimea 14, lungimea maximă a ciclului este de 270
pentru lățimea 15, lungimea maximă a ciclului este de 270
pentru lățimea 16, lungimea maximă a ciclului este de 480
pentru lățimea 17, lungimea maximă a ciclului este de 752
pentru lățimea 18, lungimea maximă a ciclului este de 1520
Poate fi riscant să generalizezi de la valori mici, dar pare să se dubleze aproximativ când lățimea crește cu 2. Această secvență nu este prezentă în OEIS.
Probabil ți-ai dat seama de asta, dar MVFSR-ul tău evoluează într-un mod astfel încât majoritatea statelor au exact 2 pre-imagini. Nu sunt sigur cum să folosesc asta pentru a face o estimare probabilistică a distribuției lungimii ciclului, dar se pare că ar fi util.
Pentru majoritatea scopurilor criptografice, punerea unei limite inferioare a lungimii maxime a ciclului nu este cea mai importantă întrebare. Mult mai importantă este lungimea minimă, sau cel puțin o modalitate de a caracteriza și de a evita ciclurile scurte. În acest fel, există o problemă serioasă cu MVFSR. Sub selecția optimă a robinetului, există doar cicluri de lungime 2n$.