arXiv subjects

L. Sunil Chandran

Publications and source records attributed to L. Sunil Chandran.

At least 19 recordsLinked to original sources

arXiv2026

Boxicity of Power Graphs of Finite Nilpotent Groups

The \textit{boxicity} of an undirected graph $Γ$, denoted as $\operatorname{box}(Γ)$, is the smallest non-negative integer $d$ such that $Γ$ can be represented as the intersection graph of axis-parallel rectangular boxes in $\mathbb{R}^d$. The \emph{power graph} of a group $G$, denoted as $\operatorname{Pow}(G)$, is an undirected graph whose vertex set is the group itself, with two elements being adjacent if one is a power of the other. We determine the exact boxicity of power graphs of finite nilpotent groups. For a cyclic group of order $n=\prod_{i=1}^{r}p_i^{e_i}>1$, where the $p_i$ are distinct primes, we prove that its power graph has boxicity $\sum_{i=1}^{r}e_i-\max_i e_i$. For a finite nilpotent group $G$, let the number of noncyclic odd Sylow subgroups be denoted by $t(G)$. If $G$ has odd order or if $G$ has a cyclic Sylow $2$-subgroup, then $\operatorname{box}(\operatorname{Pow}(G))=\operatorname{box}(\operatorname{Pow}(\mathbb{Z}_{\operatorname{exp}(G)}))+t(G)$, where $\operatorname{exp}(G)$ denotes the \emph{exponent} of a group $G$. When the Sylow $2$-subgroup is noncyclic, and the odd part is nontrivial, the boxicity equals this value or one more, and we characterise precisely when each of these values is attained. The boxicity of power graphs of arbitrary finite groups and the exact boxicity of the comparability graph of the Boolean lattice were posed as open questions in Discrete Mathematics, 349(7):115017, 2026. As a consequence of our results, we answer the latter question completely and the former question partially, by computing the exact boxicity of the power graphs of nilpotent groups.

cs.DM↗

arXiv2026

Binary Huffman Coding with Unequal Letter Costs Is NP-Complete

