Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Hardness of Permutation Pattern Matching
Permutation Pattern Matching (or PPM) is a decision problem whose input is a pair of permutations $π$ and $τ$, represented as sequences of integers, and the task is to determine whether $τ$ contains a subsequence order-isomorphic to $π$. Bose, Buss and Lubiw proved that PPM is NP-complete on general inputs.
We show that PPM is NP-complete even when $π$ has no decreasing subsequence of length 3 and $τ$ has no decreasing subsequence of length 4. This provides the first known example of PPM being hard when one or both of $π$ and $σ$ are restricted to a proper hereditary class of permutations.
This hardness result is tight in the sense that PPM is known to be polynomial when both $π$ and $τ$ avoid a decreasing subsequence of length 3, as well as when $π$ avoids a decreasing subsequence of length 2. The result is also tight in another sense: we will show that for any hereditary proper subclass C of the class of permutations avoiding a decreasing sequence of length 3, there is a polynomial algorithm solving PPM instances where $π$ is from C and $τ$ is arbitrary.
We also obtain analogous hardness and tractability results for the class of so-called skew-merged patterns.
From these results, we deduce a complexity dichotomy for the PPM problem restricted to $π$ belonging to $Av(ρ)$, where $Av(ρ)$ denotes the class of permutations avoiding a permutation $ρ$. Specifically, we show that the problem is polynomial when $ρ$ is in the set {1, 12, 21, 132, 213, 231, 312}, and it is NP-complete for any other $ρ$.
Line Percolation in Finite Projective Planes
Published
• View Publication
• BIB
We study combinatorial parameters of a recently introduced bootstrap percolation problem in finite projective planes. We present sharp results on the size of the minimum percolating sets and the maximal non-percolating sets. Additional results on the minimal and maximal percolation time as well as on the critical probability in the projective plane are also presented.
New Weighted Partition Theorems with the Emphasis on the Smallest Part of Partitions
Published
• View Publication
• BIB
We use the $q$-binomial theorem, the $q$-Gauss sum, and the ${}_2φ_1 \rightarrow {}_2φ_2$ transformation of Jackson to discover and prove many new weighted partition identities. These identities involve unrestricted partitions, overpartitions, and partitions with distinct even parts. Smallest part of the partitions plays an important role in our analysis. This work was motivated in part by the research of Krishna Alladi.
A distribution on triples with maximum entropy marginal
Published in Forum of Mathematics, Sigma 7 (2019) e46
• View Publication
• BIB
We construct an $S_3$-symmetric probability distribution on $\{(a,b,c) \in \mathbb{Z}_{\geq 0}^3 \: : \: a+b+c =n \}$ such that its marginal achieves the maximum entropy among all probability distributions on $\{0,1,\ldots,n\}$ with mean $n/3$. Existence of such a distribution verifies a conjecture of Kleinberg, Sawin and Speyer, which is motivated by the study of sum-free sets.
Impartial achievement games for generating generalized dihedral groups
Published in Australas. J. Combinatorics 68(3), 2017 (http://ajc.maths.uq.edu.au)
• Search Publication
We study an impartial game introduced by Anderson and Harary. This game is played by two players who alternately choose previously-unselected elements of a finite group. The first player who builds a generating set from the jointly-selected elements wins. We determine the nim-numbers of this game for generalized dihedral groups, which are of the form $\operatorname{Dih}(A)= \mathbb{Z}_2 \ltimes A$ for a finite abelian group $A$.
Dominating and Irredundant Broadcasts in Graphs
Published in Discrete Applied Math. 220 (2017), 80-90
• View Publication
• BIB
A broadcast on a nontrivial connected graph G=(V,E) is a function f from V(G) to {0,1,...,diam(G)} such that f(v) does not exceed the eccentricity of v. The cost of f is the sum of the function values. A broadcast f is dominating if each vertex of G is at distance at most f(v) from a vertex v with positive f(v).
We use properties of minimal dominating broadcasts to define the concept of an irredundant broadcast on G. We determine conditions under which an irredundant broadcast is maximal irredundant. Denoting the minimum costs of dominating and maximal irredundant broadcasts by gamma_{b}(G) and ir_{b}(G) respectively, the definitions imply that ir_{b}(G) is bounded above by gamma_{b}(G) for all graphs. We show that gamma_{b} in turn is bounded above by (5/4)ir_{b}(G) for all graphs G.
We also briefly consider the upper broadcast number Gamma_{b}(G) and upper irredundant broadcast number IR_{b}(G), and illustrate that the ratio IR_{b} to Gamma_{b} is unbounded for general graphs.
A Functorial Link between Quivers and Hypergraphs
This paper discusses some issues arising from the category $\mathfrak{H}$ of hypergraphs, the category $\mathfrak{M}$ of (undirected) multigraphs, and the topos $\mathfrak{Q}$ of quivers. First, the natural inclusion of $\mathfrak{M}$ into $\mathfrak{H}$ admits a right adjoint functor by deleting all nontraditional edges. Dually, the operations of taking the underlying multigraph of a quiver and taking the associated digraph of a multigraph form an adjoint pair between $\mathfrak{M}$ and $\mathfrak{Q}$.
On the other hand, neither $\mathfrak{H}$ nor $\mathfrak{M}$ is cartesian closed, meaning that neither is a topos like $\mathfrak{Q}$. Moreover, despite $\mathfrak{M}$ being a subcategory of $\mathfrak{H}$, $\mathfrak{H}$ does not have enough projective objects while $\mathfrak{M}$ admits a projective cover for every object.
A note on nearly platonic graphs
A nearly platonic graph is a k-regular simple planar graph in which all but a small number of the faces have the same degree. We show that it is impossible for a finite graph to have exactly one disparate face, and offer some conjectures, including the conjecture that graphs with two disparate faces come in a small set of families.
Equivalent characterizations of the spectra of graphs and applications to measures of distance-regularity
Published
• View Publication
• BIB
As it is well known, the spectrum $ {\rm sp\,} Γ$ (of the adjacency matrix $A$) of a graph $Γ$, with $d$ distinct eigenvalues other than its spectral radius $λ_0$, usually provides a lot of information about the structure of $G$. Moreover, from ${\rm sp\,}Γ$ we can define the so-called predistance polynomials $p_0,\ldots,p_d\in {\mathbb R}_d[x]$, with ${\rm dgr\,} p_i=i$, $i=0,\ldots,d$, which are orthogonal with respect to the scalar product $\langle f, g\rangle_Γ =\frac{1}{n}{\rm tr\,}(f(A)g(A))$ and normalized in such a way that $\|p_i\|_Γ^2=p_i(λ_0)$. They can be seen as a generalization for any graph of the distance polynomials of a distance-regular graph. Going further, we consider the preintersection numbers $ξ_{ij}^h$ for $i,j,h\in\{0,\ldots,d\}$, which generalize the intersection numbers of a distance-regular graph, and they are the Fourier coefficients of $p_ip_j$ in terms of the basis $\{p_h\}_{0\le h\le d}$. The aim of this paper is to show that, for any graph $Γ$, the information contained in its spectrum, predistance polynomials, and preintersection numbers is equivalent. Also, we give some characterizations of distance-regularity which are based on the above concepts. For instance, we comment upon the so-called spectral excess theorem stating that a connected regular graph $G$ is distance-regular if and only if its spectral excess, which is the value of $p_d$ at $λ_0$, equals the average excess, that is, the mean of the numbers of vertices at extremal distance $d$ from every vertex.
Determinants of Rising Powers of Second Order Linear Recurrence Entries by Means of the Desnanot-Jacobi Identity
Published
• View Publication
• BIB
We apply the Desnanot-Jacobi identity to give an alternative proof of the determinants whose entries are rising powers of the Fibonacci numbers given by Prodinger. We then generalize the determinants to include entries that are rising powers of the terms in a second order linear recurrence.
The $k$-proper index of complete bipartite and complete multipartite graphs
Let $G$ be a nontrivial connected graph of order $n$ with an edge-coloring $c:E(G)\rightarrow\{1,2,\dots,t\}$,$t\in\mathbb{N}$, where adjacent edges may be colored with the same color. A tree $T$ in $G$ is a \emph{proper tree} if no two adjacent edges of it are assigned the same color. Let $k$ be a fixed integer with $2\leq k\leq n$. For a vertex subset $S\subseteq V(G)$ with $|S|\geq 2$, a tree is called an \emph{$S$-tree} if it connects $S$ in $G$ . A \emph{$k$-proper coloring} of $G$ is an edge-coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a proper $S$-tree $T$ in $G$. The minimum number of colors that are needed in a $k$-proper coloring of $G$ is defined as the \emph{$k$-proper index} of $G$, denoted by $px_k(G)$. In this paper, we determine the 3-proper index of all complete bipartite and complete multipartite graphs and partially determine the $k$-proper index of them for $k\geq 4$.
Monochromatic Solutions to Systems of Exponential Equations
Published
• View Publication
• BIB
Let $n\in \mathbb{N}$, $R$ be a binary relation on $[n]$, and $C_1(i,j),\ldots,C_n(i,j) \in \mathbb{Z}$, for $i,j \in [n]$. We define the exponential system of equations $\mathcal{E}(R,(C_k(i,j)_{i,j,k})$ to be the system \[ X_i^{Y_1^{C_1(i,j)} \cdots Y_n^{C_n(i,j)} } = X_j , \text{ for } (i,j) \in R ,\] in variables $X_1,\ldots,X_n,Y_1,\ldots,Y_n$. The aim of this paper is to classify precisely which of these systems admit a monochromatic solution ($X_i,Y_i \not=1)$ in an arbitrary finite colouring of the natural numbers. This result could be viewed as an analogue of Rado's theorem for exponential patterns.
Existence of Modeling Limits for Sequences of Sparse Structures
A sequence of graphs is FO-convergent if the probability of satisfaction of every first-order formula converges. A graph modeling is a graph, whose domain is a standard probability space, with the property that every definable set is Borel. It was known that FO-convergent sequence of graphs do not always admit a modeling limit, and it was conjectured that this is the case if the graphs in the sequence are sufficiently sparse. Precisely, two conjectures were proposed:
* If a FO-convergent sequence of graphs is residual, that is if for every integer $d$ the maximum relative size of a ball of radius $d$ in the graphs of the sequence tends to zero, then the sequence has a modeling limit.
* A monotone class of graphs $\mathcal C$ has the property that every FO-convergent sequence of graphs from $\mathcal C$ has a modeling limit if and only if $\mathcal C$ is nowhere dense, that is if and only if for each integer $p$ there is $N(p)$ such that no graph in $\mathcal C$ contains the $p$th subdivision of a complete graph on $N(p)$ vertices as a subgraph.
The Distribution of Path Lengths On Directed Weighted Graphs
Published
• View Publication
• BIB
We consider directed weighted graphs and define various families of path counting functions. Our main results are explicit formulas for the main term of the asymptotic growth rate of these counting functions, under some irrationality assumptions on the lengths of all closed orbits on the graph. In addition we assign transition probabilities to such graphs and compute statistics of the corresponding random walks. Some examples and applications are reviewed.
Fixed points of 321-avoiding permutations
Published in Proc. Amer. Math. Soc. 147 (2019), 861-872
• View Publication
• BIB
We describe the distribution of the number and location of the fixed points of permu- tations that avoid the pattern 321 via a bijection with rooted plane trees on n + 1 vertices. Using the local limit theorem for Galton-Watson trees, we are able to give an explicit description of the limit of this distribution.
A flow based pruning scheme for enumerative equitable coloring algorithms
Published
• View Publication
• BIB
An equitable graph coloring is a proper vertex coloring of a graph G where the sizes of the color classes differ by at most one. The equitable chromatic number is the smallest number k such that G admits such equitable k-coloring. We focus on enumerative algorithms for the computation of the equitable coloring number and propose a general scheme to derive pruning rules for them: We show how the extendability of a partial coloring into an equitable coloring can be modeled via network flows. Thus, we obtain pruning rules which can be checked via flow algorithms. Computational experiments show that the search tree of enumerative algorithms can be significantly reduced in size by these rules and, in most instances, such naive approach even yields a faster algorithm. Moreover, the stability, i.e., the number of solved instances within a given time limit, is greatly improved.
Since the execution of flow algorithms at each node of a search tree is time consuming, we derive arithmetic pruning rules (generalized Hall-conditions) from the network model. Adding these rules to an enumerative algorithm yields an even larger runtime improvement.
A Generalization of Gale's lemma
Published
• View Publication
• BIB
In this work, we present a generalization of Gale's lemma. Using this generalization, we introduce two combinatorial sharp lower bounds for ${\rm conid}({\rm B}_0(G))+1$ and ${\rm conid}({\rm B}(G))+2$, two famous topological lower bounds for the chromatic number of a graph $G$.
The structure and the number of $P_7$-free bipartite graphs
Published
• View Publication
• BIB
We show that the number of labelled $P_7$-free bipartite graphs with $n$ vertices grows as $n^{Θ(n)}$. This resolves an open problem posed by Allen [P. Allen, Forbidden induced bipartite graphs. J. Graph Theory 60 (2009), no. 3, 219--241.], and completes the description of speeds of monogenic classes of bipartite graphs. Our solution is based on a new decomposition scheme of bipartite graphs, which is of independent interest.
Trimming and gluing Gray codes
Published in Theoretical Computer Science 714:74-95, 2018
• View Publication
• BIB
We consider the algorithmic problem of generating each subset of $[n]:=\{1,2,\ldots,n\}$ whose size is in some interval $[k,l]$, $0\leq k\leq l\leq n$, exactly once (cyclically) by repeatedly adding or removing a single element, or by exchanging a single element. For $k=0$ and $l=n$ this is the classical problem of generating all $2^n$ subsets of $[n]$ by element additions/removals, and for $k=l$ this is the classical problem of generating all $\binom{n}{k}$ subsets of $[n]$ by element exchanges. We prove the existence of such cyclic minimum-change enumerations for a large range of values $n$, $k$, and $l$, improving upon and generalizing several previous results. For all these existential results we provide optimal algorithms to compute the corresponding Gray codes in constant $\mathcal{O}(1)$ time per generated set and $\mathcal{O}(n)$ space. Rephrased in terms of graph theory, our results establish the existence of (almost) Hamilton cycles in the subgraph of the $n$-dimensional cube $Q_n$ induced by all levels $[k,l]$. We reduce all remaining open cases to a generalized version of the middle levels conjecture, which asserts that the subgraph of $Q_{2k+1}$ induced by all levels $[k-c,k+1+c]$, $c\in\{0,1,\ldots,k\}$, has a Hamilton cycle. We also prove an approximate version of this generalized conjecture, showing that this graph has a cycle that visits a $(1-o(1))$-fraction of all vertices.
A note on the order of iterated line digraphs
Given a digraph $G$, we propose a new method to find the recurrence equation for the number of vertices $n_k$ of the $k$-iterated line digraph $L^k(G)$, for $k\geq0$, where $L^0(G)=G$. We obtain this result by using the minimal polynomial of a quotient digraph $π(G)$ of $G$. We show some examples of this method applied to the so-called cyclic Kautz, the unicyclic, and the acyclic digraphs. In the first case, our method gives the enumeration of the ternary length-2 squarefree words of any length.