[논문 리뷰] The On-Line Encyclopedia of Integer Sequences

N. J. A. Sloane|arXiv (Cornell University)|2018. 05. 25.

Advanced Mathematical Theories인용 수 66

한 줄 요약

이 글은 2009년 이후 OEIS의 발전을 조사하며 주목할 만한 수열, 미해결 문제, Peaceable Queens와 평면의 원 안과 같은 흥미로운 시각화를 하이라이트하고, OEIS 재단 아래의 심사된 위키로의 전환에 대해 논의한다.

ABSTRACT

The recent history of The On-Line Encyclopedia of Integer Sequences (or OEIS), describing developments since 2009, and discussing recent sequences involving interesting unsolved problems and in many cases spectacular illustrations. These include: Peaceable Queens, circles in the plane, the earliest cube-free binary sequence, the EKG and Yellowstone permutations, other lexicographically earliest sequences, iteration of number-theoretic functions, home primes and power trains, a memorable prime, a missing prime, Post's tag system, and coordination sequences.

연구 동기 및 목표

• 2009년 이후 OEIS 및 그 재단의 최근 역사와 조직 변화 설명.
• 흥미로운 미해결 문제와 시각화가 있는 선택된 수열 강조.
• 새 제출물과 편집자 심사가 현재의 OEIS 연구와 질문을 어떻게 형성하는지 설명.
• 사전식으로 가장 이른 구성 및 순열 증명이 최근 OEIS 항목에 어떻게 나타나는지 보여준다.

제안 방법

• 2010년 이후 심사된 위키로의 OEIS 전환과 재단 및 편집자 역할에 대해 검토.
• OEIS 항목에서 정의, 특성 및 참고 문헌과 함께 선택된 수열을 제시.
• 새로운 수열을 생성하기 위한 사전식으로 가장 이른 구성의 활용 설명.
• 주요 예시와 관련된 추측, 경험적 데이터 및 알려진 증명에 대해 논의.
• 수열 및 문제를 설명하기 위한 도표와 예시 참고.
• OEIS 항목에서 제출물, 증명 및 열린 질문들 간의 상호 작용 요약.

실험 결과

연구 질문

• RQ1 Peaceable Queens 수열 A250000 및 관련 항목인 A250001(평면의 원)과 관련해 현재 알려진 값과 상한/하한은 무엇인가요?
• RQ2 사전식으로 가장 이른 수열들(EKG, Yellowstone 등)이 순열 특성 및 성장 측면에서 어떻게 작용하나요?
• RQ3 이차원 사전식 최초 배열의 상태 및 가설과 행/열/대각선이 자연수의 순열인지는 여부에 관한 상태와 추측은 무엇인가요?
• RQ4 최근의 OEIS 항목 전반에 반복적으로 나타나는 미해결 문제와 추측의 유형은 무엇이며, 실험 데이터와 시각화가 진전에 어떻게 기여합니까?

주요 결과

• A250000은 교차 색 간 격 attacks가 없는 n×n 체스판에서 평화로운 흰색과 검은색 여왕의 최대 수 m을 기록합니다(제공된 표에서 n=13까지 a(n) 값이 알려져 있습니다).
• A250001 (circles in the plane) 은 아핀 평면에서 특정 교차 제약 하에 n개의 원을 배치하는 방법의 수를 계산하며, 작은 n에 대한 계산 값과 다섯 원에서 관찰된 복잡성을 보입니다.
• EKG 수열 A064413와 Yellowstone 수열 A098550은 나눗셈 제약하에 사전식으로 가장 이른 서로 다른 양의 정수 수열로서 탐구되며, 성장 패턴과 순열 증명이 논의됩니다.
• 항의 점근적 거동에 대한 추측(예: EKG의 경우)과 대용량 항 플롯에서 관찰된 성장 곡선, 특정 수열이 양의 정수의 순열임을 부분적으로 증명하는 내용이 제시됩니다.
• 여러 수열은 2차원 Laurent 타입 배열 및 나선형 사전식 채우기와 같은 풍부한 구조적 문제를 보여 주며, 각 행/열/대각선이 N의 순열을 산출하는지 여부가 알려져 있지 않습니다.
• 이 글은 관련 배열에서 행, 열, 대각선의 실현 가능성 및 순열 특성에 관한 질문을 포함하여 진행 중인 실험적 연구와 미해결 문제를 보고합니다.