SZSoukaina Zayat

Soukaina Zayat

*This is an algorithmically generated author record based on publicly available information.

Current Organizations / Institutes

The organizations/institutes from the scholar's latest article


Soukaina Zayat has a total of 3 co-authors. Here are the top co-authors by number of shared publications:


Latest Publications

  • Open Access

    Subdivisions of Six-Blocks Cycles C(k,1,1,1,1,1) in Strong Digraphs

    by Hiba Ayoub, Soukaina Zayat, Darine Al-Mniny

    A cycle C(k1,k2,...,kn) is the oriented cycle formed of n blocks of lengths k1,k2,...,kn-1 and kn respectively. In 2018 Cohen et al. conjectured that for every positive integers k1,k2,...,kn there exists a constant g(k1,k2,...,kn) such that every strongly connected digraph containing no subdivisions of C(k1,k2,...,kn) has a chromatic number at most g(k1,k2,...,kn). In their paper, Cohen et al. confirmed the conjecture for cycles with two blocks and for cycles with four blocks having all its blocks of length 1. Recently, the conjecture was proved for special types of four-blocks cycles. In this paper, we confirm Cohen et al.'s conjecture for all six-blocks cycles C(k,1,1,1,1,1). Precisely, for any integer k, we prove that every strongly connected digraph containing no subdivisions of C(k,1,1,1,1,1) has a chromatic number at most O(k), and we significantly reduce the chromatic number in case k=1.

  • Open Access

    Forests and the Strong Erdos-Hajnal Property

    by Soukaina Zayat

    An equivalent directed version of the celebrated unresolved conjecture of Erdos and Hajnal proposed by Alon et al. states that for every tournament H there exists epsilon(H) > 0 such that every H-free n-vertex tournament T contains a transitive subtournament of order at least n^(epsilon(H)). A tournament H has the strong EH-property if there exists c > 0 such that for every H-free tournament T with |T| > 1, there exist disjoint vertex subsets A and B, each of cardinality at least c|T| and every vertex of A is adjacent to every vertex of B. Berger et al. proved that the unique five-vertex tournament denoted by C5, where every vertex has two inneighbors and two outneighbors has the strong EH-property. It is known that every tournament with the strong EH-property also has the EH-property. In this paper we construct an infinite class of tournaments - the so-called spiral galaxies and we prove that every spiral galaxy has the strong EH-property.

  • Erdös–Hajnal conjecture for new infinite families of tournaments

    by Soukaina Zayat, Salman Ghazal

    Erdös–Hajnal conjecture states that for every undirected graph there exists such that every undirected graph on vertices that does not contain as an induced subgraph contains a clique or a stable set of size at least . This conjecture has a directed equivalent version stating that for every tournament there exists such that every ‐free ‐vertex tournament contains a transitive subtournament of order at least . This conjecture is known to hold for a few infinite families of tournaments. In this article we construct two new infinite families of tournaments—the family of so‐called galaxies with spiders and the family of so‐called asterisms, and we prove the correctness of the conjecture for these two families.


  • Open Access

    About the Erdös-Hajnal conjecture for seven-vertex tournaments

    by Soukaina Zayat, Salman Ghazal

    A celebrated unresolved conjecture of Erd\"{o}s and Hajnal states that for every undirected graph $H$ there exists $ \epsilon(H) > 0 $ such that every undirected graph on $ n $ vertices that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $ n^{\epsilon(H)} $. The conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ \epsilon(H) > 0 $ such that every $H-$free $n-$vertex tournament $T$ contains a transitive subtournament of order at least $ n^{\epsilon(H)} $. Both the directed and the undirected versions of the conjecture are known to be true for small graphs (tournaments). So far the conjecture was proved only for some specific families of prime tournaments, tournaments constructed according to the so$-$called substitution procedure allowing to build bigger graphs, and for all five$-$vertex tournaments. Recently the conjecture was proved for all six$-$vertex tournament, with one exception, but the question about the correctness of the conjecture for all seven$-$vertex tournaments remained open. In this paper we prove the correctness of the conjecture for several seven$-$vertex tournaments.


  • Open Access

    Tournaments and the Erdös-Hajnal Conjecture

    by Soukaina Zayat, Salman Ghazal

    The celebrated Erd\"{o}s-Hajnal conjecture states that for every undirected graph $H$ there exists $ \epsilon(H) > 0 $ such that every undirected graph on $ n $ vertices that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $ n^{\epsilon(H)} $. This conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ \epsilon(H) > 0 $ such that every $H$-free $n$-vertex tournament $T$ contains a transitive subtournament of order at least $ n^{\epsilon(H)} $. This conjecture is proved for few infinite families of tournaments. In this paper we construct a new infinite family of tournaments $-$ the family of so-called flotilla-galaxies and we prove the correctness of the conjecture for every flotilla-galaxy tournament.

  • Open Access

    Erdös-Hajnal Conjecture for New Infinite Families of Tournaments

    by Soukaina Zayat, Salman Ghazal

    Erd\"{o}s-Hajnal conjecture states that for every undirected graph $H$ there exists $ \epsilon(H) > 0 $ such that every undirected graph on $ n $ vertices that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $ n^{\epsilon(H)} $. This conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ \epsilon(H) > 0 $ such that every $H-$free $n-$vertex tournament $T$ contains a transitive subtournament of order at least $ n^{\epsilon(H)} $. This conjecture is known to hold for a few infinite families of tournaments. In this paper we construct two new infinite families of tournaments - the family of so-called galaxies with spiders and the family of so-called asterisms, and we prove the correctness of the conjecture for these two families.