Cs-Cc
양자 만족도와 고전 만족도의 차이점
양자·고전 파티션 경계와 검출기 비효율성
튜링 기계의 관측 가능성: 계산 이론의 새로운 시각
평면 그래프에서 두 상태 스핀 시스템의 분할 함수 근사화
동등성 판정 평균 통신 복잡도 연구
희소 변환을 이용한 전 엔트로피 추출기 패밀리
비교 연산의 물리적 한계와 정렬 복잡도 하한
모달 논리의 만족성 vs. 유한 만족성: 결정성의 이중성
집합 그래프 인식의 복잡성 및 확장 문제
비이진 트리 집합에서 최소 계통망 구성의 고정 매개변수 시간 가능성
주소 변환 비용: 현대 메모리 모델의 새로운 시각
격자 희소화와 근접 벡터 문제의 근사 해법
균형 서브그래프 최대화 문제의 파라미터화: 하한 초과 해법과 커널 크기 개선
자연증명과 무작위화의 대립
하나의 퍼즐 조각으로 모든 튜링 기계와 타일 시스템을 시뮬레이션
다항 크기 OR AND 회로의 균일성 탐구
트리폭 기반 연결 문제의 가중·계산 변형을 결정론적으로 단일 지수 시간에 해결하기
튜링 정리와 일반 물리 원리의 연관성
시도와 오류의 복잡성
행렬곱 연산의 순위 하한 개선 연구
두 선택의 힘과 무작위 kSAT
다항 경로 순서 POP 별 최대 모델