Cs-Cc
감도와 블록감도 사이의 새로운 2/3 분리
직관적 확률의 구조적 모델
다차원 SFT의 튜링 차수 연구
다중 증명자 QMA의 소리성 향상: 프로토콜 분석과 새로운 경계
왜 철학자는 계산 복잡도에 관심을 가져야 하는가
가젯과 안티가젯을 이용한 복잡도 이분법
새로운 저복잡도 결정론적 소수 판정법 명시·암시 비제곱 잔여 활용
SWAR 기반 비트 카운트와 패리티 알고리즘
근접실패의 감정 강도, 단순성 이론으로 풀다
폭넓은 SAT의 트리‑폭 파라미터화: 시간‑공간 트레이드오프와 복잡도 경계
양자 검색 알고리즘의 잡음 내성 및 복잡도 한계
실시간 기계의 비정규 언어 인식을 위한 공간 복잡도 최적 경계
단어 포셋과 코시터 군의 새로운 적용
그로텐디크 부등식과 조합 최적화: 알고리즘과 복잡도 통합 고찰
23번 곱셈으로 3×3 행렬을 곱하는 새로운 방법
3‑SAT을 위한 새로운 PPSZ 분석: 일반 SAT에서도 유니크‑SAT 한계 적용
프로토콜 파티션 수와 준가법적 경계의 정확한 관계
모달 의존 논리 모델 검증 복잡도 분석
k 경로 정점 커버의 최소화와 그래프 구조별 상한 분석
스트리밍 인터랙티브 증명으로 실용적인 검증 연산 구현
제약 언어 관점에서 바라본 아크 일관성 및 그 변형들의 완전성 분석
2차원 타일링 언어의 결정성 탐구: 비결정성에서 일관성으로
