Cs-Cc
CNF 지식 컴파일에서 추론 노력과 크기의 트레이드오프
양자 국소 테스트 코드의 한계와 가능성
양자 얽힘을 가진 투사 게임의 병렬 반복 정리
안정성 두 그래프의 b‑컬러링: 난이도와 효율적 알고리즘
뺄셈 없는 복잡도와 클러스터 변환 및 스패닝 트리
일반화된 웡 시퀀스와 에드몬즈 문제의 새로운 알고리즘
카키 그래프에 대한 동형사상 카운팅 모듈로 2의 복잡도 이분법
양자 컴퓨터를 이용한 다중 네트워크 정렬
비대칭 가중치 매칭 문제의 복잡도와 근사 한계
자원 부족 상황에서 연합 게임 모델 검증
제한된 입력에서도 ENS 합성은 여전히 NP‑완전
극단적 테스트 난이도와 초단축 PCPP의 조화
리셋·셋으로 뒤흔든 플립플롭 넷 합성 복잡도
주성분 부분행렬 복구의 겹침 간격 특성
NP‑완전 비인접성 문제와 0/1‑다각형의 가족 관계
스팬 프로그램과 양자 공간 복잡도
장기와 장기의 EXPTIME 복잡도 분석
NP 완전성 개념의 붕괴와 분리
두 반평면 교차의 높은 임계 차수
평문 콜모고로프 복잡도에 대한 가법정리
복잡도와 결합: 보강·구속·강화 문제의 NP‑Hard 증명
제한된 파라미터 구간의 약속 집합 커버 문제, 격자 기반 다항시간 해결
