[박준호]

2번에 안정된 회로가 스위치에 상관없이 항상 0혹은1만 가지는지 알고싶으면,
스위치 입력을 무시했을때 와이어마다 가능한집합을 알아본다고 했잖아요,

그럼 switchinput을 0과 1로 바꿔가면서 run을 해서 알아내는게 편하지않을까요..?
그냥 circuit에서 switch찾아서 그 output wire리스트 만들어서 initial로 바꿔가면서 넣어서 해야하나요??

제가 변경전에 짜놓은건 switch값을 강제로 initial-wire-volt의 wireXvolt 리스트에 부여하는식(wire값이랑 switch값이랑 다르면 switch값 우선시)이라서 set-wire-volt의 스위치 리스트값만 바꿔주면되어서 훨씬 간단할것같은데....

그리고 그것과는 별개로"전깃줄이 스위치에 상관 없이 항상 한가지 값을 가지는지" 체크해 보고 싶은건데, 스위치 입력은 무시한다 치더라도 initial wire value에 따라 이게 0번째 혹은 첫번째, 두번째, 세번째 step을 거친 후에 stabilize될수도 있는데, 이런 상황은 회로를 어떻게 만드느냐에 따라서 백번째 스텝부터 안정해질수도 있는거잖아요. 그 기준이 어떻게되는건가요??
그냥 주어진 initial-wire-value에 대해서 스위치output단자쪽만 다 바꿔가면서 체크했을때 step0부터 쭉 가면서 체크하면 되나요?

안정된 회로를 가정하고(예를 들어 step0부터 step이 진행되어도 이전과 바뀌지 않는 상황에서, 그 이외의 경우는 배제) switch input의 변화에만 영향을 받게 해야하는지,
switchinput의 변화와 step이 더 깊어질수록 바뀌는것도 생각을 해야하는지
(switchinput이 step이 바뀔때 바뀌지는 않는다고 보구요) 궁금합니다.

[최민아]

[박준호]

안정된 회로를 가정하고(예를 들어 step0부터 step이 진행되어도 이전과 바뀌지 않는 상황에서, 그 이외의 경우는 배제) switch input의 변화에만 영향을 받게 해야하는지,
switchinput의 변화와 step이 더 깊어질수록 바뀌는것도 생각을 해야하는지
(switchinput이 step이 바뀔때 바뀌지는 않는다고 보구요) 궁금합니다.
-----------------------------------------------------------------------------------------

2번 문제의 목표가, 어떤 회로가 있을 때, 스위치의 인풋에 상관 없이 어떤 wire의 값이 일정하게 유지되는지 알고싶은 거잖아요~

그런데 우리가 사용하는 step 함수는 '(wire X volt)list' 의 wire - volt pair값들을 가지고 circuit의 각 gate의 input으로 넣고, 그 결과의 wire-volt pair의 리스트를 다시 받아오는 거잖아요.
여기서 나오는 문제가 두가지가 있는데요, 하나는 정말로 회로가 unstable한 경우
(예를 들면 (not-gate "w1" "w1")는 각 step을 지날때마다 "w1"의 값이 0과 1로 끝없이 바뀌게 되겠지요.)이고, 두번째는 회로는 stable해서 어떠한 고정된 initial-value set을 받아와서 step을 진행할 때, step이 진행됨에 따라서 어떤 stable한 wireXvolt List로 수렴(saturate)하게 되는 경우가 있을거잖아요.

왜냐하면, 초기 입력값은 저희가 마음대로 지정할 수 있으니까요.
우리가 원하는건 이런 circuit을 만들었을때 step을 진행하면서 이게 stable한지, 아닌지 알고싶은게 아닌가요? 각각의 wire input이 어떻게 되어야 할지 꼭 알아야만 하면 회로가 복잡해지면 initial-value를 정하는것부터가 문제가 될테니까요.

만약 회로가 첫번째 경우라면, 충분히 진행된 step에서도 계속 값이 바뀔것이고,
두번째 경우라면 switch input들을 고정시켜놓은 상태에서, 충분히 진행된 step에 대해서, 이전의 상태는 step을 진행한 이후의 상태와 동일하게 되겠지요.
그렇게되면, 본문에서 제가 말한, '안정된 회로를 가정하고'는 두번째 상태를 가정하고 step을 충분히 진행시킨 상태에서 체크를 시작한다고 볼 수 있습니다.
이 경우에는 switch input에 대해 다른 결과가 나올 수 있겠지요
(예를 들어, (not-gate "w1 "w2") (not-gate "w2 "w1) (switch "w1") 구성의 회로 - switch의 input이 어떤가에 따라 최종 수렴 상태가 달라집니다.)
(또 다른 예로, (not-gate "w1" "w1") (switch "w1")의 경우는 switch값에 상관없이 "w1"값이 step별로 toggle될것입니다.)
'이런 각 스위치에 대한 wire들의 saturation값들의 set을 최종적으로 구하는 것인지'

아니면, step이 충분히 진행되지 않은 상황에서의 wire값 변화도 모두 포함시켜야 하는것인지 알고싶습니다.(이게 본문의 'step이 더 깊어질수록 바뀌는것도 생각을 해야하는지'입니다)

사실 그전에 드는 의문은 지금 이 함수가 안정된 회로를 가리기 위한 것인지, switch-independent한 회로를 가리기 위한것인지 모르겠어요 지금 상태로는 둘중 어느것도 가리지 못할 것 같거든요;; 보통 '안정된 회로' 라는 의미는 회로의 부분 output이 재귀적으로 회로의 input으로 들어가는 회로의 경우에서 초기의 wire상태에 대해서 결국은 한가지 상태로 수렴하는 의미로 쓰이는걸로 알고있거든요.

[최민아]

수업시간에 답변해 드렸는데 혹시 궁금해 하시는 다른 분이 있을까봐 답변 드립니다.

switch의 output wire들의 입력을 바꿔가며 넣으며 run을 해서 알아내시면 됩니다.

wire들의 가능한 상태 수는 2^wire 개수이므로, run하다 보면 반드시 cycle이 생기게 됩니다. 그런 cycle을 발견할 때까지 run하며 알아내면 되겠지요.

주어진 initial 상태에 대해 스위치 output만 바꿔가며 체크하시면 됩니다.

회로가 더 이상 변하지 않을 때에의 wire 값을 구하는 것이 아닙니다.

초기 wire 값이 주어지고, 그 중 switch output wire를 바꿔가며 실행하는 도중에 가질 수 있는 각 wire의 모든 전위값을 구하는 것입니다.