Deje G el gráfico deseado. Podemos considerar las posibles ¯G en 10 vértices con 3 bordes. Hay 5 de ellos: (7K1,K3), (6K1,K1,3), (6K1,P4), (5K1,P2,P3) y (4K1,3P2).
Si G≅¯(6K1,P4) luego de partición no es única:
100=2+20+15+3+6+6+12+12+12+12=2+20+15+3+6+6+6+12+12+18=2+20+15+3+6+6+6+6+12+24=2+20+15+3+6+6+6+6+18+18=2+20+15+3+6+6+6+6+6+30.
Hay exactamente 3 pares de relativamente números primos: 2 y 15, 2 y 3, 20 y 3, porque en los últimos 6 números son divisibles por 2 y 3, 2 y 20 son divisibles por 2, 3 y 15 son divisibles por 3, 15 y 20 son divisibles por 5.
El mismo para G≅¯6K1,K1,3:
100=5+6+12+12+10+10+10+10+10+15=5+6+6+18+10+10+10+10+10+15.
Si G≅¯(7K1,K3), en cada vértice de 7K1 debe tener al menos 3 primer divisores de tener borde con cada uno de los 3 pares no adyacentes vértices de K3. Por lo tanto, no se 7 números de partición que por lo menos 30 cada uno. Entonces es imposible obtener la suma de 100.
Si G≅¯(4K1,3P2) al menos 4 de los vértices de 3P2 debe tener al menos 3 factores primos de cada uno de los (diferentes para cada vértice) por lo tanto el máximo de ellos es, al menos,3⋅5⋅7=105>100. Por lo que este gráfico da ninguna partición.
Si G≅¯(5K1,P2,P3), hay una partición:
100=10+10+21+14+15+6+6+6+6+6.
Para probar que es único para este gráfico démonos cuenta de que cada vértice debe tener al menos 2 factores primos y hay, al menos, 4 factores primos en total. Como se muestra más arriba es posible tomar 2,3,5 7 como factores primos y 5 6 parejas de valores para los vértices. También es fácil ver que de esta manera da el mínimo de la suma de los valores. Si tomamos otro de los factores primos o más, a continuación, 2 factores primos de, al menos, 1 vértice, a continuación, tenemos aún mayor suma. Por lo tanto, esta partición es único por su P-graph.