scholarly journals Two player game variant of the Erd\H os-Szekeres problem

2013 ◽  
Vol Vol. 15 no. 3 (Combinatorics) ◽  
Author(s):  
Parikshit Kolipaka ◽  
Sathish Govindarajan
Keyword(s):  
Open Problem ◽  
Winning Strategy ◽  
Asymptotic Bounds ◽  
Empty Convex ◽  
International Audience ◽  
Player Game ◽  
Point Set ◽  
Interior Points

Combinatorics International audience The classical Erd˝os-Szekeres theorem states that a convex k-gon exists in every sufficiently large point set. This problem has been well studied and finding tight asymptotic bounds is considered a challenging open problem. Several variants of the Erd˝os-Szekeres problem have been posed and studied in the last two decades. The well studied variants include the empty convex k-gon problem, convex k-gon with specified number of interior points and the chromatic variant. In this paper, we introduce the following two player game variant of the Erdös-Szekeres problem: Consider a two player game where each player playing in alternate turns, place points in the plane. The objective of the game is to avoid the formation of the convex k-gon among the placed points. The game ends when a convex k-gon is formed and the player who placed the last point loses the game. In our paper we show a winning strategy for the player who plays second in the convex 5-gon game and the empty convex 5-gon game by considering convex layer configurations at each step. We prove that the game always ends in the 9th step by showing that the game reaches a specific set of configurations

scholarly journals Tiling Periodicity

2010 ◽  
Vol Vol. 12 no. 2 ◽  
Author(s):  
Juhani Karhumaki ◽  
Yury Lifshits ◽  
Wojciech Rytter
Keyword(s):  
Open Problem ◽  
Classical Case ◽  
Side Product ◽  
Compact Representation ◽  
Minimal Size ◽  
Partial Word ◽  
International Audience ◽  
New Type

International audience We contribute to combinatorics and algorithmics of words by introducing new types of periodicities in words. A tiling period of a word w is partial word u such that w can be decomposed into several disjoint parallel copies of u, e.g. a lozenge b is a tiling period of a a b b. We investigate properties of tiling periodicities and design an algorithm working in O(n log (n) log log (n)) time which finds a tiling period of minimal size, the number of such minimal periods and their compact representation. The combinatorics of tiling periods differs significantly from that for classical full periods, for example unlike the classical case the same word can have many different primitive tiling periods. We consider also a related new type of periods called in the paper multi-periods. As a side product of the paper we solve an open problem posted by T. Harju (2003).

scholarly journals Separating the k-party communication complexity hierarchy: an application of the Zarankiewicz problem

2011 ◽  
Vol Vol. 13 no. 4 ◽  
Author(s):  
Thomas P. Hayes
Keyword(s):  
Positive Integer ◽  
Open Problem ◽  
Communication Complexity ◽  
60Th Birthday ◽  
Equal Size ◽  
Special Issue ◽  
Algorithms And Complexity ◽  
International Audience ◽  
Zarankiewicz Problem ◽  
Complexity Hierarchy

special issue in honor of Laci Babai's 60th birthday: Combinatorics, Groups, Algorithms, and Complexity International audience For every positive integer k, we construct an explicit family of functions f : \0, 1\(n) -\textgreater \0, 1\ which has (k + 1) - party communication complexity O(k) under every partition of the input bits into k + 1 parts of equal size, and k-party communication complexity Omega (n/k(4)2(k)) under every partition of the input bits into k parts. This improves an earlier hierarchy theorem due to V. Grolmusz. Our construction relies on known explicit constructions for a famous open problem of K. Zarankiewicz, namely, to find the maximum number of edges in a graph on n vertices that does not contain K-s,K-t as a subgraph.

scholarly journals Packing Plane Perfect Matchings into a Point Set

2015 ◽  
Vol Vol. 17 no.2 (Graph Theory) ◽  
Author(s):  
Ahmad Biniaz ◽  
Prosenjit Bose ◽  
Anil Maheshwari ◽  
Michiel Smid
Keyword(s):  
Lower Bound ◽  
General Position ◽  
Perfect Matchings ◽  
Point Sets ◽  
Exact Answer ◽  
International Audience ◽  
Point Set

International audience Given a set $P$ of $n$ points in the plane, where $n$ is even, we consider the following question: How many plane perfect matchings can be packed into $P$? For points in general position we prove the lower bound of &#x230A;log<sub>2</sub>$n$&#x230B;$-1$. For some special configurations of point sets, we give the exact answer. We also consider some restricted variants of this problem.

scholarly journals Edge-Removal and Non-Crossing Configurations in Geometric Graphs

2010 ◽  
Vol Vol. 12 no. 1 (Graph and Algorithms) ◽  
Author(s):  
Oswin Aichholzer ◽  
Sergio Cabello ◽  
Ruy Fabila-Monroy ◽  
David Flores-Peñaloza ◽  
Thomas Hackl ◽  
...  
Keyword(s):  
Extremal Problem ◽  
General Position ◽  
Geometric Graph ◽  
Perfect Matchings ◽  
Geometric Graphs ◽  
Line Segments ◽  
Straight Line ◽  
Edge Removal ◽  
International Audience ◽  
Point Set

