Can you summarize the following document?
        
  完整的擴充套件形式表述包括:  右圖是一個雙人博弈:1和2。每個非終端節點上的數字表示該節點所屬的參與者。終端節點上的數字表示參與者的收益(例如:2,1表示參與者1得到2,參與者2得到1)。圖片裡每個邊上的符號是這個邊所代表的行動的名字。  初始節點屬於參與者1,表示該參與者先動。博弈順序如下:參與者1選擇"U"或者"D";參與者2觀察到參與者1的選擇,然後選擇"U' "或者"D' ",最後得到最終收益。四個終端節點代表四個結果:(U,U'),(U,D'),(D,U')和(D,D')。每個結果得到的收益分別是(0,0),(2,1),(1,2)和(3,1)。  如果參與者1選擇"D",參與者2為了最大化收益,會選擇"U"',最後參與者1只能得到1。但是如果參與者1選擇"U",參與者2為了最大化收益,會選擇"D' ",此時參與者1得到2。所以參與者1會選擇"U",參與者2選擇"D' "。即是子博弈完美均衡

  參與者在一個特定的決策節點上可能有無數種可能的行動可以選擇。其表示方法是用弧形來連線從該決策節點延伸出的兩條邊。如果行動空間是在兩個數字之間的閉聯集(continuum),那麼把這兩個表示上下界限的數字分別放在弧的上方和下方,並用一個變數來表示其支付。此時無數個決策節點可以用一個在弧中心的節點所代替。這種表示方式同樣可以用在一個有限的行動空間中,只要該行動空間足夠大,此時不可能用邊來表示每個行動。  左側的樹表示這樣一個博弈:該博弈或者有一個無限行動空間(任何0到5000的實數),或者有一個很大的行動空間(可能是任何在0到5000的整數)。如果我們在這裡假設它表示兩個參與Stackelberg競爭的企業。公司的支付表示在左邊,其中q1和q2表示先行者公司以及追隨者公司分別採用的策略,c1和c2是常數(表示公司的機會成本)。該博弈的子博弈完美納什均衡可以通過對支付函式求追隨者策略變數(q2)的一階偏導數表示其利潤最大化,並求出其最優反應函式,formula_1。用同樣的方法計算先行者的最優反應函式,並假定先行者知道追隨者會選擇上述的行動,通過一階偏導數來解出 formula_2。在將q1*代入到追隨者的最優反應函式中,formula_3,此時(q1*,q2*)就是子博弈完美納什均衡。如果假設 c1=c2=1000,那麼子博弈完美納什均衡的解就是(2000,1000)。

  樹圖清楚地表示了參與者1先動,參與者2觀察到參與者1的行動。然而,一些博弈並不是這樣。參與者並不是一直能觀察到另一個人的選擇(例如,同時行動或者行動被隱藏)。資訊集是決策節點的組合: 完美資訊的博弈是指在博弈的任何階段,每個參與者都清楚博弈之前發生的所有行動,也即每個資訊集都是一個單元素集合。沒有完美資訊的博弈具有不完美資訊。  左圖中的博弈中,參與者2行動時不知道參與者1的選擇,除此之外和第一個博弈相同。第一個博弈具有完美資訊;而左圖中的沒有。如果兩個參與者都是理性的,並且都知道對方也是理性人,對方知道的資訊,自己也能獲得(即參與者1知道參與者2知道參與者1是理性的,參與者2同樣也知道,如此迴圈下去),

  博弈論是一種數學理論,所以上述的博弈樹結構可以轉化為公式表達。  擴充套件形式的有限樹是這樣一個結構 formula_4 其中:
博弈論中,與正則形式相應,擴充套件形式(英語:Extensive-form game)通過樹來描述博弈。每個節點(稱作決策節點)表示博弈進行中的每一個可能的狀態。博弈從唯一的初始節點開始,通過由參與者決定的路徑到達終端節點,此時博弈結束,參與者得到相應的收益。每個非終端節點只屬於一個參與者;參與者在該節點選擇其可能的行動,每個可能的行動通過邊從該節點到達另一個節點。