% !TEX root = ../paper.tex
\psset{unit=0.7cm}
%
\pspicture(-3,-1)(9.5,3)
%\showgrid
% The domain
\psset{linecolor=lightgray,framearc=0.3,fillstyle=solid,fillcolor=lightgray}
\psframe(0.7,-0.3)(5.3,0.3)
\rput[rB](0.25,0){$\domain\of\pi$:}
\rput[lB](5.75,0){lower vertices.}
\psset{linecolor=black,linewidth=0.01,fillstyle=solid,fillcolor=white}
\pscircle(1,0){0.25}
\pscircle(2,0){0.25}
\pscircle(3,0){0.25}
\pscircle(4,0){0.25}
\pscircle(5,0){0.25}
\rput(1,-0.5){$\scriptstyle 1$}
\rput(2,-0.5){$\scriptstyle 2$}
\rput(3,-0.5){$\scriptstyle 3$}
\rput(4,-0.5){$\scriptstyle 4$}
\rput(5,-0.5){$\scriptstyle 5$}
% The image
\psset{linecolor=lightgray,framearc=0.3,fillstyle=solid,fillcolor=lightgray}
\psframe(0.7,1.7)(5.3,2.3)
\rput[rB](0.25,2){$\image\of\pi$:}
\rput[lB](5.75,2){upper vertices.}
\psset{linecolor=black,linewidth=0.01,fillstyle=solid,fillcolor=white}
\pscircle(1,2){0.25}
\pscircle(2,2){0.25}
\pscircle(3,2){0.25}
\pscircle(4,2){0.25}
\pscircle(5,2){0.25}
\rput(1,2.5){$\scriptstyle 1$}
\rput(2,2.5){$\scriptstyle 2$}
\rput(3,2.5){$\scriptstyle 3$}
\rput(4,2.5){$\scriptstyle 4$}
\rput(5,2.5){$\scriptstyle 5$}
% The ``mapping arrows''
\psset{linewidth=0.05,linecolor=black}
\psline{->}(1,0)(2,2) % [linestyle=dotted]
\psline{->}(2,0)(5,2)
\psline{->}(3,0)(1,2)
\psline{->}(4,0)(4,2)
\psline{->}(5,0)(3,2)
% The crossings
\psset{linewidth=0.01,linecolor=black,fillstyle=solid,fillcolor=white}
\pscircle(1.66666,1.33333){0.09}
\pscircle(3.8,1.2){0.09}
\pscircle(4.0,1.33333){0.09}
\pscircle(4.0,1.0){0.09}
\pscircle(2.6,0.4){0.09}
% The permutation
\psline[linewidth=0.25,linecolor=lightgray]{->}(-1.25,0.55)(-1.25,1.75)
\rput[B](-1.25,1){$\scriptstyle\mathbf\pi$}
% The weights of the edges
\rput[rB](1.2,0.5){$\scriptstyle x_{1,2}$}
\rput[lB](2.1,1.05){$\scriptstyle x_{3,1}$}
\rput[lB](4.55,0.5){$\scriptstyle x_{5,3}$}
\rput[lB](4.5,1.45){$\scriptstyle x_{2,5}$}
\rput[rB](3.95,0.5){$\scriptstyle x_{4,4}$}
% End of picture
\endpspicture
\endinput
