소수와 소수 값으로 입증되었지만 허위로 판명 된 TCS 추측은 무엇입니까?

17

이론적 컴퓨터 과학에서 일부 매개 변수 n을 포함하고 소수의 n과 소수에 대해 입증되었지만 나중에 거짓으로 판명 된 추측이 있습니까?

수 이론에서는 이러한 문제가 존재한다. 로 아론 Meyerowitz는 지적 cyclotomic 다항식의 계수에 대한 하나를. TCS에서 나는 아직 불안정한 회피 성 추측 과 같은 예만을 알고 있습니다 .

big-list primes

— 도모토
소스

3

참고 : 이것은 답변보다 확장 된 설명과 비슷합니다.

다음은 결합력의 상태가 Evasiveness Conjecture의 상태와 비슷한 맛입니다.

배경 . 차수 의 라틴 제곱은 {1,의 각 요소 가있는 행렬입니다. . . , n}은 각 행과 열에서 정확히 한 번 발생합니다. 순서 의 두 라틴 정사각형은 중첩 될 때 개의 고유 한 순서 쌍 을 얻으면 직교라고 합니다. 라틴 정사각형 집합은 모든 쌍이 직교하면 상호 직교라고합니다. 하자 차의 상호 직교 라틴 방진의 최대 번호 나타내는 . $n$ $n × n$ $n$ $n^2$ $N(n)$ $n$

모든 대해 것으로 알려져있다 . 경우 소수 힘 우리는 알고 ,하지만 일반의 값을 하한의 상태가 활짝 열려있다. $N(n)\leq n-1$ $n$ $n$ $N(n)=n-1$ $n$

— 자가 디쉬
소스

4

완전히 열리지 않았습니다. 것이 알려져있어 1900 년 이후 (G. 타르), 즉 대 1,960 (보즈, Shrikande 파커), 사람과 그 보낸 1,989 (Lam, Thiel, Swiercz).

N (6) = 1

$N(6)=1$

N (n) \geq 2

$N(n) \geq 2$

n > 6

$n>6$

N (10) < 9

$N(10)<9$

— 피터 쇼어

1

Thx Jagadish, 문제는 이것이 소수 (power)를 위해서만 추측되는 것입니다. 나는 WAS가 모든 숫자에 대해 사실이라고 추측했지만 거짓으로 밝혀진 것을 찾고 있습니다.

— domotorp 2016 년

@domotorp 예, 제 답변은 질문에 정확하게 답변하지 않습니다. 그러한 사례가 있는지 궁금해서 궁금합니다. 질문에 +1하십시오.

— Jagadish

3

@jagadish에 대한 관련이없는 대답에서 정의 된 후 Costas 배열 은 매우 작은 숫자에 대해 신속하게 발견되었으며 나중에 크기에서 발견되었습니다 . 여기서 는 소수입니다. 그러나 모든 대해 존재하는지 여부는 공개되어 있으며 컴퓨터 검색으로 인해 대해서는 존재하지 않는다고 사람들이 믿게 됩니다. $p-1$ $p$ $n$ $n=32$

— 레브 레이 진
소스