\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\@writefile{toc}{\contentsline {section}{\numberline {1}Ipergrafi}{1}{section.1}}
\newlabel{Ipergrafi}{{1}{1}{Ipergrafi\relax }{section.1}{}}
\newlabel{defP}{{1.1}{1}{Ipergrafi\relax }{thm.1.1}{}}
\newlabel{ipergrafo}{{1.2}{1}{Ipergrafi\relax }{thm.1.2}{}}
\newlabel{vertici}{{1.2}{1}{Ipergrafi\relax }{thm.1.2}{}}
\newlabel{spigoli}{{1.2}{1}{Ipergrafi\relax }{thm.1.2}{}}
\newlabel{rango}{{1.3}{1}{Ipergrafi\relax }{thm.1.3}{}}
\newlabel{grado}{{1.3}{1}{Ipergrafi\relax }{thm.1.3}{}}
\newlabel{ipergrafo!lineare}{{1.4}{1}{Ipergrafi\relax }{thm.1.4}{}}
\newlabel{ipergrafo!regolare}{{1.5}{1}{Ipergrafi\relax }{thm.1.5}{}}
\newlabel{chiusura}{{1.6}{2}{Ipergrafi\relax }{thm.1.6}{}}
\newlabel{conj1}{{1.7}{2}{Ipergrafi\relax }{thm.1.7}{}}
\newlabel{expconj1}{{1.8}{2}{Ipergrafi\relax }{thm.1.8}{}}
\newlabel{colorazione!vertici}{{1.9}{3}{Ipergrafi\relax }{thm.1.9}{}}
\newlabel{colorazioneforteedebole}{{1.1}{3}{Ipergrafi\relax }{rem.1.1}{}}
\newlabel{numero cromatico}{{1.10}{3}{Ipergrafi\relax }{thm.1.10}{}}
\newlabel{xiFgexi}{{1.11}{3}{Ipergrafi\relax }{thm.1.11}{}}
\newlabel{colorazione!spigoli}{{1.12}{3}{Ipergrafi\relax }{thm.1.12}{}}
\newlabel{indice cromatico}{{1.13}{3}{Ipergrafi\relax }{thm.1.13}{}}
\newlabel{ipergrafo!completo}{{1.15}{4}{Ipergrafi\relax }{thm.1.15}{}}
\newlabel{1-fattorizzazione}{{1.17}{4}{Ipergrafi\relax }{thm.1.17}{}}
\newlabel{prop1fatt}{{1.18}{4}{Ipergrafi\relax }{thm.1.18}{}}
\newlabel{thmesistefattorizzazione}{{1.19}{4}{Ipergrafi\relax }{thm.1.19}{}}
\newlabel{thmsumdx}{{1.20}{6}{Ipergrafi\relax }{thm.1.20}{}}
\newlabel{deftrasversale}{{1.22}{7}{Ipergrafi\relax }{thm.1.22}{}}
\newlabel{numero di trasversalita'}{{1.22}{7}{Ipergrafi\relax }{thm.1.22}{}}
\newlabel{defblockset}{{1.24}{7}{Ipergrafi\relax }{thm.1.24}{}}
\newlabel{blocking-set}{{1.24}{7}{Ipergrafi\relax }{thm.1.24}{}}
\newlabel{esempiograficobset}{{1.28}{8}{Ipergrafi\relax }{thm.1.28}{}}
\newlabel{equivalenzabsetchi}{{1.29}{8}{Ipergrafi\relax }{thm.1.29}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Sistema di Steiner}{9}{section.2}}
\newlabel{Sistema di Steiner}{{2}{9}{Sistema di Steiner\relax }{section.2}{}}
\newlabel{Steiner!sistema di}{{2.1}{9}{Sistema di Steiner\relax }{thm.2.1}{}}
\newlabel{oggetti}{{2.1}{9}{Sistema di Steiner\relax }{thm.2.1}{}}
\newlabel{propderivato}{{2.4}{10}{Sistema di Steiner\relax }{thm.2.4}{}}
\newlabel{ipergrafo derivato}{{2.4}{10}{Sistema di Steiner\relax }{thm.2.4}{}}
\newlabel{propSgradoTh-1}{{2.5}{10}{Sistema di Steiner\relax }{thm.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}S(h,h+1,v)}{11}{subsection.2.1}}
\newlabel{S(h,h+1,v)}{{2.1}{11}{S(h,h+1,v)\relax }{subsection.2.1}{}}
\newlabel{Shh+1prop1}{{2.6}{11}{S(h,h+1,v)\relax }{thm.2.6}{}}
\newlabel{Shh+1gradox}{{2.7}{11}{S(h,h+1,v)\relax }{thm.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Steiner Triple System}{12}{subsection.2.2}}
\newlabel{Steiner Triple System}{{2.2}{12}{Steiner Triple System\relax }{subsection.2.2}{}}
\newlabel{Spazi di rette}{{2.1}{12}{Steiner Triple System\relax }{rem.2.1}{}}
\newlabel{STSprop1}{{2.9}{12}{Steiner Triple System\relax }{thm.2.9}{}}
\newlabel{STSprop2}{{2.10}{12}{Steiner Triple System\relax }{thm.2.10}{}}
\newlabel{STSnecessaria}{{2.11}{12}{Steiner Triple System\relax }{thm.2.11}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Steiner Quadruple System}{13}{subsection.2.3}}
\newlabel{Steiner Quadruple System}{{2.3}{13}{Steiner Quadruple System\relax }{subsection.2.3}{}}
\newlabel{SQSprop1}{{2.13}{13}{Steiner Quadruple System\relax }{thm.2.13}{}}
\newlabel{SQSprop2}{{2.14}{13}{Steiner Quadruple System\relax }{thm.2.14}{}}
\newlabel{SQSprop3}{{2.15}{13}{Steiner Quadruple System\relax }{thm.2.15}{}}
\newlabel{SQSnecessaria}{{2.16}{13}{Steiner Quadruple System\relax }{thm.2.16}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Spettro}{14}{subsection.2.4}}
\newlabel{Spettro}{{2.4}{14}{Spettro\relax }{subsection.2.4}{}}
\newlabel{thmspettri}{{2.18}{14}{Spettro\relax }{thm.2.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}$S_{l}(h,r,v)$}{14}{subsection.2.5}}
\newlabel{$S_{l}(h,r,v)$}{{2.5}{14}{$S_{l}(h,r,v)$\relax }{subsection.2.5}{}}
\newlabel{cardESlambdahrv}{{2.19}{14}{$S_{l}(h,r,v)$\relax }{thm.2.19}{}}
\newlabel{propderivatolambda}{{2.20}{15}{$S_{l}(h,r,v)$\relax }{thm.2.20}{}}
\newlabel{Slambdahrgradox}{{2.21}{15}{$S_{l}(h,r,v)$\relax }{thm.2.21}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6}Costruzioni}{16}{subsection.2.6}}
\newlabel{Costruzioni}{{2.6}{16}{Costruzioni\relax }{subsection.2.6}{}}
\newlabel{costruzione2v1}{{2.25}{16}{Costruzioni\relax }{thm.2.25}{}}
\newlabel{costruzionev3v}{{2.27}{19}{Costruzioni\relax }{thm.2.27}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7}Kirkman}{20}{subsection.2.7}}
\newlabel{Kirkman}{{2.7}{20}{Kirkman\relax }{subsection.2.7}{}}
\newlabel{risoluzione}{{2.29}{20}{Kirkman\relax }{thm.2.29}{}}
\newlabel{expsts9}{{2.30}{20}{Kirkman\relax }{thm.2.30}{}}
\newlabel{KcardC}{{2.31}{21}{Kirkman\relax }{thm.2.31}{}}
\newlabel{Krdivv}{{2.32}{21}{Kirkman\relax }{thm.2.32}{}}
\newlabel{cardinalitapirisoluzione}{{2.33}{21}{Kirkman\relax }{thm.2.33}{}}
\newlabel{dxeqpieqEx}{{2.34}{21}{Kirkman\relax }{thm.2.34}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.7.1}KTS}{22}{subsubsection.2.7.1}}
\newlabel{KTS}{{2.7.1}{22}{KTS\relax }{subsubsection.2.7.1}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.8}Altre costruzioni}{22}{subsection.2.8}}
\newlabel{Altre costruzioni}{{2.8}{22}{Altre costruzioni\relax }{subsection.2.8}{}}
\newlabel{lemmaconteggio}{{2.38}{22}{Altre costruzioni\relax }{thm.2.38}{}}
\newlabel{costruzioner1v1}{{2.39}{23}{Altre costruzioni\relax }{thm.2.39}{}}
\newlabel{costruzionegeometrica}{{2.41}{26}{Altre costruzioni\relax }{thm.2.41}{}}
\newlabel{expSQS8}{{2.44}{33}{Altre costruzioni\relax }{thm.2.44}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.9}Blocking set}{34}{subsection.2.9}}
\newlabel{Blocking set}{{2.9}{34}{Blocking set\relax }{subsection.2.9}{}}
\newlabel{nobsetinSTS}{{2.45}{34}{Blocking set\relax }{thm.2.45}{}}
\newlabel{SQSbset}{{2.47}{35}{Blocking set\relax }{thm.2.47}{}}
\newlabel{expSQSbset}{{2.48}{36}{Blocking set\relax }{thm.2.48}{}}
\newlabel{bsetperSQS}{{2.49}{37}{Blocking set\relax }{thm.2.49}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Disposizioni vincolate}{40}{section.3}}
\newlabel{Disposizioni vincolate}{{3}{40}{Disposizioni vincolate\relax }{section.3}{}}
\newlabel{disposizionivincolatebanali}{{3.3}{40}{Disposizioni vincolate\relax }{thm.3.3}{}}
\newlabel{colorazionidisposizionivincolate}{{3.4}{40}{Disposizioni vincolate\relax }{thm.3.4}{}}
\newlabel{CXgrafocompleto}{{3.5}{41}{Disposizioni vincolate\relax }{thm.3.5}{}}
\newlabel{grafo di connessione}{{3.6}{41}{Disposizioni vincolate\relax }{thm.3.6}{}}
\newlabel{grafo di contrazione}{{3.6}{41}{Disposizioni vincolate\relax }{thm.3.6}{}}
\newlabel{numerocolorazioni}{{3.7}{41}{Disposizioni vincolate\relax }{thm.3.7}{}}
\newlabel{completoricursivo}{{3.8}{42}{Disposizioni vincolate\relax }{thm.3.8}{}}
\newlabel{colorazionialbero}{{3.10}{43}{Disposizioni vincolate\relax }{thm.3.10}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4}*}{46}{section.4}}
\newlabel{*}{{4}{46}{*\relax }{section.4}{}}
