Cs-Cc
가중 카운팅을 위한 비순환 결합 질의 복잡도 분석
스파이더 솔리테어, NP‑완전성의 새로운 증명
트리 폭을 이용한 기본 논리와 자동 인식 논리의 파라미터화 복잡도 연구
AC⁰ 회로 만족도 탐색을 위한 새로운 확률 알고리즘
무지개 정점 연결수의 일반적 난이도 확장
해시 경로 여행 판매원 문제와 NP 난이도
kSAT 근사 알고리즘의 새로운 접근법
블록 정렬의 근사 난이도: Max‑SNP‑Hard와 k‑블록 병합을 통한 새로운 경계
최대 거리 초평면 문제와 최대 마진 클러스터링
다중쿼리 양자 합산 알고리즘의 새로운 한계
약한 진리표 감소의 계산 복잡도적 확장과 위상 전이
무한 포스트 대응 문제와 유리 관계의 고차 불확정성
파생무작위화 이론의 코딩 적용
쌍 정리법을 이용한 k‑SAT 복잡도 분석
확률적 블라인드 컨트롤러 최적화의 계산 복잡도
직관주의 함축이 모델 검증을 어렵게 만든다
결정적 근사 M 타원체 구성과 격자 알고리즘 비확률화
플래너 그래프에서의 메트릭 차원: 난이도 한계와 외부 평면 그래프 알고리즘
다중목표 근사에서 불일치 이론의 활용
영구함수 근사와 분수 신념전파: γ 파라미터가 열어주는 새로운 경계
그래프 확장성과 빠른 행렬곱의 통신 비용 최적화
공정과 효율을 위한 항공 교통 흐름 관리 시장 모델
