ARCHIVE · 아카이브
KO
-
Self-sizing IBLT의 이론·구현 차이를 찾아 공식 크레딧을 받았다
Self-sizing IBLT의 고정 차수 모델과 실제 매핑 코드 사이의 불일치를 확인했다. 공식 저장소에 수정 코드와 Byungwoong Yoo의 기여에 대한 감사 표시가 공개됐다.
-
7개 분류군을 구별하는 최소 quartet 수 14를 정확히 검증했다
고정된 일곱 분류군의 모든 비근 이진 계통수를 구별하는 데 필요한 quartet 수의 최솟값 14를 정확히 다시 확인했다. 현재 상태와 한계를 공개 자료에 맞춰 기록했다.
-
확률적 구획 모형의 폭발 여부는 분할 법칙에 달려 있다
같은 확률적 구획 모형도 분자가 딸 구획으로 나뉘는 법칙에 따라 유한 시간 폭발 여부가 달라진다는 점을 증명했다. 현재 상태와 한계를 공개 자료에 맞춰 기록했다.
-
파노 평면 코드를 4차원 열린 볼록집합으로 구현했다
파노 평면 코드의 일곱 뉴런을 4차원의 유계 열린 볼록 다면체로 직접 구현했다. 현재 상태와 한계를 공개 자료에 맞춰 기록했다.
-
연속 소수 100개로 10×10 마방진을 만들었다
797부터 1493까지 이어지는 소수 100개를 한 번씩 써서 10×10 마방진 하나를 구성했다. 현재 상태와 한계를 공개 자료에 맞춰 기록했다.
-
OEIS A026771의 8차 점화식에 정확한 인증서를 만들었다
OEIS A026771의 아홉 항·시차 8 점화식을 기호식으로 검증할 수 있는 정확한 다항식 인증서로 정리했다. 현재 상태와 한계를 공개 자료에 맞춰 기록했다.