Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Devolutionary genetic algorithms with application to the minimum labeling Steiner tree problem
Published in Evolving Systems volume 9(2018), pages 157-168
• View Publication
• BIB
This paper characterizes and discusses devolutionary genetic algorithms and evaluates their performances in solving the minimum labeling Steiner tree (MLST) problem. We define devolutionary algorithms as the process of reaching a feasible solution by devolving a population of super-optimal unfeasible solutions over time. We claim that distinguishing them from the widely used evolutionary algorithms is relevant. The most important distinction lies in the fact that in the former type of processes, the value function decreases over successive generation of solutions, thus providing a natural stopping condition for the computation process. We show how classical evolutionary concepts, such as crossing, mutation and fitness can be adapted to aim at reaching an optimal or close-to-optimal solution among the first generations of feasible solutions. We additionally introduce a novel integer linear programming formulation of the MLST problem and a valid constraint used for speeding up the devolutionary process. Finally, we conduct an experiment comparing the performances of devolutionary algorithms to those of state of the art approaches used for solving randomly generated instances of the MLST problem. Results of this experiment support the use of devolutionary algorithms for the MLST problem and their development for other NP-hard combinatorial optimization problems.
Mapping Matchings to Minimum Vertex Covers: Kőnig's Theorem Revisited
It is a celebrated result in early combinatorics that, in bipartite graphs, the size of maximum matching is equal to the size of a minimum vertex cover. Kőnig's proof of this fact gave an algorithm for finding a minimum vertex cover from a maximum matching. In this paper, we revisit the connection this algorithm induces between the two types of structures. We find that all minimum vertex covers can be found by applying this algorithm to some matching and then classify which matchings give minimum vertex covers when this algorithm is applied to them.
Rainbow Hamilton cycles in randomly coloured randomly perturbed dense graphs
Published
• View Publication
• BIB
Given an $n$-vertex graph $G$ with minimum degree at least $d n$ for some fixed $d > 0$, the distribution $G \cup \mathbb{G}(n,p)$ over the supergraphs of $G$ is referred to as a (random) {\sl perturbation} of $G$. We consider the distribution of edge-coloured graphs arising from assigning each edge of the random perturbation $G \cup \mathbb{G}(n,p)$ a colour, chosen independently and uniformly at random from a set of colours of size $r := r(n)$. We prove that such edge-coloured graph distributions a.a.s. admit rainbow Hamilton cycles whenever the edge-density of the random perturbation satisfies $p := p(n) \geq C/n$, for some fixed $C > 0$, and $r = (1 + o(1))n$. The number of colours used is clearly asymptotically best possible. In particular, this improves upon a recent result of Anastos and Frieze (2019) in this regard. As an intermediate result, which may be of independent interest, we prove that randomly edge-coloured sparse pseudo-random graphs a.a.s. admit an almost spanning rainbow path.
The $(2,k)$-connectivity augmentation problem: Algorithmic aspects
Durand de Gevigney and Szigeti \cite{DgGSz} have recently given a min-max theorem for the $(2,k)$-connectivity augmentation problem. This article provides an $O(n^3(m+ n \textrm{ }log\textrm{ }n))$ algorithm to find an optimal solution for this problem.
Almost intersecting families
Published
• View Publication
• BIB
Let $n > k > 1$ be integers, $[n] = \{1, \ldots, n\}$. Let $\mathcal F$ be a family of $k$-subsets of~$[n]$. The family $\mathcal F$ is called intersecting if $F \cap F' \neq \emptyset$ for all $F, F' \in \mathcal F$. It is called almost intersecting if it is not intersecting but to every $F \in \mathcal F$ there is at most one $F'\in \mathcal F$ satisfying $F \cap F' = \emptyset$. Gerbner et al. proved that if $n \geq 2k + 2$ then $|\mathcal F| \leq {n - 1\choose k - 1}$ holds for almost intersecting families. The main result implies the considerably stronger and best possible bound $|\mathcal F| \leq {n - 1\choose k - 1} - {n - k - 1\choose k - 1} + 2$ for $n > (2 + o(1))k$.
Maximal degrees in subgraphs of Kneser graphs
Published
• View Publication
• BIB
In this paper, we study the maximum degree in non-empty induced subgraphs of the Kneser graph $KG(n,k)$. One of the main results asserts that, for $k>k_0$ and $n>64k^2$, whenever a non-empty subgraph has $m\ge k{n-2\choose k-2}$ vertices, its maximum degree is at least $\frac 12(1-\frac {k^2}n) m - {n-2\choose k-2}\ge 0.49 m$. This bound is essentially best possible. One of the intermediate steps is to obtain structural results on non-empty subgraphs with small maximum degree.
Intersection theorems for $(-1,0,1)$-vectors
In this paper, we investigate Erd\H os--Ko--Rado type theorems for families of vectors from $\{0,\pm 1\}^n$ with fixed numbers of $+1$'s and $-1$'s. Scalar product plays the role of intersection size. In particular, we sharpen our earlier result on the largest size of a family of such vectors that avoids the smallest possible scalar product. We also obtain an exact result for the largest size of a family with no negative scalar products.
On the existence and non-existence of improper homomorphisms of oriented and $2$-edge-coloured graphs to reflexive targets
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (March 29, 2021) dmtcs:6773
• View Publication
• BIB
We consider non-trivial homomorphisms to reflexive oriented graphs in which some pair of adjacent vertices have the same image. Using a notion of convexity for oriented graphs, we study those oriented graphs that do not admit such homomorphisms. We fully classify those oriented graphs with tree-width $2$ that do not admit such homomorphisms and show that it is NP-complete to decide if a graph admits an orientation that does not admit such homomorphisms. We prove analogous results for $2$-edge-coloured graphs. We apply our results on oriented graphs to provide a new tool in the study of chromatic number of orientations of planar graphs -- a long-standing open problem.
Combinatorics of Type D Exceptional Sequences
Published
• View Publication
• BIB
Exceptional sequences are important sequences of quiver representations in the study of representation theory of algebras. They are also closely related to the theory of cluster algebras and the combinatorics of Coxeter groups. We combinatorially classify exceptional sequences of a family of type D Dynkin quivers, and we show how our model for exceptional sequences connects to the combinatorics of type D noncrossing partitions.
On the Maximum ABC Spectral Radius of Connected Graphs and Trees
Let $G=(V,E)$ be a connected graph, where $V=\{v_1, v_2, \cdots, v_n\}$ and $m=|E|$. $d_i$ will denote the degree of vertex $v_i$ of $G$, and $Δ=\max_{1\leq i \leq n} d_i$. The ABC matrix of $G$ is defined as $M(G)=(m_{ij})_{n \times n}$, where $m_{ij}=\sqrt{(d_i + d_j -2)/(d_i d_j)}$ if $v_i v_j \in E$, and 0 otherwise. The largest eigenvalue of $M(G)$ is called the ABC spectral radius of $G$, denoted by $ρ_{ABC}(G)$. Recently, this graph invariant has attracted some attentions. We prove that $ρ_{ABC}(G) \leq \sqrt{Δ+(2m-n+1)/Δ-2}$. As an application, the unique tree with $n \geq 4$ vertices having second largest ABC spectral radius is determined.
Constructing new families of transmission irregular graphs
Published
• View Publication
• BIB
The transmission of a vertex $v$ of a graph $G$ is the sum of distances from $v$ to all the other vertices in $G$. A graph is transmission irregular if all of its vertices have pairwise different transmissions. A starlike tree $T(k_1,\ldots,k_t)$ is a tree obtained by attaching to an isolated vertex $t$ pendant paths of lengths $k_1,\ldots,k_t$, respectively. It is proved that if a starlike tree $T(a,a+1,\ldots,a+k)$, $k\ge 2$, is of odd order, then it is transmission irregular. $T(1,2,\ldots,\ell)$, $\ell \ge 3$, is transmission irregular if and only if $\ell \notin \{r^2 + 1:\ r\ge 2\}$. Additional infinite families among the starlike trees and bi-starlike trees are determined. Transmission irregular unicyclic infinite families are also presented, in particular, the line graph of $T(a,a+1,a+2)$, $a\ge 2$, is transmission irregular if and only if $a$ is even.
A case study for $ζ(4)$
Published in in: Transcendence in Algebra, Combinatorics, Geometry and Number Theory, A. Bostan and K. Raschel (eds.), Springer Proceedings in Mathematics & Statistics 373 (2021), 421--435
• View Publication
• BIB
Using symbolic summation tools in the setting of difference rings, we prove a two-parametric identity that relates rational approximations to $ζ(4)$.
Majority rule on rhombus tilings and Condorcet super-domains
Published
• View Publication
• BIB
In this paper we consider a Condorcet domain (CD) formed by a rhombus tiling as a voting design and consider a problem of aggregation of voting designs using majority rule. A Condorcet super-domain is a collection of CDs obtained from rhombus tilings on a zonogone Z(n; 2) with the property that if voting designs (ballots) belong to this collection, then the simple majority rule does not yield cycles. A study of Condorcet super-domains and methods of constructing them form the main subject of this paper.
Longest cycles in 3-connected hypergraphs and bipartite graphs
Published
• View Publication
• BIB
In the language of hypergraphs, our main result is a Dirac-type bound: we prove that every $3$-connected hypergraph $H$ with $ δ(H)\geq \max\{|V(H)|, \frac{|E(H)|+10}{4}\}$ has a hamiltonian Berge cycle.
This is sharp and refines a conjecture by Jackson from 1981 (in the language of bipartite graphs). Our proofs are in the language of bipartite graphs, since the incidence graph of each hypergraph is bipartite.
Dimension of Restricted Classes of Interval Orders
Published
• View Publication
• BIB
Rabinovitch showed in 1978 that the interval orders having a representation consisting of only closed unit intervals have order dimension at most 3. This article shows that the same dimension bound applies to two other classes of posets: those having a representation consisting of unit intervals (but with a mixture of open and closed intervals allowed) and those having a representation consisting of closed intervals with lengths in $\{0,1\}$.
Hitting forbidden induced subgraphs on bounded treewidth graphs
Published
• View Publication
• BIB
For a fixed graph $H$, the $H$-IS-Deletion problem asks, given a graph $G$, for the minimum size of a set $S \subseteq V(G)$ such that $G\setminus S$ does not contain $H$ as an induced subgraph. Motivated by previous work about hitting (topological) minors and subgraphs on bounded treewidth graphs, we are interested in determining, for a fixed graph $H$, the smallest function $f_H(t)$ such that $H$-IS-Deletion can be solved in time $f_H(t) \cdot n^{O(1)}$ assuming the Exponential Time Hypothesis (ETH), where $t$ and $n$ denote the treewidth and the number of vertices of the input graph, respectively.
We show that $f_H(t) = 2^{O(t^{h-2})}$ for every graph $H$ on $h \geq 3$ vertices, and that $f_H(t) = 2^{O(t)}$ if $H$ is a clique or an independent set. We present a number of lower bounds by generalizing a reduction of Cygan et al. [MFCS 2014] for the subgraph version. In particular, we show that when $H$ deviates slightly from a clique, the function $f_H(t)$ suffers a sharp jump: if $H$ is obtained from a clique of size $h$ by removing one edge, then $f_H(t) = 2^{Θ(t^{h-2})}$. We also show that $f_H(t) = 2^{Ω(t^{h})}$ when $H=K_{h,h}$, and this reduction answers an open question of Mi. Pilipczuk [MFCS 2011] about the function $f_{C_4}(t)$ for the subgraph version.
Motivated by Cygan et al. [MFCS 2014], we also consider the colorful variant of the problem, where each vertex of $G$ is colored with some color from $V(H)$ and we require to hit only induced copies of $H$ with matching colors. In this case, we determine, under the ETH, the function $f_H(t)$ for every connected graph $H$ on $h$ vertices: if $h\leq 2$ the problem can be solved in polynomial time; if $h\geq 3$, $f_H(t) = 2^{Θ(t)}$ if $H$ is a clique, and $f_H(t) = 2^{Θ(t^{h-2})}$ otherwise.
Symmetrizers for Schur superalgebras
Published
• View Publication
• BIB
For the Schur superalgebra $S=S(m|n,r)$ over a ground field $K$ of characteristic zero, we define symmetrizers $T^λ[i:j]$ of the ordered pairs of tableaux $T_i, T_j$ of the shape $λ$ and show that the $K$-span $A_{λ,K}$ of all symmetrizers $T^λ[i:j]$ has a basis consisting of $T^λ[i:j]$ for $T_i,T_j$ semistandard. The $S$-superbimodule $A_{λ,K}$ is identified as %$Δ(λ)^*\otimes_K \nabla(λ)$, where $Δ(λ)^*$ is the dual of the standard supermodule %and $\nabla(λ)$ is the costandard supermodule of the highest weight $λ$. $D_λ\otimes_K D^o_λ$, where $D_λ$ and $D^o_λ$ are left and right irreducible $S$-supermodules of the highest weight $λ$.
We define modified symmetrizers $T^λ\{i:j\}$ and show that their $\mathbb{Z}$-span form a $\mathbb{Z}$-form $A_{λ,\mathbb{Z}}$ of $A_{λ, \mathbb{Q}}$. We show that every modified symmetrizer $T^λ\{i:j\}$ is a $\mathbb{Z}$-linear combination of symmetrizers $T^λ\{i:j\}$ for $T_i, T_j$ semistandard. Using modular reduction to a field $K$ of characteristic $p>2$, we obtain that $A_{λ,K}$ has a basis consisting of modified symmetrizers $T^λ\{i:j\}$ for $T_i, T_j$ semistandard.
The two player shortest path network interdiction problem
In this article, we study a biobjective extension of the shortest path network interdiction problem. Each arc in the network is associated with two integer length values and two players compute their respective shortest paths from source to sink independently from each other while an interdictor tries to lengthen both shortest paths by removing arcs. We show that this problem is intractable and that deciding whether a feasible interdiction strategy is efficient, is NP- complete. We provide a solution procedure to solve the problem on two-terminal series-parallel graphs in pseudopolynomial time.
On the attractor zero of a sequence of polynomials
The main perpose of this paper is to sudy the roots of a familly of polynomials that arise from a linear recurrences associated to Pascal's triangle and their zero attractor, using an analytical methods based on conformal mappings.
A Proof of Grünbaum's Lower Bound Conjecture for general polytopes
Published
• View Publication
• BIB
In 1967, Grünbaum conjectured that any $d$-dimensional polytope with $d+s\leq 2d$ vertices has at least \[φ_k(d+s,d) = {d+1 \choose k+1 }+{d \choose k+1 }-{d+1-s \choose k+1 } \] $k$-faces. We prove this conjecture and also characterize the cases in which equality holds.