\relax 
\citation{[Mil]}
\citation{[Bar]}
\newlabel{EPCRC}{{\hbox {$\star $}\relax }{1}}
\global\@namedef{n@author@}{2}
\global\@namedef{n@collab@}{0}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{[le80]}
\citation{[le80]}
\citation{[Win89]}
\citation{[levy],[le80]}
\citation{[Lam]}
\citation{[Kath]}
\citation{[adeq]}
\citation{[Mar]}
\citation{[ctrs]}
\citation{[rndrs]}
\citation{[levy],[le80],[K.S.],[Mar],[AL],[Oos]}
\citation{[Bar]}
\citation{[levy],[le80]}
\citation{[rndrs],[dndrs]}
\citation{[acoi-rep],[atoe-tcs]}
\citation{[dndrs]}
\citation{[mfcs],[mfcs-tcs]}
\citation{[icalp]}
\citation{[rndrs],[atoe-tcs]}
\citation{[mfcs],[mfcs-tcs]}
\citation{[levy],[H.L.],[le80],[Bar]}
\citation{[Sta],[GLM],[Mel.th]}
\citation{[Klo92]}
\citation{[levy]}
\citation{[Klo92]}
\@writefile{toc}{\contentsline {section}{\numberline {2}Preliminaries}{6}}
\citation{[GLM]}
\citation{[Sta]}
\citation{[Bar],[H.L.],[le80],[Sta]}
\citation{[dndrs]}
\newlabel{D.levy.str.}{{3}{7}}
\citation{[rndrs]}
\citation{[levy],[le80],[K.S.],[Mar],[AL],[Oos]}
\citation{[rndrs],[atoe-tcs]}
\newlabel{D.DRS.}{{4}{8}}
\citation{[acoi-rep],[atoe-tcs]}
\citation{[le80]}
\citation{[acoi-rep],[atoe-tcs]}
\citation{[acoi-rep],[atoe-tcs]}
\citation{[dndrs]}
\citation{[Bar],[H.L.],[Kl.CRS]}
\newlabel{T.line.zig.}{{5}{9}}
\newlabel{R.mult.}{{6}{9}}
\newlabel{P.un.fam.az.}{{7}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Decomposition of Reductions in {\sf  AZDFSs}}{9}}
\newlabel{S.res.proj.}{{3}{9}}
\citation{[dndrs]}
\citation{[dndrs]}
\citation{[dndrs]}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Standardization}{10}}
\newlabel{SS.stan.}{{3.1}{10}}
\newlabel{D.red.need.ess.}{{8}{10}}
\newlabel{D.ess.rel.red.}{{9}{10}}
\citation{[dndrs]}
\citation{[dndrs]}
\newlabel{L.need.monot.}{{10}{11}}
\newlabel{L.un.re.un.}{{11}{11}}
\newlabel{T.can.self-need.var.}{{12}{11}}
\citation{[acoi-rep],[atoe-tcs]}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Characterizing permutation-equivalence using families}{12}}
\newlabel{L.sta.eq.sa.fam.}{{14}{12}}
\newlabel{L.res.sel.nee.}{{15}{13}}
\newlabel{L.sfa.is.fam.of.se.}{{16}{13}}
\newlabel{L.leq.sfam.}{{17}{13}}
\newlabel{P.leqv.sam.se.es.fa.}{{18}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}The Projection Concept}{14}}
\newlabel{D.proj.}{{19}{14}}
\newlabel{L.nee.fa.red.}{{20}{14}}
\newlabel{L.stan.est.}{{21}{14}}
\newlabel{E.proj.}{{22}{15}}
\newlabel{C.proj.char.fam.}{{23}{15}}
\newlabel{L.err.st.both.le.cla.}{{24}{15}}
\newlabel{C.proj.inv.}{{25}{15}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}The Restriction Concept}{16}}
\newlabel{D.resp.restr.}{{27}{16}}
\newlabel{L.corr.rest.}{{28}{17}}
\newlabel{L.char.resp.}{{30}{17}}
\newlabel{L.resp.invar.le.eq.}{{31}{18}}
\newlabel{L.ind.union.subt.}{{32}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5}The Decomposition Theorem}{18}}
\newlabel{L.sum.rstr.eq.se.of.sum.}{{33}{19}}
\newlabel{T.dec.thm.}{{35}{19}}
\newlabel{D.resp.restr.mult.}{{36}{19}}
\citation{[acoi-rep],[atoe-tcs]}
\newlabel{C.dec.thm.}{{37}{20}}
\citation{[mfcs],[mfcs-tcs]}
\citation{[Win89]}
\citation{[mfcs],[mfcs-tcs]}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.6}{\sf  The Decomposition Theorem in DEESs}}{21}}
\newlabel{D.DEES.}{{38}{21}}
\newlabel{T.dt-dees.}{{39}{22}}
\@writefile{toc}{\contentsline {section}{\numberline {4}The Geometry of Conflict-free Reduction Spaces}{22}}
\newlabel{S.geom.}{{4}{22}}
\citation{[icalp-rep]}
\citation{[colog],[rta]}
\citation{[Mar]}
\newlabel{L.rel.cof.}{{42}{23}}
\newlabel{L.rest.v.proj.}{{43}{23}}
\newlabel{D.basis.}{{44}{23}}
\citation{[rndrs],[atoe-tcs]}
\newlabel{E.bas.}{{45}{24}}
\newlabel{D.ext.reductions.}{{46}{24}}
\citation{[le80]}
\newlabel{L.ind.resp.red.}{{47}{25}}
\newlabel{P.ind.union.subt.}{{48}{26}}
\newlabel{T.ind.dec.thm.}{{49}{26}}
\newlabel{C.ind.dec.thm.}{{50}{26}}
\citation{[acoi-rep]}
\citation{[rndrs],[atoe-tcs]}
\newlabel{D.red-geo.ev.}{{51}{27}}
\newlabel{T.ind-dec.ev.}{{52}{27}}
\citation{[ctrs],[tttrs1]}
\citation{[atoe-tcs]}
\citation{[rndrs],[atoe-tcs]}
\@writefile{toc}{\contentsline {section}{\numberline {5}The Optimal Decomposition Theorem}{28}}
\newlabel{S.rel.geom.}{{5}{28}}
\newlabel{D.rel.need.}{{53}{28}}
\newlabel{T.aff.opt.}{{54}{28}}
\citation{[rndrs],[atoe-tcs]}
\citation{[rndrs],[atoe-tcs]}
\newlabel{D.rel.basis.}{{56}{29}}
\newlabel{L.er.un.un.st.}{{57}{29}}
\newlabel{L.prop.rel.need.}{{58}{29}}
\newlabel{L.ind.nee.}{{59}{30}}
\newlabel{L.S-ind.resp.red.}{{60}{31}}
\newlabel{D.f.m.compl.}{{61}{31}}
\newlabel{L.ref.opt.decomp.}{{62}{31}}
\newlabel{L.s.f.compl.res.sfcomp.ag.}{{63}{32}}
\newlabel{T.opt.fmcompl.}{{64}{32}}
\citation{[acoi-rep],[atoe-tcs]}
\newlabel{T.opt.decomp.}{{65}{33}}
\newlabel{C.opt.decomp.}{{66}{33}}
\newlabel{T.ind.comp.dup.}{{67}{33}}
\citation{[H.L.]}
\citation{[rta]}
\citation{[caap]}
\citation{[C.Chap.]}
\citation{[C.Chap.]}
\citation{[caap]}
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusions}{34}}
\newlabel{S.concl.}{{6}{34}}
\citation{[csl98],[KP00]}
\citation{[Levy76]}
\citation{[KKP]}
\citation{[Klo92]}
\citation{[Rus]}
\bibcite{[AL]}{1}
\bibcite{[Bar]}{2}
\@writefile{toc}{\contentsline {section}{References}{35}}
\bibcite{[C.Chap.]}{3}
\bibcite{[ctrs]}{4}
\bibcite{[tttrs1]}{5}
\bibcite{[rndrs]}{6}
\bibcite{[GLM]}{7}
\bibcite{[H.L.]}{8}
\bibcite{[Kath]}{9}
\bibcite{[K.S.]}{10}
\bibcite{[adeq]}{11}
\bibcite{[KKP]}{12}
\bibcite{[colog]}{13}
\bibcite{[rta]}{14}
\bibcite{[caap]}{15}
\bibcite{[dndrs]}{16}
\bibcite{[icalp]}{17}
\bibcite{[mfcs]}{18}
\bibcite{[acoi-rep]}{19}
\bibcite{[atoe-tcs]}{20}
\bibcite{[mfcs-tcs]}{21}
\bibcite{[icalp-rep]}{22}
\bibcite{[csl98]}{23}
\bibcite{[KP00]}{24}
\bibcite{[Kl.CRS]}{25}
\bibcite{[Klo92]}{26}
\bibcite{[Lam]}{27}
\bibcite{[Levy76]}{28}
\bibcite{[levy]}{29}
\bibcite{[le80]}{30}
\bibcite{[Mar]}{31}
\bibcite{[Mil]}{32}
\bibcite{[Mel.th]}{33}
\bibcite{[Oos]}{34}
\bibcite{[Rus]}{35}
\bibcite{[Sta]}{36}
\bibcite{[Win89]}{37}
\global\c@lastpage=38