Sandwich problem for Π - and ∆ -free multigraphs and its applications to positional games

An n -multigraph G = ( V ; E i ? i ? I ) is a complete graph G = ( V , E ) whose edges are covered by n = | I | sets, E = ? i ? I E i , some of which might be empty. If this cover is a partition, then G is called an n -graph. We say that an n -graph G ' = ( V ; E i ' ? i ? I ) is an edge subgraph of an n -multigraph G = ( V ; E i ? i ? I ) if E i ' ? E i for all i ? I . We denote by Δ the n -graph on three vertices with three nonempty sets each containing a single edge, and by ? the four-vertex n -graph with two non-empty sets each of which contains the edges of a P 4 . In this paper, we recognize in polynomial time whether a given n -multigraph G contains a ? - and Δ -free n -subgraph, or not, and if yes, provide a polynomial delay algorithm generating all such subgraphs. The above decision problem can be viewed as a generalization of the sandwich problem for P 4 -free graphs solved by Golumbic et al. (1995).As a motivation and application, we consider the n -person positional game forms, which are known to be in a one-to-one correspondence with the ? - and Δ -free n -graphs. Given a game form g , making use of the above result, we recognize in polynomial time whether g is a subform of a positional (that is, tight and rectangular) game form and, if yes, we generate with polynomial delay all such positional extensions of g .

[1]  Thomas Eiter,et al.  Exact Transversal Hypergraphs and Application to Boolean µ-Functions , 1994, J. Symb. Comput..

[2]  Vladimir Gurvich,et al.  Boolean Functions: Read-once functions , 2011 .

[3]  Vladimir Gurvich,et al.  On effectivity functions of game forms , 2010, Games Econ. Behav..

[4]  Mihalis Yannakakis,et al.  On Generating All Maximal Independent Sets , 1988, Inf. Process. Lett..

[5]  Vladimir Gurvich,et al.  Not complementary connected and not CIS d-graphs form weakly monotone families , 2010, Discret. Math..

[6]  Michael E. Saks,et al.  Combinatorial characterization of read-once formulae , 1993, Discret. Math..

[7]  Gábor Simonyi,et al.  Edge colorings of complete graphs without tricolored triangles , 2004, J. Graph Theory.

[8]  Peter L. Hammer,et al.  Boolean Functions , 2013, Discrete Applied Mathematics.

[9]  V. Gurvich The solvability of positional games in pure strategies , 1975 .

[10]  Stefan Wrobel,et al.  Listing closed sets of strongly accessible set systems with applications to data , 2010, LWA.

[11]  Pierre Ille Indecomposable graphs , 1997, Discret. Math..

[12]  András Gyárfás,et al.  Edge colorings of complete graphs without tricolored triangles , 2004 .

[13]  T. Gallai Transitiv orientierbare Graphen , 1967 .

[14]  Vladimir Gurvich,et al.  On exact blockers and anti-blockers, Δ-conjecture, and related problems , 2011, Discret. Appl. Math..

[15]  H. W. Kuhn,et al.  11. Extensive Games and the Problem of Information , 1953 .

[16]  Fan Chung Graham,et al.  Edge-colored complete graphs with precisely colored subgraphs , 1983, Comb..

[17]  D. Seinsche On a property of the class of n-colorable graphs , 1974 .

[18]  Vladimir Gurvich,et al.  Decomposing complete edge-chromatic graphs and hypergraphs. Revisited , 2009, Discret. Appl. Math..

[19]  V. Gurvich Decomposing complete edge-chromatic graphs and hypergraphs , 2007 .

[20]  Vladimir Gurvich,et al.  Vertex- and edge-minimal and locally minimal graphs , 2009, Discret. Math..

[21]  Peter L. Hammer,et al.  Boolean Functions - Theory, Algorithms, and Applications , 2011, Encyclopedia of mathematics and its applications.

[22]  Leonid Khachiyan,et al.  On the Complexity of Dualization of Monotone Disjunctive Normal Forms , 1996, J. Algorithms.

[23]  O. Arenz Extensive Games , 2012 .

[24]  Martin Charles Golumbic,et al.  Graph Sandwich Problems , 1995, J. Algorithms.

[25]  Vladimir Gurvich,et al.  On CIS circulants , 2013, Discret. Math..

[26]  Иван Константинович Шаранхаев,et al.  О бесповторных булевых функциях в предэлементарных монотонных базисах@@@On repetition-free Boolean functions over pre-elementary monotone bases , 2009 .