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 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 Monoidal-closed categories of tree automata

2020 ◽  
Vol 30 (1) ◽  
pp. 62-117
Author(s):  
Colin Riba
Keyword(s):  
Linear Logic ◽  
Tree Automata ◽  
Sequential Games ◽  
Infinite Trees ◽  
Alternating Tree Automata ◽  
Deduction Rules ◽  
New Perspective ◽  
Alternating Automata ◽  
Second Order Logic ◽  
Monadic Second Order Logic

AbstractThis paper surveys a new perspective on tree automata and Monadic second-order logic (MSO) on infinite trees. We show that the operations on tree automata used in the translations of MSO-formulae to automata underlying Rabin’s Tree Theorem (the decidability of MSO) correspond to the connectives of Intuitionistic Multiplicative Exponential Linear Logic (IMELL). Namely, we equip a variant of usual alternating tree automata (that we call uniform tree automata) with a fibered monoidal-closed structure which in particular handles a linear complementation of alternating automata. Moreover, this monoidal structure is actually Cartesian on non-deterministic automata, and an adaptation of a usual construction for the simulation of alternating automata by non-deterministic ones satisfies the deduction rules of the !(–) exponential modality of IMELL. (But this operation is unfortunately not a functor because it does not preserve composition.) Our model of IMLL consists in categories of games which are based on usual categories of two-player linear sequential games called simple games, and which generalize usual acceptance games of tree automata. This model provides a realizability semantics, along the lines of Curry–Howard proofs-as-programs correspondence, of a linear constructive deduction system for tree automata. This realizability semantics, which can be summarized with the slogan “automata as objects, strategies as morphisms,” satisfies an expected property of witness extraction from proofs of existential statements. Moreover, it makes it possible to combine realizers produced as interpretations of proofs with strategies witnessing (non-)emptiness of tree automata.

scholarly journals Fast separation in a graph with an excluded minor

2005 ◽  
Vol DMTCS Proceedings vol. AE,... (Proceedings) ◽  
Author(s):  
Bruce Reed ◽  
David R. Wood
Keyword(s):  
Open Problem ◽  
Time Algorithm ◽  
Total Weight ◽  
Running Time ◽  
Fast Separation ◽  
Edge Graph ◽  
Excluded Minor ◽  
International Audience ◽  
Vertex Sets

International audience Let $G$ be an $n$-vertex $m$-edge graph with weighted vertices. A pair of vertex sets $A,B \subseteq V(G)$ is a $\frac{2}{3} - \textit{separation}$ of $\textit{order}$ $|A \cap B|$ if $A \cup B = V(G)$, there is no edge between $A \backslash B$ and $B \backslash A$, and both $A \backslash B$ and $B \backslash A$ have weight at most $\frac{2}{3}$ the total weight of $G$. Let $\ell \in \mathbb{Z}^+$ be fixed. Alon, Seymour and Thomas [$\textit{J. Amer. Math. Soc.}$ 1990] presented an algorithm that in $\mathcal{O}(n^{1/2}m)$ time, either outputs a $K_\ell$-minor of $G$, or a separation of $G$ of order $\mathcal{O}(n^{1/2})$. Whether there is a $\mathcal{O}(n+m)$ time algorithm for this theorem was left as open problem. In this paper, we obtain a $\mathcal{O}(n+m)$ time algorithm at the expense of $\mathcal{O}(n^{2/3})$ separator. Moreover, our algorithm exhibits a tradeoff between running time and the order of the separator. In particular, for any given $\epsilon \in [0,\frac{1}{2}]$, our algorithm either outputs a $K_\ell$-minor of $G$, or a separation of $G$ with order $\mathcal{O}(n^{(2-\epsilon )/3})$ in $\mathcal{O}(n^{1+\epsilon} +m)$ time.

scholarly journals On the Book Thickness of k-Trees

2011 ◽  
Vol Vol. 13 no. 3 (Graph and Algorithms) ◽  
Author(s):  
Vida Dujmović ◽  
David R. Wood
Keyword(s):  
Open Problem ◽  
Discrete Math ◽  
Tree Decomposition ◽  
International Audience

Graphs and Algorithms International audience Every k-tree has book thickness at most k + 1, and this bound is best possible for all k \textgreater= 3. Vandenbussche et al. [SIAM J. Discrete Math., 2009] proved that every k-tree that has a smooth degree-3 tree decomposition with width k has book thickness at most k. We prove this result is best possible for k \textgreater= 4, by constructing a k-tree with book thickness k + 1 that has a smooth degree-4 tree decomposition with width k. This solves an open problem of Vandenbussche et al.

scholarly journals Combinatorial Reciprocity for Monotone Triangles

2012 ◽  
Vol DMTCS Proceedings vol. AR,... (Proceedings) ◽  
Author(s):  
Ilse Fischer ◽  
Lukas Riegler
Keyword(s):  
Open Problem ◽  
Alternating Sign Matrices ◽  
Combinatorial Objects ◽  
Bijective Proof ◽  
International Audience ◽  
One To One

