Source author record

Houmem Belkhechine

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
1topics
4close collaborators

Published work

6 publications

preprint2021arXiv

Decomposability and co-modular indices of tournaments

Given a tournament TT, a module of TT is a subset XX of V(T)V(T) such that for x,y∈Xx, y\in X and v∈V(T)∖Xv\in V(T)\setminus X, (x,v)∈A(T)(x,v)\in A(T) if and only if (y,v)∈A(T)(y,v)\in A(T). The trivial modules of TT are ∅\emptyset, {u}\{u\} (u∈V(T))(u\in V(T)) and V(T)V(T). The tournament TT is indecomposable if all its modules are trivial; otherwise it is decomposable. The decomposability index of TT, denoted by δ(T)δ(T), is the smallest number of arcs of TT that must be reversed to make TT indecomposable. The first author conjectured that for n≥5n \geq 5, we have δ(n)=⌈n+14⌉δ(n) = \left\lceil \frac{n+1}{4} \right\rceil, where δ(n)δ(n) is the maximum of δ(T)δ(T) over the tournaments TT with nn vertices. In this paper we prove this conjecture by introducing the co-modular index of a tournament TT, denoted by Δ(T)Δ(T), as the largest number of disjoint co-modules of TT, where a co-module of TT is a subset MM of V(T)V(T) such that MM or V(T)∖MV(T) \setminus M is a nontrivial module of TT. We prove that for n≥3n \geq 3, we have Δ(n)=⌈n+12⌉Δ(n) = \left\lceil \frac{n+1}{2} \right\rceil, where Δ(n)Δ(n) is the maximum of Δ(T)Δ(T) over the tournaments TT with nn vertices. Our main result is the following close relationship between the above two indices: for every tournament TT with at least 55 vertices, we have δ(T)=⌈Δ(T)2⌉δ(T) = \left\lceil \frac{Δ(T)}{2} \right\rceil. As a consequence, we obtain δ(n)=⌈Δ(n)2⌉=⌈n+14⌉δ(n) = \left\lceil \frac{Δ(n)}{2} \right\rceil = \left\lceil \frac{n+1}{4} \right\rceil for n≥5n \geq 5, and we answer some further related questions.

preprint2013arXiv

The indecomposable tournaments TT with ∣W5(T)∣=∣T∣−2\mid W_{5}(T) \mid = \mid T \mid -2

We consider a tournament T=(V,A)T=(V, A). For X⊆VX\subseteq V, the subtournament of TT induced by XX is T[X]=(X,A∩(X×X))T[X] = (X, A \cap (X \times X)). An interval of TT is a subset XX of VV such that for a,b∈Xa, b\in X and x∈V∖X x\in V\setminus X, (a,x)∈A(a,x)\in A if and only if (b,x)∈A(b,x)\in A. The trivial intervals of TT are ∅\emptyset, {x}(x∈V)\{x\}(x\in V) and VV. A tournament is indecomposable if all its intervals are trivial. For n≥2n\geq 2, W2n+1W_{2n+1} denotes the unique indecomposable tournament defined on {0,…,2n}\{0,\dots,2n\} such that W2n+1[{0,…,2n−1}]W_{2n+1}[\{0,\dots,2n-1\}] is the usual total order. Given an indecomposable tournament TT, W5(T)W_{5}(T) denotes the set of v∈Vv\in V such that there is W⊆VW\subseteq V satisfying v∈Wv\in W and T[W]T[W] is isomorphic to W5W_{5}. Latka \cite{BJL} characterized the indecomposable tournaments TT such that W5(T)=∅W_{5}(T)=\emptyset. The authors \cite{HIK} proved that if W5(T)≠∅W_{5}(T)\neq \emptyset, then ∣W5(T)∣≥∣V∣−2\mid W_{5}(T) \mid \geq \mid V \mid -2. In this article, we characterize the indecomposable tournaments TT such that ∣W5(T)∣=∣V∣−2\mid W_{5}(T) \mid = \mid V \mid -2.

preprint2010arXiv

Indecomposable tournaments and their indecomposable subtournaments on 5 and 7 vertices

