graph
34934 papers tagged with this keyword
Unfriendly or weakly unfriendly partitions of graphs
For each infinite cardinal $κ$ and each graph $G=(V,E)$, we say that a partition $π:V\rightarrow \left\{ 0,1\right\} $ is $κ$-unfriendly if, for each $x\in V$, $\left| \left\{ y\in V\mid \left\{ x,y\right\} \in E\text{ and }π(y)\neq π(x)\right\} \right| $ is $\geq \left| \left\{ y\in V\mid \left\{ x,y\right\} \in E\text{ and }π(y)=π(x)\right\} \right| $ or $\geq κ$; $π$ is unfriendly if the first property is true for each $x\in V$. Some uncountable graphs of infinite minimum degree without unfriendly partition have been constructed by S. Shelah and E.C. Milner, but it is not presently known if countable graphs without unfriendly partition exist. We show that, for each integer $n$, each graph of infinite minimum degree has an $ω_{n}$-unfriendly partition. We also prove that the following properties are equivalent: (i) each graph has an $ω$-unfriendly partition; (ii) each countable graph has an unfriendly partition; (iii) each countable graph without nonempty induced subgraph of infinite minimum degree has an unfriendly partition (actually it is enough to consider a smaller class of graphs).
On the Decision Number of Graphs
Let $G$ be a graph. A good function is a function $f:V(G)\rightarrow \{-1,1\}$, satisfying $f(N(v))\geq 1$, for each $v\in V(G)$, where $ N(v)=\{u\in V(G)\, |\, uv\in E(G) \} $ and $f(S) = \sum_{u\in S} f(u)$ for every $S \subseteq V(G) $. For every cubic graph $G$ of order $ n, $ we prove that $ γ(G) \leq \frac{5n}{7} $ and show that this inequality is sharp. A function $f:V(G)\rightarrow \{-1,1\}$ is called a nice function, if $f(N[v])\le1$, for each $v\in V(G)$, where $ N[v]=\{v\} \cup N(v) $. Define $\overlineβ(G)=max\{f(V(G))\}$, where $f$ is a nice function for $G$. We show that $\overlineβ(G)\ge -\frac{3n}{7}$ for every cubic graph $G$ of order $n$, which improves the best known bound $-\frac{n}{2}$.
Interval colorings of edges of a multigraph
Published in Applied Mathematics 5, Yerevan State University, 1987, pp. 25--34
• Search Publication
Let $G=(V_1(G),V_2(G),E(G))$ be a bipartite multigraph, and $R\subseteq V_1(G)\cup V_2(G)$. A proper coloring of edges of $G$ with the colors $1,\ldots,t$ is called interval (respectively, continuous) on $R$, if each color is used for at least one edge and the edges incident with each vertex $x\in R$ are colored by $d(x)$ consecutive colors (respectively, by the colors $1,\ldots,d(x))$, where $d(x)$ is a degree of the vertex $x$. We denote by $w_1(G)$ and $W_1(G)$, respectively, the least and the greatest values of $t$, for which there exists an interval on $V_1(G)$ coloring of the multigraph $G$ with the colors $1,\ldots,t$.
In the paper the following basic results are obtained.
\textbf{Theorem 2.} For an arbitrary $k$, $w_1(G)\leq k\leq W_1(G)$, there is an interval on $V_1(G)$ coloring of the multigraph $G$ with the colors $1,\ldots,k$.
\textbf{Theorem 3.} The problem of recognition of the existence of a continuous on $V_1(G)$ coloring of the multigraph $G$ is $NP$-complete.
\textbf{Theorem 4.} If for any edge $(x,y)\in E(G)$, where $x\in V_1(G)$, the inequality $d(x)\geq d(y)$ holds then there is a continuous on $V_1(G)$ coloring of the multigraph $G$.
\textbf{Theorem 1.} If $G$ has no multiple edges and triangles, and there is an interval on $V(G)$ coloring of the graph $G$ with the colors $1,\ldots,k$, then $k\leq|V(G)|-1$.
Number of vertices in graphs with locally small chromatic number and large chromatic number
We discuss the minimal number of vertices in a graph with a large chromatic number such that each ball of a fixed radius in it has a small chromatic number. It is shown that for every graph $G$ on $\sim((n+rc)/(c+rc))^{r+1}$ vertices such that each ball of radius $r$ is properly $c$-colorable, we have $χ(G)\leq n$.
The p-spectral radius of k-partite and k-chromatic uniform hypergraphs
Published
• View Publication
• BIB
We characterize the r-graph with maximal p-spectral radius among the k-partite r-graphs of order n, and the 3-graph with maximal p-spectral radius among the k-chromatic 3-graphs of order n.
The Smith and critical groups of Paley graphs
Published in Journal of Algebraic Combinatorics: Volume 41, Issue 4 (2015), Page 1013-1022 pdf
• View Publication
• BIB
There is a Paley graph for each prime power $q$ such that $q\equiv 1\pmod 4$. The vertex set is the field $\mathbb Fq$ and two vertices $x$ and $y$ are joined by an edge if and only if $x-y$ is a nonzero square of $\mathbb Fq$. We compute the Smith normal forms of the adjacency matrix and Laplacian matrix of a Paley graph.
Polynomial time recognition of squares of ptolemaic graphs and 3-sun-free split graphs
Published
• View Publication
• BIB
The square of a graph $G$, denoted $G^2$, is obtained from $G$ by putting an edge between two distinct vertices whenever their distance is two. Then $G$ is called a square root of $G^2$. Deciding whether a given graph has a square root is known to be NP-complete, even if the root is required to be a chordal graph or even a split graph.
We present a polynomial time algorithm that decides whether a given graph has a ptolemaic square root. If such a root exists, our algorithm computes one with a minimum number of edges.
In the second part of our paper, we give a characterization of the graphs that admit a 3-sun-free split square root. This characterization yields a polynomial time algorithm to decide whether a given graph has such a root, and if so, to compute one.
The result for the grundy number on p4 classes
Published in International Journal of Next-Generation Networks (IJNGN) Vol.5, No.4, December 2013
• Search Publication
Our work becomes integrated into the general problem of the stability of the network ad hoc. Some, works attacked (affected) this problem. Among these works, we find the modelling of the network ad hoc in the form of a graph. We can resume the problem of coherence of the network ad hoc of a problem of allocation of frequency We study a new class of graphs, the fat-extended P4 graphs, and we give a polynomial time algorithm to calculate the Grundy number of the graphs in this class. This result implies that the Grundy number can be found in polynomial time for many graphs
On Linkedness of Cartesian Product of Graphs
We study linkedness of Cartesian product of graphs and prove that the product of an $a$-linked and a $b$-linked graphs is $(a+b-1)$-linked if the graphs are sufficiently large. Further bounds in terms of connectivity are shown. We determine linkedness of product of paths and product of cycles.
On Path-Pairability of Cartesian Product of Complete Bipartite Graphs
We study inheritance of path-pairability in the Cartesian product of graphs, and prove different (such as additive and multiplicative) inheritance patterns of path-pairability, depending on the size of the Cartesian product. We present path-pairable graph families, that improve the known upper bound on the minimal maximum degree of a path-pairable graph. Further results and open questions about path-pairability are also presented.
Note on the Diameter of Path-Pairable Graphs
A graph on $2k$ vertices is path-pairable if for any pairing of the vertices the pairs can be joined by edge-disjoint paths. The so far known families of path-pairable graphs have diameter of length at most 3. In this paper we present an infinite family of path-pairable graphs with diameter $d(G)=O(\sqrt{n})$ where $n$ denotes the number of vertices of the graph. We prove that our example is extremal up to a constant factor.
Asymptotic enumeration of sparse connected 3-uniform hypergraphs
We derive an asymptotic formula for the number of connected 3-uniform hypergraphs with vertex set $[N]$ and $M$ edges for $M=N/2+R$ as long as $R$ satisfies $R = o(N)$ and $R=ω(N^{1/3}\ln^{2} N)$. This almost completely fills the gap in the range of $M$ for which the formula is known. We approach the problem using an `inside-out' approach of an earlier paper of Pittel and the second author, for connected graphs. A key part of the method uses structural components of connected hypergraphs called cores and kernels. These are structural components of connected hypergraphs. Our results also give information on the numbers of them with a given number of vertices and edges, and hence their typical size in random connected $3$-uniform hypergraphs with $N$ vertices and $M$ edges, for the range of $M$ we consider.
Bounding Embeddings of VC Classes into Maximum Classes
Published
• View Publication
• BIB
One of the earliest conjectures in computational learning theory-the Sample Compression conjecture-asserts that concept classes (equivalently set systems) admit compression schemes of size linear in their VC dimension. To-date this statement is known to be true for maximum classes---those that possess maximum cardinality for their VC dimension. The most promising approach to positively resolving the conjecture is by embedding general VC classes into maximum classes without super-linear increase to their VC dimensions, as such embeddings would extend the known compression schemes to all VC classes. We show that maximum classes can be characterised by a local-connectivity property of the graph obtained by viewing the class as a cubical complex. This geometric characterisation of maximum VC classes is applied to prove a negative embedding result which demonstrates VC-d classes that cannot be embedded in any maximum class of VC dimension lower than 2d. On the other hand, we show that every VC-d class C embeds in a VC-(d+D) maximum class where D is the deficiency of C, i.e., the difference between the cardinalities of a maximum VC-d class and of C. For VC-2 classes in binary n-cubes for 4 <= n <= 6, we give best possible results on embedding into maximum classes. For some special classes of Boolean functions, relationships with maximum classes are investigated. Finally we give a general recursive procedure for embedding VC-d classes into VC-(d+k) maximum classes for smallest k.
The Geometry of Homogeneous Two-Weight Codes
The results of [1,2] on linear homogeneous two-weight codes over finite Frobenius rings are exended in two ways: It is shown that certain non-projective two-weight codes give rise to strongly regular graphs in the way described in [1,2]. Secondly, these codes are used to define a dual two-weight code and strongly regular graph similar to the classical case of projective linear two-weight codes over finite fields [3].
More on Comparison Between First Geometric-Arithmetic Index and Atom-Bond Connectivity Index
Published in Miskolc Math. Notes 17(1), (2016) 561-570
• View Publication
• BIB
The first geometric-arithmetic (GA) index and atom-bond connectivity (ABC) index are molecular structure descriptors which play a significant role in quantitative structure-property relationship (QSPR) and quantitative structure-activity relationship (QSAR) studies. Das and Trinajstić [\textit{Chem. Phys. Lett.} \textbf{497} (2010) 149-151] showed that $GA$ index is greater than $ABC$ index for all those graphs (except $K_{1,4}$ and $T^{*}$, see Figure 1) in which the difference between maximum and minimum degree is less than or equal to 3. In this note, it is proved that $GA$ index is greater than $ABC$ index for line graphs of molecular graphs, for general graphs in which the difference between maximum and minimum degree is less than or equal to $(2δ-1)^{2}$ (where $δ$ is the minimum degree and $δ\geq2$) and for some families of trees. Thereby, a partial solution to an open problem proposed by Das and Trinajstić is given.
Modulus of families of walks on graphs
Published
• View Publication
• BIB
We introduce the notion of modulus of families of walks on graphs. We show how Beurling's famous criterion for extremality, that was formulated in the continuous case, can be interpreted on graphs as an instance of the Karush-Kuhn-Tucker conditions. We then develop an algorithm to numerically compute modulus using Beurling's criterion as our guide.
Further Results on Homogeneous Two-Weight Codes
Published in Proceedings of the Fifth International Workshop on Optimal Codes and Related Topics (OC2007), White Lagoon, Bulgaria, June 2007, 80-86
• Search Publication
The results of [1,2] on linear homogeneous two-weight codes over finite Frobenius rings are exended in two ways: It is shown that certain non-projective two-weight codes give rise to strongly regular graphs in the way described in [1,2]. Secondly, these codes are used to define a dual two-weight code and strongly regular graph similar to the classical case of projective linear two-weight codes over finite fields [3].
On the independence ratio of distance graphs
Published
• View Publication
• BIB
A distance graph is an undirected graph on the integers where two integers are adjacent if their difference is in a prescribed distance set. The independence ratio of a distance graph $G$ is the maximum density of an independent set in $G$. Lih, Liu, and Zhu [Star extremal circulant graphs, SIAM J. Discrete Math. 12 (1999) 491--499] showed that the independence ratio is equal to the inverse of the fractional chromatic number, thus relating the concept to the well studied question of finding the chromatic number of distance graphs.
We prove that the independence ratio of a distance graph is achieved by a periodic set, and we present a framework for discharging arguments to demonstrate upper bounds on the independence ratio. With these tools, we determine the exact independence ratio for several infinite families of distance sets of size three, determine asymptotic values for others, and present several conjectures.
Large subgraphs without complete bipartite graphs
In this note, we answer the following question of Foucaud, Krivelevich and Perarnau. What is the size of the largest $K_{r,s}$-free subgraph one can guarantee in every graph $G$ with $m$ edges? We also discuss the analogous problem for hypergraphs.
Strongly regular graphs with the 7-vertex condition
Published
• View Publication
• BIB
The $t$-vertex condition, for an integer $t\ge 2$, was introduced by Hestenes and Higman in 1971, providing a combinatorial invariant defined on edges and non-edges of a graph. Finite rank 3 graphs satisfy the condition for all values of $t$. Moreover, a long-standing conjecture of M. Klin asserts the existence of an integer $t_0$ such that a graph satisfies the $t_0$-vertex condition if and only if it is a rank 3 graph.
We construct the first infinite family of non-rank 3 strongly regular graphs satisfying the $7$-vertex condition. This implies that the Klin parameter $t_0$ is at least 8. The examples are the point graphs of a certain family of generalised quadrangles.