Showing 20 papers (Total: 82139 papers, 47531 authors in database)
New universal partizan rulesets and a new universal dicotic partisan ruleset
Universal partizan ruleset is a ruleset in which every game value of partizan games can be appear as a position. So far, generalized konane and turning tiles have been proved to be universal partizan rulesets. In this paper, we introduce two rulesets go on lattice and beyond the door and prove that they are universal partizan rulesets by using game tree preserving reduction. Further, we consider dicotic version of beyond the door, and we prove the ruleset is a universal partisan dicotic ruleset.
Application of Causal Inference Techniques to the Maximum Weight Independent Set Problem
A powerful technique for solving combinatorial optimization problems is to reduce the search space without compromising the solution quality by exploring intrinsic mathematical properties of the problems. For the maximum weight independent set (MWIS) problem, using an upper bound lemma which says the weight of any independent set not contained in the MWIS is bounded from above by the weight of the intersection of its closed neighbor set and the MWIS, we give two extension theorems -- independent set extension theorem and vertex cover extension theorem. With them at our disposal, two types of causal inference techniques (CITs) are proposed on the assumption that a vertex is strongly reducible (included or not included in all MWISs) or reducible (contained or not contained in a MWIS). One is a strongly reducible state-preserving technique, which extends a strongly reducible vertex into a vertex set where all vertices have the same strong reducibility. The other, as a reducible state-preserving technique, extends a reducible vertex into a vertex set with the same reducibility as that vertex and creates some weighted packing constraints to narrow the search space. Numerical experiments show that our CITs can help reduction algorithms find much smaller remaining graphs, improve the ability of exact algorithms to find the optimal solutions and help heuristic algorithms produce approximate solutions of better quality. In particular, detailed tests on $12$ representative graphs generated from datasets in Network Data Repository demonstrate that, compared to the state-of-the-art algorithms, the size of remaining graphs is further reduced by more than 32.6%, and the number of solvable instances is increased from 1 to 5.
Primal-Dual Cops and Robber
Published in Computing in Geometry and Topology, 3(2), 4:1-4:12 (2024)
• View Publication
• BIB
Cops and Robber is a family of two-player games played on graphs in which one player controls a number of cops and the other player controls a robber. In alternating turns, each player moves (all) their figures. The cops try to capture the robber while the latter tries to flee indefinitely. In this paper we consider a variant of the game played on a planar graph where the robber moves between adjacent vertices while the cops move between adjacent faces. The cops capture the robber if they occupy all incident faces. We prove that a constant number of cops suffices to capture the robber on any planar graph of maximum degree $Δ$ if and only if $Δ\leq 4$.
Generalized Turán problem with bounded matching number
Published
• View Publication
• BIB
For a graph $T$ and a set of graphs $\mathcal{H}$, let $\mbox{ex}(n,T,\mathcal{H})$ denote the maximum number of copies of $T$ in an $n$-vertex $\mathcal{H}$-free graph. Recently, Alon and Frankl~(arXiv2210.15076) determined the exact value of $\mbox{ex}(n,K_2,\{K_{k+1},M_{s+1}\})$, where $K_{k+1}$ and $M_{s+1}$ are complete graph on $k+1$ vertices and matching of size $s+1$, respectively. Soon after, Gerbner~(arXiv2211.03272) continued the study by extending $K_{k+1}$ to general fixed graph $H$. In this paper, we continue the study of the function $\mbox{ex}(n, T,\{H,M_{s+1}\})$ when $T=K_r$ for $r\ge 3$. We determine the exact value of $\mbox{ex}(n,K_r,\{K_{k+1},M_{s+1}\})$ and give the value of $\mbox{ex}(n,K_r,\{H,M_{s+1}\})$ for general $H$ with an error term $O(1)$.
Experimenting with the Dym-Luks Ball and Cell Game (almost) Sixty Years Later
This is a symbolic-computational redux, and extension, of a beautiful paper, by Harry Dym and Eugene Luks, published in 1966 (but written in 1964) about a certain game with balls and cells.
Counting (skew-)reciprocal Littlewood polynomials with square discriminant
Published
• View Publication
• BIB
A Littlewood polynomial is a single-variable polynomial all of whose coefficients lie in $\{ \pm 1\}$. We establish the leading term asymptotics of the number of reciprocal or skew-reciprocal Littlewood polynomials with square discriminant. This relates to a bounded-height analogue of the Van der Waerden conjecture on Galois groups of random polynomials. As a byproduct, we establish the asymptotics of certain Gaussian-weighted counts of Pythagorean triples.
A localized approach to generalized Turán problems
Published in Electronic Journal of Combinatorics, Volume 31, Issue 3 (2024), P3.34
• View Publication
• BIB
Generalized Turán problems ask for the maximum number of copies of a graph $H$ in an $n$-vertex, $F$-free graph, denoted by ex$(n,H,F)$. We show how to extend the new, localized approach of Bradač, Malec, and Tompkins to generalized Turán problems. We weight the copies of $H$ (typically taking $H=K_t$), instead of the edges, based on the size of the largest clique, path, or star containing the vertices of the copy of $H$, and in each case prove a tight upper bound on the sum of the weights. A consequence of our new localized theorems is an asymptotic determination of ex$(n,H,K_{1,r})$ for every $H$ having at least one dominating vertex and mex$(m,H,K_{1,r})$ for every $H$ having at least two dominating vertices.
On a conjecture of Knuth about forward and back arcs
Following Janson's method, we prove a conjecture of Knuth: the numbers of forward and back arcs for the depth-first search (DFS) in a digraph with a geometric outdegree distribution have the same distribution.
The Sphere Formula
The sphere formula states that in an arbitrary finite abstract simplicial complex, the sum of the Euler characteristic of unit spheres centered at even-dimensional simplices is equal to the sum of the Euler characteristic of unit spheres centered at odd-dimensional simplices. It follows that if a geometry has constant unit sphere Euler characteristic, like a manifold, then all its unit spheres have zero Euler characteristic or the space itself has zero Euler characteristic. Especially, odd-dimensional manifolds have zero Euler characteristic, a fact usually verified either in algebraic topology using Poincaré duality together with Riemann-Hurwitz then deriving it from the existence of a Morse function, using that the Morse indices of the function and its negative add up to zero in odd dimensions. Gauss Bonnet also shows that odd-dimensional Dehn-Sommerville spaces have zero Euler characteristic because they have constant zero curvature. Zero curvature phenomenons can be understood integral geometrically as index expectation or as Dehn-Sommerville relations.
Artificial Benchmark for Community Detection with Outliers (ABCD+o)
Published in Kamiński, B., Prałat, P. & Théberge, F. Artificial benchmark for community detection with outliers (ABCD+o). Appl Netw Sci 8, 25 (2023)
• View Publication
• BIB
The Artificial Benchmark for Community Detection graph (ABCD) is a random graph model with community structure and power-law distribution for both degrees and community sizes. The model generates graphs with similar properties as the well-known LFR one, and its main parameter $ξ$ can be tuned to mimic its counterpart in the LFR model, the mixing parameter $μ$. In this paper, we extend the ABCD model to include potential outliers. We perform some exploratory experiments on both the new ABCD+o model as well as a real-world network to show that outliers possess some desired, distinguishable properties.
Pell and associated Pell braid sequences as GCDs of sums of $k$ consecutive Pell, balancing, and related numbers
Published in Journal of Integer Sequences, Vol. 26, Issue 6 (2023), Article 23.6.4
• Search Publication
We consider the greatest common divisor (GCD) of all sums of $k$ consecutive terms of a sequence $(S_n)_{n\geq 0}$ where the terms $S_n$ come from exactly one of following six well-known sequences' terms: Pell $P_n$, associated Pell $Q_n$, balancing $B_n$, Lucas-balancing $C_n$, cobalancing $b_n$, and Lucas-cobalancing $c_n$ numbers. For each of the six GCDs, we provide closed forms dependent on $k$. Moreover, each of these closed forms can be realized as braid sequences of Pell and associated Pell numbers in an intriguing manner. We end with partial results on GCDs of sums of squared terms and open questions.
Coloured and Dependent Planar Matchings of Random Bipartite Graphs
In this paper, we study two problems related to planar matchings in random bipartite graphs. First, we colour each edge of the complete bipartite graph $K_{n,n}$ uniformly randomly from amongst ${r}$ colours and show that if ${r}$ grows linearly with ${n}$ then the maximum rainbow matching is a non-trivial fraction of ${r}$ with high probability, i.e. with probability converging to one as ${n \rightarrow \infty}$ Next we consider planar matchings in a dependent setting where each vertex is forced to choose exactly one neighbour from amongst all possible choices. We obtain estimates for the largest size of a planar matching and also discuss the implication of our results to longest increasing subsequences in enlarged random permutations.
Redundancy of Codes with Graph Constraints
Published
• View Publication
• BIB
In this paper, we study the redundancy of linear codes with graph constraints. First we consider linear parity check codes based on bipartite graphs with diversity and with generalized graph constraints. We describe sufficient conditions on the constraint probabilities and use the probabilistic method to obtain linear codes that achieve the Gilbert-Varshamov redundancy bound in addition to satisfying the constraints and the diversity index. In the second part we consider a generalization of graph capacity which we call as the fractional graph capacity and use the probabilistic method to determine bounds on the fractional capacity for arbitrary graphs. Specifically, we establish an upper bound in terms of the full graph capacity and a lower bound in terms of the average and maximum vertex degree of the graph.
Strengthening the Directed Brooks' Theorem for oriented graphs and consequences on digraph redicolouring
Published
• View Publication
• BIB
Let $D=(V,A)$ be a digraph. We define $Δ_{\max}(D)$ as the maximum of $\{ \max(d^+(v),d^-(v)) \mid v \in V \}$ and $Δ_{\min}(D)$ as the maximum of $\{ \min(d^+(v),d^-(v)) \mid v \in V \}$. It is known that the dichromatic number of $D$ is at most $Δ_{\min}(D) + 1$. In this work, we prove that every digraph $D$ which has dichromatic number exactly $Δ_{\min}(D) + 1$ must contain the directed join of $\overleftrightarrow{K_r}$ and $\overleftrightarrow{K_s}$ for some $r,s$ such that $r+s = Δ_{\min}(D) + 1$, except if $Δ_{\min}(D) = 2$ in which case $D$ must contain a digon. In particular, every oriented graph $\vec{G}$ with $Δ_{\min}(\vec{G}) \geq 2$ has dichromatic number at most $Δ_{\min}(\vec{G})$. Let $\vec{G}$ be an oriented graph of order $n$ such that $Δ_{\min}(\vec{G}) \leq 1$. Given two 2-dicolourings of $\vec{G}$, we show that we can transform one into the other in at most $n$ steps, by recolouring one vertex at each step while maintaining a dicolouring at any step. Furthermore, we prove that, for every oriented graph $\vec{G}$ on $n$ vertices, the distance between two $k$-dicolourings is at most $2Δ_{\min}(\vec{G})n$ when $k\geq Δ_{\min}(\vec{G}) + 1$. We then extend a theorem of Feghali, Johnson and Paulusma to digraphs. We prove that, for every digraph $D$ with $Δ_{\max}(D) = Δ\geq 3$ and every $k\geq Δ+1$, the $k$-dicolouring graph of $D$ consists of isolated vertices and at most one further component that has diameter at most $c_Δn^2$, where $c_Δ = O(Δ^2)$ is a constant depending only on $Δ$.
Solving a new application of asymmetric TSP by modified migrating birds optimization algorithm
Published
• View Publication
• BIB
In this study, we first introduce a new application of the asymmetric traveling salesman problem (ATSP) which is about a small restaurant with one cook and a single stove. Once a meal has started cooking on the stove, the cook prepares the next meal on the table where the preparation time is dependent on the previous meal prepared. For the solution of this problem, besides several simple construction algorithms and a new version of the simulated annealing algorithm, we focus on enhanced versions of the recently introduced migrating birds optimization (MBO) algorithm. The original MBO algorithm might suffer from early convergence. Here we introduce several different ways of handling this problem. The extensive numerical experimentation conducted shows the superiority of the enhanced MBO over the original MBO (about 2.62 per cent) and over the simulated annealing algorithm (about 1.05 per cent).
On perfect coverings of two-dimensional grids
Published
• View Publication
• BIB
We study perfect multiple coverings in translation invariant graphs with vertex set $\mathbb{Z}^2$ using an algebraic approach. In this approach we consider any such covering as a two-dimensional binary configuration which we then express as a two-variate formal power series. Using known results, we conclude that any perfect multiple covering has a non-trivial periodizer, that is, there exists a non-zero polynomial whose formal product with the power series presenting the covering is a two-periodic configuration. If a non-trivial periodizer has line polynomial factors in at most one direction, then the configuration is known to be periodic. Using this result, we find many setups where perfect multiple coverings of infinite grids are necessarily periodic. We also consider some algorithmic questions on finding perfect multiple coverings.
On forced periodicity of perfect colorings
Published
• View Publication
• BIB
We study forced periodicity of two-dimensional configurations under certain constraints and use an algebraic approach to multidimensional symbolic dynamics in which $d$-dimensional configurations and finite patterns are presented as formal power series and Laurent polynomials, respectively, in $d$ variables. We consider perfect colorings that are configurations such that the number of points of a given color in the neighborhood of any point depends only on the color of the point for some fixed relative neighborhood, and we show that by choosing the alphabet suitably any perfect coloring has a non-trivial annihilator, that is, there exists a Laurent polynomial whose formal product with the power series presenting the perfect coloring is zero. Using known results we obtain a sufficient condition for forced periodicity of two-dimensional perfect colorings. As corollaries of this result we get simple new proofs for known results of forced periodicity on the square and the triangular grids. Moreover, we obtain a new result concerning forced periodicity of perfect colorings in the king grid. We also consider perfect colorings of a particularly simple type: configurations that have low abelian complexity with respect to some shape, and we generalize a result that gives a sufficient condition for such configurations to be necessarily periodic. Also, some algorithmic aspects are considered.
A grid theorem for strong immersions of walls
Published
• View Publication
• BIB
We show that a graph contains a large wall as a strong immersion minor if and only if the graph does not admit a tree-cut decomposition of small `width', which is measured in terms of its adhesion and the path-likeness of its torsos.
Segre's theorem on ovals in Desarguesian projective planes
Published
• View Publication
• BIB
Segre's theorem on ovals in projective spaces is an ingenious result from the mid-twentieth century which requires surprisingly little background to prove. This note, suitable for undergraduates with experience of linear and abstract algebra, provides a complete and self-contained proof. All necessary pre-requisites, principally evaluation of homogeneous polynomials at projective points and Desargues' theorem are presented in full. While following the broad outline of Segre's proof, careful parameterisation of certain tangent lines results in shorter and simpler computations than the original.
Progress towards the 1/2-Conjecture for the domination game
Published
• View Publication
• BIB
The domination game is played on a graph $G$ by two players, Dominator and Staller, who alternate in selecting vertices until each vertex in the graph $G$ is contained in the closed neighbourhood of the set of selected vertices. Dominator's aim is to reach this state in as few moves as possible, whereas Staller wants the game to last as long as possible. In this paper, we prove that if $G$ has $n$ vertices and minimum degree at least 2, then Dominator has a strategy to finish the domination game on $G$ within $10n/17+1/17$ moves, thus making progress towards a conjecture by Bujt{á}s, Iršič and Klavžar.