Cs-Cc
답변 집합 프로그래밍을 위한 백도어 기반 트랙터블성
잠재적 다항시간 알고리즘과 부분합 문제의 모순성
일반화된 불리언 식 최소화 문제의 복잡도 분석
계획 수정의 위상 전이와 확정적 계획
다항시간에 풀 수 있는 집합 제약의 새로운 지평
단계 기반 최소주의 파싱과 비국소 의존성 복잡도 예측
제곱 유클리드 거리에서의 외판원 문제
두 변수 의존 논리와 IF 논리의 복잡도
알고리즘적 무작위성: 귀납적 추론과 인공지능의 기반
제한 등거리성 검증의 복잡성 및 효율적 알고리즘
계산가능 측정 공간에서 집합의 완전 다중표현
NP 논리 시스템과 모델 동등성 감소
경로 조립 개념 정의와 응용 탐색
선형 임계함수의 분포 독립 진화 불가능성과 가능성
행렬 제어 삽입·삭제 시스템
조합 구조의 무작위 생성과 근사 계수 연구
독립성 증폭의 불가능성 및 콜모고로프 복잡도 추출기 한계
디자인 라인 그래프 동형성 테스트와 재구성 복잡도
혼돈성 증명과 교회 튜링 가설의 복잡성
플로이드 힙 구축 알고리즘 비교 횟수의 최악 사례 정확한 상한
양자 거부 샘플링: 상태 변환의 최적 쿼리 복잡도
클리크 함수의 비단조 회로 복잡도와 P≠NP에 대한 오류 논증
