Cs-Cc
분기 프로그램으로 구현한 다항시간 근사 스킴 배낭 문제와 관련 카운팅
직교 다각형의 효율적인 대피 계획: 합류 흐름과 비합류 흐름 비교
복소 가중치 제한도 부울 CSP의 근사 카운팅 이분법 정리
원 포장 문제, 종이접기 설계의 난제
가우시안 PTF를 위한 초소형 의사난수 생성기
추상 논증의 확장 가능한 트랙터블 조각
그래프 모델 파티션 함수 루프 전개와 자유 에너지 보정
그룹·반군에서의 서브리니어 시간 알고리즘 탐구
동적 범위 카운팅의 셀 프로브 복잡도: 새로운 하한 기법과 사각형 개선
일이이형 QSAT 최악 사례 시간 상한
랭킹 기반 블랙박스 복잡도
그래프 연합 구조 생성의 복잡도 분석
다항시간 함수의 형식화와 암호학 적용
마코프 결정 과정의 동기화 목표
정규 트리·선형 순서·단어 동형성 문제의 복잡도 전격 분석
병렬 랜덤 로드 밸런싱의 최적 한계
좁은 닫힌 시간 곡선으로 구현하는 계산 능력의 한계와 가능성
제한된 무작위성으로 반복 매칭 페니 게임의 균형 분석
작은 공간에서의 고전·양자 계산 비교
연결성 구조의 급격한 전이 업데이트를 늦추면 쿼리가 폭발한다
무지개 연결성 문제의 난이도와 매개변수 알고리즘
뉴먼 모듈러리티 군집 찾기의 복잡도 분석
