constructive output of existentially proved structure in ... · constructive output of...
TRANSCRIPT
![Page 1: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/1.jpg)
Constructive Output of Existentially Proved Structure in Combinatorics
Xiaotie DengShanghai Jiaotong University
May 5, 2017
Based on several works with Xi Chen,Edmonds, Feng, Kulkarni, Liu,
Papadimitriou, Qi, Xu
![Page 2: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/2.jpg)
Outline
PPAD-Completeness
Problems in PPAD
2 Player Nash
2
9Parity Arguments for
Octahedral TUCKER
![Page 3: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/3.jpg)
Outline
PPAD-Completeness
Problems in PPAD
2 Player Nash
3
9Parity Arguments for
Octahedral TUCKER
![Page 4: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/4.jpg)
Another End of Undirected Lines (AEUL)
Given an undirected graph G=(V,E;s) of degree no more than 2 with a degree-one node s
There exists another node t of degree-one.
Examples:1. The Sperner Lemma2. The Smith Theorem
4
![Page 5: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/5.jpg)
Sperner LemmaGiven a triangle ABC & its triangulation T.Base triangle: the minimal size triangles in T.
Sperner Coloring of the set S of vertices of T:1 A, B, and C are colored Blue, red, and
green respectively2 Each vertex on an edge of ABC is to be
colored only with one of the two colors of the ends of its edge.
•E.g., each vertex on AC must have a color either blue or green.
Sperner triangle: A triangle from T, with all three different colors.
•Lemma: there must be an odd number of Sperner triangles.
SPERNER: Boundary vertices are so colored that each edge has one color internally
5
![Page 6: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/6.jpg)
The underlying graph
Nodes: base triangles of T
Edges: between two nodes if they share a boundary edge colored by blue and red
Starting node: The outside of SPERNER
Any other degree one node:a base triangle of all three colors
6
![Page 7: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/7.jpg)
SPERNER
SPERNER: Boundary vertices are so colored that along each of the three lines of the triangle ABC there is only one color internally Corollary: staring node (outside triangle ABC) is of degree one.
7
a
c
b
![Page 8: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/8.jpg)
Smith Problem
Given a cubic graph G=(V,E) & given a Hamiltonian cycle H. There is another different Hamiltonian cycle H’.
8
)
![Page 9: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/9.jpg)
Smith Problem
9
cycle=>path=>lollipop=>…=>lollipop=>cycle
![Page 10: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/10.jpg)
Smith Problem
10
cycle=>path
![Page 11: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/11.jpg)
Smith Problem
11
path=>lollipop
![Page 12: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/12.jpg)
Smith Problem
12
lollipop=>path
![Page 13: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/13.jpg)
Smith Problem
13
path=>lollipop
![Page 14: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/14.jpg)
Smith Problem
14
lollipop=>path
![Page 15: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/15.jpg)
Smith Problem
15
path=>lollipop
![Page 16: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/16.jpg)
Smith Problem
16
lollipop=>path
![Page 17: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/17.jpg)
Smith Problem
17
path=>lollipop
![Page 18: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/18.jpg)
Smith Problem
18
lollipop=>path
![Page 19: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/19.jpg)
Smith Problem
19
path=>lollipop
![Page 20: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/20.jpg)
Smith Problem
20
lollipop=>path
![Page 21: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/21.jpg)
Smith Problem
21
path=>lollipop
![Page 22: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/22.jpg)
Smith Problem
22
lollipop=>path
![Page 23: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/23.jpg)
Smith Problem
23
path=>another cycle
![Page 24: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/24.jpg)
Smith Problem
24
)
![Page 25: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/25.jpg)
The underlying graph
Nodes: a lollipop or a cycle.
Edges: between two lollipops/cycles linked by a path
Starting node: The given H-cycle
Any other degree one node:any other cycle
25
![Page 26: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/26.jpg)
Outline
PPAD-Completeness
Problems in PPAD
2 Player Nash
26
9Parity Arguments for
Octahedral TUCKER
![Page 27: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/27.jpg)
Another End of Directed Lines (AEDL)
How to Create Directions?
Requirements:1. Local Computation Decision2. Consistency on each path/cycle
Examples:1. Possible: The Sperner Lemma2. Not till now: Smith Problem
27
![Page 28: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/28.jpg)
28
a
c
b
Direction of edges on AEDL: The entering edge has blue on left and red on the right. Keep the direction that way. Consistency: Prove by induction.Local decision: obviously.
AEDL Directions in SPERNER Triangulation
![Page 29: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/29.jpg)
Smith Problem
29
Node----edge-----Node
![Page 30: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/30.jpg)
AEDL Directions in Smith’s problem?
Edge is between two (lollipop/cycle)s add edge on a path
Exactly one possibilities with no directionNo direction can be created at this point?
30
![Page 31: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/31.jpg)
Assign Direction to SPERNER
Direction on SPERNER: Node set: consisting of each base triangle, and outside triangle region, Edge set: Two nodes sharing an boundary edge of colors blue and red.
Direction of an edge: chosen
31
a
c
b
![Page 32: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/32.jpg)
Outline
PPA(D)-Completeness
Problems in PPAD
2 Player Nash
32
9Parity Arguments for
Octahedral TUCKER
![Page 33: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/33.jpg)
Reductions for PPA(D)-Completeness
The problem is PPA(D)-hard, if it can solve AE(D/U)LThe Problem is in PPA(D), it is solved by AE(D/U)L
It is PPA(D)-Complete iff it is both above
33
![Page 34: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/34.jpg)
Reductions for PPA(D)-hardness
The problem is PPA(D)-hard, if it can solve AE(U/D)LThe Problem is in PPA(D), it is solved by AE(U/D)L
It is PPA(D)-Complete iff it is both above
Examples:1. Reduction of AEDL to 2D SPERNER2. Reduction of AEUL to m-SPERNER
34
![Page 35: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/35.jpg)
Reduction of AEDL to 2D SPERNER
Reduction of AEDL to Planar-AEDL
WHY AEDL is not planar?
Reduction of Planar-AEDL to 2D SPERNER
35
![Page 36: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/36.jpg)
Input Model of of AEDL
Node set: V={0,1,2,…,N-1} where N=
Edge set: E={e(i,j): for each } such that
36
i 2 V
2n
0 ��(i), �+(i) 1
such that j in e(i,j) is computed in polynomial time.
![Page 37: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/37.jpg)
Planar AEDL reduces to SPERNER
37
Coloring Scheme:along the direction. green alone each edge of AEDL red on left vertices blue on right vertices
Given starting node: placed at boundary counter-clockwise direction on boundary red All other grid points: colored blue
![Page 38: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/38.jpg)
Properties
38
All Sperner triangle appears at the end of lines of AEDL.
Boundary has one pair of blue-red edge
Sperner solves Planar-AEDL
Remaining problem: does not know how to embed lines/cycles in AEDL on the plane in polynomial time (#nodes exponential)
![Page 39: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/39.jpg)
Planar embedding of AEDL
39
First embed in a fixed way
Then crossing resolution
![Page 40: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/40.jpg)
Planar embedding of AEDL
40
First embed in a fixed way
Then crossing resolution
![Page 41: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/41.jpg)
Planar embedding of AEDL
41
First embed in a fixed way Then crossing resolution End of lines preserved.
SPERNER: PPADC (Xi Chen and D, 2005)
![Page 42: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/42.jpg)
Planar embedding of AEUL?
42
Problem: There is no direction on AEUL
Key Idea: Create directions, and use AEDL approach Make reversing lines equivalent with the help of a reversing line on the mobius strip
![Page 43: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/43.jpg)
Created directions in m-SPERNER for AEUL?
43
Construction: 1. Create each node as a directed channel, one in
another out. 2. For each i with edges (i,j) and (i,k) and j<k,
connect in-port to j and outport to k. 1. difficulty: in-port of i is connected to in-port
of j, or out-port of i to the out-port of k. 2. resolution: use the reversing line of mobius
strip 3. Given degree one node placed on the boundary.
![Page 44: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/44.jpg)
Node Channel
44
Convention: Direction upout-port
in-port
![Page 45: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/45.jpg)
Difficult edge connector
45
Convention: Direction up
out-port
in-port
out-port
in-port
in-port to in-port difficult self-crossing
![Page 46: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/46.jpg)
Easy edge connector
46
Convention: Direction up
out-port
in-port
out-port
in-port
out-port to in-port
![Page 47: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/47.jpg)
Another difficult edge connector
47
Convention: Direction up
out-port
in-port
out-port
in-port
out-port to out-port difficult self-crossing
![Page 48: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/48.jpg)
Difficult edge connector
48
With the help of reversing line on Mobius Strip
out-port
in-port
out-port
in-port
Reversing Line
Reversing Line
![Page 49: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/49.jpg)
Mobius strip embedding of AEUL
49
Construction based on implicit directions (defined by the numeric values of nodes)
Then crossing resolution
End of lines preserved (corresponding to sperner base triangle
m-SPERNER: PPAC (D, Edmonds, Feng, Liu, Qi, Xu, 2015)
![Page 50: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/50.jpg)
Outline
PPAD-Completeness
Problems in PPAD
2 Player Nash
50
9Parity Arguments for
Octahedral TUCKER
![Page 51: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/51.jpg)
Use probability for strategies in 2NASH as numbers/logic_valuesOperations on numbers done by probabilities of strategies
Implement SPERNER using Nash
1. Individual operations by 2 players2. Uniformly distribute probabilities of pairs of strategies3. Embed (1) many gates to (2) matching penny’s game
2NASH is PPADC (Xi Chen and D 2006)
51
Two Player Nash Equilibrium Solves Fixed Point
![Page 52: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/52.jpg)
Single Gates with 2 Players• Arithmetic Gates: G+, G-,
Gc, Gxc, G=
• Gate G+: v1+v2=v3
• Player 1 has 3 strategies 1,2,3;2 two a, b
• Value of player 2 depends on probability of player 1’s and his own strategies: p(a)*(p(1)+p(2))+p(b)*p(3)
• p(1)+p(2)=p(3) if p(a)*p(b)>0
1 2 3
ba
![Page 53: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/53.jpg)
Combined Circuit to Compute Fixed Point
• A set of K Nodes – v in [0,1]
• Gates – Arithmetic, Logic
• Gate G+: – v3 = ( v1+v2)
• Rule • Solution
G=0.2
1 2
3
4
G+
G=
G×0.5
(x+0.2) / 2 = x x = ?
![Page 54: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/54.jpg)
Overview: from GC to 2-Nash
1 2
3
4
1
G=
(A*,B*) (A2,B2) (A3,B3) (A4,B4) (A1,B1)
G=0.2
2
G=0.2G=
G×0.5
G+
G+
3
4
G×0.5
+ + + +
![Page 55: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/55.jpg)
Generalized Matching Pennies
• 2K x 2K, M = 2^K
• Nash equilibrium: x2i-1+x2i=y2j-1+y2j=1/K
![Page 56: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/56.jpg)
Combine many gates to Bimatrix
(A*,B*) (A2,B2) +
G+
3
1 2
Row 5 and 6 of Ai Column 5 and 6 of Bi
![Page 57: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/57.jpg)
Outline
PPAD-Completeness
Problems in PPAD
2 Player Nash
57
9Parity Arguments for
Octahedral TUCKER
![Page 58: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/58.jpg)
Octahedral Tucker of n dimension:Side length 2 hyper-grid with vertices colored with Boundary vertices with antisymmetric colors
f(p)=-f(-p)
There is an pair of edge complementarily colored: e=(i,j) and f(i)+f(j)=0
Finding one is PPAC (D, Feng, Kulkarni 2017).
58
Octahedral Tucker
{±1,±2, · · · ,±n}
![Page 59: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/59.jpg)
59
Examples in 2D/3D
![Page 60: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/60.jpg)
From a special sized version of 2D Tucker(proven PPAC)
Reduce one dimension size by half, add a new dimension of size 8.
End at all size 8 dimensions(a polynmial # of them).Reduce them into size 2
Key requirement:Size the problem properlyBeat the last step difficulty on a narrow space.
60
PPA-Completeness of Octahedral Tucker
![Page 61: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/61.jpg)
From a special sized version of 2D Tucker.Make sure it is suitable for all the reductions to follow work
well
A. Proper size: Derive the starting size of the 2D Tucker problems
B. New triangulations: Make sure octahedral Tucker structure to survive all the subsequent reductions.
C. Create a starting PPAC problem satisfies both conditions
61
Size the problem properly
![Page 62: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/62.jpg)
Make sure reduction is efficientNot to raise the number of dimensions to become
exponential eventually.
A. Reduce one dimension size by half, add a new dimension of size 8.
62
PPA-Completeness of Octahedral Tucker
![Page 63: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/63.jpg)
Reduce all size 8 dimensions(a polynmial # of them)to size 2 at each dimension
Beat the last step difficulty on a narrow space.An example from size 6 dimension to three each of size 2’s
63
PPA-Completeness of Octahedral Tucker
![Page 64: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/64.jpg)
Outline
64
Challenges
![Page 65: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/65.jpg)
• Computational Equivalence of 2NASH and Fixed Point (class
PPAD)• Mobiles Band Characterization of
(class PPA)• Two Kinds of Fixed Points in Terms of
Computation• Challenges: PPAC completeness
for Related problem in Graphs\Numbers\Combinatorics
65
Summary of the Progress
![Page 66: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/66.jpg)
• There has been a tradition of research in PPA problems
• But almost none (actually two) PPAC problems till
recently • There are a lot of known
PPAD-complete problem as well as many in PPAD
66
Unbalancedness of Problems in PPA and PPAC
![Page 67: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/67.jpg)
1. Grigni (2001) 3D non-orientalbe space PPAC2. Fried et al (Grigni 2006) locally 2D space is PPAC3. D, Edmonds, Feng et al. (2015), 2D m-SPERNER PPAC4. Assinberger, et al., (2015) 2D TUCKER PPAC5. Belovs, et al., (2017): PPA-Circuit CNSS and PPA-Circuit
Chevalley are PPAC6. D, Feng, Kulkarni (2017): Octahedral Tucker is PPA-
Complete
• Kintali (2009) already compiled a list of 25 PPAD-complete problems; the list is far from complete.
67
PPA-Complete Problems
![Page 68: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/68.jpg)
A. Papadimitriouc(1991), Beame, Cook, Edmonds, et al.(1998)• Smith and Hamiltonian decomposition, Necklace splitting and
Discrete Ham sandwich, Explicit Chevalley B. Cameron and Edmonds (1990,1999)
• Many graph problems: room partitioning, perfect matching, C. Jeˇr ́abek (2016)
• square root computation and finding quadratic nonresidues modulo n, into PPA
• Factoring in PPA under randomized reduction.D. D, Feng, Papadimitriou (2016): 2D m-TUCKER is in PPA
68
Problems in PPA
![Page 69: Constructive Output of Existentially Proved Structure in ... · Constructive Output of Existentially Proved Structure in Combinatorics ... Assign Direction to SPERNER ... PPAC (D,](https://reader030.vdocuments.us/reader030/viewer/2022021505/5ae8096f7f8b9aee078ef464/html5/thumbnails/69.jpg)
Thank you!