Cs-Cc
정규 실현 가능성 문제의 복잡도 연구
모델 검증 문제 복잡도 사분법
아날로그 연속시간 시스템으로 본 제약 만족 최적화의 난이도와 순간 혼돈
선형 미분 연산자 곱셈의 준최적 알고리즘
불완전 베스트 응답 메커니즘의 수렴성과 인센티브 호환성
계산 복잡도와 서브패턴 구조를 가진 가산 2차원 SFT 연구
함수 방향 2‑색 문제의 난이도 완전 분석
2차원 콜모고로프 복잡도와 코딩 정리 검증을 위한 압축성 접근
솔버블 순열군을 위한 거의 최적 확장 생성 집합
의사프랙탈 스케일프리 웹의 투테 다항식 연구
K₄ 마이너 커버 문제의 단일 지수 FPT 알고리즘
펜로즈 타일링에서 보편적 반전체주의 셀룰러 오토마톤
콜모고로프 복잡도 기반 객체 클러스터링 및 유사도 측정
단조 이중성 판정과 빈번 아이템셋 탐색을 위한 이차 로그공간 알고리즘
버클린 폴백 플루리티 투표의 제어 복잡성 실험 분석
S복합 그래프와 S소수 그래프 인식의 복잡도
좁은 증명 찾기의 복잡성
공정 색칠 게임의 이론과 복잡도
그리드 색칠의 난제와 NP완전성
선거 조작 문제에서 탐색과 결정의 복잡도 차이
교차 수 근사 난이도 연구
스파크 하한 개선 및 응용