International audience The number of Monotone Triangles with bottom row $k_1 < k_2 < ⋯< k_n$ is given by a polynomial $\alpha (n; k_1,\ldots,k_n)$ in $n$ variables. The evaluation of this polynomial at weakly decreasing sequences $k_1 ≥k_2 ≥⋯≥k_n $turns out to be interpretable as signed enumeration of new combinatorial objects called Decreasing Monotone Triangles. There exist surprising connections between the two classes of objects – in particular it is shown that $\alpha (n;1,2,\ldots,n) = \alpha (2n; n,n,n-1,n-1,\ldots,1,1)$. In perfect analogy to the correspondence between Monotone Triangles and Alternating Sign Matrices, the set of Decreasing Monotone Triangles with bottom row $(n,n,n-1,n-1,\ldots,1,1)$ is in one-to-one correspondence with a certain set of ASM-like matrices, which also play an important role in proving the claimed identity algebraically. Finding a bijective proof remains an open problem. Le nombre de Triangles Monotones ayant pour dernière ligne $k_1 < k_2 < ⋯< k_n$ est donné par un polynôme $\alpha (n; k_1,\ldots,k_n)$ en $n$ variables. Il se trouve que les valeurs de ce polynôme en les suites décroissantes $k_1 ≥k_2 ≥⋯≥k_n$ peuvent s'interpréter comme l'énumération signée de nouveaux objets appelés Triangles Monotones Décroissants. Il existe des liens surprenants entre ces deux classes d'objets – en particulier on prouvera l'identité $\alpha (n;1,2,\ldots,n) = \alpha (2n; n,n,n-1,n-1,\ldots,1,1)$. En parfaite analogie avec la correspondance entre Triangles Monotones et Matrices à Signe Alternant, l'ensemble des Triangles Monotones Décroissants ayant pour dernière ligne $(n,n,n-1,n-1,\ldots,1,1)$ est en correspondance biunivoque avec un certain ensemble de matrices similaires aux MSAs, ce qui joue un rôle important dans la preuve algébrique de l'identité précédente. C'est un problème ouvert que d'en donner une preuve bijective.

scholarly journals On an open problem of Green and Losonczy: exact enumeration of freely braided permutations

2004 ◽  
Vol Vol. 6 no. 2 ◽  
Author(s):  
Toufik Mansour
Keyword(s):  
Representation Theory ◽  
Generating Function ◽  
Coxeter Group ◽  
Upper Bound ◽  
Open Problem ◽  
Special Class ◽  
Exact Enumeration ◽  
Restricted Permutations ◽  
International Audience ◽  
Freely Braided

International audience Recently, Green and Losonczy~GL1,GL2 introduced \emphfreely braided permutation as a special class of restricted permutations has arisen in representation theory. The freely braided permutations were introduced and studied as the upper bound for the number of commutation classes of reduced expressions for an element of a simply laced Coxeter group is achieved if and only if when the element is freely braided. In this paper, we prove that the generating function for the number of freely braided permutations in S_n is given by \par (1-3x-2x^2+(1+x)√1-4x) / (1-4x-x^2+(1-x^2)√1-4x).\par

scholarly journals Krausz dimension and its generalizations in special graph classes

2013 ◽  
Vol Vol. 15 no. 1 (Graph Theory) ◽  
Author(s):  
Olga Glebova ◽  
Yury Metelsky ◽  
Pavel Skums
Keyword(s):  
Open Problem ◽  
Chordal Graphs ◽  
Np Hard ◽  
Induced Subgraphs ◽  
Fixed Parameter Tractable ◽  
Graph Classes ◽  
Fixed Parameter ◽  
Minimum Number ◽  
International Audience ◽  
Split Graphs

Graph Theory International audience A Krausz (k,m)-partition of a graph G is a decomposition of G into cliques, such that any vertex belongs to at most k cliques and any two cliques have at most m vertices in common. The m-Krausz dimension kdimm(G) of the graph G is the minimum number k such that G has a Krausz (k,m)-partition. In particular, 1-Krausz dimension or simply Krausz dimension kdim(G) is a well-known graph-theoretical parameter. In this paper we prove that the problem "kdim(G)≤3" is polynomially solvable for chordal graphs, thus partially solving the open problem of P. Hlineny and J. Kratochvil. We solve another open problem of P. Hlineny and J. Kratochvil by proving that the problem of finding Krausz dimension is NP-hard for split graphs and complements of bipartite graphs. We show that the problem of finding m-Krausz dimension is NP-hard for every m≥1, but the problem "kdimm(G)≤k" is is fixed-parameter tractable when parameterized by k and m for (∞,1)-polar graphs. Moreover, the class of (∞,1)-polar graphs with kdimm(G)≤k is characterized by a finite list of forbidden induced subgraphs for every k,m≥1.

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 Nonrepetitive colorings of graphs

2005 ◽  
Vol DMTCS Proceedings vol. AE,... (Proceedings) ◽  
Author(s):  
Noga Alon ◽  
Jaroslaw Grytczuk
Keyword(s):  
20Th Century ◽  
Open Problem ◽  
Planar Graphs ◽  
Periodic Sequence ◽  
Simple Path ◽  
Vertex Coloring ◽  
Graph Colorings ◽  
Interesting Open Problem ◽  
Minimum Number ◽  
International Audience

International audience A vertex coloring of a graph $G$ is $k \textit{-nonrepetitive}$ if one cannot find a periodic sequence with $k$ blocks on any simple path of $G$. The minimum number of colors needed for such coloring is denoted by $\pi _k(G)$ . This idea combines graph colorings with Thue sequences introduced at the beginning of 20th century. In particular Thue proved that if $G$ is a simple path of any length greater than $4$ then $\pi _2(G)=3$ and $\pi_3(G)=2$. We investigate $\pi_k(G)$ for other classes of graphs. Particularly interesting open problem is to decide if there is, possibly huge, $k$ such that $\pi_k(G)$ is bounded for planar graphs.

Sign in / Sign up

Export Citation Format

Share Document