<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">OJDM</journal-id><journal-title-group><journal-title>Open Journal of Discrete Mathematics</journal-title></journal-title-group><issn pub-type="epub">2161-7635</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ojdm.2019.92005</article-id><article-id pub-id-type="publisher-id">OJDM-90970</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  2-Convex Polyominoes: Non-Empty Corners
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Khalil</surname><given-names>Tawbe</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Nadine</surname><given-names>Ghandour</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Ali</surname><given-names>Atwi</given-names></name><xref ref-type="aff" rid="aff3"><sup>3</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>Faculty of Economics and Business Administration, Lebanese University, Beirut, Lebanon</addr-line></aff><aff id="aff1"><addr-line>Department of Mathematics, Lebanese University, Beirut, Lebanon</addr-line></aff><aff id="aff3"><addr-line>Mechanical Engineering Department, American University of Beirut, Beirut, Lebanon</addr-line></aff><pub-date pub-type="epub"><day>07</day><month>03</month><year>2019</year></pub-date><volume>09</volume><issue>02</issue><fpage>33</fpage><lpage>51</lpage><history><date date-type="received"><day>5,</day>	<month>September</month>	<year>2018</year></date><date date-type="rev-recd"><day>4,</day>	<month>March</month>	<year>2019</year>	</date><date date-type="accepted"><day>7,</day>	<month>March</month>	<year>2019</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p><html>
 <head></head>
 
  A polyomino 
  P
   is called 2-convex if for every two cells there exists a monotone path included in 
  P
   with at most two changes of direction. This paper studies the geometrical properties of a sub-class of 2-convex polyominoes called 
  <img src="Edit_3ec3cb3b-0a01-425f-933d-ea78bc96d485.bmp" alt="" />
  
   where the upper left corner and the lower right corner of the polyomino each contain
  s
   only one cell.
 
