Cs-Cc
전처리된 최근접 벡터 문제의 2^{log^{1‑ε} n} 근사 난이도
제국 색칠 문제의 복잡성
셀룰러 오토마타를 이용한 데이터 암호화 키 생성
컴퓨팅 질량분석 문제의 복잡도: 최소 비누 합집합(MinSU) 연구
이분 그래프에서 무지개 연결성 판정의 복잡도
복소 가중도 2 제한 CSP 근사 복잡도 분류
P와 NP 관계에 대한 새로운 관점: UF 클래스 제안
곱 기반 부울 제약 만족 최적화 문제의 삼분법적 복잡도 분류
문맥 자유 문법의 정규성 측정과 파라키 동등 자동자 구축
양자 아다iabatic 알고리즘의 지수적 복잡성: 잠긴 SAT 문제들의 실험적 분석
소프트와이어드 클러스터로부터 최소 계통수 네트워크 구성의 고정 매개변수 복잡도
짧은 문자열 알고리즘 복잡도 측정을 위한 안정적 방법
구면 커버 검증의 복잡도와 실용적 재귀 알고리즘
집합론 모델에 따라 달라지는 1‑카운터 Büchi 자동기의 보완 언어 크기
단순성 이론으로 보는 행운·불운 감정 메커니즘
가능 승자 문제 완전 이분법 구현 점수 벡터 2 1 0
두 개의 짧은 양자 증명으로 3SAT 검증
감도와 블록감도 사이의 새로운 2/3 분리
직관적 확률의 구조적 모델
다차원 SFT의 튜링 차수 연구
다중 증명자 QMA의 소리성 향상: 프로토콜 분석과 새로운 경계
왜 철학자는 계산 복잡도에 관심을 가져야 하는가
