Math-Co
이분 그래프에서의 핵심 집합과 핵심 구조
원형 호 그래프의 박시티를 근사하는 새로운 다항시간 알고리즘
SDDWCA 기반 이동성 클러스터링으로 구현하는 안정적 MANET 구조
CNF 대칭 활용 SAT 솔버 가속화: 새로운 SBP 생성 기법과 통합 백트랙 솔버
반대와드렌 수와 회문형 반대와드렌 수에 대한 새로운 계산과 추측
비음수 계수와 확장 형식의 조합적 한계
단순 조립 라인 균형을 위한 강화된 정수계획 모델
k NAESAT 임계값 정확히 포착
위상적 부분그래프를 제외한 그래프들의 구조 정리와 동형성 검사
덧셈조합론으로 본 로그‑랭크 추측의 새로운 상한
산술 진행에서 비반복 수열의 새로운 경계
조합 배치 코드의 저장 하한과 최적 구성
행렬의 슈어 보완과 방향 그래프에 대한 완전한 순서 정리
모자이크 플로어플랜과 Baxter 순열의 최적 3n‑3 비트 표현
정수 직사각형 포장 문제의 코너 점유 정리
쿼버의 단사적 포장과 전사적 덮개: 완전 그래프와 로딩 구조
다항식 크기의 LP는 TSP·컷·안정집합 다각형을 표현할 수 없다
퍼뮤테드 k색칠 임계값의 정확한 경계
3차원 그래프 실현을 위한 고속 동기화 알고리즘
일반화된 k 스테이너 트리 문제의 효율적 해결
정수 분할의 일반화: 스탠리·엘더 정리와 라마누잔 합동의 새로운 전개
클로프프리 트라이그래프의 최적 안티두꺼워짐
