시간

최근 프리 프린트 https://arxiv.org/abs/1801.00776 에서 실수를 시간 로 정렬 할 수 있다고 주장합니다. $n$ 선형 공간. 알고리즘 정렬 전문가는 아니지만 논문은 합리적으로 보입니다.

O (n \sqrt{\log n}),

$O(n \sqrt{\log n}),$

맞다면 이론적으로 이것은 중요 할 것입니다.

그러나 주요 주장의 표현은 다소 비공식적이고 비 전통적입니다.

이 논문에서 아무도 눈치 채지 못했습니까? 같은 저자, Yijie Han은 Han의 시간, 선형 공간, 정수 정렬 알고리즘 에서 논의 된 것처럼 정수 정렬에 대한 관련 결과를 발표 한 것으로 보입니다. $O(n \log\log n)$

cc.complexity-theory ds.algorithms sorting

— 코들 루
소스

v

$v$

i n t (v \cdot 2^{a})

$int(v \cdot 2^a)$

a

$a$

실수에서 정수까지 계산 가능한 모든 함수는 일정합니다.

— Andrej Bauer

Andrej, 그것은 다른 계산 모델에 있습니다.

— Kristoffer Arnsfelt Hansen

이제는 더 이상 그의 이전 논문을 믿지 않습니다.

— Jeffε

Sasho Nikolov의 매우 유용한 의견을 바탕으로 두 논문은 유사한 복잡성 모델을 사용하여 PSPACE 또는 #P의 문제가 다항식 시간에 해결 될 수 있다는 의미와 같은 합리적인 결론을 초래하는 것으로 보입니다.

이 임시 답변이 수정 될 수있는 의견을 환영합니다.

— 코들 루
소스

P S P A C E \in P

$PSPACE\in P$

# P \in F P

$\#P\in FP$

당신은 의견을 말할 수 있습니까?

— T ....