graph
35299 papers tagged with this keyword
Large cliques or co-cliques in hypergraphs with forbidden order-size pairs
Published
• View Publication
• BIB
The well-known Erdős-Hajnal conjecture states that for any graph $F$, there exists $ε>0$ such that every $n$-vertex graph $G$ that contains no induced copy of $F$ has a homogeneous set of size at least $n^ε$. We consider a variant of the Erdős-Hajnal problem for hypergraphs where we forbid a family of hypergraphs described by their orders and sizes. For graphs, we observe that if we forbid induced subgraphs on $m$ vertices and $f$ edges for any positive $m$ and $0\leq f \leq \binom{m}{2}$, then we obtain large homogeneous sets. For triple systems, in the first nontrivial case $m=4$, for every $S \subseteq \{0,1,2,3,4\}$, we give bounds on the minimum size of a homogeneous set in a triple system where the number of edges spanned by every four vertices is not in $S$. In most cases the bounds are essentially tight. We also determine, for all $S$, whether the growth rate is polynomial or polylogarithmic. Some open problems remain.
Flexibility and rigidity of frameworks consisting of triangles and parallelograms
Published in Computational Geometry (2024). 120: Art. 102055
• View Publication
• BIB
A framework, which is a (possibly infinite) graph with a realization of its vertices in the plane, is called flexible if it can be continuously deformed while preserving the edge lengths. We focus on flexibility of frameworks in which 4-cycles form parallelograms. For the class of frameworks considered in this paper (allowing triangles), we prove that the following are equivalent: flexibility, infinitesimal flexibility, the existence of at least two classes of an equivalence relation based on 3- and 4-cycles and being a non-trivial subgraph of the Cartesian product of graphs. We study the algorithmic aspects and the rotationally symmetric version of the problem. The results are illustrated on frameworks obtained from tessellations by regular polygons.
Independent sets versus 4-dominating sets in outerplanar graphs
We show that the number of independent sets in every outerplanar graph is greater than the number of its 4-dominating sets.
Complexity Framework for Forbidden Subgraphs IV: The Steiner Forest Problem
Published
• View Publication
• BIB
We study Steiner Forest on $H$-subgraph-free graphs, that is, graphs that do not contain some fixed graph $H$ as a (not necessarily induced) subgraph. We are motivated by a recent framework that completely characterizes the complexity of many problems on $H$-subgraph-free graphs. However, in contrast to e.g. the related Steiner Tree problem, Steiner Forest falls outside this framework. Hence, the complexity of Steiner Forest on $H$-subgraph-free graphs remained tantalizingly open. In this paper, we make significant progress towards determining the complexity of Steiner Forest on $H$-subgraph-free graphs. Our main results are four novel polynomial-time algorithms for different excluded graphs $H$ that are central to further understand its complexity. Along the way, we study the complexity of Steiner Forest for graphs with a small $c$-deletion set, that is, a small set $S$ of vertices such that each component of $G-S$ has size at most $c$. Using this parameter, we give two noteworthy algorithms that we later employ as subroutines. First, we prove Steiner Forest is FPT parameterized by $|S|$ when $c=1$ (i.e. the vertex cover number). Second, we prove Steiner Forest is polynomial-time solvable for graphs with a 2-deletion set of size at most 2. The latter result is tight, as the problem is NP-complete for graphs with a 3-deletion set of size 2.
A note on asymmetric hypergraphs
Published
• View Publication
• BIB
A $k$-graph $\mathcal{G}$ is asymmetric if there does not exist an automorphism on $\mathcal{G}$ other than the identity, and $\mathcal{G}$ is called minimal asymmetric if it is asymmetric but every non-trivial induced sub-hypergraph of $\mathcal{G}$ is non-asymmetric. Extending a result of Jiang and Nešetřil, we show that for every $k$-graph, $k\ge3$, there exist infinitely many minimal asymmetric $k$-graphs which have maximum degree $2$ and are linear. Further, we show that there are infinitely many $2$-regular asymmetric $k$-graphs for $k\ge3$.
The independence polynomial of trees is not always log-concave starting from order 26
Published
• View Publication
• BIB
An independent set in a graph is a collection of vertices that are not adjacent to each other. The cardinality of the largest independent set in $G$ is represented by $α(G)$. The independence polynomial of a graph $G = (V, E)$ was introduced by Gutman and Harary in 1983 and is defined as
\[
I(G;x) = \sum_{k=0}^{α(G)}{s_k}x^{k}={s_0}+{s_1}x+{s_2}x^{2}+...+{s_{α(G)}}x^{α(G)},
\]
where $s_k$ represents the number of independent sets in $G$ of size $k$. The conjecture made by Alavi, Malde, Schwenk, and Erdös in 1987 stated that the independence polynomials of trees are unimodal, and many researchers believed that this conjecture could be strengthened up to its corresponding log-concave version. However, in our paper, we present evidence that contradicts this assumption by introducing infinite families of trees whose independence polynomials are not log-concave.
On the properties of acyclic sign-skew-symmetric cluster algebras
Published
• View Publication
• BIB
We study the tropical dualities and properties of exchange graphs for the totally sign-skew-symmetric cluster algebra under a condition. We prove that the condition always holds for acyclic cluster algebras, then all results hold for the acyclic case.
Integer Linear Programming Formulations for Triple and Quadruple Roman Domination Problems
Roman domination is a well researched topic in graph theory. Recently two new variants of Roman domination, namely triple Roman domination and quadruple Roman domination problems have been introduced, to provide better defense strategies. However, triple Roman domination and quadruple Roman domination problems are NP-hard. In this paper, we have provided genetic algorithm for solving triple and quadruple Roman domination problems. Programming (ILP) formulations for triple Roman domination and quadruple Roman domination problems have been proposed. The proposed models are implemented using IBM CPLEX 22.1 optimization solvers and obtained results for random graphs generated using NetworkX Erdos-Renyi model.
Sequentially constrained Hamilton cycles in random graphs
Published
• View Publication
• BIB
We discuss the existence of Hamilton cycles in the random graph $G_{n,p}$ where there are restrictions caused by (i) coloring sequences, (ii) a subset of vertices must occur in a specific order and (iii) there is a bound on the number of inversions in the associated permutation.
More Ramsey theory for highly connected monochromatic subgraphs
Published in Can. J. Math.-J. Can. Math. 76 (2024) 2136-2150
• View Publication
• BIB
An infinite graph is said to be highly connected if the induced subgraph on the complement of any set of vertices of smaller size is connected. We continue the study of weaker versions of Ramsey Theorem on uncountable cardinals asserting that if we color edges of the complete graph we can find a large highly connected monochromatic subgraph. In particular, several questions of Bergfalk, Hrušák and Shelah are answered by showing that assuming the consistency of suitable large cardinals the following are relatively consistent with $\mathsf{ZFC}$: $κ\to_{hc} (κ)^2_ω$ for every regular cardinal $κ\geq \aleph_2$ and $\neg\mathsf{CH}+ \aleph_2 \to_{hc} (\aleph_1)^2_ω$. Building on a work of Lambie-Hanson, we also show that $\aleph_2 \to_{hc} [\aleph_2]^2_{ω,2}$ is consistent with $\neg\mathsf{CH}$. To prove these results, we use the existence of ideals with strong combinatorial properties after collapsing suitable large cardinals.
Embeddability of graphs and Weihrauch degrees
Published
• View Publication
• BIB
We study the complexity of the following related computational tasks concerning a fixed countable graph G: 1. Does a countable graph H provided as input have a(n induced) subgraph isomorphic to G? 2. Given a countable graph H that has a(n induced) subgraph isomorphic to G, find such a subgraph. The framework for our investigations is given by effective Wadge reducibility and by Weihrauch reducibility. Our work follows on "Reverse mathematics and Weihrauch analysis motivated by finite complexity theory" (Computability, 2021) by BeMent, Hirst and Wallace, and we answer several of their open questions.
Complexity Framework for Forbidden Subgraphs III: When Problems are Tractable on Subcubic Graphs
For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. In recent work, meta-classifications have been studied: these show that if graph problems satisfy certain prescribed conditions, their complexity is determined on classes of $\mathcal{H}$-subgraph-free graphs. We continue this work and focus on problems that have polynomial-time solutions on classes that have bounded treewidth or maximum degree at most~$3$ and examine their complexity on $H$-subgraph-free graph classes where $H$ is a connected graph. With this approach, we obtain comprehensive classifications for (Independent) Feedback Vertex Set, Connected Vertex Cover, Colouring and Matching Cut. This resolves a number of open problems.
We highlight that, to establish that Independent Feedback Vertex Set belongs to this collection of problems, we first show that it can be solved in polynomial time on graphs of maximum degree $3$. We demonstrate that, with the exception of the complete graph on four vertices, each graph in this class has a minimum size feedback vertex set that is also an independent set.
The iteration time and the general position number in graph convexities
Published
• View Publication
• BIB
In this paper, we study two graph convexity parameters: iteration time and general position number. The iteration time was defined in 1981 in the geodesic convexity, but its computational complexity was so far open. The general position number was defined in the geodesic convexity and proved NP-hard in 2018. We extend these parameters to any graph convexity and prove that the iteration number is NP-hard in the P3 convexity. We use this result to prove that the iteration time is also NP-hard in the geodesic convexity even in graphs with diameter two, a long standing open question. These results are also important since they are the last two missing NP-hardness results regarding the ten most studied graph convexity parameters in the geodesic and P3 convexities. We also prove that the general position number of the monophonic convexity is W[1]-hard (parameterized by the size of the solution) and $n^{1-\varepsilon}$-inapproximable in polynomial time for any $\varepsilon>0$ unless P=NP, even in graphs with diameter two. Finally, we also obtain FPT results on the general position number in the P3 convexity and we prove that it is W[1]-hard (parameterized by the size of the solution).
Characterising Clique Convergence for Locally Cyclic Graphs of Minimum Degree $δ\ge 6$
Published
• View Publication
• BIB
The clique graph $kG$ of a graph $G$ has as its vertices the cliques (maximal complete subgraphs) of $G$, two of which are adjacent in $kG$ if they have non-empty intersection in $G$. We say that $G$ is clique convergent if $k^nG\cong k^m G$ for some $n\not= m$, and that $G$ is clique divergent otherwise. We completely characterise the clique convergent graphs in the class of (not necessarily finite) locally cyclic graphs of minimum degree $δ\ge 6$, showing that for such graphs clique divergence is a global phenomenon, dependent on the existence of large substructures. More precisely, we establish that such a graph is clique divergent if and only if its universal triangular cover contains arbitrarily large members from the family of so-called "triangular-shaped graphs".
Planar graphs as distinguished graph of Morse flows on the 2-disk
To investigate the topological structure of Morse flows on the 2-disk we use the planar graphs as destinguished graph of the flow. We assume, that the flow is transversal to the boundary of the 2-disk. We give a list of all planar graph with at least 3 edges and describe all planar graphs with 4 edges. We use a list of spherical graph with at least 4 edges.
Even pairs in Berge graphs with no balanced skew-partitions
Published
• View Publication
• BIB
Let $G$ be a Berge graph that has no odd prism and no antihole of length at least six as an induced subgraph. We show that every such graph $G$ with no balanced skew-partition is either complete or has an even pair.
The resolvent kernel on the discrete circle and twisted cosecant sums
Published
• View Publication
• BIB
Let $X_m$ denote the discrete circle with $m$ vertices. For $x,y\in X_{m}$ and complex $s$, let $G_{X_m,χ_β}(x,y;s)$ be the resolvent kernel associated to the combinatorial Laplacian which acts on the space of functions on $X_{m}$ that are twisted by a character $χ_β$. We will compute $G_{X_m,χ_β}(x,y;s)$ in two different ways. First, using the spectral expansion of the Laplacian, we show that $G_{X_m,χ_β}(x,y;s)$ is a generating function for certain trigonometric sums involving powers of the cosecant function; by choosing $β$ or $s$ appropriately, the sums in question involve powers of the secant function. Second, by viewing $X_{m}$ as a quotient space of $\mathbb{Z}$, we prove that $G_{X_m,χ_β}(x,y;s)$ is a rational function which is given in terms of Chebyshev polynomials. From the existence and uniqueness of $G_{X_m,χ_β}(x,y;s)$, these two evaluations are equal. From the resulting identity, we obtain a means by which one can obtain explicit evaluations of cosecant and secant sums. The identities we prove depend on a number of parameters, and when we specialize the values of these parameters we obtain several previously known formulas. Going further, we derive a recursion formula for special values of the $L$-functions associated to the cycle graph $X_{m}$, thus answering a question from arXiv:2212.13687v1.
Weakly distance-regular digraphs whose underlying graphs are distance-regular, I
Published
• View Publication
• BIB
Weakly distance-regular digraphs are a natural directed version of distance-regular graphs. In [8], the third author and Suzuki proposed a question when an orientation of a distance-regular graph defines a weakly distance-regular digraph. In this paper, we initiate this project, and classify all commutative weakly distance-regular digraphs whose underlying graphs are Hamming graphs, folded n-cubes and Doob graphs, respectively.
Integral Cayley graphs of symmetric groups on transpositions
Published
• View Publication
• BIB
We study subsets $T$ consisting of some transpositions $(i,j)$ of the symmetric group $S_n$ on $\{1,\dots,n\}$ such that the Cayley graph $Γ_T:=Cay(S_n,T)$ is an integral graph, i.e., all eigenvalues of an adjacency matrix of $Γ_T$ are integers. Graph properties of $Γ_T$ are determined in terms of ones of the graph $G_T$ whose vertex set is $\{1,\dots,n\}$ and $\{i,j\}$ is an edge if and only if $(i,j)\in T$. Here we prove that if $G_T$ is a tree then $Γ_T$ is integral if and only if $T$ is isomorphic to the star graph $K_{1,n-1}$, answering Problem 5 of [Electron. J. Comnin., 29(2) (2022) \# P2.9]. Problem 6 of the latter article asks to find necessary and sufficient conditions on $T$ for integralness of $Cay(S_n,T)$ without any further assumption on $T$. We show that if $G_T$ is a graph which we call it a ``generalized complete multipartite graph" then $Cay(S_n,T)$ is integral. We conjecture that $Cay(S_n,T)$ is integral only if $G_T$ is a generalized complete multipartitie graph. To support the latter conjecture we show its validity whenever $G_T$ is some classes of graphs including cycles and cubic graphs.
Optimal graphons in the edge-2star model
Published
• View Publication
• BIB
In the edge-2star model with hard constraints we prove the existence of an open set of constraint parameters, bisected by a line segment on which there are nonunique entropy-optimal graphons related by a symmetry. At each point in the open set but off the line segment there is a unique entropy-optimizer, bipodal and varying analytically with the constraints. We also show that throughout another open set, containing a different portion of the same line of symmetry, there is instead a unique optimal graphon, varying analytically with the parameters. We explore the extent of these open sets, determining the point at which a symmetric graphon ceases to be a local maximizer of the entropy. Finally, we prove some foundational theorems in a general setting, relating optimal graphons to the Boltzmann entropy and the generic structure of large constrained random graphs.