Cs-Cc
최적 증명 시스템 부재와 하드 타우톨로지 탐색의 복잡성
양자 다항계층 근사 난이도와 완전 문제
위상수학적 해법으로 바라본 P와 NP의 차이
뺄셈이 정수 계산을 빠르게 한다
행렬곱 병렬화의 강력 스케일링 한계와 메모리 독립 통신 하한
작은 메모리와 무작위성으로 토론 검증하기
방향성 비순환 그래프에서 멀티컷 문제의 고정 매개변수 시간 복잡성
무한 도메인 CSP의 복잡도 지도: 알제브라와 라무시 이론의 융합
도메인 3에서 Holant 문제의 이분법적 복잡도 구분
고온에서 타일 조립 시스템의 복잡성 및 온도 최적화
비교 회로값 문제의 복잡성 탐구
매칭 벡터 코드의 새로운 하한 연구
희소 다항식의 근 탐색과 난이도 경계
희소 계수 추출을 위한 동형 해싱
효과적인 미분동형론과 다중 차원 다항식
정보 복잡도와 부패 경계의 관계 및 직교성과 갭 해밍 문제에의 적용
곱셈 없이 첫 N개의 자연수 제곱 구하기
2프로버 한라운드 게임 파라미터와 연결성 문제의 난이도 향상
다중패스 그래프 스트리밍의 초선형 공간 하한
복잡성은 적자생존을 따른다
양화 제약 만족 문제에 대한 사색
그림 언어의 서술 복잡도와 차원 일반화