</html></p></abstract><kwd-group><kwd>Polyomino</kwd><kwd> Convex Objects</kwd><kwd> Monotone Path</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Discrete convexity intervenes in many domains with regard to geometry and particularly to image processing.</p><p>Many notions of discrete convexity of polyominoes were investigated (see [<xref ref-type="bibr" rid="scirp.90970-ref1">1</xref>] , [<xref ref-type="bibr" rid="scirp.90970-ref2">2</xref>] and [<xref ref-type="bibr" rid="scirp.90970-ref3">3</xref>] ). One natural notion is the class of HV-convex polyominoes, where polyominoes have consecutive cells in columns and rows. Also HV-convex polyominoes possess the property that every pair of cells can be connected using a montone path included included in the polyominoes and having only two ypes of unit steps (see [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.90970-ref5">5</xref>] ).</p><p>An HV-convex polymino is called k-convex if for every two cells one can find a monotone path with at most k changes of direction. When the value of k is equal to 1, we have the class of 1-convex polyominoes. This notion of 1-convex polyominoes has been investigated by different researchers (see [<xref ref-type="bibr" rid="scirp.90970-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.90970-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.90970-ref7">7</xref>] ). In fact, 2-convex polymoninoes are geometrically more complicated than the 1-convex polyominoes and should be divided into different sublclasses in order to study them(see [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.90970-ref5">5</xref>] ).</p><p>In [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>] , it has been showed that if P is an HV-centered polyomino then P is 2-convex. The reconstruction algorithm of HV-centered polyomino is available in [<xref ref-type="bibr" rid="scirp.90970-ref8">8</xref>] .</p><p>From now on, 2-convex polyominoes which are not L-convex and HV-centered are considered.</p><p>In [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>] it has been showed that if P is an HV-convex polyomino, and if the N-foot is situated to the left (resp. to the right) of the S-foot and the E-foot is situated to the north (resp. to the south) of the W-foot then P is a 2-convex polyomino. The tomographical aspects of this is available in [<xref ref-type="bibr" rid="scirp.90970-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.90970-ref8">8</xref>] .</p><p>Another subclass of 2-convex polyominoes has been studied in [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>] where the N-foot is situated to the left (resp. to the right) of the S-foot and the E-foot is situated to the south (resp. to the north) of the W-foot. This subclass possesses the property that the upper left corner and the lower right corner are empty of cells. The geometrical and tomographical properties of this subclass are available in [<xref ref-type="bibr" rid="scirp.90970-ref5">5</xref>] ).</p><p>Directed 2-convex polyominoes with empty corners have been studied in [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>] , their tomographical aspects are not similar to the other subclasses but their direct reconstruction is always possible.</p><p>In this paper, the study of the 2-convex polyominoes subclasses continues by investigating the geometrical properties of another subclass called α 2 L 1,1 where the lower right corner and the upper left corner are non-empty and each contains only one cell.</p><p>This paper is divided into 4 sections. In the first section, an introduction on the different works done before on convex, 1-convex, and some sublcasses of 2-convex polyominoes is given. In the second section, different notations on the feet of the polyominoes are introduced in order to understand the geometrical shapes of the class α 2 L 1,1 . In the third section, 32 geometries in the class α 2 L 1,1 are given. The last section is reserved for the future work.</p></sec><sec id="s2"><title>2. Definitions and Notations</title><p>A planar discrete set is a finite subset of the integer lattice ℤ 2 defined up to translation. A discrete set can be represented either by a set of cells, i.e. unitary squares of the cartesian plane, or by a binary matrix, where the 1's determine the cells of the set (see <xref ref-type="fig" rid="fig1">Figure 1</xref>).</p><p>A polyomino P is a plane geometric figure formed by joining one or more equal squares edge to edge. A row convex polyomino (resp. column-convex) is a self avoiding convex polyomino such that the intersection of any horizontal line (resp. vertical line) with the polyomino has at most two connected components. Finally, a polyomino is said to be HV-convex if it is both row and column-convex (see [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>] ) (see <xref ref-type="fig" rid="fig2">Figure 2</xref>).</p><p>To each discrete set S, represented as a m &#215; n binary matrix, two integer vectors H = ( h 1 , ⋯ , h m ) and V = ( v 1 , ⋯ , v n ) are associated such that, for each 1 ≤ i ≤ m ,1 ≤ j ≤ n , h i and v j are the number of cells of S which lie on row i and column j, respectively. The vectors H and V are called the horizontal and vertical projections of S, respectively (see <xref ref-type="fig" rid="fig3">Figure 3</xref>). Moreover if S has H and V</p><p>as horizontal and vertival projections, respectively, then we say that S satisfies (H,V). Using the usual matrix notations, the element ( i , j ) denotes the entry in row i and column j.</p><p>For any two cells A = ( i 1 , j 1 ) and B = ( i r , j r ) in a polyomino P, a path from A to B, is a sequence of adjacent disjoint cells belonging to P. For each 1 ≤ k ≤ r − 1 , we say that the two consecutive cells ( i k , j k ) , ( i k + 1 , j k + 1 ) form:</p><p>• an east step if i k + 1 = i k and j k + 1 = j k + 1 ;</p><p>• a north step if i k + 1 = i k − 1 and j k + 1 = j k ;</p><p>• a west step if i k + 1 = i k and j k + 1 = j k − 1 ;</p><p>• a south step if i k + 1 = i k + 1 and j k + 1 = j k .</p><p>Definition 1. A path in a polyomino P is said to be monotone if it is entirely made of the four types of steps defined above (see [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.90970-ref5">5</xref>] ).</p><p>Proposition 1 (Castiglione, Restivo [<xref ref-type="bibr" rid="scirp.90970-ref7">7</xref>] ). A polyomino P is HV-convex if and only if every pair of cells is connected by a monotone path.</p><p>Let us consider a polyomino P. A path in P has a change of direction in the cell ( i k , j k ) , for 2 ≤ k ≤ r − 1 , if</p><p>i k ≠ i k − 1 ⇔ j k + 1 ≠ j k .</p><p>Definition 2. An HV-convex polyomino is said to be k-convex if every pair of its cells can be connected by a monotone path with at most k changes of direction respectively.</p><p>In the present study, we focus our attention on the class of 2-convex polyominoes, whose geometrical properties are more complicated and harder to be investigated than those of 1-convex polyominoes (see <xref ref-type="fig" rid="fig4">Figure 4</xref>).</p></sec><sec id="s3"><title>3. Geometrical Aspects</title><p>In this section, we study the geometrical aspects of 2-convex polyominoes in terms of positions of the feet. Let ( H , V ) be two vectors of projections, and let P be a convex polyomino that satisfies ( H , V ) . By a classical argument, P is contained in a rectangle R of size m &#215; n (called minimal bounding box). Let [ min ( S ) , max ( S ) ] ( [ min ( E ) , max ( E ) ] , [ min ( N ) , max ( N ) ] , [ min ( W ) , max ( W ) ] ) be the intersection of P's boundary on the lower (right, upper, left) side of R (see [<xref ref-type="bibr" rid="scirp.90970-ref1">1</xref>] ). By abuse of notation, for each 1 ≤ i ≤ m and 1 ≤ j ≤ n , we call min ( S ) [resp. min ( E ) , min ( N ) , min ( W ) ] the cell at the position ( m , min ( S ) ) [resp. ( min ( E ) , n ) , ( 1, min ( N ) ) , ( min ( W ) ,1 ) ] and max ( S ) [resp. max ( E ) , max ( N ) , max ( W ) ] the cell at the position ( m , max ( S ) ) [resp. ( max ( E ) , n ) , ( 1, max ( N ) ) , ( max ( W ) ,1 ) ] (see <xref ref-type="fig" rid="fig5">Figure 5</xref>) (see [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>]).</p><p>Definition 3. The segment [ min ( S ) , max ( S ) ] is called the S-foot. Similarly, the segments [ min ( E ) , max ( E ) ] , [ min ( N ) , max ( N ) ] and [ min ( W ) , max ( W ) ] are called E-foot, N-foot and W-foot (see [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>] ).</p><p>Definition 4. Let P be an HV-convex polyomino, we say that P is h-centered [resp. v-centered], if its W-foot and E-foot [resp. N-foot and S-foot] intersect, that is there at least one row going from one foot to another (see <xref ref-type="fig" rid="fig6">Figure 6</xref>), (see [<xref ref-type="bibr" rid="scirp.90970-ref8">8</xref>] ).</p><p>The following property links h-centered polyominoes or v-centered polyominoes to 2-convex polyominoes :</p><p>Proposition 2. If P is an h-centered polyomino or a v-centered polyomino, then it is a 2-convex polyomino (see [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>] ).</p><p>Let C be the class of convex polyominoes thus we have two classes of polyominoes regarding the position of the non-intersecting feet.</p><p>• α = { P ∈ C | max ( N ) &lt; min ( S ) and max ( W ) &lt; min ( E ) }</p><p>• β = { P ∈ C | max ( S ) &lt; min ( N ) and max ( E ) &lt; min ( W ) } .</p><p>Let us define the horizontal transformation (symmetry) [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>] S H : ( i , j ) → ( m − i + 1, j ) which transforms the polyomino P from the class α to the class β (see <xref ref-type="fig" rid="fig7">Figure 7</xref>).</p><p>The study of the classes α and β is very complicated until now. So we make the choice of studying one special case called α 1,1 where the lower right corner and the upper left corner of the polyomino contain each only one cell (see <xref ref-type="fig" rid="fig8">Figure 8</xref>). For this case, we study the geometrical properties in order to</p><p>describe the geometries of 2-convex polyominoes in the class α 1,1 and to give characterizations of such 2-convex polyominoes in terms of paths.</p><p>For a bounding rectangle R and for a given polyomino P, let us define the following sets [<xref ref-type="bibr" rid="scirp.90970-ref4">4</xref>] :</p><p>• W N = { ( i , j ) ∈ P | i &lt; min ( W )   and   j &lt; min ( N ) } ,</p><p>• S E = { ( i , j ) ∈ P | i &gt; max ( E )   and   j &gt; max ( S ) } ,</p><p>• N E = { ( i , j ) ∈ P | i &lt; min ( E )   and   j &gt; max ( N ) } ,</p><p>• W S = { ( i , j ) ∈ P | i &gt; max ( W )   and   j &lt; min ( S ) } .</p><p>The above sets with the classes α and β allow us to define the following two classes:</p><p>• α 1 , 1 = { P ∈ C | max ( N ) &lt; min ( S )   and   max ( W ) &lt; min ( E ) ;                   c a r d ( W N ) = 1   and   c a r d ( S E ) = 1 } , (see <xref ref-type="fig" rid="fig8">Figure 8</xref>)</p><p>• β 1 , 1 = { P ∈ C | max ( S ) &lt; min ( N ) and max ( E ) &lt; min ( W ) ;                   c a r d ( N E ) = 1 and c a r d ( W S ) = 1 } , (see <xref ref-type="fig" rid="fig8">Figure 8</xref>)</p><p>• α 2 L 1 , 1 = { P ∈ C | max ( N ) &lt; min ( S ) and max ( W ) &lt; min ( E ) ;                   c a r d ( W N ) = 1 and c a r d ( S E ) = 1 } , where P is a 2-convex polyomino.</p><p>• β 2 L 1 , 1 = { P ∈ C | max ( S ) &lt; min ( N ) and max ( E ) &lt; min ( W ) ;                   c a r d ( N E ) = 1 and c a r d ( W S ) = 1 } , where P is a 2-convex polyomino.</p><p>Note that the horizontal symmetry S H maps α 2 L 1,1 to β 2 L 1,1 .</p><p>The following characterization holds for convex polyominoes in the class α 1,1 .</p><p>Theorem 1. Let P be a convex polyomino in the class α 1,1 , P is 2-convex if and only if there exist nine paths:</p><p>1) from min ( N ) to max ( E ) ,</p><p>2) and from min ( N ) to max ( S ) ,</p><p>3) and from min ( W ) to max ( E ) ,</p><p>4) and from min ( W ) to max ( S ) ,</p><p>5) and from the corner cell in WN to max ( E ) ,</p><p>6) and from the corner cell in WN to max ( S ) ,</p><p>7) and from min ( N ) to the corner cell in SE,</p><p>8) and from min ( W ) to the corner cell in SE,</p><p>9) and from the corner cell in WN to the corner cell in SE, having at most two changes of direction.</p><p>Proof. (&#222;) It is an immediate consequence of the definition of 2-convex polyominoes.</p><p>(&#220;) Suppose that P is not 2-convex, then there exist two cells ( i , j ) and ( i ′ , j ′ ) such that any path between them has more than two changes of direction. Let us suppose that ( i , j ) is at the position ( min ( W ) ≤ i ≤ max ( W ) ,1 ) and ( i ′ , j ′ ) is at the position ( m , min ( S ) ≤ j ′ ≤ max ( S ) ) (the other positions are similar). We have the following cases.</p><p>CASE 1:</p><p>If the path from min ( W ) to the corner cell in SE has one change of direction, i.e. there exists an L-path between them, then by convexity there is an L-path between ( i , j ) and ( i ′ , j ′ ) , hence the contradiction.</p><p>CASE 2:</p><p>If the path from min ( W ) to the corner cell in SE has two changes of direction, one can observe the following cases.</p><p>• Either the path goes through min ( S ) and then there exist an L-path between min ( W ) and min ( S ) , thus by convexity there exists a 2L-path from ( i , j ) to ( i ′ , j ′ ) , hence the contradiction; or</p><p>• The path goes through max ( W ) and then there is an L-path between max ( W ) and the corner cell in SE, thus there exists a 2L-path from ( i , j ) to ( i ′ , j ′ ) , hence the contradiction; or</p><p>• The path goes through max ( N ) and then there is an L-path between max ( N ) and the corner cell in SE, thus there exists a 2L-path from ( i , j ) to ( i ′ , j ′ ) , hence the contradiction; or</p><p>• The path goes through a path where its vertical position is between max ( N ) and min ( S ) , thus there exists a 2L-path from ( i , j ) to ( i ′ , j ′ ) , hence the contradiction (see <xref ref-type="fig" rid="fig9">Figure 9</xref>).</p><p>The cases (1), (2), (3), (4), (5), (6), (7) are similar up to symmetry. □</p><p>Corollary 1. If P satisfies Theorem 1, then P is in the class α 2 L 1,1 (see <xref ref-type="fig" rid="fig1">Figure 1</xref>0).</p><p>Now in order to understand the different geometries of the class α 2 L 1,1 let us define the following subclasses of the class α 1,1 :</p><p>• γ 1 , 1 = { P ∈ C | max ( N ) &lt; min ( S ) and max ( W ) &lt; min ( E ) ;                     c a r d ( W N ) = 1 and c a r d ( S E ) = 1 ;                     min ( E ) = max ( w ) + 1 and min ( S ) = max ( N ) + 1 } (see <xref ref-type="fig" rid="fig1">Figure 1</xref>1).</p><p>• δ 1 , 1 = { P ∈ C | max ( S ) &lt; min ( N ) and max ( E ) &lt; min ( W ) ;                   c a r d ( N E ) = 1 and c a r d ( W S ) = 1 ;                   min ( E ) ≠ max ( W ) + 1 and min ( S ) = max ( N ) + 1 } . (see <xref ref-type="fig" rid="fig1">Figure 1</xref>1).</p><p>• Δ 1 , 1 = { P ∈ C | max ( N ) &lt; min ( S ) and max ( W ) &lt; min ( E ) ;                   c a r d ( W N ) = 1 and c a r d ( S E ) = 1 ;                   min ( E ) = max ( w ) + 1 and min ( S ) ≠ max ( N ) + 1 } (see <xref ref-type="fig" rid="fig1">Figure 1</xref>1).</p><p>• χ 1 , 1 = { P ∈ C | max ( N ) &lt; min ( S )   and max ( W ) &lt; min ( E ) ;                   c a r d ( W N ) = 1 and c a r d ( S E ) = 1 ;                   min ( E ) ≠ max ( w ) + 1 and min ( S ) ≠ max ( N ) + 1 } (see <xref ref-type="fig" rid="fig1">Figure 1</xref>1).</p><p>• γ 2 L 1 , 1 = { P ∈ C | max ( N ) &lt; min ( S ) and max ( W ) &lt; min ( E ) ;                   c a r d ( W N ) = 1 and c a r d ( S E ) = 1 ;                   min ( E ) = max ( w ) + 1 and min ( S ) = max ( N ) + 1 } , where P is a 2-convex polyomino.</p><p>• δ 2 L 1 , 1 = { P ∈ C | max ( S ) &lt; min ( N ) and max ( E ) &lt; min ( W ) ;                   c a r d ( N E ) = 1 and c a r d ( W S ) = 1 ;                   min ( E ) ≠ max ( W ) + 1 and min ( S ) = max ( N ) + 1 } , where P is a 2-convex polyomino.</p><p>• Δ 2 L 1 , 1 = { P ∈ C | max ( N ) &lt; min ( S ) and max ( W ) &lt; min ( E ) ;                   c a r d ( W N ) = 1 and c a r d ( S E ) = 1 ;                   min ( E ) = max ( w ) + 1 and min ( S ) ≠ max ( N ) + 1 } , where P is a 2-convex polyomino.</p><p>• χ 2 L 1 , 1 = { P ∈ C | max ( N ) &lt; min ( S ) and max ( W ) &lt; min ( E ) ;                   c a r d ( W N ) = 1 and c a r d ( S E ) = 1 ;                   min ( E ) ≠ max ( w ) + 1 and min ( S ) ≠ max ( N ) + 1 } , where P is a 2-convex polyomino.</p><p>Theorem 2. Let P be a convex polyomino in the class γ 1,1 , P is 2-convex if and only if there exists an L-path from</p><p>1)</p><p>{ min ( N ) to min ( E ) and the corner cell in W N to min (S)</p><p>or</p><p>2)</p><p>{ min ( W ) to min ( S ) and the corner cell in W N to min (E)</p><p>or</p><p>3)</p><p>{ max ( N ) to max ( E ) and max ( W ) to the corner cell in S E</p><p>or</p><p>4)</p><p>{ max ( W ) to max ( S ) and max ( N ) to the corner cell in S E</p><p>Proof. (&#220;) Suppose that P satisfies only the first geometry, i.e. there exist L-paths from min ( N ) to min ( E ) and from the corner cell in WN to min ( S ) . From the first L-path, one can deduce that there exist 2L-paths from min ( N ) to max ( E ) , from min ( N ) to max ( E ) and from min ( N ) to the corner cell in SE. Now from the second L-path, one can deduce that there exist 2L-paths from min ( W ) to max ( S ) , from min ( W ) to max ( E ) , from min ( W ) to the corner cell in SE, from the corner cell in WN to max ( E ) , from the corner cell in WN to max ( S ) , and finally from the corner cell in WN to the corner cell in SE. To summarize, all nine paths in Theorem 1 are in P and hence P is 2-convex.</p><p>Similar reasoning holds for the geometries (2), (3), and (4).</p><p>(&#222;) P is 2L-convex polyomino then, there exist 2L-paths from min ( W ) to max ( E ) , from min ( N ) to max ( S ) , from min ( N ) to the corner cell in SE, from min ( W ) to the corner cell in SE, from the corner cell in WN to max ( E ) , and from the corner cell in WN to max ( S ) . Now, suppose that the four minimal geometries in <xref ref-type="fig" rid="fig1">Figure 1</xref>2 are not satisfied. Then we have the following possibilities.</p><p>1) There exist L-paths from min ( N ) to the corner cell in SE and from max ( W ) to min ( S ) . From the first L-path, one can deduce that there exists an L-path between max ( N ) and the corner cell in SE. From the second L-path, one can see that there is no information between min ( W ) and max ( S ) , hence P is not 2L-convex polyomino.</p><p>2) There exist L-paths from the corner cell in WN to max ( S ) and from max ( N ) to min ( E ) . From the first L-path, one can deduce that there is an L-path between the corner cell in WN to min ( S ) . From the second L-path, one can see that there is no information between min ( N ) and max ( E ) , hence P is not 2L-convex polyomino.</p><p>3) There exist L-paths from min ( W ) to the corner cell in SE and from max ( N ) to min ( E ) . From the first L-path, one can deduce that there exists an L-path between max ( N ) and the corner cell in SE. From the second L-path, one can see that there is no information between min ( N ) and max ( E ) , hence P is not 2L-convex polyomino.</p><p>4) There exist L-paths from the corner cell in WN to max ( E ) and from max ( W ) to min ( S ) . From the first L-path, one can deduce that there is an L-path between the corner cell in WN to min ( S ) . From the second L-path, one can see that there is no information between min ( W ) and max ( E ) , hence P is not 2L-convex polyomino.</p><p>In conclusion, the four geometries are necessary to characterize a 2L-convex polyomino in the class γ 1,1 (see <xref ref-type="fig" rid="fig1">Figure 1</xref>2).</p><p>Corollary 2. If P satisfies the conditions of Theorem 2, then P is in the class γ 2 L 1,1 and hence in the class α 2 L 1,1 .</p><p>Theorem 3. Let P be a convex polyomino in the class δ 1,1 , P is 2-convex if and only if there exists an L-path from</p><p>1)</p><p>{ min ( N ) to min ( E ) and the corner cell in W N to min (S)</p><p>or</p><p>2)</p><p>{ max ( W ) to max ( S ) and max ( N ) to the corner cell in S E</p><p>or</p><p>3)</p><p>{ max ( N ) to max ( E ) and max ( W ) to the corner cell in S E</p><p>or</p><p>4)</p><p>{ min ( W ) to min ( S ) and the corner cell in W N to min (E)</p><p>or</p><p>5)</p><p>{ max ( N ) to max ( E ) and the corner cell in W N to min ( S ) and 2 L -path starting by a south step from min ( N ) to the corner cell in S E</p><p>or</p><p>6)</p><p>{ min ( W ) to min ( S ) and max ( N ) to the corner cell in S E and 2 L -path starting by asouth step from the corner cellin W N to max (S)</p><p>or</p><p>7)</p><p>{ min ( W ) to min ( S ) and max ( N ) to max ( E ) and 2 L -path starting by asouth step from the corner cellin W N to the corner cell in S E</p><p>Proof. Similar reasoning as in Theorem 2 (see <xref ref-type="fig" rid="fig1">Figure 1</xref>3 and <xref ref-type="fig" rid="fig1">Figure 1</xref>4).</p><p>Corollary 3. If P satisfies the conditions of Theorem 3, then P is in the class δ 2 L 1,1 and hence in the class α 2 L 1,1 .</p><p>Theorem 4. Let P be a convex polyomino in the class Δ 1,1 , P is 2-convex if and only if there exists an L-path from</p><p>1)</p><p>{ min ( W ) to min ( S ) and the corner cell in W N to min (E)</p><p>or</p><p>2)</p><p>{ max ( N ) to max ( E ) and max ( W ) to the corner cell in S E</p><p>or</p><p>3)</p><p>{ max ( W ) to max ( S ) and max ( N ) to the corner cell in S E</p><p>or</p><p>4)</p><p>{ min ( N ) to min ( E ) and the corner cell in W N to min (S)</p><p>or</p><p>5)</p><p>{ max ( W ) to max ( S ) and the corner cell in W N to min ( E ) and 2 L -pathstartingbyaneaststepfrom min ( W ) to the corner cell in S E</p><p>or</p><p>6)</p><p>{ min ( N ) to min ( E ) and max ( W ) to the corner cell in S E and 2 L -path starting by an east step from the corner cellin W N to max (E)</p><p>or</p><p>7)</p><p>{ min ( N ) to min ( E ) and max ( W ) to max ( S ) and 2 L -path starting by an east step from the corner cellin W N to the corner cell inSE</p><p>Proof. Similar reasoning as in Theorem 2 (see <xref ref-type="fig" rid="fig1">Figure 1</xref>5 and <xref ref-type="fig" rid="fig1">Figure 1</xref>6). □</p><p>Corollary 4. If P satisfies the conditions of Theorem 4, then P is in the class Δ 2 L 1,1 and hence in the class α 2 L 1,1 .</p><p>Theorem 5. Let P be a convex polyomino in the class χ 1,1 , P is 2-convex if and only if there exists an L-path from</p><p>1)</p><p>{ max ( N ) to max ( E ) and max ( W ) to the corner cell in S E</p><p>or</p><p>2)</p><p>{ min ( N ) to min ( E ) and min ( W ) to the corner cell in S E and 2 L -path starting by an east step from the corner cellin W N to max (E)</p><p>or</p><p>3)</p><p>{ min ( N ) to min ( E ) and the corner cell in W N to min (S)</p><p>or</p><p>4)</p><p>{ max ( N ) to max ( E ) and the corner cell in W N to min ( S ) and 2 L -path starting by a south step from min ( N ) to the corner cell in S E</p><p>or</p><p>5)</p><p>{ max ( W ) to max ( S ) and max ( N ) to the corner cell in S E</p><p>or</p><p>6)</p><p>{ min ( W ) to min ( S ) and max ( N ) to the corner cell in S E and 2 L -path starting by asouth step from the corner cellin W N to max (S)</p><p>or</p><p>7)</p><p>{ min ( W ) to min ( S ) and the corner cell in W N to min (E)</p><p>or</p><p>8)</p><p>{ max ( W ) to max ( S ) and the corner cell in W N to min ( E ) and 2 L -pathstartingbyaneaststepfrom min ( W ) to the corner cell in S E</p><p>or</p><p>9)</p><p>{ max ( W ) to max ( S ) and min ( N ) to min ( E ) and 2 L -path starting by an east step from the corner cellin W N to the corner cell in S E</p><p>or</p><p>10)</p><p>{ max ( W ) to max ( S ) and max ( N ) to max ( E ) and 2 L -path starting by an east step from to th ecorner cellin W N to the corner cell in S E and 2 L -path starting by a south step from min ( N ) to the corner cell in S E</p><p>or</p><p>11)</p><p>{ min ( W ) to min ( S ) and min ( N ) to min ( E ) and 2 L -path starting by an east step from to th ecorner cellin W N to the corner cell in S E and 2 L -path starting by asouth step from the corner cellin W N to max (S)</p><p>or</p><p>12)</p><p>{ max ( N ) to max ( E ) and min ( W ) to min ( S ) and 2 L -path starting by asouth step from the corner cellin W N tothecornercell in S E</p><p>or</p><p>13)</p><p>{ max ( W ) to max ( S ) and max ( N ) to max ( E ) and 2 L -path starting by asouth step from the corner cellin W N tothecornercell in S E and 2 L -pathstartingbyaneaststepfrom min ( W ) to the corner cell in S E</p><p>or</p><p>14)</p><p>{ min ( W ) to min ( S ) and min ( N ) to min ( E ) and 2 L -path starting by asouth step from the corner cellin W N to the corner cell in S E and 2 L -path starting by an east step from the corner cellin W N to max (E)</p><p>Proof. Similar reasoning as in Theorem 2 (see Figures 17-20). □</p><p>Corollary 5. If P satisfies the conditions of Theorem 5, then P is in the class χ 2 L 1,1 and hence in the class α 2 L 1,1 .</p></sec><sec id="s4"><title>4. Final Comments</title><p>This study showed that 32 geometries are necessary to characterize all 2-convex polyominoes in the class α 1,1 where the upper left corner and the lower right corner each contains only one cell. Also this study is a theoretical step for the reconstruction of the sub-class α 2 L 1,1 . In the spirit of discrete tomography, the design of a reconstruction algorithm for such polyominoes would be the subject of a future article.</p></sec><sec id="s5"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s6"><title>Cite this paper</title><p>Tawbe, K., Ghandour, N. and Atwi, A. (2019) 2-Convex Polyominoes: Non-Empty Corners. Open Journal of Discrete Mathematics, 9, 33-51. https://doi.org/10.4236/ojdm.2019.92005</p></sec></body><back><ref-list><title>References</title><ref id="scirp.90970-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Barcucci, E., Del Lungo, A., Nivat, M. and Pinzani, R. (1996) Reconstructing Convex Polyominoes from Horizontal and Vertical Projections. Theoretical Computer Science, 155, 321-347. https://doi.org/10.1016/0304-3975(94)00293-2</mixed-citation></ref><ref id="scirp.90970-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Brunetti, S. and Daurat, A. (2005) Random Generation of Q-Convex Sets. Theoretical Computer Science, 347, 393-414. https://doi.org/10.1016/j.tcs.2005.06.033</mixed-citation></ref><ref id="scirp.90970-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Castiglione, G., Restivo, A. and Vaglica, R. (2006) A Reconstruction Algorithm for L-Convex Polyominoes. Theoretical Computer Science, 356, 58-72.https://doi.org/10.1016/j.tcs.2006.01.045</mixed-citation></ref><ref id="scirp.90970-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Tawbe, K. and Vuillon, L. (2011) 2L-Convex Polyominoes: Geometrical Aspects. Contributions to Discrete Mathematics, 6, 1-25.</mixed-citation></ref><ref id="scirp.90970-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Tawbe, K. and Vuillon, L. (2013) 2L-Convex Polyominoes: Tomographical Aspects. Contributions to Discrete Mathematics, 8, 1-12.</mixed-citation></ref><ref id="scirp.90970-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Castiglione, G., Frosini, A., Munarini, E., Restivo, A. and Rinaldi, S. (2007) Combinatorial Aspects of L-Convex Polyominoes. European Journal of Combinatorics, 28, 1724-1741. https://doi.org/10.1016/j.ejc.2006.06.020</mixed-citation></ref><ref id="scirp.90970-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Castiglione, G. and Restivo, A. (2003) Reconstruction of L-Convex Polyominoes. Electronic Notes in Discrete Mathematics, 12.</mixed-citation></ref><ref id="scirp.90970-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Chrobak, M. and Dürr, C. (1999) Reconstructing hv-Convex Polyominoes from Orthogonal Projections. Information Processing Letters, 69, 283-289. https://doi.org/10.1016/S0020-0190(99)00025-3</mixed-citation></ref></ref-list></back></article>