최대 독립 집합 문제
QOBLIB PR #84 · MIS
서로 충돌하는 선택을 피하면서 최대한 많은 항목을 고르는 문제입니다.
제출된 3개 인스턴스의 해가 공식 CI 형식·유효성 검사를 통과한 기록이 있습니다.
공개 제출 내용 확인CREAIM · TECHNOLOGY
모든 가능성을 다 계산하지 않고,
필요한 경로를 검토합니다.
Runtime Computing은 입력된 조건과 제약에 따라 가능한 경로를 구조화하고, 필요한 부분을 평가하는 계산·검증 접근입니다. 모든 미래를 예언하거나 모든 조합을 전수 계산한다는 뜻은 아닙니다.
1
조건 입력
목표·제약·증거 확인
2
경로 분석
관련 있는 상태와 위험 평가
3
결과 검증
이유·불확실성·후속 행동
#84 · #85 — 왜 어려운 문제인가?
문제 크기가 커질수록 가능한 조합이 매우 빠르게 늘어납니다. 제약을 잘 활용하고 후보를 탐색·검증하는 방법이 중요한 이유입니다.
이진 수열 자기상관 최적화
QOBLIB PR #85 · LABS
많은 0/1 배열 중 특정 간섭을 줄이는 수열을 찾는 문제입니다.
제출된 2개 인스턴스의 해가 공식 CI 유효성 검사를 통과한 기록이 있습니다.
공개 제출 내용 확인‘1조 개 상태공간’의 의미
CREAIM의 이전 내부 검증에는 약 1.048576조 개의 논리 상태공간을 표현한 기록이 있습니다. 이는 그만큼의 모든 상태를 하나씩 계산해 최적해를 찾았다는 주장은 아닙니다. 중요한 구분은 논리적으로 표현한 규모와 실제로 평가한 상태 수입니다.
서비스에서는 실제 실행마다 요청한 상태 예산, 생성한 후보 수, 실제 평가 수, 제외 기준, 검증 증거를 별도로 제시해야 신뢰할 수 있습니다.