*Q1:
請問, 在該題的輸出結果, 是 Reduced OBDD 嗎?
另外是否可應用 Complemented edges 呢?
 

*A1:
1.
I think almost all BDD packages are using reduced OBDD.
Therefore, the answer is YES.
The output should be a ROBDD.

2,
I think the problem focus is on the ordering effects,
not the BDD package implementation.
Therefore, I suggest to just use the simplest technique.
Some advanced techniques such as complemented edge
should not be used to compare the effects of variable ordering.

======================================================================