Graphs and Algorithms International audience A geometric graph is a graph G = (V, E) drawn in the plane, such that V is a point set in general position and E is a set of straight-line segments whose endpoints belong to V. We study the following extremal problem for geometric graphs: How many arbitrary edges can be removed from a complete geometric graph with n vertices such that the remaining graph still contains a certain non-crossing subgraph. The non-crossing subgraphs that we consider are perfect matchings, subtrees of a given size, and triangulations. In each case, we obtain tight bounds on the maximum number of removable edges.

scholarly journals Karp-Miller Trees for a Branching Extension of VASS

2005 ◽  
Vol Vol. 7 ◽  
Author(s):  
Kumar Neeraj Verma ◽  
Jean Goubault-Larrecq
Keyword(s):  
Open Problem ◽  
Linear Logic ◽  
Tree Automata ◽  
Vector Addition ◽  
International Audience ◽  
Independent Work

International audience We study BVASS (Branching VASS) which extend VASS (Vector Addition Systems with States) by allowing addition transitions that merge two configurations. Runs in BVASS are tree-like structures instead of linear ones as for VASS. We show that the construction of Karp-Miller trees for VASS can be extended to BVASS. This entails that the coverability set for BVASS is computable. This allows us to obtain decidability results for certain classes of equational tree automata with an associative-commutative symbol. Recent independent work by de Groote et al. implies that decidability of reachability in BVASS is equivalent to decidability of provability in MELL (multiplicative exponential linear logic), which is still an open problem. Hence our results are also a step towards answering this question in the affirmative.

scholarly journals The game of arboricity

2005 ◽  
Vol DMTCS Proceedings vol. AE,... (Proceedings) ◽  
Author(s):  
Tomasz Bartnicki ◽  
Jaroslaw Grytczuk ◽  
Hal Kierstead
Keyword(s):  
Upper Bound ◽  
Winning Strategy ◽  
Minimum Size ◽  
Vertex Coloring ◽  
Fixed Set ◽  
International Audience

International audience Using a fixed set of colors $C$, Ann and Ben color the edges of a graph $G$ so that no monochromatic cycle may appear. Ann wins if all edges of $G$ have been colored, while Ben wins if completing a coloring is not possible. The minimum size of $C$ for which Ann has a winning strategy is called the $\textit{game arboricity}$ of $G$, denoted by $A_g(G)$. We prove that $A_g(G) \leq 3k$ for any graph $G$ of arboricity $k$, and that there are graphs such that $A_g(G) \geq 2k-2$. The upper bound is achieved by a suitable version of the activation strategy, used earlier for the vertex coloring game. We also provide other strategie based on induction.

scholarly journals Enumerating Triangulations of Convex Polytopes

2001 ◽  
Vol DMTCS Proceedings vol. AA,... (Proceedings) ◽  
Author(s):  
Sergei Bespamyatnikh
Keyword(s):  
Convex Hull ◽  
Simplicial Complex ◽  
Convex Polytopes ◽  
Three Dimensions ◽  
Finite Point ◽  
Convex Position ◽  
International Audience ◽  
Point Set

International audience A triangulation of a finite point set A in $\mathbb{R}^d$ is a geometric simplicial complex which covers the convex hull of $A$ and whose vertices are points of $A$. We study the graph of triangulations whose vertices represent the triangulations and whose edges represent geometric bistellar flips. The main result of this paper is that the graph of triangulations in three dimensions is connected when the points of $A$ are in convex position. We introduce a tree of triangulations and present an algorithm for enumerating triangulations in $O(log log n)$ time per triangulation.

Cell Growth Problems

1967 ◽  
Vol 19 ◽  
pp. 851-863 ◽  
Author(s):  
David A. Klarner
Keyword(s):  
Cell Growth ◽  
Equivalence Class ◽  
Equivalence Classes ◽  
Lattice Points ◽  
The Other ◽  
Square Lattice ◽  
Cut Set ◽  
Point Set ◽  
Infinite Set ◽  
Interior Points

The square lattice is the set of all points of the plane whose Cartesian coordinates are integers. A cell of the square lattice is a point-set consisting of the boundary and interior points of a unit square having its vertices at lattice points. An n-omino is a union of n cells which is connected and has no finite cut set.The set of all n-ominoes, Rn is an infinite set for each n; however, we are interested in the elements of two finite sets of equivalence classes, Sn and Tn, which are defined on the elements of Rn as follows: Two elements of Rn belong to the same equivalence class (i) in Sn, or (ii) in Tn, if one can be transformed into the other by (i) a translation or (ii) by a translation, rotation, and reflection of the plane.

Sign in / Sign up

Export Citation Format

Share Document