contain ↗ reference
7689 papers tagged with this keyword
On Generating Binary Words Palindromically
Published
• View Publication
• BIB
We regard a finite word $u=u_1u_2\cdots u_n$ up to word isomorphism as an equivalence relation on $\{1,2,\ldots, n\}$ where $i$ is equivalent to $j$ if and only if $x_i=x_j.$ Some finite words (in particular all binary words) are generated by "{\it palindromic}" relations of the form $k\sim j+i-k$ for some choice of $1\leq i\leq j\leq n$ and $k\in \{i,i+1,\ldots,j\}.$ That is to say, some finite words $u$ are uniquely determined up to word isomorphism by the position and length of some of its palindromic factors. In this paper we study the function $μ(u)$ defined as the least number of palindromic relations required to generate $u.$ We show that every aperiodic infinite word must contain a factor $u$ with $μ(u)\geq 3,$ and that some infinite words $x$ have the property that $μ(u)\leq 3$ for each factor $u$ of $x.$ We obtain a complete classification of such words on a binary alphabet (which includes the well known class of Sturmian words). In contrast for the Thue-Morse word, we show that the function $μ$ is unbounded.
Finding an induced subdivision of a digraph
Published in J. Bang-Jensen, F. Havet and N. Trotignon. Finding an induced subdivision of a digraph. Theoretical Computer Science, 443:10-24, 2012
• View Publication
• BIB
We consider the following problem for oriented graphs and digraphs: Given an oriented graph (digraph) $G$, does it contain an induced subdivision of a prescribed digraph $D$? The complexity of this problem depends on $D$ and on whether $G$ must be an oriented graph or is allowed to contain 2-cycles. We give a number of examples of polynomial instances as well as several NP-completeness proofs.
Partizan Kayles and Misere Invertibility
The impartial combinatorial game Kayles is played on a row of pins, with players taking turns removing either a single pin or two adjacent pins. A natural partizan variation is to allow one player to remove only a single pin and the other only a pair of pins. This paper develops a complete solution for "Partizan Kayles" under misere play, including the misere monoid all possible sums of positions, and discusses its significance in the context of misere invertibility: the universe of Partizan Kayles contains a position whose additive inverse is not its negative, and, moreover, this position is an example of a right-win game whose inverse is previous-win.
The $k$-in-a-tree problem for graphs of girth at least~$k$
Published in Discrete Applied Mathematics, 158:1644-1649, 2010
• View Publication
• BIB
For all integers $k\geq 3$, we give an $O(n^4)$ time algorithm for the problem whose instance is a graph $G$ of girth at least $k$ together with $k$ vertices and whose question is "Does $G$ contains an induced subgraph containing the $k$ vertices and isomorphic to a tree?". This directly follows for $k=3$ from the three-in-a-tree algorithm of Chudnovsky and Seymour and for $k=4$ from a result of Derhy, Picouleau and Trotignon. Here we solve the problem for $k\geq 5$. Our algorithm relies on a structural description of graphs of girth at least $k$ that do not contain an induced tree covering $k$ given vertices ($k\geq 5$).
Results on the Erd\H os-Falconer distance problem in $\mathbb{Z}_q^d$ for odd $q$
The Erd\H os-Falconer distance problem in $\mathbb{Z}_q^d$ asks one to show that if $E \subset \mathbb{Z}_q^d$ is of sufficiently large cardinality, then $Δ(E) := \{(x_1 - y_1)^2 + \dots + (x_d - y_d)^2 : x, y \in E\}$ satisfies $Δ(E) = \mathbb{Z}_q$. Here, $\mathbb{Z}_q$ is the set of integers modulo $q$, and $\mathbb{Z}_q^d$ is the free module of rank $d$ over $\mathbb{Z}_q$. We extend known results in two directions. Previous results were known only in the setting $q = p^{\ell}$, where $p$ is an odd prime, and as such only showed that all units were obtained in the distance set. We remove the constriction that $q$ is a power of a prime, and despite this, shows that the distance set of $E$ contains \emph{all} of $\mathbb{Z}_q$ whenever $E$ is sufficiently large.
Detecting induced subgraphs
Published in B. Lévêque, D. Lin, F. Maffray, and N. Trotignon. Detecting induced subgraphs. Discrete Applied Mathematics, 157:3540-3551, 2009
• View Publication
• BIB
An \emph{s-graph} is a graph with two kinds of edges: \emph{subdivisible} edges and \emph{real} edges. A \emph{realisation} of an s-graph $B$ is any graph obtained by subdividing subdivisible edges of $B$ into paths of arbitrary length (at least one). Given an s-graph $B$, we study the decision problem $Π_B$ whose instance is a graph $G$ and question is "Does $G$ contain a realisation of $B$ as an induced subgraph?". For several $B$'s, the complexity of $Π_B$ is known and here we give the complexity for several more. Our NP-completeness proofs for $Π_B$'s rely on the NP-completeness proof of the following problem. Let $\cal S$ be a set of graphs and $d$ be an integer. Let $Γ_{\cal S}^d$ be the problem whose instance is $(G, x, y)$ where $G$ is a graph whose maximum degree is at most d, with no induced subgraph in $\cal S$ and $x, y \in V(G)$ are two non-adjacent vertices of degree 2. The question is "Does $G$ contain an induced cycle passing through $x, y$?". Among several results, we prove that $Γ^3_{\emptyset}$ is NP-complete. We give a simple criterion on a connected graph $H$ to decide whether $Γ^{+\infty}_{\{H\}}$ is polynomial or NP-complete. The polynomial cases rely on the algorithm three-in-a-tree, due to Chudnovsky and Seymour.
The four-in-a-tree problem in triangle-free graphs
Published in N. Derhy, C. Picouleau and N. Trotignon. The four-in-a-tree problem for triangle-free graphs. Graphs and Combinatorics, 25:489-502, 2009
• View Publication
• BIB
The three-in-a-tree algorithm of Chudnovsky and Seymour decides in time $O(n^4)$ whether three given vertices of a graph belong to an induced tree. Here, we study four-in-a-tree for triangle-free graphs. We give a structural answer to the following question: what does a triangle-free graph look like if no induced tree covers four given vertices? Our main result says that any such graph must have the "same structure", in a sense to be defined precisely, as a square or a cube.
We provide an $O(nm)$-time algorithm that given a triangle-free graph $G$ together with four vertices outputs either an induced tree that contains them or a partition of $V(G)$ certifying that no such tree exists. We prove that the problem of deciding whether there exists a tree $T$ covering the four vertices such that at most one vertex of $T$ has degree at least 3 is NP-complete.
A structure theorem for graphs with no cycle with a unique chord and its consequences
Published in N. Trotignon and K. Vu\v skovi ć. A structure theorem for graphs with no cycle with a unique chord and its consequences. Journal of Graph Theory, 63(1):31-67, 2010
• View Publication
• BIB
We give a structural description of the class $\cal C$ of graphs that do not contain a cycle with a unique chord as an induced subgraph. Our main theorem states that any connected graph in $\cal C$ is either in some simple basic class or has a decomposition. Basic classes are chordless cycles, cliques, bipartite graphs with one side containing only nodes of degree two and induced subgraphs of the famous Heawood or Petersen graph. Decompositions are node cutsets consisting of one or two nodes and edge cutsets called 1-joins. Our decomposition theorem actually gives a complete structure theorem for ${\cal C}$, i.e. every graph in ${\cal C}$ can be built from basic graphs that can be explicitly constructed, and gluing them together by prescribed composition operations; and all graphs built this way are in ${\cal C}$.
This has several consequences: an ${\cal O}(nm)$-time algorithm to decide whether a graph is in $\cal C$, an ${\cal O}(n+m)$-time algorithm that finds a maximum clique of any graph in $\cal C$ and an ${\cal O}(nm)$-time coloring algorithm for graphs in $\cal C$. We prove that every graph in $\cal C$ is either 3-colorable or has a coloring with $ω$ colors where $ω$ is the size of a largest clique. The problem of finding a maximum stable set for a graph in $\cal C$ is known to be NP-hard.
On a class of squarefree monomial ideals of linear type
Published
• View Publication
• BIB
In a recent work, Fouli and Lin generalized a Villarreal's result and showed that if each connected components of the line graph of a squarefree monomial ideal contains at most a unique odd cycle, then this ideal is of linear type. In this short note, we reprove this result with Villarreal's original ideas together with a method of Conca and De Negri. We also propose a class of squarefree monomial ideals of linear type.
On schurity of finite abelian groups
Published in Communications Algebra, vol. 44, No.1 (2016), 101-117
• View Publication
• BIB
A finite group $G$ is called a Schur group, if any Schur ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. Recently, the authors have completely identified the cyclic Schur groups. In this paper it is shown that any abelian Schur group belongs to one of several explicitly given families only. In particular, any non-cyclic abelian Schur group of odd order is isomorphic to $Z_3\times Z_{3^k}$ or $Z_3\times Z_3\times Z_p$ where $k\ge 1$ and $p$ is a prime. In addition, we prove that $Z_2\times Z_2\times Z_p$ is a Schur group for every prime $p$.
Finding linear patterns of complexity one
Published
• View Publication
• BIB
We study the following generalization of Roth's theorem for 3-term arithmetic progressions. For s>1, define a nontrivial s-configuration to be a set of s(s+1)/2 integers consisting of s distinct integers x_1,...,x_s as well as all the averages (x_i+x_j)/2. Our main result states that if a set A contained in {1,2,...,N} has density at least (log N)^{-c(s)} for some positive constant c(s)>0 depending on s, then A contains a nontrivial s-configuration. We also deduce, as a corollary, an improvement of a problem involving sumfree subsets.
New bounds on the maximum number of edges in $k$-quasi-planar graphs
Published in Comput.Geom. 50 (2015) 24-33
• View Publication
• BIB
A topological graph is $k$-quasi-planar if it does not contain $k$ pairwise crossing edges. A 20-year-old conjecture asserts that for every fixed $k$, the maximum number of edges in a $k$-quasi-planar graph on $n$ vertices is $O(n)$. Fox and Pach showed that every $k$-quasi-planar graph with $n$ vertices has at most $n(\log n)^{O(\log k)}$ edges. We improve this upper bound to $2^{α(n)^c}n\log n$, where $α(n)$ denotes the inverse Ackermann function and $c$ depends only on $k$, for $k$-quasi-planar graphs in which any two edges intersect in a bounded number of points. We also show that every $k$-quasi-planar graph with $n$ vertices in which any two edges have at most one point in common has at most $O(n\log n)$ edges. This improves the previously known upper bound of $2^{α(n)^c}n\log n$ obtained by Fox, Pach, and Suk.
The complexity of Shortest Common Supersequence for inputs with no identical consecutive letters
The Shortest Common Supersequence problem (SCS for short) consists in finding a shortest common supersequence of a finite set of words on a fixed alphabet Sigma. It is well-known that its decision version denoted [SR8] in [Garey and Johnson] is NP-complete. Many variants have been studied in the literature. In this paper we settle the complexity of two such variants of SCS where inputs do not contain identical consecutive letters. We prove that those variants denoted \varphi SCS and MSCS both have a decision version which remains NP-complete when |Σ| is at least 3. Note that it was known for MSCS when |Σ| is at least 4 [Fleisher and Woeginger] and we discuss how [Darte] states a similar result for |Σ| at least 3.
Algorithms for perfectly contractile graphs
Published in SIAM Journal on Discrete Mathematics, 19(3):553-574, 2005
• View Publication
• BIB
We consider the class ${\cal A}$ of graphs that contain no odd hole, no antihole of length at least 5, and no "prism" (a graph consisting of two disjoint triangles with three disjoint paths between them) and the class ${\cal A}'$ of graphs that contain no odd hole, no antihole of length at least 5 and no odd prism (prism whose three paths are odd). These two classes were introduced by Everett and Reed and are relevant to the study of perfect graphs. We give polynomial-time recognition algorithms for these two classes. We proved previously that every graph $G\in{\cal A}$ is "perfectly contractile", as conjectured by Everett and Reed [see the chapter "Even pairs" in the book {\it Perfect Graphs}, J.L. Ramírez-Alfonsín and B.A. Reed, eds., Wiley Interscience, 2001]. The analogous conjecture concerning graphs in ${\cal A}'$ is still open.
A class of perfectly contractile graphs
Published in Journal of Combinatorial Theory, Series B, 96(1):1-19, 2006
• View Publication
• BIB
We consider the class ${\cal A}$ of graphs that contain no odd hole, no antihole, and no "prism" (a graph consisting of two disjoint triangles with three disjoint paths between them). We prove that every graph $G\in{\cal A}$ different from a clique has an "even pair" (two vertices that are not joined by a chordless path of odd length), as conjectured by Everett and Reed [see the chapter "Even pairs" in the book {\it Perfect Graphs}, J.L. Ramírez-Alfonsín and B.A. Reed, eds., Wiley Interscience, 2001]. Our proof is a polynomial-time algorithm that produces an even pair with the additional property that the contraction of this pair yields a graph in ${\cal A}$. This entails a polynomial-time algorithm, based on successively contracting even pairs, to color optimally every graph in ${\cal A}$. This generalizes several results concerning some classical families of perfect graphs.
Odd pairs of cliques
Published in In A. Bondy et al., eds, Graph Theory in Paris, Proceedings of a Conference in Memory of Claude Berge, pages 85-95. Birkhauser, 2007
• View Publication
• BIB
A graph is Berge if it has no induced odd cycle on at least 5 vertices and no complement of induced odd cycle on at least 5 vertices. A graph is perfect if the chromatic number equals the maximum clique number for every induced subgraph. Chudnovsky, Robertson, Seymour and Thomas proved that every Berge graph either falls into some classical family of perfect graphs, or has a structural fault that cannot occur in a minimal imperfect graph. A corollary of this is the strong perfect graph theorem conjectured by Berge: every Berge graph is perfect. An even pair of vertices in a graph is a pair of vertices such that every induced path between them has even length. Meyniel proved that a minimal imperfect graph cannot contain an even pair. So even pairs may be considered as a structural fault. Chudnovsky et al. do not use them, and it is known that some classes of Berge graph have no even pairs.
The aim of this work is to investigate an "even-pair-like" notion that could be a structural fault present in every Berge graph. An odd pair of cliques is a pair of cliques $\{K_1, K_2\}$ such that every induced path from $K_1$ to $K_2$ with no interior vertex in $K_1 \cup K_2$ has odd length. We conjecture that for every Berge graph $G$ on at least two vertices, either one of $G, \bar{G}$ has an even pair, or one of $G, \bar{G}$ has an odd pair of cliques. We conjecture that a minimal imperfect graph has no odd pair of maximal cliques. We prove these conjectures in some special cases. We show that adding all edges between any 2 vertices of the cliques of an odd pair of cliques is an operation that preserves perfectness.
Spectral radius and Hamiltonian properties of graphs
Published in Linear Multilinear Algebra 63 (2015) 8, 1520-1530
• View Publication
• BIB
Let $G$ be a graph with minimum degree $δ$. The spectral radius of $G$, denoted by $ρ(G)$, is the largest eigenvalue of the adjacency matrix of $G$. In this note we mainly prove the following two results. (1) Let $G$ be a graph on $n\geq 4$ vertices with $δ\geq 1$. If $ρ(G)> n-3$, then $G$ contains a Hamilton path unless $G\in\{K_1\vee (K_{n-3}+2K_1),K_2\vee 4K_1,K_1\vee (K_{1,3}+K_1)\}$. (2) Let $G$ be a graph on $n\geq 14$ vertices with $δ\geq 2$. If $ρ(G)\geq ρ(K_2\vee (K_{n-4}+2K_1))$, then $G$ contains a Hamilton cycle unless $G= K_2\vee (K_{n-4}+2K_1)$. As corollaries of our first result, two previous theorems due to Fiedler and Nikiforov and Lu et al. are obtained, respectively. Our second result refines another previous theorem of Fiedler and Nikiforov.
Detecting wheels
Published in Applicable Analysis and Discrete Mathematics, 8:111-122, 2014
• View Publication
• BIB
A \emph{wheel} is a graph made of a cycle of length at least~4 together with a vertex that has at least three neighbors in the cycle. We prove that the problem whose instance is a graph $G$ and whose question is "does $G$ contains a wheel as an induced subgraph" is NP-complete. We also settle the complexity of several similar problems.
A generalized closure concept based on neighborhood-equivalence and preserving graph Hamiltonicity
A graph is Hamiltonian if it contains a cycle which goes through all vertices exactly once. Determining if a graph is Hamiltonian is known as a NP-complete problem and no satisfactory characterization for these graphs has been found.
In 1976 Bondy and Chvatal introduced a way to get round the Hamiltonicity problem complexity by using a closure of the graph. This closure is a supergraph of G which preserves Hamiltonicity, that is, which is Hamiltonian if and only if G is. Since this seminal work, several closure concepts preserving Hamiltonicity were introduced. In particular Ryjacek defined in 1997 a closure concept for claw-free graphs based on local completion. The completion is performed for every eligible vertex of the graph.
Extending these works, Vallee and Bretto recently introduced a new closure concept preserving Hamiltonicity and based on local completion. The local completion is performed for each neighborhood-equivalence eligible vertex of the graph.
In this article, we generalize the main results of Vallee and Bretto by introducing a broader notion of neighborhood equivalence eligibility, allowing the definition of a denser graph closure which still preserves Hamiltonicity.
On the construction of non-2-colorable uniform hypergraphs
Published
• View Publication
• BIB
The problem of 2-coloring uniform hypergraphs has been extensively studied over the last few decades. An n-uniform hypergraph is not 2-colorable if its vertices can't be colored with two colors, Red and Blue, such that every hyperedge contains Red as well as Blue vertices. The least possible number of hyperedges in an n-uniform hypergraph which is not 2-colorable is denoted by m(n). In this paper, we consider the problem of finding an upper bound on m(n) for small values of n. We provide constructions which improve the existing results for some such values of n. We obtain the first improvement in the case of n=8.