Cs-Dm
불만족스러운 k와 4곱하기 2의 k제곱 나누기 k CNF 공식 존재 증명
정규 선형 CNF 공식의 부분지수 복잡도와 분리성 개념
루카스 수를 위한 O(log n) 중간·리플 알고리즘
비선형 포식자‑피식자 모델을 선형 제어기로 활용
짝 1 부분 색칠에서 최대 매칭을 포함하는 트리의 특수 구조
곱셈·나눗셈 없이 홀수 정수 분해하기
정수 격자 위 행렬식 기반 비선형 방정식의 입체 일관성 확장
부분 콘웨이와 반복 세미링의 새로운 이론
불리언 함수의 본질적 차수 차이와 완전 합성표현
평면 그래프의 (2,1) 전체 라벨링: 최대 차수 12 이상에서 Δ+2 상한 확보
케룽 에게르바리 그래프와 핵심 독립집합의 새로운 관계
평면 그래프 면 수요 기반 다중 흐름 혼잡도 로그제한
그래프 장애물 수의 새로운 하한: n을 로그 n으로 나눈 수준
주어진 세대의 수치 반군집 개수에 대한 새로운 상하한
포화된 3포레스트는 반드시 타이트하지 않다
최대 독립집합 컬렉션의 매칭과 집합 부등식에 관한 새로운 정리
차이 삼각집합의 효율적 구성과 범위 최소화 연구
이분 그래프 원통과 토러스의 구간 엣지 색칠 최대 색 수 하한
자연수 계수 유리 멱급수와 자유 반복 반정리체
완전 그래프 K₂ₙ의 구간 엣지 색칠에서 가능한 최대 색 수 하한
추상수 체계에서 곱셈이 인식 가능성을 파괴한다
반정밀 스트리밍 모델에서 최적의 엣지당 처리 시간
