Asal değerler ve küçük değerler için kanıtlanmış ancak daha sonra yanlış olduğu ortaya çıkan TCS varsayımları nelerdir?

Teorik bilgisayar bilimlerinde bazı n parametresini içeren ve asal değerler için n AND'in küçük değerleri için kanıtlanmış ancak daha sonra yanlış olduğu ortaya çıkan herhangi bir varsayım var mı?

Sayı teorisinde bu tür problemler vardır, örn. olarak Aaron Meyerowitz işaret cyclotomic polinomların katsayıları ilgili olanı. TCS'den sadece Evasiveness Konjonktürü gibi hala yerleşmemiş örnekleri biliyorum .

Not: Bu, bir yanıttan ziyade genişletilmiş bir yorum gibidir.

Durumu lezzet bakımından benzer olan kombinatoriklerden Evasiveness Conjecture'a bir problem:

Arkaplan . Bir düzeni Latin karesi, içinde her bir elemanın {1, olduğu bir n × n matrisidir. . . , n} her satır ve sütunda tam olarak bir kez oluşur. Düzenin iki Latin kareler n sen alırsanız ortogonal oldukları söylenir n 2 Bunları üst üste zaman ayrı sıralı çiftleri. Her bir çift dikse bir dizi Latin karesinin karşılıklı dik olduğu söylenir. Let , N ( n ) sipariş karşılıklı latin kare maksimum sayısını göstermek n .$n$$n × n$$n$$n^2$$N(n)$$n$

Tüm n için olduğu bilinmektedir . Eğer n bir asal güç o zaman biliyoruz N ( n ) = n - 1 , fakat genel değerleri için n alt sınırların durumu ardına kadar açık.$N(n)\leq n-1$$n$$n$$N(n)=n-1$$n$

$p-1$$p$asaldır. Ancak, herkes için var olup olmadıkları açıktır$n$ ve bilgisayar aramaları insanları, $n=32$.