English
Related papers

Related papers: 2-uniform words: cycle graphs, and an algorithm to…

200 papers

A seminal result by Whitney describes when two graphs have the same cycles. We consider the analogous problem for even cycle matroids. A representation of an even cycle matroid is a pair formed by a graph together with a special set of…

Combinatorics · Mathematics 2011-09-15 Bertrand Guenin , Irene Pivotto , Paul Wollan

A 2-matching of a graph $G$ is a spanning subgraph with maximum degree two. The size of a 2-matching $U$ is the number of edges in $U$ and this is at least $n-\k(U)$ where $n$ is the number of vertices of $G$ and $\k$ denotes the number of…

Combinatorics · Mathematics 2012-10-01 Deepak Bal , Patrick Bennett , Tom Bohman , Alan Frieze

A double occurrence word (DOW) is a word in which every symbol appears exactly twice; two DOWs are equivalent if one is a symbol-to-symbol image of the other. We consider the so called repeat pattern ($\alpha\alpha$) and the return pattern…

Combinatorics · Mathematics 2019-09-27 Daniel A. Cruz , Margherita Maria Ferrari , Natasa Jonoska , Lukas Nabergall , Masahico Saito

It is confirmed in this work that the graph isomorphism can be tested in polynomial time, which resolves a longstanding problem in the theory of computation. The contributions are in three phases as follows. 1. A description graph…

Computational Complexity · Computer Science 2023-01-25 Rui Xue

For any undirected and simple graph G = (V;E), where V denotes the vertex set and E the edge set of G. G is called hamiltonian if it contains a cycle that visits each vertex of G exactly once. Ore (1960) proved that G is hamiltonian if…

Combinatorics · Mathematics 2018-05-15 Hsiu-Chunj Pan , Hsun Su , Shin-Shin Kao

We claimed that there is a polynomial algorithm to test if two graphs are isomorphic. But the algorithm is wrong. It only tests if the adjacency matrices of two graphs have the same eigenvalues. There is a counterexample of two…

Computational Complexity · Computer Science 2022-10-18 Reiner Czerwinski

We introduce and study the problem \mpd, which asks for two planar graphs $G_1$ and $G_2$ whether $G_1$ can be embedded such that its dual is isomorphic to $G_2$. Our algorithmic main result is an NP-completeness proof for the general case…

Data Structures and Algorithms · Computer Science 2013-03-08 Patrizio Angelini , Thomas Bläsius , Ignaz Rutter

In the $2$-reachability problem we are given a directed graph $G$ and we wish to determine if there are two (edge or vertex) disjoint paths from $u$ to $v$, for a given pair of vertices $u$ and $v$. In this paper, we present an algorithm…

Data Structures and Algorithms · Computer Science 2017-07-27 Loukas Georgiadis , Daniel Graf , Giuseppe F. Italiano , Nikos Parotsidis , Przemysław Uznański

For any fixed surface Sigma of genus g, we give an algorithm to decide whether a graph G of girth at least five embedded in Sigma is colorable from an assignment of lists of size three in time O(|V(G)|). Furthermore, we can allow a subgraph…

Data Structures and Algorithms · Computer Science 2012-10-30 Zdenek Dvorak , Ken-ichi Kawarabayashi

The \emph{Antimagic Graph Conjecture} asserts that every connected graph $G = (V, E)$ except $K_2$ admits an edge labeling such that each label $1, 2, ..., |E|$ is used exactly once and the sums of the labels on all edges incident with a…

Combinatorics · Mathematics 2013-10-07 Matthias Beck , Michael Jackanich

Motivated by the problem in [6], which studies the relative efficiency of propositional proof systems, 2-edge colorings of complete bipartite graphs are investigated. It is shown that if the edges of $G=K_{n,n}$ are colored with black and…

Discrete Mathematics · Computer Science 2012-01-13 Maria Axenovich , Marcus Krug , Georg Osang , Ignaz Rutter

We prove that deciding whether a given input word contains as subsequence every possible permutation of integers $\{1,2,\ldots,n\}$ is coNP-complete. The coNP-completeness holds even when given the guarantee that the input word contains as…

Computational Complexity · Computer Science 2015-07-10 Przemysław Uznański

Motivated by dynamic graph visualization, we study the problem of representing a graph $G$ in the form of a \emph{storyplan}, that is, a sequence of frames with the following properties. Each frame is a planar drawing of the subgraph of $G$…

In this paper, we study the (weighted) bichromatic two-center problem on graphs. The input consists of a graph $G$ of $n$ (weighted) vertices and $m$ edges, and a set $\mathcal{P}$ of pairs of distinct vertices, where no vertex appears in…

Data Structures and Algorithms · Computer Science 2025-12-10 Qi Sun , Jingru Zhang

Let $G$ be a graph and $I=I(G)$ be its edge ideal. When $G$ is the clique sum of two different length odd cycles joined at single vertex then we give an explicit description of the symbolic powers of $I$ and compute the Waldschmidt…

Commutative Algebra · Mathematics 2019-08-27 Bidwan Chakraborty , Mousumi Mandal

As it follows from G\"odel's incompleteness theorems, any consistent formal system of axioms and rules of inference should imply a true unprovable statement. Actually, this fundamental principle can be efficiently applicable in…

Data Structures and Algorithms · Computer Science 2020-11-25 Roman Galay , Daniil Kalistratov

In a confluence of combinatorics and geometry, simultaneous representations provide a way to realize combinatorial objects that share common structure. A standard case in the study of simultaneous representations is the sunflower case where…

Data Structures and Algorithms · Computer Science 2019-08-26 Ignaz Rutter , Darren Strash , Peter Stumpf , Michael Vollmer

A generalized word in two letters $A$ and $B$ is an expression of the form $W=A^{\alpha_1}B^{\beta_1}A^{\alpha_2}B^{\beta_2}... A^{\alpha_N}B^{\beta_N}$ in which the exponents $\alpha_i$, $\beta_i$ are nonzero real numbers. When independent…

Operator Algebras · Mathematics 2007-05-23 Christopher Hillar , Charles R. Johnson , Ilya M. Spitkovsky

Given an $n$-vertex pseudorandom graph $G$ and an $n$-vertex graph $H$ with maximum degree at most two, we wish to find a copy of $H$ in $G$, i.e.\ an embedding $\varphi\colon V(H)\to V(G)$ so that $\varphi(u)\varphi(v)\in E(G)$ for all…

Combinatorics · Mathematics 2023-04-06 Jie Han , Yoshiharu Kohayakawa , Patrick Morris , Yury Person

We say that a vertex $v$ in a connected graph $G$ is decisive if the numbers of walks from $v$ of each length determine the graph $G$ rooted at $v$ up to isomorphism among all connected rooted graphs with the same number of vertices. On the…

Discrete Mathematics · Computer Science 2024-10-24 Frank Fuhlbrück , Johannes Köbler , Oleg Verbitsky , Maksim Zhukovskii