noncomputable def SimpleGraph.temp_v {α : Type u_1} [Fintype α] (G : SimpleGraph α) [DecidableRel G.Adj] (v : α) : ℝ

temp_v G v = deg(v)/(n(G) - deg(v)).

Equations

• G.temp_v v = if Fintype.card α = G.degree v then 0 else ↑(G.degree v) / (↑(Fintype.card α) - ↑(G.degree v))

noncomputable def SimpleGraph.MaxTemp {α : Type u_1} (G : SimpleGraph α) [DecidableRel G.Adj] [Fintype α] [Nonempty α] : ℝ

Maximum of temp_v over all vertices.

Equations

• G.MaxTemp = (Finset.image G.temp_v Finset.univ).max' ⋯