Editing Openai/69679fe4-9524-800d-9c74-5c34521fd378 (section)

==== - 모든 t에 대해 S0,S1,...,STS_0,S_1,...,S_TS0,S1,...,ST를 “순차적으로” 계산하되 차수 계산은 하지 말고(가벼운 연산만) ====

필요한 것은:
* xjx_jxj / yjy_jyj를 transcript에서 디코딩(이전 출력)
* 그 one-hot으로 이웃 판정: neighXj[v]=⋁u∈N(v)xj[u]neighX_j[v] = \bigvee_{u\in N(v)} x_j[u]neighXj[v]=u∈N(v)⋁xj[u]
* 업데이트: alivej+1[v]=alivej[v]∧neighXj[v]∧¬neighYj[v]∧¬xj[v]∧¬yj[v]∧¬foundPrefixjalive_{j+1}[v] = alive_j[v] \wedge neighX_j[v] \wedge \neg neighY_j[v] \wedge \neg x_j[v]\wedge \neg y_j[v] \wedge \neg foundPrefix_jalivej+1[v]=alivej[v]∧neighXj[v]∧¬neighYj[v]∧¬xj[v]∧¬yj[v]∧¬foundPrefixj

그리고 현재 반복의 alive는:

aliveCur[v]=⋁t(isItert∧alivet[v])aliveCur[v] = \bigvee_{t} (isIter_t \wedge alive_t[v])aliveCur[v]=t⋁(isItert∧alivet[v])