Cs-Cc
그래프 색채화 문제의 근사거리와 새로운 메트릭 구조
RNA 효소를 이용한 임의 형태 자가조립: 콜모고로프 한계와 로그 스케일 팩터 달성
단일첨첨 선호 사회는 조작과 통제에 더 취약하다
컴퓨팅 가능한 우주: 물리 모델의 형식적 정의와 구현
여러 실수 벡터에 대한 동시 정수 관계 탐지 알고리즘
한정된 차수의 이중 그래프에서 완전 매칭의 공간 복잡도
선형 임계함수의 향상된 근사
선형 문제의 복잡도와 안정성: 행렬 곱셈 중심 고찰
카운팅 CSP의 효율적 이분법과 결정 가능성
아슬람의 P NP 주장에 대한 철저한 반박
게으른 플리퍼: 깊이 제한 탐색을 통한 고차 그래프 모델 MAP 추론
복소값 그래프 동형 사상의 완전 이분법 정리
안정 매칭 근사계산의 복잡성
랭크‑1 모달 논리의 PSPACE 한계와 통합 알고리즘
비결정적 메커니즘의 수학적 정의와 동등성 연구
단방향 네트워크에서 자가안정 컬러링을 위한 공간·시간 최적 경계
서브그래프 매칭을 위한 분해 기법
직관주의 논리 1변수 모델 검사, AC¹ 완전성의 새로운 발견
퍼뮤테이션 파리뮤추얼 베팅: 비례 베팅 메커니즘과 최대 엔트로피 가격 책정
P2 패킹을 위한 파라미터화된 접근과 7k 커널
LTL 모델 검증 복잡도: 좋은 경우, 나쁜 경우, 그리고 난처한 경우
보편 확률의 Tsallis 엔트로피와 Shannon 엔트로피: 알고리즘적 무작위성 관점
