TFJM-2025/fiches/inegalites-graphe-fiche.tex

64 lines
2.6 KiB
TeX

\section*{Eléments de réponse}
\q (facile) Le maximum est 14, le minimum 13. Modulo symétries, il n'y a que 3 configurations.
\medskip
\q a) (facile/moyen) Toutes les configurations s'équivalent. Le résultat est $n(n-1)+(n-1)(n-2)+(n-2)(n-3)+...+2 \times 1 = (n-1)n(n+1)/3$.
\smallskip
b) (facile) Max : $2m+(2m-1)+...+(m+1)=m(3m+1)/2$.
Min : $2m+(2m-2)+(2m-4)+...+2=m(m+1)$.
\smallskip
c) (moyen) Max, $n=2k$ pair : $2(2k+(2k-1)+...+(k+1))=k(3k+1)$.
Max, $n=2k+1$ impair : $2((2k+1)+2k+...+(k+2))+k+1=(k+1)(3k+1)$.
Min : $2n+(n-1)+(n-2)+...+2=(n^2+3n-2)/2$.
\smallskip
d) (moyen à difficile) Max, $k$ pair : $\frac{3}{2}k^4 - k^3 - k^2 + 3k - 4$.
Max, $k$ impair : $\frac{3}{2}k^4 - k^3 - k^2 + f(k)$. où $f(x) = \max(4k-\frac{19}{2},2k-\frac{3}{2})$
Min : $k^4 - \frac{2}{3}k^3 + \frac{3}{2}k^2 - \frac{11}{6}k$.
\medskip
\q (ouvert) Pour le max, tout algorithme optimal est glouton, à savoir que le sommet $n$ doit avoir un degré maximal, puis en le retirant et ses voisins le sommet $n-1$ doit avoir un degré maximal, etc. Mais ce n'est pas une condition suffisante (contre-exemple : ligne avec $n=5$).
Idem pour le min (contre-exemple : $n=5$, une ligne de 2 et une ligne de 3 disjointes).
\medskip
\q a) Facile, b) Facile c) Faisable ? (avec l'idée de la question précédente) d) Ouvert
\medskip
\q Question principale du problème
Q1 (facile) max vaut 25, min vaut 21
Q2a (moyen) Pour le graphe complet $K_n$, toutes les numérotations ont le même poids. Ce poids vaut $\sum_{1\leq i\leq j\leq n} ij = \frac{1}{24}n(n-1)(n+1)(3n+2)$.
Q2b (moyen) Pour le graphe des pairs $P_n$, c'est l'inégalité du réordonnement qui conclut.
Q2c (moyen/difficile) Pour l'anneau, on peut judicieusement utiliser l'inégalité du réordonnement.
Premier lemme : pour le poids maximal, les deux chemins entre 1 et $n$ sont formés de nombres croissants. Sinon un échange rend le poids meilleur.
Deuxième lemme : pour le poids maximal, chaque découpage de l'anneau en deux chaînes d'extrémités $a, b$ et $c, d$ vérifie: si $a<b$ alors $c<d$ (si $a$ et $c$ sont collés).
Le deuxième lemme permet de conclure que le max est atteint par la numérotation où les des suites entre 1 et $n$ sont $1,2,4,6,8,..., n$ et $1,3,5,7,...,n$.
La valeur du poids maximal se calcule. Si $n=2k$ est pair, le poids maximal vaut $\frac{8}{3}k^3+2k^2-\frac{11}{3}k+3$.
Un raisonnement similaire montre que le minimum est atteint par $..., n-4,4,n-2,2,n,1,n-1,3,n-3,...$.
Q2d (difficile) Pour la grille, on peut probablement tout calculer.
Q3 et Q4 (ouvert) Probablement on peut trouver des estimations.
\medskip
\q (ouvert)