Cs-Cc
초등 모달 논리의 복잡도 전반적 분류
차원에 따라 달라지는 셀룰러 오토마타의 위상역학
내재적 불확실성으로 바라본 P와 NP의 구분
라빈밀러 알고리즘 정당성 폴리타임 이론 V1 증명
레마를 활용한 해법 트리: DLL 학습 알고리즘과 해법 복잡도 연결
칼토펜 무분할 행렬식 알고리즘의 직접적 어드조인트 변환
자원 배분 문제의 새로운 복잡도 결과
잠긴 제약 만족 문제: 고립된 해가 만드는 알고리즘 난관
불리언 계층의 정규 언어 멤버십을 위한 효율적 알고리즘
균형과 고정점, 복잡도 클래스의 통합적 고찰
SAT에는 마법사가 없다
재귀적 동시 확률 게임의 결정론과 복잡도
P와 NP의 차이를 증명한다는 주장, 그러나 증명은 허구
강렬한 반전: 약화된 포화 가설과 크로네커 계수의 복잡성
양자와 확률 세계의 유일성: Valiant‑Vazirani 정리의 MA·QCMA 확장과 물리학적 함의
스무스수와 암호학 나눗셈 평활성 이론과 응용
근사 커널 클러스터링: 다항시간 알고리즘과 UGC 기반 난이도 한계
보조 메모리를 이용한 비결정론적 계산 모델
양자 알고리즘으로 풀어내는 고비선형 부울 함수 숨은 이동 문제
실용 컴퓨팅으로 이론 컴퓨터 과학을 앞당기다
정규 트리 언어를 위한 오그덴 보강 펌핑 정리
깊이와 무작위성 결핍의 통합적 이해
