E2E 실험 — 위반 → 어닐링 보정 → 적법

doa가 생성한 적법 도면에 위반을 주입하고, doa 판정의 required(법규 임계)를 하드항으로 넣은 QUBO를 어닐링으로 풀어, 보정안을 doa로 재판정한다. 법규 온톨로지와 양자 어닐링의 폐루프.

doa 연결됨 http://localhost:8091

마지막 실험 결과 — run_20260930_134608 (3인가구)

생성 3인 56㎡ 2룸 생성 시점 적합(위반 0) 도면 JSON

대상	속성	실측	op	법규 임계(required)	근거 조문	설명
거실	반자높이	2.05	>=	2.1	건축물의 제16조	실측 2.05 ≠ 요구(반자높이 >= 2.1m) · 부족 0.05m · 근거 건축물의 제16조(20251031)
거실창	면적	0.9	>=	1.8	건축물의 제17조	실측 0.9 ≠ 요구(면적 >= 거실.바닥면적(18.0)×0.1=1.8㎡) · 부족 0.9㎡ · 근거 건축물의 제17조(20251031)
대피공간	바닥면적	1.5	>=	2.0	건축법 제46조	실측 1.5 ≠ 요구(바닥면적 >= 2.0m2 [각 세대별]) · 부족 0.5m2 · 근거 건축법 제46조(20250826)
현관문	통과유효폭	0.8	>=	0.9	장애인ㆍ노인ㆍ임산부 별표0001	실측 0.8 ≠ 요구(통과유효폭 >= 0.9m) · 부족 0.1m · 근거 장애인ㆍ노인ㆍ임산부 별표0001(20251221)

이 표의 required가 그대로 QUBO 법규 하드항의 임계값이 된다. verdict JSON

25 이진변수

속성 5개 × 레벨 · M=3.072

12.288 → 1.3982

에너지 — 무수정(위반 하드항 활성) → SA해

정확해 일치 ✓

전수 탐색 1.3982 대조 — 어닐링 해의 최적성 검증

거실창(채광)은 상대제약 — 거실 바닥면적도 변수로 두어 두 one-hot의 2차 결합으로 인코딩됐다(doa 상대제약의 QUBO 대응물).

대상	속성	before	after	법규 임계	근거
거실	반자높이	2.05	2.104	2.1	건축물의 제16조
거실창	면적	0.9	1.623	1.8	건축물의 제17조
대피공간	바닥면적	1.5	2.004	2	건축법 제46조
현관문	통과유효폭	0.8	0.902	0.9	장애인ㆍ노인ㆍ임산부 별표0001
거실	바닥면적	18.0	16.2	—

적법 — 위반 0건 ✓ 적합 11건 · 해당없음 0건

양자(어닐링)는 후보 생성, 판정은 온톨로지(doa) — "양자 결과의 최적성 검증" 난제에 대한 구조적 답의 실증.