\def\bbij{\raise.1em\hbox{${\sscrt \gg}$}}
\def\jbij{\raise.1em\hbox{${\sscrt \ll}$}}
\def\cefo{${}^\circ\rm C$}
\def\atm{$\bigcirc$\hskip-8pt{\nsz/}}

\let\ens=\enskip
\let\sms=\smallskip
\let\lto=\longrightarrow
\let\lgets=\longleftarrow
\let\noal=\noalign
\let\eql=\eqalignno
\let\leql=\leqalignno
\let\mts=\mathstrut
\let\bslk=\baselineskip
\let\q=\quad
\let\qq=\qquad
\let\bl=\bigl
\let\br=\bigr
\let\(=\left
\let\)=\right
\let\sd=\bigtriangleup
\let\bcu=\bigcup
\let\bca=\bigcap
\let\sb=\subset
\let\sp=\supset
\let\emp=\emptyset
\let\pa=\partial
\let\ci=\circ
\let\ld=\ldots
\let\ca=\cap
\let\cu=\cup
\let\ti=\times
\let\\=\backslash
\let\ov=\over
\let\dps=\displaystyle
\let\co=\colon
\let\sem=\setminus
\let\crl=\centerline
\let\lfl=\leftline
\let\hf=\hfil
\let\vf=\vfil
\let\hfl=\hfill
\let\vfl=\vfill
\let\rgli=\rightline
\let\ria=\rightarrow
\let\Ria=\Rightarrow
\let\noi=\noindent
\let\tri=\triangle
\let\lgl=\langle
\let\rgl=\rangle
\let\ms=\medskip
\let\bs=\bigskip
\let\ni=\notin
\let\iny=\infty
\let\ovl=\overline
\let\udl=\underline
\let\udb=\underbar
\let\wh=\widehat
\let\scrt\scriptstyle
\let\sscrt\scriptscriptstyle
\let\isl=\indexslby
\let\gobr=\goodbreak
\let\ofils=\offinterlineskip
\let\dar=\downarrow
%
%  Go"ro"g betu"k
%
\let\al=\alpha
\let\be=\beta
\let\ga=\gamma
\let\de=\delta
\let\ep=\epsilon
\let\vep=\varepsilon
\let\et=\eta
\let\vt=\vartheta
\let\ka=\kappa
\let\la=\lambda
\let\La=\Lambda
\let\ps=\psi
\let\vr=\varrho
\let\si=\sigma
\let\ta=\tau
\let\vp=\varphi
\let\ch=\chi
\let\ze=\zeta
\let\om=\omega
\def\Ga{{\mit\Gamma}}
\let\De=\Delta
\let\Ph=\Phi
\let\Ps=\Psi
\let\Si=\Sigma
%\let\Th=\Theta
\let\Om=\Omega
%
%             Kisebb defini`cio`k
%
%  Irott betu"k
%
\def\cA{{\cal A}}
\def\cB{{\cal B}}
\def\cC{{\cal C}}
\def\cD{{\cal D}}
\def\cE{{\cal E}}
\def\cF{{\cal F}}
\def\cH{{\cal H}}
\def\cI{{\cal I}}
\def\cJ{{\cal J}}
\def\cL{{\cal L}}
\def\cM{{\cal M}}
\def\cN{{\cal N}}
\def\cP{{\cal P}}
\def\cR{{\cal R}}
\def\cS{{\cal S}}
\def\cV{{\cal V}}
\def\cX{{\cal X}}
%
%  Matematikai jelek
%
\def\0{{\bf 0}}
\def\x{{\bf x}}
\def\y{{\bf y}}
\def\z{{\bf z}}
\def\a{{\bf a}}
\def\b{{\bf b}}
\def\f{{\bf f}}
%\def\u{{\bf u}}
%\def\v{{\bf v}}
\def\R{{\bf R}}
\def\Rp{{\R_{\sscrt +}}}
\def\Rh{{\R^{3}}}
\def\Rhp{{\R^3_{\sscrt+}}}
\def\Rtp{{\R^2_{\sscrt+}}}
\def\Rnp{{\R^n_{\sscrt+}}}
\def\Rt{{\R^{2}}}
\def\Rn{{\R^{n}}}
\def\Rk{{\R^{k}}}
\def\Rb{{\R_{\hskip.5pt\hbox{\the\scriptfont0 b}}}}
\def\Rbov{{\R^{\hbox{\the\scriptfont0 b}}}}
\def\Rm{{\R^{m}}}
\def\C{{\bf C}}
\def\N{{\bf N}}
\def\Z{{\bf Z}}
\def\Q{{\bf Q}}
\def\T{{\bf T}}
\def\Zn{{\Z^n}}
\def\n{{\bf n}}
\def\|{\mid }
\def\blgl{\bigl\langle}
\def\brgl{\bigr\rangle}
\def\cl#1{\overline{#1}}
\def\dmn{\mathop{\rm dmn}\nolimits}
\def\ker{\mathop{\rm ker}\nolimits}
\def\cov{\mathop{\rm cov}\nolimits}
\def\ln{\mathop{\rm ln}\nolimits}
\def\corr{\mathop{\rm corr}\nolimits}
\def\dim{\mathop{\rm dim}\nolimits}
\def\im{\mathop{\rm im}\nolimits}
\def\ran{\mathop{\rm ran}\nolimits}
\def\card{\mathop{\rm card}\nolimits}
\def\aplim{\mathop{\rm ap\,lim}}
\def\aplimsup{\mathop{\rm ap\,lim\,sup}}
\def\apD{\mathop{\rm ap\,D}}
\def\rank{\mathop{\rm rank}\nolimits}
\def\diam{\mathop{\rm diam}\nolimits}
\def\tg{\mathop{\rm tg}\nolimits}
\def\Sp{\mathop{\rm Sp}\nolimits}
\def\mod{\mathop{\rm mod}\nolimits}
\def\ctg{\mathop{\rm ctg}\nolimits}
\def\arcctg{\mathop{\rm arc\,ctg}\nolimits}
\def\arctg{\mathop{\rm arc\,tg}\nolimits}
\def\arcsin{\mathop{\rm arc\,sin}\nolimits}
\def\arccos{\mathop{\rm arc\,cos}\nolimits}
\def\sh{\mathop{\rm sh}\nolimits}
\def\th{\mathop{\rm th}\nolimits}
\def\ch{\mathop{\rm ch}\nolimits}
\def\cth{\mathop{\rm cth}\nolimits}
\def\arsh{\mathop{\rm ar\,sh}\nolimits}
\def\arch{\mathop{\rm ar\,ch}\nolimits}
\def\arth{\mathop{\rm ar\,th}\nolimits}
\def\arcth{\mathop{\rm ar\,cth}\nolimits}
\def\sign{\mathop{\rm sign}\nolimits}
\def\inp{\mathop{\rm input}\nolimits}
\def\output{\mathop{\rm output}\nolimits}
\def\grad{\mathop{\rm grad}\nolimits}
\def\limsup{\mathop{\overline{\rm lim}}\nolimits}
\def\liminf{\mathop{\underline{\rm lim}}\nolimits}
\def\scu{\mathop{\cup}\nolimits}
\def\sca{\mathop{\cap}\nolimits}
\def\desc{\mathop{\times}\nolimits}
\def\szum{\mathop{{\ngor \Sigma}}\nolimits}
\def\back{\hbox{$\backslash$}}

