Proposition 3.2 Consider a two-play

Proposition 3.2 Consider a two-player game G = (Am⇥n, Bm⇥n), a subset S0 of the row player’s pure
strategies, and a distinguished strategy i for the row
player. We can determine in polynomial time (in the
size of the game) whether there exists a mixed strategy
x, that places positive probability only on strategies in
S0 and dominates the pure strategy i. Similarly, for the
column player, a subset S0 of the column player’s pure
strategies, and a distinguished strategy j for the column
player. We can determine in polynomial time (in the size
of the game) whether there exists a mixed strategy y, that
places positive probability only on strategies in S0 and
dominates the pure strategy j. This applies both for strict
and weak dominance (Conitzer & Sandholm 2005).

ผลลัพธ์ (ไทย) 1:

เรื่องที่ 3.2 พิจารณาเกมสองผู้เล่น G = (Am⇥n, Bm⇥n), S0 ชุดย่อยของแถวของบริสุทธิ์กลยุทธ์ และกลยุทธ์แตกต่างผมแถวเครื่องเล่น เราสามารถกำหนดในเวลาพหุนาม (ในการขนาดของเกม) ว่ามีกลยุทธ์ผสมx ที่น่าเป็นบวกในกลยุทธ์เท่านั้นS0 และกุมอำนาจกลยุทธ์บริสุทธิ์ฉัน ในทำนองเดียวกัน สำหรับการคอลัมน์เครื่องเล่น S0 ชุดย่อยของคอลัมน์ของบริสุทธิ์กลยุทธ์ และ j เป็นกลยุทธ์ที่แตกต่างสำหรับคอลัมน์เครื่องเล่น เราสามารถกำหนดในเวลาพหุนาม (ในขนาดของเกม) ว่ามี y เป็นกลยุทธ์แบบผสม ที่สถานน่าเป็นบวกในกลยุทธ์ S0 เท่านั้น และกุมอำนาจเจบริสุทธิ์กลยุทธ์ นี้ใช้สำหรับทั้งเข้มงวดและการปกครองที่อ่อนแอ (Conitzer & Sandholm 2005)

ผลลัพธ์ (ไทย) 2:

ข้อเสนอ 3.2 พิจารณาเป็นเกมที่สองผู้เล่น g = (Am⇥n, Bm⇥n) ซึ่งเป็นกลุ่มย่อย S0 บริสุทธิ์ผู้เล่นแถว
กลยุทธ์และกลยุทธ์ที่โดดเด่นสำหรับผมแถว
เล่น เราสามารถตรวจสอบได้ในเวลาพหุนาม (ใน
ขนาดของเกม) ไม่ว่าจะมีอยู่กลยุทธ์ผสม
X, ที่สถานที่ที่น่าจะเป็นบวกเกี่ยวกับกลยุทธ์ใน
S0 และครองกลยุทธ์บริสุทธิ์ฉัน ในทำนองเดียวกันสำหรับ
ผู้เล่นคอลัมน์เป็น S0 ย่อยของบริสุทธิ์เล่นคอลัมน์
กลยุทธ์และ J กลยุทธ์ที่โดดเด่นสำหรับคอลัมน์
เล่น เราสามารถตรวจสอบได้ในเวลาพหุนาม (ในขนาด
ของเกม) ไม่ว่าจะมีอยู่ Y กลยุทธ์ผสมว่า
สถานที่ที่น่าจะเป็นบวกเกี่ยวกับกลยุทธ์ใน S0 และ
ครอง J กลยุทธ์บริสุทธิ์ นี้ใช้ได้ทั้งสำหรับเข้มงวด
การปกครองและอ่อนแอ (Conitzer & Sandholm 2005)

ผลลัพธ์ (ไทย) 3:

3.2 พิจารณาข้อเสนอสองผู้เล่นเกม G = ( เป็น⇥ N BM ⇥ n ) เป็นเซตย่อย Name ของแถวของผู้เล่นที่บริสุทธิ์กลยุทธ์และกลยุทธ์ที่แตกต่างเพื่อแถวผู้เล่น เราสามารถตรวจสอบได้ในเวลาพหุนาม ( ในขนาดของเกม ) ว่ามีอยู่กลยุทธ์ผสมX , ที่สถานที่บวกความน่าจะเป็นเฉพาะในกลยุทธ์ในName และครองบริสุทธิ์กลยุทธ์ . ในทำนองเดียวกันสำหรับผู้เล่น คอลัมน์ย่อย Name ของคอลัมน์ของผู้เล่นที่บริสุทธิ์กลยุทธ์และกลยุทธ์สำหรับคอลัมน์เด่น เจผู้เล่น เราสามารถตรวจสอบได้ในเวลาพหุนาม ( ในขนาดของเกม ) ว่ามีอยู่กลยุทธ์ผสม Y ,สถานที่บวกความน่าจะเป็นเฉพาะและกลยุทธ์ Nameครองบริสุทธิ์กลยุทธ์เจนี้ใช้ทั้งเข้มงวดและการปกครองที่อ่อนแอ ( conitzer & sandholm 2005 )