Given a tournament T=(V,A), a subset X of VV is an interval of T provided that for every a, b in X and x\in V-X, (a,x) in A if and only if (b,x) in A. For example, ∅\emptyset, {x}(x in V) and V are intervals of T, called trivial intervals. A tournament, all the intervals of which are trivial, is indecomposable; otherwise, it is decomposable. A critical tournament is an indecomposable tournament T of cardinality ≥5\geq 5 such that for any vertex x of T, the tournament T-x is decomposable. The critical tournaments are of odd cardinality and for all n≥2n \geq 2 there are exactly three critical tournaments on 2n+1 vertices denoted by T2n+1T_{2n+1}, U2n+1U_{2n+1} and W2n+1W_{2n+1}. The tournaments T5T_{5}, U5U_{5} and W5W_{5} are the unique indecomposable tournaments on 5 vertices. We say that a tournament T embeds into a tournament T' when T is isomorphic to a subtournament of T'. A diamond is a tournament on 4 vertices admitting only one interval of cardinality 3. We prove the following theorem: if a diamond and T5T_{5} embed into an indecomposable tournament T, then W5W_{5} and U5U_{5} embed into T. To conclude, we prove the following: given an indecomposable tournament T, with ∣ ⁣V(T) ⁣∣≥7\mid\!V(T)\!\mid \geq 7, T is critical if and only if the indecomposable subtournaments on 7 vertices of T are isomorphic to one and only one of the tournaments T7T_{7}, U7U_{7} and W7W_{7}.

preprint2010arXiv

Inversion dans les tournois

We consider the transformation reversing all arcs of a subset XX of the vertex set of a tournament TT. The \emph{index} of TT, denoted by i(T)i(T), is the smallest number of subsets that must be reversed to make TT acyclic. It turns out that critical tournaments and (−1)(-1)-critical tournaments can be defined in terms of inversions (at most two for the former, at most four for the latter). We interpret i(T)i(T) as the minimum distance of TT to the transitive tournaments on the same vertex set, and we interpret the distance between two tournaments TT and T′T' as the \emph{Boolean dimension} of a graph, namely the Boolean sum of TT and T′T'. On nn vertices, the maximum distance is at most n−1n-1, whereas i(n)i(n), the maximum of i(T)i(T) over the tournaments on nn vertices, satisfies n−12−log⁡2n≤i(n)≤n−3\frac {n-1}{2} - \log_{2}n \leq i(n) \leq n-3, for n≥4n \geq 4. Let Im<ω \mathcal{I}_{m}^{< ω} (resp. Im≤ω\mathcal{I}_{m}^{\leq ω}) be the class of finite (resp. at most countable) tournaments TT such that i(T)≤mi(T) \leq m. The class Im<ω\mathcal {I}_{m}^{< ω} is determined by finitely many obstructions. We give a morphological description of the members of I1<ω\mathcal {I}_{1}^{< ω} and a description of the critical obstructions. We give an explicit description of an universal tournament of the class Im≤ω\mathcal{I}_{m}^{\leq ω}.

preprint2010arXiv

Les graphes (-1)-critiques

Given a (directed) graph G=(V,A), a subset X of V is an interval of G provided that for any a, b\in X and x\in V-X, (a,x)\in A if and only if (b,x)\in A and (x,a)\in A if and only if (x,b)\in A. For example, \emptyset, \{x\} (x \in V) and V are intervals of G, called trivial intervals. A graph, all the intervals of which are trivial, is indecomposable; otherwise, it is decomposable. A vertex x of an indecomposable graph is critical if G-x is decomposable. In 1993, J.H. Schmerl and W.T. Trotter characterized the indecomposable graphs, all the vertices of which are critical, called critical graphs. In this article, we characterize the indecomposable graphs which admit a single non critical vertex, that we call (-1)-critical graphs.} This gives an answer to a question asked by Y. Boudabbous and P. Ille in a recent article studying the critical vertices in an indecomposable graph.

preprint2010arXiv

Les tournois (-1)-critiques

Given a tournament T=(V,A), a subset X of V is an interval of T provided that for any a, b\in X and x\in V-X, (a,x) \in A if and only if (b,x)\in A. For example, \emptyset, \{x\} (x\in V) and V are intervals of T, called trivial intervals. A tournament, all the intervals of which are trivial, is indecomposable; otherwise, it is decomposable. A vertex x of an indecomposable tournament is critical if T-x is decomposable. In 1993, J.H. Schmerl and W.T. Trotter characterized the tournaments, all the vertices of which are critical, called critical tournaments. The cardinality of these tournaments is odd. Given an odd integer m \geq 5, there exist three critical tournaments of cardinality . and there are exactly three critical tournaments for each such a cardinality. In this article, we characterize the tournaments which admit a single non critical vertex, that we call (-1)-critical tournaments. The cardinality of these tournaments is odd. Given an odd integer m \geq 7, there exist 3m-15 (-1)-critical tournaments of cardinality m.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.