input TEX; nodescale := 11pt; def node(expr i) = begingroup path p; p := fullcircle scaled nodescale shifted z[abs i]; fill p withcolor white; draw p; endgroup enddef; def tofrom(expr i,j) = (z[i]+nodescale/2*dir angle(z[j]-z[i]))--(z[j]+nodescale/2*dir angle(z[i]-z[j])) enddef; def activity(expr i,j,lbl) = begingroup drawarrow tofrom(i,j); picture lab; lab := thelabel.top(TEX(lbl), (0, 0)); draw lab scaled 0.8 rotated angle(z[j] - z[i]) shifted 0.5[z[i],z[j]]; endgroup enddef; def dummy(expr i,j) = begingroup drawarrow tofrom(i,j) dashed evenly; endgroup enddef; outputtemplate := "%j-cpm-%c.mps"; beginfig(1); ux := 1.5cm; uy := 1.5cm; z0 = (0,0); z1 = (ux,uy); z2 = (ux,0); z3 = (ux,-uy); z4 = (2ux,0); z5 = (3ux,uy); z6 = (3ux,0); z7 = (3ux,-uy); z8 = (4ux,0); z9 = (4.35ux,0.35uy); z10 = (4.5ux,0); z11 = (4.35ux,-0.35uy); z12 = (5.15ux,0.35uy); z13 = (5ux,0); z14 = (5.15ux,-0.35uy); z15 = (5.5ux,0); z16 = (6.5ux,uy); z17 = (6.5ux,0); z18 = (6.5ux,-uy); z19 = (7.5ux,0); draw tofrom(8,9); draw tofrom(8,10); draw tofrom(8,11); for i=0 upto 8: node(i); endfor for i=15 upto 19: node(i); endfor activity(0,1,"$a_1$"); activity(0,2,"$a_2$"); activity(0,3,"$a_3$"); activity(4,5,"$a_4$"); activity(4,6,"$a_5$"); activity(4,7,"$a_6$"); activity(15,16,"$a_{3m-2}$"); activity(15,17,"$a_{3m-1}$"); activity(15,18,"$a_{3m}$"); dummy(1,4); dummy(2,4); dummy(3,4); dummy(5,8); dummy(6,8); dummy(7,8); dummy(12,15); dummy(13,15); dummy(14,15); dummy(16,19); dummy(17,19); dummy(18,19); label(btex\dots etex,(4.75ux,0)); endfig; beginfig(2); ux := 1.3cm; uy := 1.3cm; z0 = (0,0); z1 = (ux,uy); z2 = (ux,-uy); z3 = (2ux,0); z4 = (3ux,uy); z5 = (3ux,-uy); z6 = (4ux,0); z7 = (5ux,uy); z8 = (5ux,0); z9 = (5ux,-uy); z10 = (6ux,0); z11 = (7ux,uy); z12 = (7ux,0); z13 = (7ux,-uy); z14 = (8ux,0); z15 = (8.35ux,0.35uy); z16 = (8.5ux,0); z17 = (8.35ux,-0.35uy); z18 = (9.15ux,0.35uy); z19 = (9ux,0); z20 = (9.15ux,-0.35uy); z21 = (9.5ux,0); z22 = (10.5ux,uy); z23 = (10.5ux,0); z24 = (10.5ux,-uy); z25 = (11.5ux,0); draw tofrom(14,15); draw tofrom(14,16); draw tofrom(14,17); for i=0 upto 14: node(i); endfor for i=21 upto 25: node(i); endfor activity(0,1,"$a_1$"); activity(0,2,"$a_2$"); activity(3,4,"$a_3$"); activity(3,5,"$a_4$"); activity(6,7,"$a_5$"); activity(6,8,"$a_6$"); activity(6,9,"$a_7$"); activity(10,11,"$a_8$"); activity(10,12,"$a_9$"); activity(10,13,"$a_{10}$"); activity(21,22,"$a_{3m-1}$"); activity(21,23,"$a_{3m}$"); activity(21,24,"$a_{3m+1}$"); dummy(1,3); dummy(2,3); dummy(4,6); dummy(5,6); dummy(7,10); dummy(8,10); dummy(9,10); dummy(11,14); dummy(12,14); dummy(13,14); dummy(18,21); dummy(19,21); dummy(20,21); dummy(22,25); dummy(23,25); dummy(24,25); label(btex\dots etex,(8.75ux,0)); endfig; beginfig(3); ux := 1.5cm; uy := 1.5cm; z0 = (0,0); z1 = (ux,uy); z2 = (ux,-uy); z3 = (2ux,0); z4 = (3ux,uy); z5 = (3ux,0); z6 = (3ux,-uy); z7 = (4ux,0); z8 = (5ux,uy); z9 = (5ux,0); z10 = (5ux,-uy); z11 = (6ux,0); z12 = (6.35ux,0.35uy); z13 = (6.5ux,0); z14 = (6.35ux,-0.35uy); z15 = (7.15ux,0.35uy); z16 = (7ux,0); z17 = (7.15ux,-0.35uy); z18 = (7.5ux,0); z19 = (8.5ux,uy); z20 = (8.5ux,0); z21 = (8.5ux,-uy); z22 = (9.5ux,0); draw tofrom(11,12); draw tofrom(11,13); draw tofrom(11,14); for i=0 upto 11: node(i); endfor for i=18 upto 22: node(i); endfor activity(0,1,"$a_1$"); activity(0,2,"$a_2$"); activity(3,4,"$a_3$"); activity(3,5,"$a_4$"); activity(3,6,"$a_5$"); activity(7,8,"$a_6$"); activity(7,9,"$a_7$"); activity(7,10,"$a_8$"); activity(18,19,"$a_{3m}$"); activity(18,20,"$a_{3m+1}$"); activity(18,21,"$a_{3m+2}$"); dummy(1,3); dummy(2,3); dummy(4,7); dummy(5,7); dummy(6,7); dummy(8,11); dummy(9,11); dummy(10,11); dummy(15,18); dummy(16,18); dummy(17,18); dummy(19,22); dummy(20,22); dummy(21,22); label(btex\dots etex,(6.75ux,0)); endfig; %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% outputtemplate := "%j-tree.mps"; beginfig(1); ux:=1cm; uy:=-1cm; z0=(0,0); z1=(0,uy); z2=(0,2uy); z3=(0,3uy); z4=(-2ux,4uy); z5=(2ux,4uy); z6=(-3ux,5uy); z7=(-2ux,5uy); z8=(-ux,5uy); z9=(0.5ux,5uy); z10=(1.5ux,5uy); z11=(2.5ux,5uy); z12=(3.5ux,5uy); for i=0 upto 12: draw z[i] withpen pencircle scaled 4pt; endfor draw z1--z2--z3--z4--z6; draw z4--z7; draw z4--z8; draw z3--z5--z9; draw z5--z10; draw z5--z11; draw z5--z12; for i=6 upto 12: for j=1 upto i-1: draw z[i]--(z[i]+(0.5uy*dir90)+((j-(i/2))*(1/(i-1))*0.8ux*dir180)); endfor endfor draw (-3.5ux,5.7uy)--(4ux,5.7uy) dashed withdots withpen pencircle scaled 1pt; label.urt("0",z0); label.urt("1",z1); label.urt("2",z2); label.urt("3",z3); label.ulft("4",z4); label.urt("5",z5); label.ulft("6",z6); label.ulft("7",z7); label.urt("8",z8); label.ulft("9",z9); label.ulft("10",z10); label.urt("11",z11); label.urt("12",z12); endfig; %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% u:=1.5cm; def graphfourpoints = z0=(0,u); z1=(u,2u); z2=(u,0); z3=(3u,2u); z4=(3u,0); z5=(4u,u); z6=(5u,2u); z7=(5u,0); z8=(6u,u); enddef; def edgeweight(expr i,j,w,d) = label(decimal w infont "cmr7", 0.5[z[i],z[j]]+7pt*dir d); draw fullcircle scaled 10pt shifted (0.5[z[i],z[j]]+7pt*dir d); enddef; def graphfourverticesweights = for i=0 upto 8: draw z[i] withpen pencircle scaled 5pt; endfor edgeweight(0,1,8,135); edgeweight(0,2,9,45); edgeweight(1,3,10,90); edgeweight(2,3,9,135); edgeweight(2,4,9,90); edgeweight(3,5,6,45); edgeweight(3,6,8,90); edgeweight(4,7,11,90); edgeweight(5,6,7,135); edgeweight(5,7,4,45); edgeweight(5,8,10,90); edgeweight(6,8,8,45); edgeweight(7,8,7,135); label.lft(btex\strut$s\;$etex,z0); label.rt(btex\strut$\;t$etex,z8); enddef; def graphfourvertexlabels = label.top(btex\strut$a$etex,z1); label.bot(btex\strut$b$etex,z2); label.top(btex\strut$c$etex,z3); label.bot(btex\strut$d$etex,z4); label.llft(btex\strut$e$etex,z5); label.top(btex\strut$f$etex,z6); label.bot(btex\strut$g$etex,z7); enddef; def graphfour = graphfourpoints; draw z2--z0--z1--z6--z8--z7--z3--z2--z7; draw z8--z5--z6; graphfourverticesweights; graphfourvertexlabels; enddef; color wcolor; wcolor:=blue+0.7green; w:=0.4u; def wseg(expr a,b,c,d) = (z[b]+w*dir(angle(z[b]-z[a])+90)){dir angle(z[b]-z[a])} ..{dir angle(z[c]-z[b])}(z[b]+w*dir(angle(z[c]-z[b])+90))-- enddef; highlightw:=12pt; highlighth:=16pt; def highlightx(expr i) = begingroup draw (x[i]-highlightw,y[i]+highlighth)--(x[i]+highlightw,y[i]+highlighth) --(x[i]+highlightw,y[i]-highlighth)--(x[i]-highlightw,y[i]-highlighth) --cycle withcolor 0.7green withpen pencircle scaled 1pt; endgroup enddef; def admissible(expr i,j) = draw z[i]--z[j] withcolor 0.7green withpen pencircle scaled 2pt; draw z[i]--z[j] withcolor white withpen pencircle scaled 0.66667pt; enddef; def candidate(expr i,j) = begingroup draw z[i]--z[j]; linecap:=butt; draw (z[i]+4pt*dir angle(z[j]-z[i]))--(z[j]+4pt*dir angle(z[i]-z[j])) dashed dashpattern(off 2pt on 0.5pt off 2pt) withcolor red withpen pencircle scaled 3pt; linecap:=rounded; endgroup enddef; %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% outputtemplate := "%j-dijkstra-%c.mps"; beginfig(1); graphfour; label.top(btex\strut0etex,z0) withcolor red; label.bot(btex\strut8etex,z1) withcolor red; label.top(btex\strut9etex,z2) withcolor red; label.bot(btex\strut$\infty$etex,z3) withcolor red; label.top(btex\strut$\infty$etex,z4) withcolor red; label.top(btex\strut$\infty$etex,z5) withcolor red; label.bot(btex\strut$\infty$etex,z6) withcolor red; label.top(btex\strut$\infty$etex,z7) withcolor red; label.top(btex\strut$\infty$etex,z8) withcolor red; draw fullcircle scaled 2w shifted z0 withcolor wcolor withpen pencircle scaled 1pt; label.ulft(btex$W$etex,(z0+w*dir135)) withcolor wcolor; highlightx(1); endfig; beginfig(2); graphfour; label.top(btex\strut0etex,z0) withcolor red; label.bot(btex\strut8etex,z1) withcolor red; label.top(btex\strut9etex,z2) withcolor red; label.bot(btex\strut18etex,z3) withcolor red; label.top(btex\strut$\infty$etex,z4) withcolor red; label.top(btex\strut$\infty$etex,z5) withcolor red; label.bot(btex\strut$\infty$etex,z6) withcolor red; label.top(btex\strut$\infty$etex,z7) withcolor red; label.top(btex\strut$\infty$etex,z8) withcolor red; draw wseg(0,1,0,1) wseg(1,0,1,0) cycle withcolor wcolor withpen pencircle scaled 1pt; label.ulft(btex$W$etex,0.5[z0,z1]+w*dir135) withcolor wcolor; highlightx(2); endfig; beginfig(3); graphfour; label.top(btex\strut0etex,z0) withcolor red; label.bot(btex\strut8etex,z1) withcolor red; label.top(btex\strut9etex,z2) withcolor red; label.bot(btex\strut18etex,z3) withcolor red; label.top(btex\strut18etex,z4) withcolor red; label.top(btex\strut$\infty$etex,z5) withcolor red; label.bot(btex\strut$\infty$etex,z6) withcolor red; label.top(btex\strut$\infty$etex,z7) withcolor red; label.top(btex\strut$\infty$etex,z8) withcolor red; draw wseg(0,1,2,0) wseg(1,2,0,1) wseg(2,0,1,2) cycle withcolor wcolor withpen pencircle scaled 1pt; label.ulft(btex$W$etex,0.5[z0,z1]+w*dir135) withcolor wcolor; highlightx(4); endfig; beginfig(4); graphfour; label.top(btex\strut0etex,z0) withcolor red; label.bot(btex\strut8etex,z1) withcolor red; label.top(btex\strut9etex,z2) withcolor red; label.bot(btex\strut18etex,z3) withcolor red; label.top(btex\strut18etex,z4) withcolor red; label.top(btex\strut$\infty$etex,z5) withcolor red; label.bot(btex\strut$\infty$etex,z6) withcolor red; label.top(btex\strut29etex,z7) withcolor red; label.top(btex\strut$\infty$etex,z8) withcolor red; draw wseg(0,1,4,2) wseg(1,4,2,0) wseg(4,2,0,1) wseg(2,0,1,4) cycle withcolor wcolor withpen pencircle scaled 1pt; label.ulft(btex$W$etex,0.5[z0,z1]+w*dir135) withcolor wcolor; highlightx(3); endfig; beginfig(5); graphfour; label.top(btex\strut0etex,z0) withcolor red; label.bot(btex\strut8etex,z1) withcolor red; label.top(btex\strut9etex,z2) withcolor red; label.bot(btex\strut18etex,z3) withcolor red; label.top(btex\strut18etex,z4) withcolor red; label.top(btex\strut24etex,z5) withcolor red; label.bot(btex\strut26etex,z6) withcolor red; label.top(btex\strut29etex,z7) withcolor red; label.top(btex\strut$\infty$etex,z8) withcolor red; draw wseg(0,1,3,4) wseg(1,3,4,2) wseg(3,4,2,0) wseg(4,2,0,1) wseg(2,0,1,3) cycle withcolor wcolor withpen pencircle scaled 1pt; label.ulft(btex$W$etex,0.5[z0,z1]+w*dir135) withcolor wcolor; highlightx(5); endfig; beginfig(6); graphfour; label.top(btex\strut0etex,z0) withcolor red; label.bot(btex\strut8etex,z1) withcolor red; label.top(btex\strut9etex,z2) withcolor red; label.bot(btex\strut18etex,z3) withcolor red; label.top(btex\strut18etex,z4) withcolor red; label.top(btex\strut24etex,z5) withcolor red; label.bot(btex\strut26etex,z6) withcolor red; label.top(btex\strut28etex,z7) withcolor red; label.top(btex\strut34etex,z8) withcolor red; draw wseg(0,1,3,5) wseg(1,3,5,4) wseg(3,5,4,2) wseg(5,4,2,0) wseg(4,2,0,1) wseg(2,0,1,3) cycle withcolor wcolor withpen pencircle scaled 1pt; label.ulft(btex$W$etex,0.5[z0,z1]+w*dir135) withcolor wcolor; highlightx(6); endfig; beginfig(7); graphfour; label.top(btex\strut0etex,z0) withcolor red; label.bot(btex\strut8etex,z1) withcolor red; label.top(btex\strut9etex,z2) withcolor red; label.bot(btex\strut18etex,z3) withcolor red; label.top(btex\strut18etex,z4) withcolor red; label.top(btex\strut24etex,z5) withcolor red; label.bot(btex\strut26etex,z6) withcolor red; label.top(btex\strut28etex,z7) withcolor red; label.top(btex\strut34etex,z8) withcolor red; draw wseg(0,1,6,4) wseg(1,6,4,2) wseg(6,4,2,0) wseg(4,2,0,1) wseg(2,0,1,6) cycle withcolor wcolor withpen pencircle scaled 1pt; label.ulft(btex$W$etex,0.5[z0,z1]+w*dir135) withcolor wcolor; highlightx(7); endfig; beginfig(8); graphfour; label.top(btex\strut0etex,z0) withcolor red; label.bot(btex\strut8etex,z1) withcolor red; label.top(btex\strut9etex,z2) withcolor red; label.bot(btex\strut18etex,z3) withcolor red; label.top(btex\strut18etex,z4) withcolor red; label.top(btex\strut24etex,z5) withcolor red; label.bot(btex\strut26etex,z6) withcolor red; label.top(btex\strut28etex,z7) withcolor red; label.top(btex\strut34etex,z8) withcolor red; draw wseg(0,1,6,7) wseg(1,6,7,2) wseg(6,7,2,0) wseg(7,2,0,1) wseg(2,0,1,6) cycle withcolor wcolor withpen pencircle scaled 1pt; label.ulft(btex$W$etex,0.5[z0,z1]+w*dir135) withcolor wcolor; highlightx(8); endfig; beginfig(9); graphfour; label.top(btex\strut0etex,z0) withcolor red; label.bot(btex\strut8etex,z1) withcolor red; label.top(btex\strut9etex,z2) withcolor red; label.bot(btex\strut18etex,z3) withcolor red; label.top(btex\strut18etex,z4) withcolor red; label.top(btex\strut24etex,z5) withcolor red; label.bot(btex\strut26etex,z6) withcolor red; label.top(btex\strut28etex,z7) withcolor red; label.top(btex\strut34etex,z8) withcolor red; draw wseg(0,1,6,8) wseg(1,6,8,7) wseg(6,8,7,2) wseg(8,7,2,0) wseg(7,2,0,1) wseg(2,0,1,6) cycle withcolor wcolor withpen pencircle scaled 1pt; label.ulft(btex$W$etex,0.5[z0,z1]+w*dir135) withcolor wcolor; endfig; beginfig(10); graphfourpoints; draw z4--z7--z8; draw z5--z6; admissible(0,1); admissible(0,2); admissible(1,3); admissible(2,3); admissible(2,4); admissible(3,5); admissible(3,6); admissible(5,7); admissible(5,8); admissible(6,8); graphfourverticesweights; graphfourvertexlabels; label.top(btex\strut0etex,z0) withcolor red; label.bot(btex\strut8etex,z1) withcolor red; label.top(btex\strut9etex,z2) withcolor red; label.bot(btex\strut18etex,z3) withcolor red; label.top(btex\strut18etex,z4) withcolor red; label.top(btex\strut24etex,z5) withcolor red; label.bot(btex\strut26etex,z6) withcolor red; label.top(btex\strut28etex,z7) withcolor red; label.top(btex\strut34etex,z8) withcolor red; endfig; %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% outputtemplate := "%j-primaldual-%c.mps"; beginfig(1); graphfourpoints; draw z0--z1; draw z0--z2; draw z1--z3; draw z2--z3; draw z2--z4; draw z3--z5; draw z3--z6; draw z4--z7; draw z5--z6; draw z5--z7; candidate(5,8); candidate(6,8); candidate(7,8); graphfourverticesweights; label.top(btex\strut0etex,z0) withcolor 0.7green; label.top(btex\strut0etex,z1) withcolor 0.7green; label.top(btex\strut0etex,z2) withcolor 0.7green; label.top(btex\strut0etex,z3) withcolor 0.7green; label.top(btex\strut0etex,z4) withcolor 0.7green; label.top(btex\strut0etex,z5) withcolor 0.7green; label.top(btex\strut0etex,z6) withcolor 0.7green; label.top(btex\strut0etex,z7) withcolor 0.7green; label.top(btex\strut0etex,z8) withcolor 0.7green; label.bot(btex\strut1etex,z0) withcolor red; label.bot(btex\strut1etex,z1) withcolor red; label.bot(btex\strut1etex,z2) withcolor red; label.bot(btex\strut1etex,z3) withcolor red; label.bot(btex\strut1etex,z4) withcolor red; label.bot(btex\strut1etex,z5) withcolor red; label.bot(btex\strut1etex,z6) withcolor red; label.bot(btex\strut1etex,z7) withcolor red; label.bot(btex\strut0etex,z8) withcolor red; label.bot("10",0.5[z5,z8]) withcolor blue; label.llft("8",0.5[z6,z8]) withcolor blue; label.lrt("7",0.5[z7,z8]) withcolor blue; draw fullcircle scaled 2w shifted z8 withcolor wcolor withpen pencircle scaled 1pt; label.urt(btex$W$etex,(z8+w*dir45)) withcolor wcolor; label.rt(btex$\theta_1=7$etex,(6.5u,0)) withcolor blue; endfig; beginfig(2); graphfourpoints; draw z0--z1; draw z0--z2; draw z1--z3; draw z2--z3; draw z2--z4; draw z3--z5; draw z3--z6; candidate(4,7); draw z5--z6; candidate(5,7); candidate(5,8); candidate(6,8); admissible(7,8); graphfourverticesweights; label.top(btex\strut7etex,z0) withcolor 0.7green; label.top(btex\strut7etex,z1) withcolor 0.7green; label.top(btex\strut7etex,z2) withcolor 0.7green; label.top(btex\strut7etex,z3) withcolor 0.7green; label.top(btex\strut7etex,z4) withcolor 0.7green; label.top(btex\strut7etex,z5) withcolor 0.7green; label.top(btex\strut7etex,z6) withcolor 0.7green; label.top(btex\strut7etex,z7) withcolor 0.7green; label.top(btex\strut0etex,z8) withcolor 0.7green; label.bot(btex\strut1etex,z0) withcolor red; label.bot(btex\strut1etex,z1) withcolor red; label.bot(btex\strut1etex,z2) withcolor red; label.bot(btex\strut1etex,z3) withcolor red; label.bot(btex\strut1etex,z4) withcolor red; label.bot(btex\strut1etex,z5) withcolor red; label.bot(btex\strut1etex,z6) withcolor red; label.bot(btex\strut0etex,z7) withcolor red; label.bot(btex\strut0etex,z8) withcolor red; label.bot("11",0.5[z4,z7]) withcolor blue; label.llft("4",0.5[z5,z7]) withcolor blue; label.bot("3",0.5[z5,z8]) withcolor blue; label.llft("1",0.5[z6,z8]) withcolor blue; draw wseg(7,8,7,8) wseg(8,7,8,7) cycle withcolor wcolor withpen pencircle scaled 1pt; label.lrt(btex$W$etex,0.5[z7,z8]+w*dir-45) withcolor wcolor; label.rt(btex$\theta_1=1$etex,(6.5u,0)) withcolor blue; endfig; beginfig(3); graphfourpoints; draw z0--z1; draw z0--z2; draw z1--z3; draw z2--z3; draw z2--z4; draw z3--z5; candidate(3,6); candidate(4,7); candidate(5,6); candidate(5,7); candidate(5,8); admissible(6,8); admissible(7,8); graphfourverticesweights; label.top(btex\strut8etex,z0) withcolor 0.7green; label.top(btex\strut8etex,z1) withcolor 0.7green; label.top(btex\strut8etex,z2) withcolor 0.7green; label.top(btex\strut8etex,z3) withcolor 0.7green; label.top(btex\strut8etex,z4) withcolor 0.7green; label.top(btex\strut8etex,z5) withcolor 0.7green; label.top(btex\strut8etex,z6) withcolor 0.7green; label.top(btex\strut7etex,z7) withcolor 0.7green; label.top(btex\strut0etex,z8) withcolor 0.7green; label.bot(btex\strut1etex,z0) withcolor red; label.bot(btex\strut1etex,z1) withcolor red; label.bot(btex\strut1etex,z2) withcolor red; label.bot(btex\strut1etex,z3) withcolor red; label.bot(btex\strut1etex,z4) withcolor red; label.bot(btex\strut1etex,z5) withcolor red; label.bot(btex\strut0etex,z6) withcolor red; label.bot(btex\strut0etex,z7) withcolor red; label.bot(btex\strut0etex,z8) withcolor red; label.bot("8",0.5[z3,z6]) withcolor blue; label.bot("10",0.5[z4,z7]) withcolor blue; label.lrt("7",0.4[z5,z6]) withcolor blue; label.llft("3",0.5[z5,z7]) withcolor blue; label.bot("2",0.5[z5,z8]) withcolor blue; draw wseg(8,7,6,8) wseg(7,6,8,7) wseg(6,8,7,6) cycle withcolor wcolor withpen pencircle scaled 1pt; label.urt(btex$W$etex,0.5[z6,z8]+w*dir45) withcolor wcolor; label.rt(btex$\theta_1=2$etex,(6.5u,0)) withcolor blue; endfig; beginfig(4); graphfourpoints; draw z0--z1; draw z0--z2; draw z1--z3; draw z2--z3; draw z2--z4; candidate(3,5); candidate(3,6); candidate(4,7); draw z5--z6; draw z5--z7; admissible(5,8); admissible(6,8); admissible(7,8); graphfourverticesweights; label.top(btex\strut10etex,z0) withcolor 0.7green; label.top(btex\strut10etex,z1) withcolor 0.7green; label.top(btex\strut10etex,z2) withcolor 0.7green; label.top(btex\strut10etex,z3) withcolor 0.7green; label.top(btex\strut10etex,z4) withcolor 0.7green; label.top(btex\strut10etex,z5) withcolor 0.7green; label.top(btex\strut8etex,z6) withcolor 0.7green; label.top(btex\strut7etex,z7) withcolor 0.7green; label.top(btex\strut0etex,z8) withcolor 0.7green; label.bot(btex\strut1etex,z0) withcolor red; label.bot(btex\strut1etex,z1) withcolor red; label.bot(btex\strut1etex,z2) withcolor red; label.bot(btex\strut1etex,z3) withcolor red; label.bot(btex\strut1etex,z4) withcolor red; label.bot(btex\strut0etex,z5) withcolor red; label.bot(btex\strut0etex,z6) withcolor red; label.bot(btex\strut0etex,z7) withcolor red; label.bot(btex\strut0etex,z8) withcolor red; label.bot("6",0.5[z3,z6]) withcolor blue; label.llft("6",0.5[z3,z5]) withcolor blue; label.bot("8",0.5[z4,z7]) withcolor blue; draw wseg(8,7,5,6) wseg(7,5,6,8) wseg(5,6,8,7) wseg(6,8,7,5) cycle withcolor wcolor withpen pencircle scaled 1pt; label.urt(btex$W$etex,0.5[z6,z8]+w*dir45) withcolor wcolor; label.rt(btex$\theta_1=6$etex,(6.5u,0)) withcolor blue; endfig; beginfig(5); graphfourpoints; draw z0--z1; draw z0--z2; candidate(1,3); candidate(2,3); draw z2--z4; admissible(3,5); admissible(3,6); candidate(4,7); draw z5--z6; draw z5--z7; admissible(5,8); admissible(6,8); admissible(7,8); graphfourverticesweights; label.top(btex\strut16etex,z0) withcolor 0.7green; label.top(btex\strut16etex,z1) withcolor 0.7green; label.top(btex\strut16etex,z2) withcolor 0.7green; label.top(btex\strut16etex,z3) withcolor 0.7green; label.top(btex\strut16etex,z4) withcolor 0.7green; label.top(btex\strut10etex,z5) withcolor 0.7green; label.top(btex\strut8etex,z6) withcolor 0.7green; label.top(btex\strut7etex,z7) withcolor 0.7green; label.top(btex\strut0etex,z8) withcolor 0.7green; label.bot(btex\strut1etex,z0) withcolor red; label.bot(btex\strut1etex,z1) withcolor red; label.bot(btex\strut1etex,z2) withcolor red; label.bot(btex\strut0etex,z3) withcolor red; label.bot(btex\strut1etex,z4) withcolor red; label.bot(btex\strut0etex,z5) withcolor red; label.bot(btex\strut0etex,z6) withcolor red; label.bot(btex\strut0etex,z7) withcolor red; label.bot(btex\strut0etex,z8) withcolor red; label.bot("10",0.5[z1,z3]) withcolor blue; label.lrt("9",0.5[z2,z3]) withcolor blue; label.bot("2",0.5[z4,z7]) withcolor blue; draw wseg(8,7,3,6) wseg(7,3,6,8) wseg(3,6,8,7) wseg(6,8,7,3) cycle withcolor wcolor withpen pencircle scaled 1pt; label.urt(btex$W$etex,0.5[z6,z8]+w*dir45) withcolor wcolor; label.rt(btex$\theta_1=2$etex,(6.5u,0)) withcolor blue; endfig; beginfig(6); graphfourpoints; draw z0--z1; draw z0--z2; candidate(1,3); candidate(2,3); candidate(2,4); admissible(3,5); admissible(3,6); admissible(4,7); draw z5--z6; draw z5--z7; admissible(5,8); admissible(6,8); admissible(7,8); graphfourverticesweights; label.top(btex\strut18etex,z0) withcolor 0.7green; label.top(btex\strut18etex,z1) withcolor 0.7green; label.top(btex\strut18etex,z2) withcolor 0.7green; label.top(btex\strut16etex,z3) withcolor 0.7green; label.top(btex\strut18etex,z4) withcolor 0.7green; label.top(btex\strut10etex,z5) withcolor 0.7green; label.top(btex\strut8etex,z6) withcolor 0.7green; label.top(btex\strut7etex,z7) withcolor 0.7green; label.top(btex\strut0etex,z8) withcolor 0.7green; label.bot(btex\strut1etex,z0) withcolor red; label.bot(btex\strut1etex,z1) withcolor red; label.bot(btex\strut1etex,z2) withcolor red; label.bot(btex\strut0etex,z3) withcolor red; label.bot(btex\strut0etex,z4) withcolor red; label.bot(btex\strut0etex,z5) withcolor red; label.bot(btex\strut0etex,z6) withcolor red; label.bot(btex\strut0etex,z7) withcolor red; label.bot(btex\strut0etex,z8) withcolor red; label.bot("8",0.5[z1,z3]) withcolor blue; label.lrt("7",0.5[z2,z3]) withcolor blue; label.bot("9",0.5[z2,z4]) withcolor blue; draw wseg(8,7,4,3) wseg(7,4,3,6) wseg(4,3,6,8) wseg(3,6,8,7) wseg(6,8,7,4) cycle withcolor wcolor withpen pencircle scaled 1pt; label.urt(btex$W$etex,0.5[z6,z8]+w*dir45) withcolor wcolor; label.rt(btex$\theta_1=7$etex,(6.5u,0)) withcolor blue; endfig; beginfig(7); graphfourpoints; draw z0--z1; candidate(0,2); candidate(1,3); admissible(2,3); draw z2--z4; admissible(3,5); admissible(3,6); admissible(4,7); draw z5--z6; draw z5--z7; admissible(5,8); admissible(6,8); admissible(7,8); graphfourverticesweights; label.top(btex\strut25etex,z0) withcolor 0.7green; label.top(btex\strut25etex,z1) withcolor 0.7green; label.top(btex\strut25etex,z2) withcolor 0.7green; label.top(btex\strut16etex,z3) withcolor 0.7green; label.top(btex\strut18etex,z4) withcolor 0.7green; label.top(btex\strut10etex,z5) withcolor 0.7green; label.top(btex\strut8etex,z6) withcolor 0.7green; label.top(btex\strut7etex,z7) withcolor 0.7green; label.top(btex\strut0etex,z8) withcolor 0.7green; label.bot(btex\strut1etex,z0) withcolor red; label.bot(btex\strut1etex,z1) withcolor red; label.bot(btex\strut0etex,z2) withcolor red; label.bot(btex\strut0etex,z3) withcolor red; label.bot(btex\strut0etex,z4) withcolor red; label.bot(btex\strut0etex,z5) withcolor red; label.bot(btex\strut0etex,z6) withcolor red; label.bot(btex\strut0etex,z7) withcolor red; label.bot(btex\strut0etex,z8) withcolor red; label.bot("1",0.5[z1,z3]) withcolor blue; label.llft("9",0.5[z0,z2]) withcolor blue; draw wseg(8,7,2,3) wseg(7,2,3,6) wseg(2,3,6,8) wseg(3,6,8,7) wseg(6,8,7,2) cycle withcolor wcolor withpen pencircle scaled 1pt; label.urt(btex$W$etex,0.5[z6,z8]+w*dir45) withcolor wcolor; label.rt(btex$\theta_1=1$etex,(6.5u,0)) withcolor blue; endfig; beginfig(8); graphfourpoints; candidate(0,1); candidate(0,2); admissible(1,3); admissible(2,3); draw z2--z4; admissible(3,5); admissible(3,6); admissible(4,7); draw z5--z6; draw z5--z7; admissible(5,8); admissible(6,8); admissible(7,8); graphfourverticesweights; label.top(btex\strut26etex,z0) withcolor 0.7green; label.top(btex\strut26etex,z1) withcolor 0.7green; label.top(btex\strut25etex,z2) withcolor 0.7green; label.top(btex\strut16etex,z3) withcolor 0.7green; label.top(btex\strut18etex,z4) withcolor 0.7green; label.top(btex\strut10etex,z5) withcolor 0.7green; label.top(btex\strut8etex,z6) withcolor 0.7green; label.top(btex\strut7etex,z7) withcolor 0.7green; label.top(btex\strut0etex,z8) withcolor 0.7green; label.bot(btex\strut1etex,z0) withcolor red; label.bot(btex\strut0etex,z1) withcolor red; label.bot(btex\strut0etex,z2) withcolor red; label.bot(btex\strut0etex,z3) withcolor red; label.bot(btex\strut0etex,z4) withcolor red; label.bot(btex\strut0etex,z5) withcolor red; label.bot(btex\strut0etex,z6) withcolor red; label.bot(btex\strut0etex,z7) withcolor red; label.bot(btex\strut0etex,z8) withcolor red; label.lrt("8",0.4[z0,z1]) withcolor blue; label.llft("8",0.5[z0,z2]) withcolor blue; draw wseg(8,7,2,1) wseg(7,2,1,6) wseg(2,1,6,8) wseg(1,6,8,7) wseg(6,8,7,2) cycle withcolor wcolor withpen pencircle scaled 1pt; label.urt(btex$W$etex,0.5[z6,z8]+w*dir45) withcolor wcolor; label.rt(btex$\theta_1=8$etex,(6.5u,0)) withcolor blue; endfig; beginfig(9); graphfourpoints; admissible(0,1); admissible(0,2); admissible(1,3); admissible(2,3); draw z2--z4; admissible(3,5); admissible(3,6); admissible(4,7); draw z5--z6; draw z5--z7; admissible(5,8); admissible(6,8); admissible(7,8); graphfourverticesweights; label.top(btex\strut34etex,z0) withcolor 0.7green; label.top(btex\strut26etex,z1) withcolor 0.7green; label.top(btex\strut25etex,z2) withcolor 0.7green; label.top(btex\strut16etex,z3) withcolor 0.7green; label.top(btex\strut18etex,z4) withcolor 0.7green; label.top(btex\strut10etex,z5) withcolor 0.7green; label.top(btex\strut8etex,z6) withcolor 0.7green; label.top(btex\strut7etex,z7) withcolor 0.7green; label.top(btex\strut0etex,z8) withcolor 0.7green; label.bot(btex\strut0etex,z0) withcolor red; label.bot(btex\strut0etex,z1) withcolor red; label.bot(btex\strut0etex,z2) withcolor red; label.bot(btex\strut0etex,z3) withcolor red; label.bot(btex\strut0etex,z4) withcolor red; label.bot(btex\strut0etex,z5) withcolor red; label.bot(btex\strut0etex,z6) withcolor red; label.bot(btex\strut0etex,z7) withcolor red; label.bot(btex\strut0etex,z8) withcolor red; endfig; bye