Binary prefix coding assigns prefix-free binary words to symbols to minimize their frequency-weighted cost. Huffman solved the equal-letter-cost case in polynomial time in 1952 [Proc. IRE'52]. For unequal letter costs, Karp gave an integer-programming formulation in 1961 [IRE Trans. Inf. Theory'61]. Exact polynomial-time algorithms for fixed integer costs were given by Golin and Rote [IEEE Trans. Inf. Theory'98] and Bradford, Golin, Larmore, and Rytter [J. Algorithms'02]. For input-dependent costs, Golin, Mathieu, and Young gave a polynomial-time approximation scheme [SICOMP'12]. The exact complexity when letter costs are part of the input had remained unresolved. We resolve this $65$-year-old problem by proving that deciding whether there exists a binary prefix-free code of frequency-weighted cost at most a given threshold is NP-complete, even when the letter costs are consecutive positive integers $(M,M+1)$ supplied as part of the input. All frequencies, letter costs, and thresholds are encoded in binary. Consequently, finding an optimal code is NP-hard. Our proof uses two polynomial-time reductions, starting from Planar Independent Set. The intermediate problem prescribes the number of leaves at each depth of a full ordered binary tree and minimizes a signed linear score on their sorted right-edge counts. The first reduction represents an independent-set verification program by a tree growing level by level. A fixed-profile identity converts narrow coordinate restrictions into linear penalties that enforce the computation. The second reduction adds large dyadic terms to the symbol frequencies to force prescribed depths. These terms contribute a constant to the weighted number of ones, leaving smaller signed perturbations to reproduce the tree score.

cs.DS↗

arXiv2026

Connectivity Bounds for GHZ Graphs

Greenberger-Horne-Zeilinger (GHZ) states are multipartite entangled quantum states that play a central role in quantum information theory, with applications in quantum communication, cryptography, and distributed quantum computing. A major experimental goal is to create high-dimensional GHZ states using multiple entangled parties. Krenn, Gu and Zeilinger discovered a surprising bridge between these quantum-optical experiments and graph theory: certain photonic experiments can be represented by edge-coloured, edge-weighted graphs, and the dimension of the produced GHZ state equals the number of feasible monochromatic inherited vertex colourings. This led Krenn and Gu to conjecture that every GHZ graph with more than four vertices has dimension at most $2$. A counterexample would give a new high-dimensional multipartite GHZ construction, while a proof would clarify fundamental resource limitations in quantum optics. It is known that the conjecture holds for graphs of vertex connectivity at most $2$ [MFCS 2024], and that simple GHZ graphs with $n>4$ vertices have dimension less than $n/\sqrt{2}$ [Quantum 2024]. However, no general upper bound depending only on vertex connectivity was known. We prove that every simple connected GHZ graph $G$ with at least four vertices has dimension at most $2^{κ(G)-1}+\binom{κ(G)}{2}$, where $κ(G)$ is the vertex connectivity of $G$. We also prove new bounds in terms of edge connectivity and maximum degree.

quant-ph↗

arXiv2026

Geometric Graph Representations via Compact SAT Encodings

We present compact SAT encodings and certifying exact solvers for boxicity and cubicity. The boxicity of a graph is the minimum dimension in which it is the intersection graph of axis-aligned boxes; cubicity is defined analogously using unit cubes. Grid-based formulations face a geometric discretization bottleneck, growing rapidly with the target dimension. We avoid this bottleneck by encoding the total order of interval endpoints in each coordinate. For an $n$-vertex graph and target dimension $d$, our boxicity encoding uses $O(n^2d)$ variables and $O(n^3d)$ clauses, both linear in $d$. Requiring the left- and right-endpoint orders to agree yields a cubicity encoding of the same asymptotic size. Satisfying models are decoded into independently checked geometric representations, while unsatisfiable instances used as lower-bound evidence carry mechanically verified DRAT certificates. In a controlled evaluation with 186 trials per encoding on standard and structured graph families, the order encoding solves 96.8% of trials, compared with 71.0% for the known grid formulation, and reduces mean PAR-2 time from 178.21 to 21.70 seconds. The pipeline also certifies exact values for several named graphs. We turn one such value into a reusable obstruction by proving that every Kneser graph $K(n,k)$ with $k\ge3$ and $n\ge2k+1$ contains an induced Desargues graph. The resulting lower bound, together with an explicit three-dimensional representation of $K(7,3)$, establishes $\operatorname{boxicity}(K(7,3))=3$. This disproves the conjecture of Caoduro and Sebo that $\operatorname{boxicity}(K(n,k))=n-k$ for all $k\ge3$ and $n\ge2k+1$.

cs.CG↗

arXiv2026

Parameterized algorithms for representing graphs as intersections of threshold graphs

A graph is called a threshold graph if there is an assignment of real valued weights to its vertices such that two vertices have an edge between them if and only if the sum of the weights of the two vertices is above a certain `threshold value'. We will denote the class of all threshold graphs as $TH$. For a graph $G=(V,E)$, if for some integer $t\geq 0$, there are $t$ many threshold graphs $\{G_i=(V,E_i)\}_{i\in [t]}$ such that we have $E=E_1\cap E_2\cap \cdots \cap E_t$, then we say that the collection of threshold graphs $\{G_i=(V,E_i)\}_{i\in [t]}$ forms a $TH$-representation of $G$ of size $t$. \emph{The intersection dimension of $G$ with respect to threshold graphs} (denoted as $dim_{TH}(G)$) is the smallest non-negative integer $t$ such that there is a $TH$-representation of $G$ of size $t$. It is known that for a graph $G$ and integer $t>0$, the problem of deciding whether $dim_{TH}(G)\leq t$ is NP-complete even for $t=3$. In this paper, we study this problem in the framework of parameterized algorithms. We consider the vertex cover number and the cluster vertex deletion number as our parameters. We give a FPT algorithm for determining an optimal $TH$-representation of a graph when parameterized by its vertex cover number. Our main result is an efficient parameterized approximation scheme for this problem when parameterized by the cluster vertex deletion number of $G$.

cs.DS↗

arXiv2026

Generalized Zykov's Theorem

For a simple graph $G$, let $n$ denote its number of vertices, and let $N(G,K_t)$ denote the number of copies of $K_t$ in $G$. Zykov's theorem (1949) asserts that for any $K_{r+1}$-free graph and $t \geq 2$, \[ N(G,K_t) \leq \binom{r}{t}\left(\frac{n}{r}\right)^t. \] We generalize Zykov's bound within a vertex-based localization framework. For each vertex $v \in V(G)$, let $c(v)$ denote the order of the largest clique containing $v$. Then \[ N(G,K_t) \leq n^{t-1} \sum_{v \in V(G)} \frac{1}{c(v)^t}\binom{c(v)}{t}. \] Moreover, when $G$ contains a copy of $K_t$, equality holds if and only if $G$ is a regular complete multipartite graph. Note that if we impose the condition that $G$ is $K_{r+1}$-free, then $c(v) \leq r$ for all $v \in V(G)$, and the monotonicity of $s \mapsto \binom{s}{t}/s^t$ gives Zykov's bound.

math.CO↗

arXiv2026

The boxicity of the compressed zero divisor graph of the ring of integers modulo N

The boxicity of a graph $G$, denoted by $box(G)$, is the minimum integer $d\geq 0$ such that $G$ is the intersection graph of axis-parallel boxes in $\mathbb{R}^d$. The class of zero divisor graphs introduced by Beck (1988) is a popular class of graphs and has been studied extensively by several researchers. Suppose $Z(R)$ is the set of zero divisors of a ring $R$. The zero divisor graph $Γ(R)$ for a ring $R $ is defined as the graph with the vertex set $V(Γ(R))=Z(R)$ and $E(Γ(R))=\{\{x,y\}\colon x,y\in Z(R)\text{ with }x\neq y\text{ and }x y=0\}$. One can define an equivalence relation $\sim$ on $V(Γ(R))$ such that for vertices $x$ and $y$, one has $x\sim y$ if and only if $x$ and $y$ have the same annihilator, i.e., $Ann(x)=Ann(y)$. The compressed zero divisor graph $Γ_E(R)$ for a ring $R$ is the simple graph obtained from $Γ(R)$ by retaining exactly one vertex from each equivalence class induced by $\sim$. In this paper, we completely answer two open questions posed in Discrete Applied Mathematics 391 (2026), pp. 127-136. Let $N=\prod_{i=1}^a p_i^{n_i}$ be the prime factorization of a positive integer $N$ and let $\mathbb{Z}_N$ be the ring of integers modulo $N$. We determine the exact boxicity of the compressed zero divisor graph $Γ_E(\mathbb{Z}_N)$. We show that when $a\geq 2$, $box(Γ_E(\mathbb{Z}_N))= a-1$ if and only if one of the following is true: $(i)$ $a\geq 2$ and $N$ is the product of two coprime integers $x$ and $y$ such that $x$ is a square-free integer and $y$ is the cube of a prime number; $(ii)$ $a\geq 3$ and $N$ is square-free; $(iii)$ $a\geq 2$, $N$ is cube-free, not square-free, and contains at least one prime divisor $p_i$ such that $n_i=1$. If $a=2$ and $n_1=n_2=1$, then $Γ_{E}(\mathbb{Z}_N)$ is a clique, and so, $box(Γ_{E}(\mathbb{Z}_N))=0$. In all other cases, $box(Γ_{E}(\mathbb{Z}_N))=a$.

cs.DM↗

arXiv2026

Boxicity and Cubicity of Divisor Graphs and Power Graphs

The \textit{boxicity} (\textit{cubicity}) of an undirected graph $Γ$ is the smallest non-negative integer $k$ such that $Γ$ can be represented as the intersection graph of axis-parallel rectangular boxes (unit cubes) in $\mathbb{R}^k$. An undirected graph is classified as a \textit{comparability graph} if it is isomorphic to the comparability graph of some partial order. This paper studies boxicity and cubicity for subclasses of comparability graphs. We initiate the study of boxicity and cubicity of a special class of algebraically defined comparability graphs, namely the \textit{power graphs}. The power graph of a group is an undirected graph whose vertex set is the group itself, with two elements being adjacent if one is a power of the other. We analyse the case when the underlying groups of power graphs are cyclic. Another important family of comparability graphs is \textit{divisor graphs}, which arises from a number-theoretically defined poset, namely the \textit{divisibility poset}. We consider a subclass of divisor graphs, denoted by $D(n)$, where the vertex set is the set of positive divisors of a natural number $n$. We first show that to study the boxicity (cubicity) of the power graph of the cyclic group of order $n$, it is sufficient to study the boxicity (cubicity) of $D(n)$. We derive estimates, tight up to a factor of $2$, for the boxicity and cubicity of $D(n)$. The exact estimates hold good for power graphs of cyclic groups.

math.CO↗

arXiv2026

Off-diagonal Rado numbers for $x+y+c=z$ and $x+y+k=z$

The study of Ramsey-type problems for linear equations originated with Schur's theorem and was later placed in a systematic framework by Richard Rado. In the off-diagonal setting, one fixes a pair of linear equations $(\mathcal{E}_1, \mathcal{E}_2)$ and seeks the least integer $N$ such that every red--blue coloring of $\{1,2,\dots,N\}$ contains either a red solution to $\mathcal{E}_1$ or a blue solution to $\mathcal{E}_2$. This threshold integer is referred to as the off-diagonal Rado number of the system $(\mathcal{E}_1, \mathcal{E}_2)$. In this work, we study the discrete and continuous two-color off-diagonal Rado numbers for the nonhomogeneous linear equations $x+y+c=z$ and $x+y+k=z$, where $c\leq k$. In the discrete setting, $c$ and $k$ are nonnegative integers, whereas in the continuous setting, they are nonnegative real numbers. We determine the exact discrete and continuous two-color off-diagonal Rado numbers for this pair of shifted Schur equations.

math.CO↗

arXiv2026

Graph Burning: Bounds and Hardness

Graph burning is a discrete-time process that models the propagation of information in a network. Given an undirected graph whose vertices are initially unburned, the process evolves in discrete rounds. At each round, an unburned vertex is selected and burned, while any unburned vertex adjacent to a vertex burned in the previous round also becomes burned. The burning number of a graph is the minimum number of steps to burn all its vertices. The BURNING NUMBER PROBLEM asks whether the burning number of an input graph $G$ is at most $k$. In this paper, we investigate the graph burning problem from both algorithmic and structural viewpoints. Although the problem is known to be NP-complete on interval graphs, we strengthen this result by proving that it remains NP-complete even when restricted to connected proper interval graphs. We also study the burning number of $P_k$-free graphs. Motivated by the well-known burning number conjecture, which states that every connected graph of order $n$ has burning number at most $\lceil \sqrt{n}~\rceil$, we establish an improved upper bound for connected $P_k$-free graphs and show that this bound is tight up to an additive constant of $1$. Finally, we study two variants of the problem: edge burning and total burning. We establish fundamental relationships between these variants and the classical burning, and we determine the computational complexity of the corresponding decision problems.

math.CO↗

arXiv2026

Hardness of Burning Number Problem on Regular Graphs

The Burning Number Problem (BNP) models the spread of information or contagion in a network through a discrete-time process on a graph. At each step, one new vertex is selected as a burning source, while fire simultaneously spreads from previously burned vertices to their neighbors. The burning number of a graph is the minimum number of steps required to burn all vertices. The decision version asks whether the burning number is at most a given integer $k$. BNP is known to be NP-complete even on restricted graph classes such as path forests. We study BNP on connected regular graphs, a natural and previously unexplored graph class. We prove that BNP is NP-complete on connected cubic graphs, and moreover APX-hard under this restriction. We further show that BNP remains APX-hard on connected $d$-regular graphs for every fixed $d \geq 4$.

cs.DS↗

arXiv2026

Parameterized algorithms for $k$-Inversion

Inversion of a directed graph $D$ with respect to a vertex subset $Y$ is the directed graph obtained from $D$ by reversing the direction of every arc whose endpoints both lie in $Y$. More generally, the inversion of $D$ with respect to a tuple $(Y_1, Y_2, \ldots, Y_\ell)$ of vertex subsets is defined as the directed graph obtained by successively applying inversions with respect to $Y_1, Y_2, \ldots, Y_\ell$. Such a tuple is called a \emph{decycling family} of $D$ if the resulting graph is acyclic. In the \textsc{$k$-Inversion} problem, the input consists of a directed graph $D$ and an integer $k$, and the task is to decide whether $D$ admits a decycling family of size at most $k$. Alon et al.\ (SIAM J.\ Discrete Math., 2024) proved that the problem is NP-complete for every fixed value of $k$, thereby ruling out XP algorithms, and presented a fixed-parameter tractable (FPT) algorithm parameterized by $k$ for tournament inputs. In this paper, we generalize their algorithm to a broader variant of the problem on tournaments and subsequently use this result to obtain an FPT algorithm for \textsc{$k$-Inversion} when the underlying undirected graph of the input is a block graph. Furthermore, we obtain an algorithm for \textsc{$k$-Inversion} on general directed graphs with running time $2^{O(\mathrm{tw}(k + \mathrm{tw}))} \cdot n^{O(1)}$, where $\mathrm{tw}$ denotes the treewidth of the underlying graph.

cs.DS↗

arXiv2026

Localization: A Framework to Generalize Extremal Graph Problems

Extremal graph theory studies the maximum or minimum number of subgraphs isomorphic to a prescribed graph under given constraints. \textit{Localization} has recently emerged as a framework that refines such problems by assigning extremal quantities locally (to vertices or edges) and then aggregating them. This perspective not only recovers classical results but also leads to sharper bounds. A classical result states that a connected planar graph with a finite girth $g$ satisfies \begin{equation*} m \leq \frac{g}{g-2}(n-2) \end{equation*} Wood~\cite{wood} derived upper bounds on the number of $K_t$-cliques in graphs of bounded maximum degree, expressed in terms of both the number of vertices and the number of edges: \begin{align*} ex(n,K_t,K_{1,d+1}) \leq \frac{n}{d+1}\binom{d+1}{t} \\ mex(m,K_t,K_{1,d+1}) \leq \frac{m}{\binom{d+1}{2}}\binom{d+1}{t} \end{align*} More recently, Chakraborty and Chen~\cite{CHAKRABORTI2024103955} established a similar upper bound for graphs with bounded path length: \begin{equation*} mex(m,K_t,P_{r+1}) \leq \frac{m}{\binom{r}{2}}\binom{r}{t} \end{equation*} In this paper, we employ the localization framework to improve these bounds and provide structural characterizations of the extremal graphs attaining them.

math.CO↗

arXiv2026

Off-diagonal Rado number for $x+y+c=z$ and $x+qy=z$

Ramsey-type problems for linear equations began with Schur's theorem and were systematically generalized by Richard Rado. In the off-diagonal framework for two colors, one considers two different linear equations $(\mathcal{E}_1,\mathcal{E}_2)$ and determines the minimum integer $N$ for which any red-blue coloring of $\{1,2,...,N\}$ forces either a red solution of the equation $\mathcal{E}_1$ or a blue solution of the equation $\mathcal{E}_2$. In this work, we study off-diagonal Rado numbers for non-homogeneous linear equations of the forms $x+y+c=z$ and $x+qy=z$. We determine the exact two-color off-diagonal Rado number $R_2(c,q)$ associated with this system of equations.

math.CO↗

arXiv2025

Vertex-Based Localization of Generalized Turán Problems

Let $\mathcal{F}$ be a family of graphs. A graph is called $\mathcal{F}$-free if it does not contain any member of $\mathcal{F}$. Generalized Turán problems aim to maximize the number of copies of a graph $H$ in an $n$-vertex $\mathcal{F}$-free graph. This maximum is denoted by $ex(n, H, \mathcal{F})$. When $H \cong K_2$, it is simply denoted by $ex(n,F)$. Erdős and Gallai established the bounds $ex(n, P_{k+1}) \leq \frac{n(k-1)}{2}$ and $ex(n, C_{\geq k+1}) \leq \frac{k(n-1)}{2}$. This was later extended by Luo \cite{luo2018maximum}, who showed that $ex(n, K_s, P_{k+1}) \leq \frac{n}{k} \binom{k}{s}$ and $ex(n, K_s, C_{\geq k+1}) \leq \frac{n-1}{k-1} \binom{k}{s}$. Let $N(G,K_s)$ denote the number of copies of $K_s$ in $G$. In this paper, we use the vertex-based localization framework, introduced in \cite{adak2025vertex}, to generalize Luo's bounds. In a graph $G$, for each $v \in V(G)$, define $p(v)$ to be the length of the longest path that contains $v$. We show that \[N(G,K_s) \leq \sum_{v \in V(G)} \frac{1}{p(v)+1}{p(v)+1\choose s} = \frac{1}{s}\sum_{v \in V(G)}{p(v) \choose s-1}\] We strengthen the cycle bound from \cite{luo2018maximum} as follows: In graph $G$, for each $v \in V(G)$, let $c(v)$ be the length of the longest cycle that contains $v$, or $2$ if $v$ is not part of any cycle. We prove that \[N(G,K_s) \leq \left(\sum_{v\in V(G)}\frac{1}{c(v)-1}{c(v) \choose s}\right) - \frac{1}{c(u)-1}{c(u) \choose s}\] where $c(u)$ denotes the circumference of $G$. Furthermore, we characterize the class of extremal graphs that attain equality for these bounds. We provide full proofs for the cases $s = 1$ and $s \geq 3$, while the case $s = 2$ follows from the result in \cite{adak2025vertex}. We also conclude with a generalization of a result by Balister-Bollobás-Riordan-Schelp \cite{BALISTER2003366}.

math.CO↗

arXiv2025

CNFs and DNFs with Exactly $k$ Solutions

Model counting is a fundamental problem that consists of determining the number of satisfying assignments for a given Boolean formula. The weighted variant, which computes the weighted sum of satisfying assignments, has extensive applications in probabilistic reasoning, network reliability, statistical physics, and formal verification. A common approach for solving weighted model counting is to reduce it to unweighted model counting, which raises an important question: {\em What is the minimum number of terms (or clauses) required to construct a DNF (or CNF) formula with exactly $k$ satisfying assignments?} In this paper, we establish both upper and lower bounds on this question. We prove that for any natural number $k$, one can construct a monotone DNF formula with exactly $k$ satisfying assignments using at most $O(\sqrt{\log k}\log\log k)$ terms. This construction represents the first $o(\log k)$ upper bound for this problem. We complement this result by showing that there exist infinitely many values of $k$ for which any DNF or CNF representation requires at least $Ω(\log\log k)$ terms or clauses. These results have significant implications for the efficiency of model counting algorithms based on formula transformations.

cs.DM↗

arXiv2025

Boxicity of Zero Divisor Graphs

A $d$-dimensional box is the cartesian product $R_i\times\cdots\times R_d$ where each $R_i$ is a closed interval on the real line. The boxicity of a graph, denoted as $box(G)$, is the minimum integer $d\geq 0$ such that $G$ is the intersection graph of a collection of $d$-dimensional boxes. The study of graph classes associated with algebraic structures is a fascinating area where graph theory and algebra meet. A well-known class of graphs associated with rings is the class of zero divisor graphs introduced by Beck in 1988. Since then, this graph class has been studied extensively by several researchers. Denote by $Z(R)$ the set of zero divisors of a ring $R$. The zero divisor graph $Γ(R)$ for a ring $R$ is defined as the graph with the vertex set $V(Γ(R))=Z(R)$ and $E(Γ(R))=\{\{a_i,a_j\}:a_ia_j\in Z(R)\text{ and }a_ia_j=0 \}$. Let $N=Π_{i=1}^ap_i^{n_i}$ be the prime factorization of $N$. In Discrete Applied Mathematics 365 (2025), pp. 260-269, it was shown that $box(Γ(\mathbb{Z}_N))\leqΠ_{i=1}^a(n_i+1)-Π_{i=1}^a(\lfloor n_i/2\rfloor+1)-1$. In this paper we exactly determine the boxicity of $Γ(\mathbb{Z}_N)$: We show that when $N\equiv 2\pmod 4$ and $N$ is not divisible by $p^3$ for any prime divisor $p$, we have $box(Γ(\mathbb{Z}_N))=a-1$. Otherwise $box(Γ(\mathbb{Z}_N))=a$. Suppose $R$ is a non-zero commutative ring with identity that is also a reduced ring and let $k$ be the size of the set of minimal prime ideals of $R$. In the same paper, it was showed that $box(Γ(R))\leq 2^k-2$. We improve this result by showing $\lfloor k/2\rfloor\leq box(Γ(R))\leq k$ with the same assumption on $R$. In this paper we also show that $a-1\leq\dim_{TH}(Γ(\mathbb{Z}_N))\leq a$ and $\lfloor k/2\rfloor\leq\dim_{TH}(Γ(R))\leq k$, where $\dim_{TH}$ is another dimensional parameter associated with graphs known as the threshold dimension.

cs.DM↗

arXiv2025

Vertex-Based Localization of Turán's Theorem

Let $G$ be a simple graph with $n$ vertices and $m$ edges. According to Turán's theorem, if $G$ is $K_{r+1}$-free, then $m \leq |E(T(n, r))|,$ where $T(n, r)$ denotes the Turán graph on $n$ vertices with a maximum clique of order $r$. A limitation of this statement is that it does not give an expression in terms of $n$ and $r$. A widely used version of Turán's theorem states that for an $n$-vertex $K_{r+1}$-free graph, $m \leq \left\lfloor \frac{n^2(r-1)}{2r} \right\rfloor.$ Though this bound is often more convenient, it is not the same as the original statement. In particular, the class of extremal graphs for this bound, say $\mathcal{S}$, is a proper subset of the set of Turán graphs. In this paper, we generalize this result as follows: For each $v \in V(G)$, let $c(v)$ be the order of the largest clique that contains $v$. We show that \[ m \leq \left\lfloor\frac{n}{2}\sum_{v\in V(G)}\frac{c(v)-1}{c(v)}\right\rfloor\] Furthermore, we characterize the class of extremal graphs that attain equality in this bound. Interestingly, this class contains two extra non-Turán graphs other than the graphs in $\mathcal{S}$.

math.CO↗