UVA 712 S-Trees：布爾函數求值的模擬與字符串映射

問題重述

S-Tree 表示 n 變量布爾函數。輸入：
- 變量排序（如 x3 x1 x2）
- 終端節點值串（長 2^n，對應葉子左到右）
- m 個變量賦值（VVA，如 110 表示 x1=1,x2=1,x3=0）
對每個 VVA 輸出函數值。多測試用例，n=0 結束。

核心邏輯：按變量排序走樹

1. 讀入排序，建立 var[depth] = 變量索引(1-based)。
2. 讀入葉子值串 leaves。
3. 對每個 VVA：
  從根開始，深度 d=0..n-1：
    當前變量 idx = var[d]，查 VVA 第 idx 位。
    若 '1' 走右，'0' 走左。
  葉子位置 = 二進制路徑值，輸出 leaves[pos]。

無需顯式建樹：直接計算葉子索引

路徑決策構成二進制數：bit = (vva[var[d]]-'0')，從高位到低位。
最終索引 pos = (bit₀<<(n-1)) | (bit₁<<(n-2)) | ... | bitₙ₋₁。
輸出 leaves[pos]。

完整 C++ 代碼

#include 
using namespace std;

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int n, tc=1;
    while(cin>>n, n) {
        vector order(n);
        for(int i=0;i>s; // x3
            order[i] = s[1]-'0'; // 變量索引 1..n
        }
        string leaves; cin>>leaves; // 長 2^n
        int m; cin>>m;
        cout << "S-Tree #" << tc++ << ":\n";
        while(m--) {
            string vva; cin>>vva; // 長 n，vva[0]對應x1
            int pos=0;
            for(int d=0; d

Input:
3
x1 x2 x3
00000111
4
000
010
111
110
3
x3 x1 x2
00010011
4
000
010
111
110
0

Output:
S-Tree #1:
0011

S-Tree #2:
0011