The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams