Quais são as conjecturas do TCS que foram provadas para números primos e pequenos valores, mas depois se revelaram falsas?

17

Existem conjecturas na ciência da computação teórica que envolvam algum parâmetro n e foram provadas por pequenos valores de n E por números primos, mas depois se revelaram falsos?

Na teoria dos números, tais problemas existem, por exemplo. como Aaron Meyerowitz aponta aquele sobre os coeficientes dos polinômios ciclotômicos. No TCS, conheço apenas exemplos como a conjectura de evasão que ainda não foram resolvidos.

domotorp
fonte

Respostas:

3

Nota: É mais um comentário estendido do que uma resposta.

Aqui está um problema da combinatória cujo status é semelhante ao da Evasiveness Conjecture:

Background . Um quadrado latino de ordem é um n × n matriz na qual cada elemento a partir de {1,. . . , n} ocorre exatamente uma vez em cada linha e coluna. Diz-se que dois quadrados latinos da ordem são ortogonais se você obtiver pares ordenados distintos quando os sobrepuser. Diz-se que um conjunto de quadrados latinos é mutuamente ortogonal se cada par deles for ortogonal. Seja o número máximo de quadrados latinos mutuamente ortogonais da ordem .nn×nnn2N(n)n

Sabe-se que para todos os . Se é uma potência primária, sabemos que , mas para valores gerais de o status dos limites inferiores está aberto.N(n)n-1 1nnN(n)=n-1 1n

Jagadish
fonte
4
Não é completamente aberto. Sabe-se que desde 1900 (G. Tarry), que N ( n ) 2 para n > 6 desde 1960 (Bose, Shrikande, Parker) e que N ( 10 ) < 9 desde 1989 ( Lam, Thiel, Swiercz). N(6)=1 1N(n)2n>6N(10)<9
quer
11
Thx Jagadish, o problema é que isso é algo que é conjecturas a serem mantidas apenas pelos primos (poder) s. Estou procurando por algo que foi conjecturado como verdadeiro para todos os números, mas acabou sendo falso.
Domotorp
@domotorp Sim, minha resposta não responde exatamente à pergunta. Estou curioso para saber se existem exemplos desse tipo, então marque com +1 a sua pergunta.
Jagadish
3

Em uma resposta não muito parecida às do @ jagadish, depois de definidas, as matrizes de Costas foram rapidamente encontradas para números muito pequenos e posteriormente para os tamanhos , onde p é primo. No entanto, é aberto se eles existem para todos os n e computador pesquisas estão fazendo as pessoas acreditam que eles não existem para n = 32 .p-1 1pnn=32.

Lev Reyzin
fonte