Cs-Cc
압축 기반 셀룰러 오토마타 동역학 분석
테트라벡스 퍼즐, NP‑완전성으로 입증된 난이도
P와 NP 차이를 파헤치는 짧은 고찰
비가환 행렬식의 복잡성: 영구함수와의 깊은 연관성
깊은 추론의 증명 복잡성: 프레지와 겐젠 사이의 새로운 연결
오메가 수와 유한 정지 문제의 계산력 비교
선형 순서에서 Datalog 복잡도 연구
양자 증명을 이용한 고전 정리
F3 6m 효율적 곱셈을 위한 명시적 공식
자원제한 차원과 학습가능성의 연결고리
양자 분리성 문제를 위한 준다항식 시간 알고리즘
매치게이트 없이 구현하는 홀로그래픽 알고리즘
양자 분기 프로그램을 위한 지문 기법 기반 알고리즘
특수 토폴로지를 갖는 하이브리드 진화 프로세서 네트워크의 수용성 연구
정규 언어와 문맥 자유 언어를 위한 교환 보조정리
양성 등식 없는 1차 논리 모델 검증: 불리언 구조와 3정점 방향 그래프의 복합 복잡도 구분
파라메트릭 최단 경로 알고리즘의 두 단계 접근
시간 할인으로 보는 유한 합리성
차수 제한 그래프의 스패닝 트리 하한 연구
그레이드 모달 논리 만족도 문제의 복잡도 분석
제네럴라이즈드 네마우저 트로터 정리와 제한 차수 삭제 문제
블록 대각 구조 선형계획의 최적 블록 집합화 전략
