Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On the Approximation Ratio of the $k$-Opt and Lin-Kernighan Algorithm
The $k$-Opt and Lin-Kernighan algorithm are two of the most important local search approaches for the Metric TSP. Both start with an arbitrary tour and make local improvements in each step to get a shorter tour. We show that for any fixed $k\geq 3$ the approximation ratio of the $k$-Opt algorithm for Metric TSP is $O(\sqrt[k]{n})$. Assuming the Erdős girth conjecture, we prove a matching lower bound of $Ω(\sqrt[k]{n})$. Unconditionally, we obtain matching bounds for $k=3,4,6$ and a lower bound of $Ω(n^{\frac{2}{3k-3}})$. Our most general bounds depend on the values of a function from extremal graph theory and are tight up to a factor logarithmic in the number of vertices unconditionally. Moreover, all the upper bounds also apply to a parameterized generalization of the Lin-Kernighan algorithm with appropriate parameters. We also show that the approximation ratio of $k$-Opt for Graph TSP is $Ω\left(\frac{\log(n)}{\log\log(n)}\right)$ and $O\left(\left(\frac{\log(n)}{\log\log(n)}\right)^{\log_2(9)+ε}\right)$ for all $ε>0$. For the (1,2)-TSP we give a lower bound of $\frac{11}{10}$ on the approximation ratio of the $k$-improv and $k$-Opt algorithm for arbitrary fixed $k$.
A note on the independence number, domination number and related parameters of random binary search trees and random recursive trees
Published
• View Publication
• BIB
We identify the mean growth of the independence number of random binary search trees and random recursive trees and show normal fluctuations around their means. Similarly we also show normal limit laws for the domination number and variations of it for these two cases of random tree models. Our results are an application of a recent general theorem of Holmgren and Janson on fringe trees in these two random tree models.
H-Kernels by Walks
Published
• View Publication
• BIB
We prove that, if every cycle of $D$ is an $H$-cycle, then $D$ has an $H$-kernel by walks.
Kissing numbers of regular graphs
Published
• View Publication
• BIB
We prove a sharp upper bound on the number of shortest cycles contained inside any connected graph in terms of its number of vertices, girth, and maximal degree. Equality holds only for Moore graphs, which gives a new characterization of these graphs. In the case of regular graphs, our result improves an inequality of Teo and Koh. We also show that a subsequence of the Ramanujan graphs of Lubotzky-Phillips-Sarnak have super-linear kissing numbers.
A novel count of the spanning trees of a cube
Published
• View Publication
• BIB
Using the special value at $u=1$ of the Artin-Ihara $L$-function, we give a short proof of the count of the number of spanning trees in the $n$-cube.
Splittings of Toric Ideals
Published
• View Publication
• BIB
Let $I \subseteq R = \mathbb{K}[x_1,\ldots,x_n]$ be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient condition for this splitting in terms of the integer matrix that defines $I$. When $I = I_G$ is the toric ideal of a finite simple graph $G$, we give additional splittings of $I_G$ related to subgraphs of $G$. When there exists a splitting $I = I_1+I_2$ of the toric ideal, we show that in some cases we can describe the (multi-)graded Betti numbers of $I$ in terms of the (multi-)graded Betti numbers of $I_1$ and $I_2$.
Inequalities on Projected Volumes
Published
• View Publication
• BIB
In this paper we study the following geometric problem: given $2^n-1$ real numbers $x_A$ indexed by the non-empty subsets $A\subset \{1,..,n\}$, is it possible to construct a body $T\subset \mathbb{R}^n$ such that $x_A=|T_A|$ where $|T_A|$ is the $|A|$-dimensional volume of the projection of $T$ onto the subspace spanned by the axes in $A$? As it is more convenient to take logarithms we denote by $ψ_n$ the set of all vectors $x$ for which there is a body $T$ such that $x_A=\log |T_A|$ for all $A$. Bollobás and Thomason showed that $ψ_n$ is contained in the polyhedral cone defined by the class of `uniform cover inequalities'. Tan and Zeng conjectured that the convex hull $\DeclareMathOperator{\conv}{conv}$ $\conv(ψ_n)$ is equal to the cone given by the uniform cover inequalities.
We prove that this conjecture is `nearly' right: the closed convex hull $\overline{\conv}(ψ_n)$ is equal to the cone given by the uniform cover inequalities. However, perhaps surprisingly, we also show that $\conv (ψ_n)$ is not closed for $n\ge 4$, thus disproving the conjecture.
Pivot Rules for Circuit-Augmentation Algorithms in Linear Optimization
Published
• View Publication
• BIB
Circuit-augmentation algorithms are generalizations of the Simplex method, where in each step one is allowed to move along a fixed set of directions, called circuits, that is a superset of the edges of a polytope. We show that in the circuit-augmentation framework the greatest-improvement and Dantzig pivot rules are NP-hard, already for 0/1-LPs. Differently, the steepest-descent pivot rule can be carried out in polynomial time in the 0/1 setting, and the number of circuit augmentations required to reach an optimal solution according to this rule is strongly-polynomial for 0/1-LPs.
The number of circuit augmentations has been of interest as a proxy for the number of steps in the Simplex method, and the circuit-diameter of polyhedra has been studied as a lower bound to the combinatorial diameter of polyhedra. Extending prior results, we show that for any polyhedron $P$ the circuit-diameter is bounded by a polynomial in the input bit-size of $P$. This is in contrast with the best bounds for the combinatorial diameter of polyhedra.
Interestingly, we show that the circuit-augmentation framework can be exploited to make novel conclusions about the classical Simplex method itself: In particular, as a byproduct of our circuit results, we prove that (i) computing the shortest (monotone) path to an optimal solution on the 1-skeleton of a polytope is NP-hard, and hard to approximate within a factor better than 2, and (ii) for $0/1$ polytopes, a monotone path of strongly-polynomial length can be constructed using steepest improving edges.
The cluster modular group of the dimer model
Published
• View Publication
• BIB
Associated to a convex integral polygon $N$ is a cluster integrable system $\mathcal X_N$ constructed from the dimer model. We compute the group $G_N$ of symmetries of $\mathcal X_N$, called the (2-2) cluster modular group, showing that it is a certain abelian group conjectured by Fock and Marshakov. Combinatorially, non-torsion elements of $G_N$ are ways of shuffling the underlying bipartite graph, generalizing domino-shuffling. Algebro-geometrically, $G_N$ is a subgroup of the Picard group of a certain algebraic surface associated to $N$.
Catalan-many tropical morphisms to trees; Part I: Constructions
Published
• View Publication
• BIB
We investigate the tree gonality of a genus-$g$ metric graph, defined as the minimum degree of a tropical morphism from any tropical modification of the metric graph to a metric tree. We give a combinatorial constructive proof that this number is at most $\lceil g/2 \rceil + 1$, a fact whose proofs so far required an algebro-geometric detour via special divisors on curves. For even genus, the tropical morphism which realizes the bound belongs to a family of tropical morphisms that is pure of dimension $3g-3$ and that has a generically finite-to-one map onto the moduli space of genus-$g$ metric graphs. Our methods focus on the study of such families. This is part I in a series of two papers: in part I we fix the combinatorial type of the metric graph, while in part II we vary the combinatorial type and show that the number of tropical morphisms, counted with suitable multiplicities, is the same Catalan number that counts morphisms from a genus-$g$ curve to the projective line.
A Facet Enumeration Algorithm for Convex Polytopes
This paper proposes a novel and simple algorithm of facet enumeration for convex polytopes. The complexity of the algorithm is discussed. The algorithm is implemented in Matlab. Some simple polytopes with known H-representations and V-representations are used as the test examples. Numerical test shows the effectiveness and efficiency of the proposed algorithm. Due to the duality between the vertex enumeration problem and facet enumeration problem, we expect that this method can also be used to solve the vertex enumeration problem.
Quantum Bicyclic Hyperbolic Codes
Published
• View Publication
• BIB
Bicyclic codes are a generalization of the one dimensional (1D) cyclic codes to two dimensions (2D). Similar to the 1D case, in some cases, 2D cyclic codes can also be constructed to guarantee a specified minimum distance. Many aspects of these codes are yet unexplored. Motivated by the problem of constructing quantum codes, in this paper, we study some structural properties of certain bicyclic codes. We show that a primitive narrow-sense bicyclic hyperbolic code of length $n^2$ contains its dual if and only if its design distance is lower than $n-Δ$, where $Δ=\mathcal{O}(\sqrt{n})$. We extend the sufficiency condition to the non-primitive case as well. We also show that over quadratic extension fields, a primitive bicyclic hyperbolic code of length $n^2$ contains Hermitian dual if and only if its design distance is lower than $n-Δ_h$, where $Δ_h=\mathcal{O}(\sqrt{n})$. Our results are analogous to some structural results known for BCH and Reed-Solomon codes. They further our understanding of bicyclic codes. We also give an application of these results by showing that we can construct two classes of quantum bicyclic codes based on our results.
On graphs with adjacency and signless Laplacian matrix eigenvectors entries in $\{-1, +1\}$
Published
• View Publication
• BIB
Let $G$ be a simple graph. In 1986, Herbert Wilf asked what kind of graphs have an eigenvector with entries formed only by $\pm 1$? In this paper, we answer this question for the adjacency, Laplacian and signless Laplacian matrix of a graph. Besides, we generalize the concept of an exact graph to the adjacency and signless Laplacian matrices. Infinity families of exact graphs for all those matrices are presented.
A moment ratio bound for polynomials and some extremal properties of Krawchouk polynomials and Hamming spheres
Published
• View Publication
• BIB
Let $p \ge 2$. We improve the bound $\frac{\|f\|_p}{\|f\|_2} \le (p-1)^{s/2}$ for a polynomial $f$ of degree $s$ on the boolean cube $\{0,1\}^n$, which comes from hypercontractivity, replacing the right hand side of this inequality by an explicit bivariate function of $p$ and $s$, which is smaller than $(p-1)^{s/2}$ for any $p > 2$ and $s > 0$. We show the new bound to be tight, within a smaller order factor, for the Krawchouk polynomial of degree $s$.
This implies several nearly-extremal properties of Krawchouk polynomials and Hamming spheres (equivalently, Hamming balls). In particular, Krawchouk polynomials have (almost) the heaviest tails among all polynomials of the same degree and $\ell_2$ norm (this has to be interpreted with some care). The Hamming spheres have the following approximate edge-isoperimetric property: For all $1 \le s \le \frac{n}{2}$, and for all even distances $0 \le i \le \frac{2s(n-s)}{n}$, the Hamming sphere of radius $s$ contains, up to a multiplicative factor of $O(i)$, as many pairs of points at distance $i$ as possible, among sets of the same size (there is a similar, but slightly weaker and somewhat more complicated claim for general distances). This also implies that Hamming spheres are (almost) stablest with respect to noise among sets of the same size. In coding theory terms this means that a Hamming sphere (equivalently a Hamming ball) has the maximal probability of undetected error, among all binary codes of the same rate.
We also describe a family of hypercontractive inequalities for functions on $\{0,1\}^n$, which improve on the `usual' "$q \rightarrow 2$" inequality by taking into account the concentration of a function (expressed as the ratio between its $\ell_r$ norms), and which are nearly tight for characteristic functions of Hamming spheres.
The connectivity of a bipartite graph and its bipartite complementary graph
Published
• View Publication
• BIB
In 1956, Nordhaus and Gaddum gave lower and upper bounds on the sum and the product of the chromatic number of a graph and its complement, in terms of the order of the graph. Since then, any bound on the sum and/or the product of an invariant in a graph $G$ and the same invariant in the complement $G^c$ of $G$ is called a Nordhaus-Gaddum type inequality or relation. The Nordhaus-Gaddum type inequalities for connectivity have been studied by several authors. For a bipartite graph $G=G[X,Y]$ with bipartition ($X,Y$), its bipartite complementary graph $G^{bc}$ is a bipartite graph with $V(G^{bc})=V(G)$ and $E(G^{bc})=\{xy:\ x\in X,\ y\in Y$ and $xy \notin E(G)\}$. In this paper, we obtain the Nordhaus-Gaddum type inequalities for connectivity of bipartite graphs and its bipartite complementary graphs. Furthermore, we prove that these inequalities are best possible.
GTOC X: Solution Approach of Team Sapienza-PoliTo
This paper summarizes the solution approach and the numerical methods developed by the joint team Sapienza University of Rome and Politecnico di Torino (Team Sapienza-PoliTo) in the context of the 10th Global Trajectory Optimization Competition. The proposed method is based on a preliminary partition of the galaxy into several small zones of interest, where partial settlement trees are developed, in order to match a (theoretical) optimal star distribution. A multi-settler stochastic Beam Best-First Search, that exploits a guided multi-star multi-vessel transition logic, is proposed for solving a coverage problem, where the number of stars to capture and their distribution within a zone is assigned. The star-to-star transfers were then optimized through an indirect procedure. A number of refinements, involving settle time re-optimization, explosion, and pruning, were also investigated. The submitted 1013-star solution, as well as an enhanced 1200-point rework, are presented.
Coloring near-quadrangulations of the cylinder and the torus
Let G be a simple connected plane graph and let C_1 and C_2 be cycles in G bounding distinct faces f_1 and f_2. For a positive integer l, let r(l) denote the number of integers n such that -l<=n<=l, n is divisible by 3, and n has the same parity as l; in particular, r(4)=1. Let r_{f_1,f_2}(G) be the product of r(|f|) over all faces f of G distinct from f_1 and f_2, and let q(G)=1+sum_{f:|f|\neq 4} |f|, where the sum is over all faces f of G. We give an algorithm with time complexity O(r_{f_1,f_2}(G)q(G)|G|) which, given a 3-coloring psi of C_1 and C_2, either finds an extension of psi to a 3-coloring of G, or correctly decides no such extension exists.
The algorithm is based on a min-max theorem for a variant of integer 2- commodity flows, and consequently in the negative case produces an obstruction to the existence of the extension. As a corollary, we show that every triangle-free graph drawn in the torus with edge-width at least 21 is 3-colorable.
The diameter of strong orientations of strong products of graphs
Let $G$ and $H$ be graphs, and $G\boxtimes H$ the strong product of $G$ and $H$. We prove that for any connected graphs $G$ and $H$ there is a strongly connected orientation $D$ of $G\boxtimes H$ such that ${\rm diam}(D)\leq 2r+15$, where $r$ is the radius of $G\boxtimes H$.This improves the general bound ${\rm diam}(D)\leq 2r^2+2r$ for arbitrary graphs, proved by Chv${\rm \acute{a}}$tal and Thomassen.
The Approximation Ratio of the 2-Opt Heuristic for the Metric Traveling Salesman Problem
Published
• View Publication
• BIB
The 2-Opt heuristic is one of the simplest algorithms for finding good solutions to the metric Traveling Salesman Problem. It is the key ingredient to the well-known Lin-Kernighan algorithm and often used in practice. So far, only upper and lower bounds on the approximation ratio of the 2-Opt heuristic for the metric TSP were known. We prove that for the metric TSP with $n$ cities, the approximation ratio of the 2-Opt heuristic is $\sqrt{n/2}$ and that this bound is tight.
Counting non-crossing permutations on surfaces of any genus
Published
• View Publication
• BIB
Given a surface with boundary and some points on its boundary, a polygon diagram is a way to connect those points as vertices of non-overlapping polygons on the surface. Such polygon diagrams represent non-crossing permutations on a surface with any genus and number of boundary components. If only bigons are allowed, then it becomes an arc diagram. The count of arc diagrams is known to have a rich structure. We show that the count of polygon diagrams exhibits the same interesting behaviours, in particular it is almost polynomial in the number of points on the boundary components, and the leading coefficients of those polynomials are the intersection numbers on the compactified moduli space of curves.