Cs-Dm
경로형 하노이 타워 문제의 복잡도 분석
기하 모델링을 위한 규칙 기반 변환
원형 호 그래프의 박시티를 근사하는 새로운 다항시간 알고리즘
이진 덧셈 연산의 정체와 항등식
SDDWCA 기반 이동성 클러스터링으로 구현하는 안정적 MANET 구조
무지개 연결성 문제의 난이도와 매개변수 알고리즘
공통 네트로 연결되는 무한 삼중 테트라헤드론
다중값 확률 릴레이 회로로 무작위 분포를 설계하는 새로운 방법
뉴먼 모듈러리티 군집 찾기의 복잡도 분석
비음수 계수와 확장 형식의 조합적 한계
단순 조립 라인 균형을 위한 강화된 정수계획 모델
길이 38의 극대 및 s‑극대 이진 자기이중 코드 전면 분류
거의 불연속 행렬을 이용한 효율적 그룹 테스트 설계
k NAESAT 임계값 정확히 포착
위상적 부분그래프를 제외한 그래프들의 구조 정리와 동형성 검사
확률 셀룰러 오토마타의 인과 원리와 공리화
디리클레 고유값을 활용한 IP‑계층 네트워크 스펙트럼 분석 및 클러스터링
네 가지 생물학 응용 문제의 근사가능성 종합 분석
양자 물리와 물리적 교처 튜링 정리: 가디의 가설을 양자화하다
k‑가산 코어가 만들어 내는 임퓨테이션 집합의 전면 분석
확률적 플립을 이용한 다이머 타일링 수렴 시간 분석
스패닝 트리 그래프의 지름을 정점 수 제곱에 비례하도록 제한하는 강화된 Bondy Lovász 보조정리