Cs-Cc
수체 정규형을 다항시간에 구하는 새로운 모듈러 알고리즘
와일드카드 압축을 이용한 2CNF 부울식 모델 전부 열거
원소 구별 문제에 대한 최적 적대자 하한
근접 이웃 양자 회로의 최적 깊이 설계
비균일 콜모고로프 추출기의 한계와 가능성
테스트 커버 문제 다항 커널 존재 여부
대칭성 파괴 제약 최신 연구
보편적 팩터 그래프
문자열 분할 문제의 복잡성 분석
선형 프레임과 자연수 위 단조 하이브리드 논리의 복잡도 분석
양자 자동자의 추상적 개념 탐구
리 군 표현의 중복도 계산을 위한 다항시간 알고리즘
파이널 판타지 XIII 2 퍼즐 복잡도 연구
정규 차수 그래프에서 두 스핀 모델의 계산 난이도
온라인 해밍 거리 계산의 셀 프로브 하한과 상한
비주입형 숨은 이동 문제를 주입형 문제로 환원
합리적 선형 함수 합 최소화 문제의 NP 어려움 증명
다차원 무작위 적분 알고리즘의 하한 오류 분석
양자 푸리에 변환과 유한군 이중체의 링크 불변량 복잡도
3색칠과 2대1 라벨 커버의 새로운 NP 난이도 결과
k 합 문제에 대한 양자 쿼리 하한
ODD EVEN DELTA 문제는 P 하드