Cs-Cc
분산 결정에서 무작위성의 한계와 가능성
서브로그리듬 수준의 균일 불리언 증명망
선과 점의 교차정리와 응용
세 원소 MinSol 및 보수적 MinCostHom의 복잡도 분류
숨겨진 클리크와 제한 등거리 성질 인증
알레프 제로 범주 구조의 양성 혼합 정의 보존 정리
양자 어드베이틱 알고리즘과 무작위 최적화 문제의 스핀 글래스 관점
역 샤플리 값 문제: 효율적 알고리즘과 성능 보장
연결 제한 구조에서 μ계산 교대 계층 붕괴
유한값 CSP 복잡도 완전 정복
이분 그래프 정점 커버에 대한 서브로그 시간 근사 스킴 부재
임의 유한 포셋 게임 승자 판정은 PSPACE 완전
저밀도 최소 엔트로피 집합 커버의 향상된 근사 알고리즘
정사각형 문자열 섞기 문제는 NP완전
튜링 최소주의와 복잡성의 출현
평면 불 대수 CSP 복잡도 이분법: 복소 가중치와 매치게이트
포함 기반 트리의 자가 안정화 균형 알고리즘
확장된 교회 튜링 가설의 형식화와 증명
희소 깊이 이 임계 회로의 만족도 알고리즘
양자 인터랙티브 증명 완전성 강화 방법