Cs-Dm
π 메트릭의 대칭군 완전 분석
통신 현장 기술자 및 작업 스케줄링을 위한 그리디 랜덤화 적응 탐색 절차
그래프 컷폭과 퇴화도 사이의 새로운 하한 관계
이진 형태소와 궁극적 주기성 단어
하이퍼큐브 정점 집합의 클로와 8 사이클 강제 존재성
유사환 사이클 그래프의 핵심과 크리티컬 집합 관계
ARV 구조정리의 새로운 확장 해석
그래프 커버와 독립집합에 대한 새로운 추측 및 베트 근사와의 연결
그리디 집합 커버 알고리즘의 정밀 복잡도 추정
삼각형이 없는 그래프의 구조와 완전 이분 그래프 및 5 사이클의 유일성
균형 단어 최적화와 그 다양한 수학·물리 응용
트리폭 넓이의 Nordhaus Gaddum 정리
정수값 변환을 통한 이산 동역학 시스템의 위상·안정성 분석
접선 단어의 복잡도 분석
ACL2로 검증하는 시어핀스키와 라이셀 수
1 플래너 그래프에서 최대 차수가 6·7인 클래스 II 예시 구축
17길이 6거리 6무게 이진코드 새로운 하한
그레이엄 스케줄과 숫자 분할 문제의 새로운 연결 고리
삼각형 힐브룰론 문제 상한 계산 자동 증명
문맥 자유 언어의 사전 순서에서 밀도 여부는 결정 불가능하다
제곱 그래프 G²가 König‑Egerváry 그래프가 되기 위한 정확한 조건
분산 최근접 이웃 탐색을 위한 최적 네트워크 구조 모델
