Misal G graf connected dengan himpunan vertex V(G) dan himpunan edge E(G). Interval I[u,v] dari u dan v adalah himpunan semua vertex dari path terpendek u-v. Vertex s ? V(G)<!--[if gte msEquation 12]>s?S<![endif]--><!--[if !msEquation]--> dikatakan membedakan kuat vertex u,v ? G jika v ? I[u,s] atau u ?I[v,s] <!--[endif]-->. Himpunan vertex S dikatakan sebagai himpunan pembeda kuat dari G jika untuk setiap dua vertex berbeda dari G dibedakan kuat oleh suatu vertex dari S. Dimensi metrik kuat dari G didefinisikan sebagai kardinalitas terkecil dari himpunan pembeda kuat yang dinotasikan sdim(G)<!--[if gte msEquation 12]>sdim(G)<![endif]--><!--[if !msEquation]--> <!--[endif]-->. Graf pendulum k-cycle (k-Cn) merupakan suatu graf yang terdiri dari k<!--[if gte msEquation 12]>k<![endif]--><!--[if !msEquation]--> graf Cn dan menghubungkan vertex pertama dari Cn dengan edge ke suatu vertex pusat. Graf pot bunga (CmSn) adalah gabungan graf cycle dan graf star, yang dihubungkan dengan bridge yang mengkaitkan vertex pusat graf star dengan salah satu vertex pada graf cycle. Corona dari suatu graf G dan graf H adalah graf yang terbentuk dari graf G dan salinan dari graf H sebanyak |V(G)|, yang kemudian disebut H_1, H_2,..., H_{|V(G)|}, kemudian menghubungkan setiap vertex u_i ? V(G) ke semua vertex dari V(H_i), untuk 1 ? i ? |V(G)|.