\def\frac#1/#2{\leavevmode\kern.1em
\raise.5ex\hbox{\the\scriptfont0 #1}\kern-.1em
/\kern-.15em\lower.25ex\hbox{\the\scriptfont0 #2}}

\def\piny{\leavevmode\kern.1em
\raise.15ex\hbox{${\sscrt+}$}\hbox{\the\scriptfont0 $\iny$}}

\def\pinny{\leavevmode\kern.1em
\raise.0ex\hbox{${\sscrt+}\,$}\hbox{${\sscrt\iny}$}}

\def\miny{\leavevmode\kern.1em
\raise.15ex\hbox{${\sscrt-}$}\hbox{\the\scriptfont0 $\iny$}}

\def\minny{\leavevmode\kern.1em
\raise.1ex\hbox{${\sscrt-}$}\hbox{${\sscrt\iny}$}}

\def\lixxp{\mathop{\rm lim}\limits_{\hbox{${\scrt x}$}
\kern.1em\raise.02ex\hbox{${{\sscrt \to +}{\scrt\iny}}$}}}

\def\lixp{\mathop{\rm lim}\limits_{\hbox{${\scrt x}$}
\kern.1em\raise.02ex\hbox{${{\sscrt \to +}{\scrt\iny}}$}}}

\def\liyp{\mathop{\rm lim}\limits_{\hbox{${\scrt y}$}
\kern.1em\raise.02ex\hbox{${{\sscrt \to +}{\scrt\iny}}$}}}

\def\litp{\mathop{\rm lim}\limits_{\hbox{${\scrt t}$}
\kern.1em\raise.02ex\hbox{${{\sscrt \to +}{\scrt\iny}}$}}}

\def\lixxm{\mathop{\rm lim}\limits_{\hbox{${\scrt x}$}
\kern.1em\raise.02ex\hbox{${{\sscrt \to -}{\scrt\iny}}$}}}

\def\lixm{\mathop{\rm lim}\limits_{\hbox{${\scrt x}$}
\kern.1em\raise.02ex\hbox{${{\sscrt \to -}{\scrt\iny}}$}}}

\def\liym{\mathop{\rm lim}\limits_{\hbox{${\scrt y}$}
\kern.1em\raise.02ex\hbox{${{\sscrt \to -}{\scrt\iny}}$}}}

\def\fracc#1/#2{\leavevmode\kern.1em \raise.2ex\hbox{$\scrt
#1$}\kern-.1em /\kern-.15em\lower.2ex\hbox{$\scrt#2$}}

\def\Fracc#1/#2{\leavevmode\kern.1em \raise.2ex\hbox{$#1$}\kern-.1em
/\kern-.15em\lower.2ex\hbox{$\scrt#2$}}

\def\fRacc#1/#2{\leavevmode\kern.1em \raise.2ex\hbox{$\scrt
#1$}\kern-.1em /\kern-.15em\lower.2ex\hbox{$#2$}}

\def\FRacc#1/#2{\leavevmode\kern.1em \raise.2ex\hbox{$#1$}\kern-.1em
/\kern-.15em\lower.2ex\hbox{$#2$}}

\def\esde{S_{\lower.10ex\hbox{$\scrt{\de}$}}}

\def\uintab{\int\limits_{\hbox{$\ovl{\scrt a}\,$}}^b}

\def\dep{\de(\vep)}

\def\intab{\int\limits_{a}^b}

\def\intac{\int\limits_{a}^c}

\def\intcb{\int\limits_{c}^b}

\def\ointab{\int\limits_{a}^{\hbox{$\,\udl{\scrt b}$}}}

\def\iinth{\int\!\!\!\!\!\int\limits_{\hbox{$H\,\,\,\,$}}}

\def\iintt{\int\!\!\!\!\!\int\limits_{\hbox{$T\,\,\,$}}}

\def\iintg{\int\!\!\!\!\!\int\limits_{\hbox{$G\,\,\,$}}}

\def\iinttt{\int\!\!\!\!\int\limits_{\hbox{$T\,\,\,$}}}

\def\uiinth{\int\!\!\!\!\!\!\int\limits_{\hbox{$\ovl{H\,}\,\,\,\,\,$}}}

\def\uiintt{\int\!\!\!\!\!\int\limits_{\hbox{$\ovl{\,T\,}\,\,\,\,$}}}

\def\oiinth{\int\!\!\!\!\!\int\limits_{\hbox{$H\,\,\,\,\,$}}^{\hbox{$\udl{\q}\,\,\,\,$}}}

\def\oiintt{\int\!\!\!\!\!\int\limits_{\hbox{$T\,\,\,\,$}}^{\hbox{$\udl{\q}\,\,\,\,$}}}

\def\geganu{G_{{\scrt \ga}_{\kern-.1em\lower.15ex\hbox{${\sscrt 0}$}}}}

\def\aganu{A_{{\scrt \ga}_{\kern-.1em\lower.15ex\hbox{${\sscrt 0}$}}}}

\def\lixnu{\lim\limits_{\scrt x\to x_{\sscrt 0}}}
\def\liynu{\lim\limits_{\scrt y\to y_{\sscrt 0}}}
\def\lixxnu{\lim\limits_{\scrt x\to x_{\sscrt 0}}}
\def\litxnu{\lim\limits_{\scrt t\to x_{\sscrt 0}}}
\def\lixa{\lim\limits_{\scrt x\to a}}
\def\lixb{\lim\limits_{\scrt x\to b}}
\def\lixz{\lim\limits_{\scrt x\to 0}}
\def\lihz{\lim\limits_{\scrt h\to 0}}
\def\lijoxnu{\lim\limits_{\scrt x\to {x_{\sscrt 0}{\sscrt +}0}}}
\def\libaxnu{\lim\limits_{\scrt x\to {x_{\sscrt 0}{\sscrt -}0}}}
\def\lini{\lim\limits_{\sscrt n\to\iny}}
\def\limi{\lim\limits_{\sscrt m\to\iny}}
\def\litbay{\lim\limits_{\scrt t\to {y{\sscrt -}0}}}
\def\lisjox{\lim\limits_{\scrt s\to {x{\sscrt +}0}}}

\def\Lixxnu{\lim\limits_{\scrt \x\to \x_{\sscrt 0}}}

\def\haganu{H_{{\scrt \ga}_{\kern-.1em\lower.15ex\hbox{${\sscrt 0}$}}}}

\def\ganu{\ga_{\kern-.1em\lower.15ex\hbox{${\sscrt 0}$}}}

\def\Ganu{\Ga_{\kern-.1em\lower.15ex\hbox{${\sscrt 0}$}}}

\def\notmid{\hbox{$\mid$\leavevmode\kern-3.5truept\raise.5ex\hbox{$\sscrt{/}$}}}

\def\haint{\mathop{\hbox{$\int\!\!\int\!\!\int$}}}

\def\keint{\mathop{\hbox{$\int\!\!\int$}}}

\def\qed{\vbox{\hrule height6pt depth0pt width4pt}}

\def\ij{\hbox{,\hskip-.3pt,}}

\def\nonfrenchspacing{\sfcode`\.=1000  \sfcode`\?=1000 \sfcode`\!=1000
\sfcode`\;=1000 \sfcode`\:=1000 \sfcode`\,=1000}

\def\deq{\mathinner{\hbox{$\raise.03em\hbox{$\colon$}\hskip-2pt=$}}}
\def\deep{\hbox{$\de(\vep)$}}

\def\hapo{\hbox{$\,:\,\,\,$}}
\def\itemm{\par\indent \hangindent 2\parindent \texindent}
\def\itemke{\par\indent \hangindent 2\parindent \texindent}
\def\von{\vrule height3pt depth-2pt width1.5truecm}
\def\kid{\raise.1em\hbox{${\sscrt \ll}$}}
\def\vid{\raise.1em\hbox{${\sscrt \gg}$}}
\def\po{.\hskip.2em}
\def\rit{\spaceskip=.15em}
\def\hbn{\hfill\break\noindent}
\def\vbe{\vfill\break\eject}
\def\bbij{\raise.1em\hbox{${\sscrt \ll}$}}
\def\jbij{\raise.1em\hbox{${\sscrt \gg}$}}
\def\]{\leavevmode\hbox{\tt\char`\ }}
\def\szog{\hbox{$<\hskip-.5em)$}}
\def\noales{\noal{\hbox{e`s}}}
\def\noalill{\noal{\hbox{illetve}}}
\def\noaligy{\noal{\hbox{i`gy}}}
\def\noalva{\noal{\hbox{vagy}}}


%  Altalanos jelcsoportok
%
\def\Lk{{{\bf L}^2}}
\def\ha{\ \ \hbox{ha}\ \ }
\def\eseten{\ \ \hbox{esete`n}\ \ }
\def\illetve{\ \ \hbox{illetve}\ \ }
\def\minden{\ \ \hbox{minden}\ \ }
\def\azaz{\ \ \hbox{azaz}\ \ }
\def\ahol{\ \ \hbox{ahol}\ \ }
\def\hogy{\ \ \hbox{hogy}\ \ }
\def\igy{\ \ \hbox{i`gy}\ \ }
\def\mig{\ \ \hbox{mi`g}\ \ }
\def\es{\ \ \hbox{e`s}\ \ }
\def\vag{\ \ \hbox{vagy}\ \ }
\def\vagy{\ \ \hbox{vagy}\ \ }
\def\hbes{\hbox{e`s}}
\def\akkor{\ \ \hbox{akkor}\ \ }
\def\miatt{\ \ \hbox{miatt}\ \ }
\def\nes{\noal{\hbox{e`s}}}
\def\noill{\noal{\hbox{illetve}}}
\def\nill{\noal{\hbox{illetve}}}
\def\nigy{\noal{\hbox{i`gy}}}
%$AB^{{}^{\raise.5pt\hbox{\hskip-11pt{$\frown$}}}}$

\def\notpar{\mathrel{\hbox{$\parallel$\leavevmode\kern-5.9truept\hbox{$/$}}}}

%
\def\fvonal{\vrule height8.0pt depth-0.1pt width.4pt}
\def\vonal{\vrule height2.4pt depth-2.1pt width7.0pt}
\def\dersz{\hbox{$\lower.5pt\hbox{\hskip-5pt\fvonal}\hskip1pt\cdot\hskip-7.775pt\supset$\lower2.75pt\hbox{\hskip-6.4pt\vonal}}}

%\nopagenumbers
%\headline={\ifodd\pageno\rightheadline \else \leftheadline \fi}
%\def\rightheadline{{\hfil\tenrm\ifnum\pageno>0
%\folio\else\ifnum\pageno<-2\folio\fi\fi}}
%\def\leftheadline{{\tenrm\ifnum\pageno>0
%\folio\else\ifnum\pageno<-2\folio\fi\fi\hfil}}

%\nopagenumbers
%\newtoks\footline \footline={\hfil}
%\newtoks\headline \headline={\hss\tenrm\folio\hss}
%\nopagenumbers{\footline={\hfil}


%\nopagenumbers
%\headline={\ifodd\pageno\rightheadline \else \leftheadline \fi}
%\def\rightheadline{{\hfil\tenrm\ifnum\pageno>0
%\folio\else\ifnum\pageno<-2\folio\fi\fi}}
%\def\leftheadline{{\tenrm\ifnum\pageno>0
%\folio\else\ifnum\pageno<-2\folio\fi\fi\hfil}}

%\nopagenumbers
%\footline={\ifodd\pageno\rightfootline \else \leftfootline \fi}
%\def\rightfootline{{\hfil\tenrm\ifnum\pageno>0
%\folio\else\ifnum\pageno<-2\folio\fi\fi}}
%\def\leftfootline{{\tenrm\ifnum\pageno>0
%\folio\else\ifnum\pageno<-2\folio\fi\fi\hfil}}

\magnification=\magstephalf
\font\fotrm=cmbx10 scaled\magstep1
\font\ninerm=cmr9
\font\tenrm=cmr10
%\font\bf= cmbx10
\font\bfn= cmbx10  scaled \magstep1
\font\rf = cmr10
\font\rfk = cmrh9
\font\rfkk = cmr8
\font\labb = cmr5
\font\rfb= cmbx9
\font\sf = cmss10
\font\rfkkk = cmr7                      % kis norm\'al bet–k
\font\itf = cmti10                      % d\"ont\"ott bet–k
\font\itfk=cmti9
\font\itfn=cmti10 scaled \magstep1
\font\itfkkk = cmti7                    % kis d\"ont\"ott bet–k
\font\rfnn = cmr10 scaled \magstep2     % nagyon nagy norm\'al bet–k
\font\sc = cmcsc10
\let\st=\scriptstyle

\def\No{{\rm N}$^{\raise.2pt\hbox{\udb{\rfkk o}}}$}
\def\no{{\rfkkk N}$^{\raise.2pt\hbox{\udb{\labb o}}}$}

%\def\makeheadline{\vbox {\vskip-30pt
%  \line{\vbox to 30pt{}\the\headline}\vss}\nointerlineskip}


\def\jobbline#1{\vbox{
\line{{\rfk{#1}}
\hss {\rfk \folio}}
\offinterlineskip
\vskip 2pt
\line{\hrulefill}
\null\smallskip
}}

\def\balline#1{\vbox{
        \line{{{\rfk \folio}\hss {\rfk{#1}} }}
        \offinterlineskip
        \vskip 2pt
        \line{\hrulefill}
        \null\smallskip
}}

\def\acadeger#1#2#3{ \vbox{
\line{\hfil{\it Acta Acad. Paed. Agriensis,
             Sectio Mathematicae {\bf #1} {(1999)} {#2}--{#3}}\hfil}
        \offinterlineskip
        \vskip 2pt
       \line {\hrulefill}
        \vskip 2pt
       \line {\hrulefill}
        \null\smallskip
}}

\def\focim#1#2#3{\acadeger{#1}{#2}{#3}}
\def\!{$!$}

\def\doboz{{$\sqcap$}\llap{$\sqcup$}}
\def\rr{I\kern-.26em R}

\def\nn{I\kern-.26em N}

\def\kk{I\kern-.26em K}

\def\cc{C\kern-.48em \vrule depth-.2ex height1.4ex\kern.48em}
\def\ggg{G\kern-.48em \vrule depth-.2ex height1.4ex\kern.48em}
\def\kocka{\vrule height 6pt width 6pt depth 0pt}
\def\rr{I\kern-.26em R}
\def\nn{I\kern-.26em N}
\def\kk{I\kern-.26em K}
\def\ll{I\kern-.26em L}
\def\pp{I\kern-.26em P}
\def\ff{I\kern-.26em F}
\def\EE{I\kern-.18em E}
\def\ee{I\kern-.26em E}
\def\ww{V\kern-.58em W}
\def\cc{C\kern-.46em \vrule depth-.2ex height1.4ex\kern.48em}
\def\oo{O\kern-.52em \vrule depth-.2ex height1.4ex\kern.48em}
\def\bvee{$\vee$\kern-.60em $\vee$}
\def\bwedge{$\wedge$\kern-.60em $\wedge$}
\def\bzero{\rm 0 \kern-.90em 0}
\def\dsub{{\hbox{$\subseteq\kern-.80em\lower-.6ex
\hbox{$\scriptstyle{\bullet}$}$}}}
\def\fle{\hbox{\raise.5ex \hbox{$\le$}\kern-.80em\lower.8ex
\hbox{$\sim$}}}
\def\fprec{\hbox{\raise.5ex \hbox{$\prec$}\kern-.80em\lower.8ex
\hbox{$\sim$}}}

\def \ajanl#1 {\bigskip\bigskip\baselineskip=12 true pt
\itemitem {}
{\it {#1}}}

\def \AMS#1 {\bigskip\noindent{\rfb AMS Classification Number:}#1 \bigskip}
\def\newline{\hfil \break}
\def \title#1 {\centerline{\bf {#1} }}
\def \author#1#2 {\bigskip\centerline {{\bf {#1} ({#2})}}}
\def \affil#1 {\centerline { {#1}}}
\def \Th#1#2 {\medskip\noindent{\bf Theorem #1.}\ {\it
#2\hfill\par} \medskip}
\def \Lemma#1#2 {\medskip\noindent{\bf Lemma #1.}\ {\it
#2\hfill\par} \medskip}
\def \Prop#1#2 {\medskip\noindent{\bf Proposition #1.}\ {\it
#2\hfill\par} \medskip }
\def \Def#1#2 {\medskip\noindent {\bf Definition #1.}\
{#2 \hfill\par}\medskip}
\def \Proof#1#2 {\noindent{\bf Proof #1.}\ {#2\hfill\kocka\par }}
\def \Rem#1#2 {\medskip\noindent{\bf Remark #1.}\ {#2\par }\medskip}
\def \Rems#1#2 {\medskip\noindent{\bf Remarks #1.}\ {#2\par}\medskip}
\def \Cor#1#2 {\medskip\noindent{\bf Corollary #1.}\ {\it #2
\hfill\doboz\par}\medskip}
\def \Ref {\bigskip\noindent{\bf REFERENCES } \bigskip}
\def \Abst#1 {\bigskip\bigskip\baselineskip=12 true pt
\itemitem {} {{\rfb Abstract.\ }
{\ninerm {#1}}}}
\def \Key#1 {\bigskip\baselineskip=12 true pt \itemitem {}
{{\rfb Keywords:\ }
{\rfk {#1}}}\bigskip\baselineskip=12 true pt
}

%\catcode `\@=11

\newdimen\minlap     \newdimen\restlap
\def\cp#1{{
           \minlap=\baselineskip   \multiply \minlap by #1
           \restlap=\pagegoal      \advance\restlap by -\pagetotal
           \ifdim \restlap<\minlap \vfill\eject \fi}}
\baselineskip=12 true pt

\voffset=2\baselineskip \hoffset=0cm
           \hsize=12.6 true cm \vsize=18.9 true cm
           \topskip=0cm \leftskip=0cm
              \lineskip=2pt \lineskiplimit=1pt
              \parskip=2pt plus 2pt
              \parindent=20 true pt

\dimen\footins=2 true in

\pageno 1
%\normalbaselines

\raggedbottom \hyphenpenalty =500 \hfuzz=1mm \tolerance=950   %

\nopagenumbers

%\baselineskip 12pt

%\catcode `\@=12


\def\a{\cal A}
\def\aa{{\cal A}^*}

\pageno=13
\headline={\ifnum\pageno=13\focim{26}{13}{18}\else\ifodd\pageno\jobbcim
\else\balcim\fi\fi}
\vbox to 1cm{\vskip 1cm}
\def\n{\noindent}
%NO MODIFICATION ABOVE THIS LINE PLEASE

\def\balcim{\balline{E. Kov\'acs}} %appears at the top of every odd pages
\def\jobbcim{\jobbline{Studying and improving linear mappings...}} %top of even pages

\title{STUDYING AND IMPROVING LINEAR MAPPINGS}
\vskip.1truecm
\title{BY ARTIFICIAL NEURAL NETWORKS}
\author{Em\H od Kov\'acs}{EKTF, Hungary}

\bs

{\rfb Abstract:} {\rfk The aim of this paper is to evaluate the
effectiveness of
 artificial neural networks studying linear mappings and, on the
other hand,improve deformed linear mappings given by wrong pairs of points.
In this latter case the artificial neural network is applied to give the best
fitting linear mapping of the given set of data.}

\vskip1truecm
\leftline{\bf 1. Introduction}
\bs

Artificial neural networks or simply neural nets are widely used in computer
graphics e.g. in surface reconstruction from insufficient or scattered data
[4]--[7]. Generally neural nets is a useful tool for handling any kind
of data
which have deformity or deficiency from a certain point of view. The main
feature of the neural nets is the ability of studying, which means that the
given data can improve the structure of the net. Neural nets can be classified
by the type of input data or the method of studying [2]. In this paper the
well-known back-propagation algorithm is used, which will be discussed in
Section 2.

Our purpose was to use neural nets studying linear mappings from exact
and also from deformed data. Planar linear mappings, like rotation or
affine transformation play essential role in computer graphics. Even if
we want to display spatial objects or movements with our computer, a
classical parallel projection or other kind of (degenerate) linear
mapping has to be used. Of course each of these linear mappings has a
linear system of equations (or a matrix) which transforms the co-ordinates
of the points. Hence in the first part of the research, when the neural
nets have to be trained by these well-known mappings, we could evaluate
the speed of training. Since every linear mapping has a crucial number
of points, with which the transformation is uniquely determined, the nets
are trained by that amount of pair of points (e.g. three pairs of points
for a planar affine transformation).

However it can be happened, that among the data there are one or more
'false' pair of points. If five or more general pairs of points are given
in the plane there is no exact linear transformation which maps the
points onto their image points, since the most general linear transformation,
the projective transformation is given by four pairs of points. Hence we can
compute a system of equations from four pairs, but there is no guarantee
that this mapping will transform the rest of the points onto their given
images, usually the computed images and the given image points will be far
from each other. With the help of the neural nets we will give a mapping
for any number of given points, which will be linear and has the smallest
error in the image points.

\vskip.7truecm
\leftline{\bf 2. The neural network and the back-propagation algorithm}
\vskip.5truecm

Studying the planar linear mappings the applied neural network is a two
layered network with two or three input nodes in the first layer and two
or three output nodes in the second layer entirely connected to each other.
The layers consist of two or three nodes according ot the current
transformations e.g. we use projective co-ordinates to describe the
projective mappings, and points has three projective co-ordinates in
the plane (for the use of projective geometry see [1]). Since neural nets
and especially the back-propagation algorithm are well-known computational
tools, we give only a short description of the algorithm referring mainly
the differences between the widely used method and the present one. For a
more detailed survey see e.g.[3].

The main difference, as we can see from the algorithm presented below, that
since we want to compute linear mappings, the nodes of the neural net has no
the generally used sigmoid function to compute the output, but a
simple weighted sum is computed instead. Hence some of the training rules
which would consist the derivative of the sigmoid function, will be
simplified.


STEP 1. Set all weights $w_{ij}$ to small random values (where $w_{ij}$
denotes the weight associated to the connection between the $i^{\hbox{\labb th}}$ node
of the input layer and the $j^{\hbox{\labb th}}$ node of the output layer.

STEP 2. Present a randomly chosen input, i.e. the co-ordinates of an input
point.

STEP 3. Calculate the output, i.e. the weighted sum of the coordinates
$$
\output_j=\sum_i{w_{ij}\inp_i}
$$

STEP 4. Adapt weights by the equation
$$
w_{ij}=w_{ij}+\eta \delta_j \inp_i
$$
where $\eta \in [0,1]$ is the so called gain term, while $\delta_j$ is the
difference between the desired and the received output value in the $j^{\hbox{\labb th}}$
output node.

STEP 5. Repeat by going STEP 2. until the net is trained.

The network is said to be trained if all the outputs fit the desired output
points, or, in case of over-defined data, if the changes of the weights fall
under a predefined limit.

\vbe
\leftline{\bf 3. Training by well-defined linear mappings}
\vskip.5truecm

Basic theorems of geometry state how many pairs of points determine
uniquely a certain transformation in the plane. Hence if we want to
define a rotation, an affine or a projective transformation, we have to
give two, three or four pairs of general points (any three among them
should be non-collinear).

Our question is to evaluate how fast the neural network can be trained
by a set of data described above. On the other hand, we want to examine
how exact the training is, since after the training procedure theoretically
the weights should be equal to the coefficients of the appropriate system
of equations. Indeed, if a general affine transformation is given by the
equations
$$
\eqalign{\tilde{x}&=a_{11}x+a_{12}y+a_{13}\cr
       \tilde{y}&=a_{21}x+a_{22}y+a_{23}\cr}
$$
then comparing it with the equations yield the output of the network
$$
\eqalign{\output_1&=w_{11}\inp_1+w_{21}\inp_2+w_{31}\inp_3\cr
       \output_2&=w_{12}\inp_1+w_{22}\inp_2+w_{32}\inp_3\cr}
$$
where $\inp_3=1$, one can easily see, that the $a_{ji}=w_{ij}$ must hold for
all $i,j$.

In case of well-defined linear mappings every run was successful under 1100
iteration (accuracy was $10^{-5}$) and the training was exact. The
following table shows the results after 1000 runs.
\vskip0.5truecm

\hskip3cm\vbox{\offinterlineskip\hrule
\halign{&\vrule#&\strut\quad\hfil#\quad\cr
height2pt&\omit&&\omit&\cr
&transformation\hfil&&iterations&\cr
height2pt&\omit&&\omit&\cr
\noalign{\hrule}
height2pt&\omit&&\omit&\cr
&translation&&343&\cr
&rotation&&400&\cr
&affine tr.&&500&\cr
&projective tr.&&1068&\cr
height2pt&\omit&&\omit&\cr}
\hrule}

\ms Our other table shows how the number of iteration changes in term of
accuracy, in case of projective transformation.
\vskip0.5truecm
\hskip3.5cm\vbox{\offinterlineskip\hrule
\halign{&\vrule#&\strut\quad\hfil#\quad\cr
height2pt&\omit&&\omit&\cr
&accuracy\hfil&&iterations&\cr
height2pt&\omit&&\omit&\cr
\noalign{\hrule}
height2pt&\omit&&\omit&\cr
&$10^{-5}$&&500&\cr
&$10^{-10}$&&916&\cr
&$10^{-15}$&&1705&\cr
height2pt&\omit&&\omit&\cr}
\hrule}


\vbe
\leftline{\bf 4. Training by over-defined data}
\vskip.6truecm

If we consider an arbitrary linear mapping, then a certain number belongs to
that mapping, which shows how many pairs of points define the
mapping uniquely.
If the number of input points exceeds this limit then our data set is said to
be over-defined.

An over-defined set of data does not necessary mean false data set. We can
compute the image of several points by a transformation, and if these pair
of points are considered as the input data, the neural network has to produce
exactly the same transformation. If we consider an affine transformation and
50 points and their images as input data, the training of the net will be
slower than in the case of three points, but the same transformation will be
received.

This table shows how the number of iterations changes if the number of points
increases. Since one iteration means to feed all of the given points as input
for the net, the total number of input simply the product of the number of
iterations and the number of input points.

\vskip0.6truecm
\hskip3.5cm\vbox{\offinterlineskip\hrule
\halign{&\vrule#&\strut\quad\hfil#\quad\cr
height2pt&\omit&&\omit&\cr
&points\hfil&&iterations&\cr
height2pt&\omit&&\omit&\cr
\noalign{\hrule}
height2pt&\omit&&\omit&\cr
&3&&500&\cr
&10&&61&\cr
&100&&6&\cr
height2pt&\omit&&\omit&\cr}
\hrule}

\ms However over-defined data set could mean arbitrary pairs of points,
the number
of which is greater than the necessary number of data. In this case the set
could be called false data, since there is no transformation which could map
these points to their images. More precisely, if we consider affine
transformations and the number of input points is 4, then there is no affine
transformation for these points (of course a projective transformation can
be easily computed from these data). But if we have 5 or more pairs of
arbitrary points, then generally there is no any kind of linear transformation
mapping these points to their images. This problem can occur e.g. as a wrong
scanning or digitalisation of an image. Of course the false data are normally
not completely wrong, perhaps only a corner of a figure will be curved, but
the theoretical problem remains the same.

In this very case one can try to find a mapping which produced this image,
but that transformation will not be linear, or can find a linear
mapping which is close to the original one, that is the input points will
be mapped almost to their images. Neural networks are applicable for both
problems, but in this paper we consider only the latter case.

If we have a set of false data, first we have to decide which type of linear
mapping is the desired. The main difference is, that affine transformation
will preserve parallelism, but probably the difference between the desired
and actual output will be larger. If we need smaller error, projective
transformation has to be chosen.

Since the neural net does not 'know' if the set of data is correct or
false, the training algorithm will be the same described above, however the
number of iterations can be increased significantly. The error of the
transformation can be measured by corrupting original transformations. Since
neural networks minimize the cost function equal to the mean square difference
(see [2]), the error (measured by Euclidean distance of the desired and actual
output) will be lower, than the squareroot of the distortion of the original
transformation.

\vskip.8truecm
\leftline{\bf 5. Conclusion}
\vskip.6truecm

In this paper artificial neural net with back-propagation training algorithm
will be used to study linear mappings. First the effectiveness of the net
will be discussed when exact linear transformation will be trained
from a set of input data, the number of which were the same as the
theoretical limit for the unique determination of the transformation. The
training was succesfull and fast, even for larger number of input points.

On the other hand correction of corrupted linear transformation has been
discussed. If the number of input points are exceeds the limit mentioned
above, then there is no theoretical way to find linear mapping which
transforms the given data to their images. Here arbitrary set of input points
was given, and the neural net, trained by these data, has found the best
fitting linear mapping.



\vskip.8truecm
\crl{\bf References}
\vskip.6truecm

\item{[1]}{\sc Herman, I.,} The Use of Projective Geometry in Computer
Graphics, {\it Lecture Notes in Computer Science} 564, Springer-Verlag,
1991.

\item{[2]}{\sc Lippmann, R. P.,} An Introduction to Computing with
Neural Nets, \noindent {\it IEEE ASSP Magazine}, April 1987, 4--22.

\item{[3]}{\sc Rojas, R.,} Neural Networks.  A Systematic Introduction,
Springer-Verlag, 1996.

\item{[4]}{\sc Hoffmann M., V\' arady L.,} Free-form curve design by
neural networks, {\it Acta Acad.  Paed.  Agriensis}, Vol. XXIV., 1997,
99--104.


\item{[5]}{\sc Hoffmann, M., V\'arady, L.,} Free-form Surfaces for
Scattered Data by Neural Networks, {\it Journal for Geometry and
Graphics}, Vol. 2, No.1, 1998, 1--6.

\item{[6]}{\sc V\'arady, L., Hoffmann, M., Kov\'acs, E.,} Improved
Free-form Modelling of Scattered Data by Dynamic Neural Networks, {\it
Journal for Geometry and Graphics}, Vol. 3, No.2, 1999, 177--181.

\item{[7]}{\sc Hoffmann, M.,} Modified Kohonen Neural Network for
Surface Reconstruction, {\it Publ. Math. Debrecen}, Vol. 54 Suppl.,
1999, 857--864.


\vskip 1cm
\vbox{\hbox{\bf Em\H od Kov\' acs}                      %detailed address
\hbox{Institute of Mathematics and Informatics}
\hbox{K\'aroly Eszterh\'azy Teachers' Training College}
\hbox{Le\'anyka str. 4--6.}
\hbox{H-3300 Eger, Hungary}}
\end
