부울 제어망에서 참조 출력 궤적 추적

안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.

본 논문은 부울 제어망(BCN)의 출력 추적 문제를 다룬다. 유한 길이와 주기적인 참조 출력 궤적에 대해, 초기 상태를 제한하지 않고 모든 가능한 해를 식별할 수 있는 알고리즘을 제시한다. 기존 연구

부울 제어망(BCN)은 상태·입력·출력이 모두 0‑1 값으로 표현되는 이산 논리 시스템이며, 반텐서 곱(semi‑tensor product, STP)을 이용해 선형 형태로 기술된다. 논문은 먼저 기존 연구