Was sind TCS-Vermutungen, die sich für Primzahlen und kleine Werte als falsch erwiesen haben?

Gibt es in der theoretischen Informatik Vermutungen, die einen Parameter n beinhalten und für kleine Werte von n UND für Primzahlen bewiesen wurden, sich aber später als falsch herausstellten?

In der Zahlentheorie existieren solche Probleme, z. wie Aaron Meyerowitz auf die Koeffizienten der zyklotomischen Polynome hinweist . Von TCS kenne ich nur Beispiele wie die Evasiveness Conjecture , die noch ungeklärt sind.

Hinweis: Dies ist eher ein erweiterter Kommentar als eine Antwort.

Hier ist ein Problem der Kombinatorik, dessen Status dem der Ausweichvermutung ähnelt:

Hintergrund . Ein lateinisches Quadrat der Ordnung ist eine n × n- Matrix, in der jedes Element aus {1,. . . , n} kommt in jeder Zeile und Spalte genau einmal vor. Zwei lateinische Quadrate der Ordnung n gelten als orthogonal, wenn Sie beim Überlagern n 2 verschiedene geordnete Paare erhalten. Eine Menge von lateinischen Quadraten wird als zueinander orthogonal bezeichnet, wenn jedes Paar von ihnen orthogonal ist. Es sei N ( n ) die maximale Anzahl von zueinander orthogonalen lateinischen Quadraten der Ordnung n .$n$$n × n$$n$$n^2$$N(n)$$n$

$N(n)\leq n-1$$n$$n$$N(n)=n-1$$n$

$p-1$$p$$n$$n=32$