English
Related papers

Related papers: Subgraphs Satisfying MSO Properties on z-Topologic…

200 papers

We consider the max-cut and max-$k$-cut problems under graph-based constraints. Our approach can handle any constraint specified using monadic second-order (MSO) logic on graphs of constant treewidth. We give a $\frac{1}{2}$-approximation…

Computational Complexity · Computer Science 2018-10-19 Martin Koutecký , Jon Lee , Viswanath Nagarajan , Xiangkun Shen

Many real world networks are considered temporal networks, in which the chronological ordering of the edges has importance to the meaning of the data. Performing temporal subgraph matching on such graphs requires the edges in the subgraphs…

Data Structures and Algorithms · Computer Science 2018-01-25 Patrick Mackey , Katherine Porterfield , Erin Fitzhenry , Sutanay Choudhury , George Chin

The complexity of graph homomorphism problems has been the subject of intense study. It is a long standing open problem to give a (decidable) complexity dichotomy theorem for the partition function of directed graph homomorphisms. In this…

Computational Complexity · Computer Science 2010-08-06 Jin-Yi Cai , Xi Chen

\noindent The most natural group topology on $\Z$ is the discrete one. There are other well-known group topologies on $\Z$, like the $p$-adic, defined for any prime number $p$. It is also an important group topology the weak topology with…

General Topology · Mathematics 2013-05-22 Daniel de la Barrera

It is known that any planar graph with diameter D has treewidth O(D), and this fact has been used as the basis for several planar graph algorithms. We investigate the extent to which similar relations hold in other graph families. We show…

Combinatorics · Mathematics 2010-01-21 David Eppstein

Boolean-width is a recently introduced graph parameter. Many problems are fixed parameter tractable when parametrized by boolean-width, for instance "Minimum Weighted Dominating Set" (MWDS) problem can be solved in $O^*(2^{3k})$ time given…

Discrete Mathematics · Computer Science 2011-07-11 Rémy Belmonte , Martin Vatshelle

We call a finite undirected graph minimally k-matchable if it has at least k distinct perfect matchings but deleting any edge results in a graph which has not. An odd subdivision of some graph G is any graph obtained by replacing every edge…

Combinatorics · Mathematics 2016-08-05 Gasper Fijavz , Matthias Kriesell

We show that the model-checking problem for successor-invariant first-order logic is fixed-parameter tractable on graphs with excluded topological subgraphs when parameterised by both the size of the input formula and the size of the…

Logic in Computer Science · Computer Science 2016-05-05 Kord Eickmeyer , Ken-ichi Kawarabayashi

Lettericity is a graph parameter responsible for many attractive structural properties. In particular, graphs of bounded lettericity have bounded linear clique-width and they are well-quasi-ordered by induced subgraphs. The latter property…

Combinatorics · Mathematics 2024-02-21 Bogdan Alecu , Mamadou Moustapha Kanté , Vadim Lozin , Viktor Zamaraev

The three subgraphs of a connected graph induced by the center, annulus and periphery are called its metric subgraphs. The main results are as follows. (1) There exists a graph of order $n$ whose metric subgraphs are all paths if and only…

Combinatorics · Mathematics 2021-12-21 Yanan Hu , Xingzhi Zhan

Let $G$ be a group. The directed endomorphism graph, $\dend(G)$ of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex $a$ to the vertex $b$ if $a \neq b$ and there exists an endomorphism on $G$ mapping…

Group Theory · Mathematics 2025-11-20 Midhuna V Ajith , Peter J Cameron , Mainak Ghosh , Aparna Lakshmanan S

Graph product structure theory expresses certain graphs as subgraphs of the strong product of much simpler graphs. In particular, an elegant formulation for the corresponding structural theorems involves the strong product of a path and of…

Data Structures and Algorithms · Computer Science 2022-04-26 Michael A. Bekos , Giordano Da Lozzo , Petr Hliněný , Michael Kaufmann

We develop a structural approach to simultaneous embeddability in temporal sequences of graphs, inspired by graph minor theory. Our main result is a classification theorem for 2-connected temporal sequences: we identify five obstruction…

Combinatorics · Mathematics 2025-04-02 Johannes Carmesin , Will J. Turner

In some applications of matching, the structural or hierarchical properties of the two graphs being aligned must be maintained. The hierarchical properties are induced by the direction of the edges in the two directed graphs. These…

Data Structures and Algorithms · Computer Science 2009-09-29 Sean M. Falconer , Dmitri Maslov

We explore pseudometrics for directed graphs in order to better understand their topological properties. The directed flag complex associated to a directed graph provides a useful bridge between network science and topology. Indeed, it has…

Algebraic Topology · Mathematics 2021-07-26 Ana Lucia Garcia-Pulido , Kathryn Hess , Jane Tan , Katharine Turner , Bei Wang , Naya Yerolemou

In this paper, various kinds of invariants of directed graphs are summarized. In the first topic, the invariant w(G) for a directed graph G is introduced, which is primarily defined by S. Chen and X.M. Chen to solve a problem of weak…

Combinatorics · Mathematics 2015-01-16 Sheng Chen , Yilong Zhang

An orientation $D$ of a graph $G=(V,E)$ is a digraph obtained from $G$ by replacing each edge by exactly one of the two possible arcs with the same end vertices. For each $v \in V(G)$, the indegree of $v$ in $D$, denoted by $d^-_D(v)$, is…

Computational Complexity · Computer Science 2020-12-01 Julio Araujo , Alexandre Cezar , Carlos V. G. C. Lima , Vinicius F. dos Santos , Ana Silva

In this work we consider two two-criteria optimization problems: given an input graph, the goal is to find its interval (or chordal) supergraph that minimizes the number of edges and its clique number simultaneously. For the interval…

Discrete Mathematics · Computer Science 2021-01-19 Dariusz Dereniowski , Adam Stański

While structural width parameters (of the input) belong to the standard toolbox of graph algorithms, it is not the usual case in computational geometry. As a case study we propose a natural extension of the structural graph parameter of…

Logic in Computer Science · Computer Science 2020-04-07 Onur Çağırıcı , Petr Hliněný , Filip Pokrývka , Abhisekh Sankaran

This paper develops a structural theory of unique shortest paths in real-weighted graphs. Our main goal is to characterize exactly which sets of node sequences, which we call path systems, can be realized as unique shortest paths in a graph…

Data Structures and Algorithms · Computer Science 2018-10-18 Greg Bodwin