35 research outputs found
Separation dimension of bounded degree graphs
The 'separation dimension' of a graph is the smallest natural number
for which the vertices of can be embedded in such that any
pair of disjoint edges in can be separated by a hyperplane normal to one of
the axes. Equivalently, it is the smallest possible cardinality of a family
of total orders of the vertices of such that for any two
disjoint edges of , there exists at least one total order in
in which all the vertices in one edge precede those in the other. In general,
the maximum separation dimension of a graph on vertices is . In this article, we focus on bounded degree graphs and show that the
separation dimension of a graph with maximum degree is at most
. We also demonstrate that the above bound is nearly
tight by showing that, for every , almost all -regular graphs have
separation dimension at least .Comment: One result proved in this paper is also present in arXiv:1212.675
Feedback vertex set on chordal bipartite graphs
Let G=(A,B,E) be a bipartite graph with color classes A and B. The graph G is
chordal bipartite if G has no induced cycle of length more than four. Let
G=(V,E) be a graph. A feedback vertex set F is a set of vertices F subset V
such that G-F is a forest. The feedback vertex set problem asks for a feedback
vertex set of minimal cardinality. We show that the feedback vertex set problem
can be solved in polynomial time on chordal bipartite graphs
-sails and sparse hereditary classes of unbounded tree-width
It has long been known that the following basic objects are obstructions to
bounded tree-width: for arbitrarily large , the complete graph ,
the complete bipartite graph , a subdivision of the -wall and the line graph of a subdivision of the -wall. We now add a further \emph{boundary object} to this list, a
subdivision of a \emph{-sail}.
These results have been obtained by studying sparse hereditary
\emph{path-star} graph classes, each of which consists of the finite induced
subgraphs of a single infinite graph whose edges can be decomposed into a path
(or forest of paths) with a forest of stars, characterised by an infinite word
over a possibly infinite alphabet. We show that a path-star class whose
infinite graph has an unbounded number of stars, each of which connects an
unbounded number of times to the path, has unbounded tree-width. In addition,
we show that such a class is not a subclass of circle graphs, a hereditary
class whose unavoidable induced subgraphs with large treewidth were identified
by Hickingbotham, Illingworth, Mohar and Wood
\cite{hickingbotham:treewidth_circlegraphs:}.
We identify a collection of \emph{nested} words with a recursive structure
that exhibit interesting characteristics when used to define a path-star graph
class. These graph classes do not contain any of the four basic obstructions
but instead contain graphs that have large tree-width if and only if they
contain arbitrarily large subdivisions of a -sail. Furthermore, like classes
of bounded degree or classes excluding a fixed minor, these sparse graph
classes do not contain a minimal class of unbounded tree-width
Finding Independent Transversals Efficiently
Let G be a graph and (V_1,...,V_m) be a vertex partition of G. An independent transversal (IT) of G with respect to (V_1,...,V_m) is an independent set {v_1,...,v_m} in G such that v_i is in V_i for each i in {1,...,m}.
There exist various theorems that give sufficient conditions for the existence of ITs. These theorems have been used to solve problems in graph theory (e.g. list colouring, strong colouring, delay edge colouring, circular colouring, various graph partitioning and special independent set problems), hypergraphs (e.g. hypergraph matching), group theory (e.g. generators in linear groups), and theoretical computer science (e.g. job scheduling and other resource allocation problems). However, the proofs of the existence theorems that give the best possible bounds do not provide efficient algorithms for finding an IT. In this
thesis, we give poly-time algorithms for finding an IT under certain conditions and some applications, while weakening the original theorems only slightly. We also give e fficient poly-time algorithms for finding partial ITs and ITs of large weight in vertex-weighted graphs, as well as an application of these weighted results
On Generalizations of Supereulerian Graphs
A graph is supereulerian if it has a spanning closed trail. Pulleyblank in 1979 showed that determining whether a graph is supereulerian, even when restricted to planar graphs, is NP-complete. Let and be the edge-connectivity and the minimum degree of a graph , respectively. For integers and , a graph is -supereulerian if for any disjoint edge sets with and , has a spanning closed trail that contains and avoids . This dissertation is devoted to providing some results on -supereulerian graphs and supereulerian hypergraphs.
In Chapter 2, we determine the value of the smallest integer such that every -edge-connected graph is -supereulerian as follows:
j(s,t) = \left\{ \begin{array}{ll} \max\{4, t + 2\} & \mbox{ if $0 \le s \le 1$, or $(s,t) \in \{(2,0), (2,1), (3,0),(4,0)\}$,} \\ 5 & \mbox{ if $(s,t) \in \{(2,2), (3,1)\}$,} \\ s + t + \frac{1 - (-1)^s}{2} & \mbox{ if $s \ge 2$ and $s+t \ge 5$. } \end{array} \right.
As applications, we characterize -supereulerian graphs when in terms of edge-connectivities, and show that when , -supereulerianicity is polynomially determinable.
In Chapter 3, for a subset with , a necessary and sufficient condition for to be a contractible configuration for supereulerianicity is obtained. We also characterize the -supereulerianicity of when . These results are applied to show that if is -supereulerian with , then for any permutation on the vertex set , the permutation graph is -supereulerian if and only if .
For a non-negative integer , a graph is -Hamiltonian if the removal of any vertices results in a Hamiltonian graph. Let and denote the smallest integer such that the iterated line graph is -supereulerian and -Hamiltonian, respectively. In Chapter 4, for a simple graph , we establish upper bounds for and . Specifically, the upper bound for the -Hamiltonian index sharpens the result obtained by Zhang et al. in [Discrete Math., 308 (2008) 4779-4785].
Harary and Nash-Williams in 1968 proved that the line graph of a graph is Hamiltonian if and only if has a dominating closed trail, Jaeger in 1979 showed that every 4-edge-connected graph is supereulerian, and Catlin in 1988 proved that every graph with two edge-disjoint spanning trees is a contractible configuration for supereulerianicity. In Chapter 5, utilizing the notion of partition-connectedness of hypergraphs introduced by Frank, Kir\\u27aly and Kriesell in 2003, we generalize the above-mentioned results of Harary and Nash-Williams, of Jaeger and of Catlin to hypergraphs by characterizing hypergraphs whose line graphs are Hamiltonian, and showing that every 2-partition-connected hypergraph is a contractible configuration for supereulerianicity.
Applying the adjacency matrix of a hypergraph defined by Rodr\\u27iguez in 2002, let be the second largest adjacency eigenvalue of . In Chapter 6, we prove that for an integer and a -uniform hypergraph of order with even, the minimum degree and , if , then is -edge-connected. %.
Some discussions are displayed in the last chapter. We extend the well-known Thomassen Conjecture that every 4-connected line graph is Hamiltonian to hypergraphs. The -supereulerianicity of hypergraphs is another interesting topic to be investigated in the future
Dist2Cycle: A Simplicial Neural Network for Homology Localization
Simplicial complexes can be viewed as high dimensional generalizations of
graphs that explicitly encode multi-way ordered relations between vertices at
different resolutions, all at once. This concept is central towards detection
of higher dimensional topological features of data, features to which graphs,
encoding only pairwise relationships, remain oblivious. While attempts have
been made to extend Graph Neural Networks (GNNs) to a simplicial complex
setting, the methods do not inherently exploit, or reason about, the underlying
topological structure of the network. We propose a graph convolutional model
for learning functions parametrized by the -homological features of
simplicial complexes. By spectrally manipulating their combinatorial
-dimensional Hodge Laplacians, the proposed model enables learning
topological features of the underlying simplicial complexes, specifically, the
distance of each -simplex from the nearest "optimal" -th homology
generator, effectively providing an alternative to homology localization.Comment: 9 pages, 5 figure