English
Related papers

Related papers: Oriented expressions of graph properties

200 papers

Let $v(F)$ denote the number of vertices in a fixed connected pattern graph $F$. We show an infinite family of patterns $F$ such that the existence of a subgraph isomorphic to $F$ is expressible by a first-order sentence of quantifier depth…

Computational Complexity · Computer Science 2018-02-08 Oleg Verbitsky , Maksim Zhukovskii

An orientation of a graph is semi-transitive if it contains no directed cycles and has no shortcuts. An undirected graph is semi-transitive if it can be oriented in a semi-transitive manner. The class of semi-transitive graphs includes…

Combinatorics · Mathematics 2024-08-12 Sergey Kitaev , Artem Pyatkin

An ordering of the vertices of a graph is \emph{connected} if every vertex (but the first) has a neighbor among its predecessors. The greedy colouring algorithm of a graph with a connected order consists in taking the vertices in order, and…

Discrete Mathematics · Computer Science 2018-06-08 Ngoc Khang Le , Nicolas Trotignon

We consider the problems of deciding whether an input graph can be modified by removing/adding at most k vertices/edges such that the result of the modification satisfies some property definable in first-order logic. We establish a number…

Data Structures and Algorithms · Computer Science 2019-02-27 Fedor V. Fomin , Petr A. Golovach , Dimitrios M. Thilikos

Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical properties of transition systems. We are interested in the…

Logic in Computer Science · Computer Science 2009-04-09 Walid Belkhir , Luigi Santocanale

A hypergraph is a $T_0$-hypergraph if for every two different vertices of the hypergraph there exists an edge containing one of the vertices and not containing the other. A general method for the enumeration of certain classes of…

Combinatorics · Mathematics 2014-11-18 Goran Kilibarda , Vladeta Jovović

We define a perfect coloring of a graph $G$ as a proper coloring of $G$ such that every connected induced subgraph $H$ of $G$ uses exactly $\omega(H)$ many colors where $\omega(H)$ is the clique number of $H$. A graph is perfectly colorable…

Combinatorics · Mathematics 2011-08-15 R B Sandeep

The $k$-Colouring problem is to decide if the vertices of a graph can be coloured with at most $k$ colours for a fixed integer $k$ such that no two adjacent vertices are coloured alike. If each vertex u must be assigned a colour from a…

Data Structures and Algorithms · Computer Science 2026-02-19 Tereza Klimošová , Josef Malík , Tomáš Masařík , Jana Novotná , Daniël Paulusma , Veronika Slívová

A proper vertex colouring of a graph is \emph{nested} if the vertices of each of its colour classes can be ordered by inclusion of their open neighbourhoods. Through a relation to partially ordered sets, we show that the nested chromatic…

Combinatorics · Mathematics 2013-06-04 David Cook

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

A $k$-coloring of a graph is an assignment of integers between $1$ and $k$ to vertices in the graph such that the endpoints of each edge receive different numbers. We study a local variation of the coloring problem, which imposes further…

Combinatorics · Mathematics 2018-09-24 Jie You , Yixin Cao , Jianxin Wang

An edge-coloring of a graph is called asymmetric if the only automorphism which preserves it is the identity. Lehner, Pil\'{s}niak, and Stawiski proved that all connected regular graphs except $K_2$ admit an asymmetric edge-coloring with…

Combinatorics · Mathematics 2021-07-21 Mariusz Grech , Andrzej Kisielewicz

A \emph{geometric graph} is a graph whose vertex set is a set of points in general position in the plane, and its edges are straight line segments joining these points. We show that for every integer $k \ge 2$, there exists a constat $c>0$…

Computational Geometry · Computer Science 2023-11-01 Ruy Fabila-Monroy

We initiate the study of a new parameterization of graph problems. In a multiple interval representation of a graph, each vertex is associated to at least one interval of the real line, with an edge between two vertices if and only if an…

Data Structures and Algorithms · Computer Science 2011-12-19 Fedor V. Fomin , Serge Gaspers , Petr Golovach , Karol Suchan , Stefan Szeider , Erik Jan van Leeuwen , Martin Vatshelle , Yngve Villanger

A graph $\Gamma$ is $k$-connected-homogeneous ($k$-CH) if $k$ is a positive integer and any isomorphism between connected induced subgraphs of order at most $k$ extends to an automorphism of $\Gamma$, and connected-homogeneous (CH) if this…

Group Theory · Mathematics 2020-03-10 Alice Devillers , Joanna B. Fawcett , Cheryl E. Praeger , Jin-Xin Zhou

A homogeneous set of an $n$-vertex graph is a set $X$ of vertices ($2\le |X|\le n-1$) such that every vertex not in $X$ is either complete or anticomplete to $X$. A graph is called prime if it has no homogeneous set. A chain of length $t$…

Combinatorics · Mathematics 2016-07-26 Maria Chudnovsky , Ringi Kim , Sang-il Oum , Paul Seymour

The GG-width of a class of graphs GG is defined as follows. A graph G has GG-width k if there are k independent sets N1,...,Nk in G such that G can be embedded into a graph H in GG such that for every edge e in H which is not an edge in G,…

Combinatorics · Mathematics 2012-11-01 M. Chang , L. Hung , T. Kloks , S. Peng

We consider the $\#\mathsf{W}[1]$-hard problem of counting all matchings with exactly $k$ edges in a given input graph $G$; we prove that it remains $\#\mathsf{W}[1]$-hard on graphs $G$ that are line graphs or bipartite graphs with degree…

Computational Complexity · Computer Science 2018-01-22 Radu Curticapean , Holger Dell , Marc Roth

It is an intriguing question to see what kind of information on the structure of an oriented graph $D$ one can obtain if $D$ does not contain a fixed oriented graph $H$ as a subgraph. The related question in the unoriented case has been an…

Combinatorics · Mathematics 2010-11-22 Omid Amini , Simon Griffiths , Florian Huc

In an unfriendly coloring of a graph the color of every node mismatches that of the majority of its neighbors. We show that every probability measure preserving Borel graph with finite average degree admits a Borel unfriendly coloring…

Probability · Mathematics 2020-05-14 Clinton T. Conley , Omer Tamuz