Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Characterizations of finite classical polar spaces by intersection numbers with hyperplanes and speces of codimension 2
Published in Combinatorica 30, (2010), 25-45
• Search Publication
In this article we show that non-singular quadrics and non-singular Hermitian varieties are completely characterized by their intersection numbers with respect to hyperplanes and spaces of codimension 2. This strongly generalizes a result by Ferri and Tallini \cite{FT} and also provides necessary and sufficient conditions for quasi-quadrics (respectively their Hermitian analogues) to be non-singular quadrics (respectively Hermitian varieties).} \section{Introduction} When Segre \cite{Segre} proved his celebrated characterization of conics ("every set of $q+1$ points in $\mathrm{PG}(2,q)$, $q$ odd, no three of which are collinear, is a conic"), he did more than proving a beautiful and interesting theorem; he in fact provided the starting point of a new direction in combinatorial geometry. In this branch of combinatorics the idea is to provide purely combinatorial characterizations of objects classically defined in an algebraic way. This article wants to contribute to this theory by proving strong characterizations of classical finite polar spaces.
Claw-freeness, 3-homogeneous subsets of a graph and a reconstruction problem
Published in Contributions to Discrete Mathematics, 6(1):86-97, 2011
• View Publication
• BIB
We describe ${\rm Forb}\{K_{1,3}, \bar {K_{1,3}}\}$, the class of graphs $G$ such that $G$ and its complement $\bar{G}$ are claw-free. With few exceptions, it is made of graphs whose connected components consist of cycles of length at least 4, paths, and of the complements of these graphs. Considering the hypergraph ${\mathcal H}^{(3)}(G)$ made of the 3-element subsets of the vertex set of a graph $G$ on which $G$ induces a clique or an independent subset, we deduce from above a description of the Boolean sum $G\dot{+}G'$ of two graphs $G$ and $G'$ giving the same hypergraph. We indicate the role of this latter description in a reconstruction problem of graphs up to complementation.
Graphs that do not contain a cycle with a node that has at least two neighbors on it
Published in P. Aboulker, M. Radovanovic, N. Trotignon and K. Vuskovic. Graphs that do not contain a cycle with a node that has at least two neighbors on it. SIAM Journal on Discrete Mathematics, 26(4):1510-1531, 2012
• View Publication
• BIB
We recall several known results about minimally 2-connected graphs, and show that they all follow from a decomposition theorem. Starting from an analogy with critically 2-connected graphs, we give structural characterizations of the classes of graphs that do not contain as a subgraph and as an induced subgraph, a cycle with a node that has at least two neighbors on the cycle. From these characterizations we get polynomial time recognition algorithms for these classes, as well as polynomial time algorithms for vertex-coloring and edge-coloring.
Edge-colouring and total-colouring chordless graphs
Published in R.C.S. Machado, C.M.H. de Figueiredo and N. Trotignon. Edge-colouring and total-colouring chordless graphs, Discrete Mathematics, 313:1547-1552, 2013
• View Publication
• BIB
A graph $G$ is \emph{chordless} if no cycle in $G$ has a chord. In the present work we investigate the chromatic index and total chromatic number of chordless graphs. We describe a known decomposition result for chordless graphs and use it to establish that every chordless graph of maximum degree $Δ\geq 3$ has chromatic index $Δ$ and total chromatic number $Δ+ 1$. The proofs are algorithmic in the sense that we actually output an optimal colouring of a graph instance in polynomial time.
On generalized Hadamard matrices GH(q,q)'s and GH(q,q^2)'s
A matrix $H=[d_{ij}]$ is a generalized Hadamard matrix of order $uλ$ with entries from $U$ which is a finite group of order $u$ (for short $\mathrm{GH}(u,\,λ)$) such that whenever $i\neq \ell$ the set $\{d_{ij}d_{\ell j}^{-1}\,|\, 1\leq j\leq uλ\}$ contains each element of $U$ exactly $λ$ times. In this paper, we construct $\mathrm{GH}(q,\,q)$'s and $\mathrm{GH}(q,\,q^{2})$'s over additive groups of finite fields $\mathrm{GF}(q)$'s by using some sorts of functions.
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.
Linear and cyclic distance-three labellings of trees
Published in Discrete Applied Math. 178 (2014), 109-120
• View Publication
• BIB
Given a finite or infinite graph $G$ and positive integers $\ell, h_1, h_2, h_3$, an $L(h_1, h_2, h_3)$-labelling of $G$ with span $\ell$ is a mapping $f: V(G) \rightarrow \{0, 1, 2, \ldots, \ell\}$ such that, for $i = 1, 2, 3$ and any $u, v \in V(G)$ at distance $i$ in $G$, $|f(u) - f(v)| \geq h_i$. A $C(h_1, h_2, h_3)$-labelling of $G$ with span $\ell$ is defined similarly by requiring $|f(u) - f(v)|_{\ell} \ge h_i$ instead, where $|x|_{\ell} = \min\{|x|, \ell-|x|\}$. The minimum span of an $L(h_1, h_2, h_3)$-labelling, or a $C(h_1, h_2, h_3)$-labelling, of $G$ is denoted by $λ_{h_1,h_2,h_3}(G)$, or $σ_{h_1,h_2,h_3}(G)$, respectively. Two related invariants, $λ^*_{h_1,h_2,h_3}(G)$ and $σ^*_{h_1,h_2,h_3}(G)$, are defined similarly by requiring further that for every vertex $u$ there exists an interval $I_u$ $\mod~(\ell + 1)$ or $\mod~\ell$, respectively, such that the neighbours of $u$ are assigned labels from $I_u$ and $I_v \cap I_w = \emptyset$ for every edge $vw$ of $G$. A recent result asserts that the $L(2,1,1)$-labelling problem is NP-complete even for the class of trees. In this paper we study the $L(h, p, p)$ and $C(h, p, p)$ labelling problems for finite or infinite trees $T$ with finite maximum degree, where $h \ge p \ge 1$ are integers. We give sharp bounds on $λ_{h,p,p}(T)$, $λ^*_{h,p,p}(T)$, $σ_{h, 1, 1}(T)$ and $σ^*_{h, 1, 1}(T)$, together with linear time approximation algorithms for the $L(h,p,p)$-labelling and the $C(h, 1, 1)$-labelling problems for finite trees. We obtain the precise values of these four invariants for a few families of trees. We give sharp bounds on $σ_{h,p,p}(T)$ and $σ^*_{h,p,p}(T)$ for trees with maximum degree $Δ\le h/p$, and as a special case we obtain that $σ_{h,1,1}(T) = σ^*_{h,1,1}(T) = 2h + Δ- 1$ for any tree $T$ with $Δ\le h$.
Combinatorial optimization with 2-joins
Published in N. Trotignon and K. Vuskovic. Combinatorial optimization with 2-joins. Journal of Combinatorial Theory, Series B, 102:153-185, 2012
• View Publication
• BIB
A 2-join is an edge cutset that naturally appears in decomposition of several classes of graphs closed under taking induced subgraphs, such as perfect graphs and claw-free graphs. In this paper we construct combinatorial polynomial time algorithms for finding a maximum weighted clique, a maximum weighted stable set and an optimal coloring for a class of perfect graphs decomposable by 2-joins: the class of perfect graphs that do not have a balanced skew partition, a 2-join in the complement, nor a homogeneous pair. The techniques we develop are general enough to be easily applied to finding a maximum weighted stable set for another class of graphs known to be decomposable by 2-joins, namely the class of even-hole-free graphs that do not have a star cutset.
We also give a simple class of graphs decomposable by 2-joins into bipartite graphs and line graphs, and for which finding a maximum stable set is NP-hard. This shows that having holes all of the same parity gives essential properties for the use of 2-joins in computing stable sets.
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 least eigenvalue of signless Laplacian of non-bipartite graphs with given domination number
Published in Discrete Mathematics, 2014, 334(6), 20-25
• View Publication
• BIB
Let $G$ be a connected non-bipartite graph on $n$ vertices with domination number $γ\le \frac{n+1}{3}$. We investigate the least eigenvalue of the signless Laplacian of $G$, and present a lower bound for such eigenvalue in terms of the domination number $γ$.
Some new problems in additive combinatorics
Published in Nanjing Univ. J. Math. Biquarterly 36 (2019), 134-155
• Search Publication
In this paper we investigate some new problems in additive combinatorics. Our problems mainly involve permutations (or circular permutations) $n$ distinct numbers (or elements of an additive abelian group) $a_1,\ldots,a_n$ with adjacent sums $a_i+a_{i+1}$ (or differences $a_i-a_{i+1}$) pairwise distinct. For an odd prime power $q=2n+1>13$ with $q\not=25$, we show that there is a circular permutation $(a_1,\ldots,a_n)$ of the elements of $S=\{a^2:\ a\in\mathbb F_q\setminus\{0\}\}$ such that $\{a_1+a_2,\ldots,a_{n-1}+a_n,a_n+a_1\}=S$, where $\mathbb F_q$ denotes the field of order $q$. For any finite subset $A$ of an additive torsion-free abelian group $G$ with $|A|=n>3$, we prove that there is a numbering $a_1,\ldots,a_n$ of the elements of $A$ such that $$a_1+2a_2,\ a_2+2a_3,\ \ldots,\ a_{n-1}+2a_n,\ a_n+2a_1$$ are pairwise distinct. We also pose 30 open conjectures for further research.
Constructing Ordered Orthogonal Arrays via Sudoku
Published
• View Publication
• BIB
For prime powers q we use "strongly orthogonal" linear Sudoku solutions of order q^2 to construct ordered orthogonal arrays of type OOA (4,s,2,q), and for each q we present a range of values of s for which these constructions are valid.
Bounded Representations of Interval and Proper Interval Graphs
Published
• View Publication
• BIB
Klavik et al. [arXiv:1207.6960] recently introduced a generalization of recognition called the bounded representation problem which we study for the classes of interval and proper interval graphs. The input gives a graph G and in addition for each vertex v two intervals L_v and R_v called bounds. We ask whether there exists a bounded representation in which each interval I_v has its left endpoint in L_v and its right endpoint in R_v. We show that the problem can be solved in linear time for interval graphs and in quadratic time for proper interval graphs.
Robert's Theorem states that the classes of proper interval graphs and unit interval graphs are equal. Surprisingly the bounded representation problem is polynomially solvable for proper interval graphs and NP-complete for unit interval graphs [Klavík et al., arxiv:1207.6960]. So unless P = NP, the proper and unit interval representations behave very differently.
The bounded representation problem belongs to a wider class of restricted representation problems. These problems are generalizations of the well-understood recognition problem, and they ask whether there exists a representation of G satisfying some additional constraints. The bounded representation problems generalize many of these problems.
Tiling Problems on Baumslag-Solitar groups
Published in EPTCS 128, 2013, pp. 35-46
• View Publication
• BIB
We exhibit a weakly aperiodic tile set for Baumslag-Solitar groups, and prove that the domino problem is undecidable on these groups. A consequence of our construction is the existence of an arecursive tile set on Baumslag-Solitar groups.
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$).
On Roussel-Rubio-type lemmas and their consequences
Published in Discrete Mathematics, 311(8-9):684-687, 2011
• View Publication
• BIB
Roussel and Rubio proved a lemma which is essential in the proof of the Strong Perfect Graph Theorem. We give a new short proof of the main case of this lemma. In this note, we also give a short proof of Hayward's decomposition theorem for weakly chordal graphs, relying on a Roussel--Rubio-type lemma. We recall how Roussel--Rubio-type lemmas yield very short proofs of the existence of even pairs in weakly chordal graphs and Meyniel graphs.
Logspace computations in graph products
Published
• View Publication
• BIB
We consider three important and well-studied algorithmic problems in group theory: the word, geodesic, and conjugacy problem. We show transfer results from individual groups to graph products. We concentrate on logspace complexity because the challenge is actually in small complexity classes, only. The most difficult transfer result is for the conjugacy problem. We have a general result for graph products, but even in the special case of a graph group the result is new. Graph groups are closely linked to the theory of Mazurkiewicz traces which form an algebraic model for concurrent processes. Our proofs are combinatorial and based on well-known concepts in trace theory. We also use rewriting techniques over traces. For the group-theoretical part we apply Bass-Serre theory. But as we need explicit formulae and as we design concrete algorithms all our group-theoretical calculations are completely explicit and accessible to non-specialists.
Excluding induced subdivisions of the bull and related graphs
Published in Journal of Graph Theory, 71:49-68, 2012
• View Publication
• BIB
For any graph $H$, let ${\rm Forb}^*(H)$ be the class of graphs with no induced subdivision of $H$. It was conjectured in [A.D. Scott, Induced trees in graphs of large chromatic number, {\em Journal of Graph Theory}, 24:297--311, 1997] that, for every graph $H$, there is a function $f_H:\mathbb{N} \rightarrow \mathbb{R}$ such that for every graph $G \in {\rm Forb}^*(H)$, $χ(G) \leq f_H(ω(G))$. We prove this conjecture for several graphs $H$, namely the paw (a triangle with a pendant edge), the bull (a triangle with two vertex-disjoint pendant edges), and what we call a "necklace," that is, a graph obtained from a path by choosing a matching such that no edge of the matching is incident with an endpoint of the path, and for each edge of the matching, adding a vertex adjacent to the ends of this edge.
Super dominating sets in graphs
Let $G=(V,E)$ be a graph. A subset $D$ of $V(G)$ is called a super dominating set if for every $v \in V(G)-D$ there exists an external private neighbour of $v$ with respect to $V(G)-D.$ The minimum cardinality of a super dominating set is called the super domination number of $G$ and is denoted by $γ_{sp}(G)$. In this paper some results on the super domination number are obtained. We prove that if $T$ is a tree with at least three vertices, then $\frac{n}{2}\leqγ_{sp}(T)\leq n-s,$ where $s$ is the number of support vertices in $T$ and we characterize the extremal trees.