Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Construction Methods for Gaussoids
Published
• View Publication
• BIB
The number of $n$-gaussoids is shown to be a double exponential function in $n$. The necessary bounds are achieved by studying construction methods for gaussoids that rely on prescribing $3$-minors and encoding the resulting combinatorial constraints in a suitable transitive graph. Various special classes of gaussoids arise from restricting the allowed $3$-minors.
Sparse Versions of the Cayley-Bacharach Theorem
We give combinatorial generalizations of the Cayley-Bacharach theorem and induced map.
High Degree Vertices and Spread of Infections in Spatially Modelled Social Networks
Published in In: Bonato A., Chung Graham F., Prałat P. (eds) Algorithms and Models for the Web Graph. WAW 2017. LNCS 10519. Springer, pp. 60-74
• View Publication
• BIB
We examine how the behaviour of high degree vertices in a network affects whether an infection spreads through communities or jumps between them. We study two stochastic susceptible-infected-recovered (SIR) processes and represent our network with a spatial preferential attachment (SPA) network. In one of the two epidemic scenarios we adjust the contagiousness of high degree vertices so that they are less contagious. We show that, for this scenario, the infection travels through communities rather than jumps between them. We conjecture that this is not the case in the other scenario, when contagion is independent of the degree of the originating vertex. Our theoretical results and conjecture are supported by simulations.
Deterministic "Snakes and Ladders" Heuristic for the Hamiltonian Cycle Problem
Published in Mathematical Programming Computation 6(1), 55-75, 2014
• View Publication
• BIB
We present a polynomial complexity, deterministic, heuristic for solving the Hamiltonian Cycle Problem (HCP) in an undirected graph of order $n$. Although finding a Hamiltonian cycle is not theoretically guaranteed, we have observed that the heuristic is successful even in cases where such cycles are extremely rare, and it also performs very well on all HCP instances of large graphs listed on the TSPLIB web page. The heuristic owes its name to a visualisation of its iterations. All vertices of the graph are placed on a given circle in some order. The graph's edges are classified as either snakes or ladders, with snakes forming arcs of the circle and ladders forming its chords. The heuristic strives to place exactly $n$ snakes on the circle, thereby forming a Hamiltonian cycle. The Snakes and Ladders Heuristic (SLH) uses transformations inspired by $k-$opt algorithms such as the, now classical, Lin-Kernighan heuristic to reorder the vertices on the circle in order to transform some ladders into snakes and vice versa. The use of a suitable stopping criterion ensures the heuristic terminates in polynomial time if no improvement is made in $n^3$ major iterations.
A New Heuristic for Detecting Non-Hamiltonicity in Cubic Graphs
Published in Computers and Operations Research, 64:283-292, 2015
• View Publication
• BIB
We analyse a polyhedron which contains the convex hull of all Hamiltonian cycles of a given undirected connected cubic graph. Our constructed polyhedron is defined by polynomially-many linear constraints in polynomially-many continuous (relaxed) variables. Clearly, the emptiness of the constructed polyhedron implies that the graph is non-Hamiltonian. However, whenever a constructed polyhedron is non-empty, the result is inconclusive. Hence, the following natural question arises: if we assume that a non-empty polyhedron implies Hamiltonicity, how frequently is this diagnosis incorrect? We prove that, in the case of bridge graphs, the constructed polyhedron is always empty. We also demonstrate that some non-bridge non-Hamiltonian cubic graphs induce empty polyhedra as well. We compare our approach to the famous Dantzig-Fulkerson-Johnson relaxation of a TSP, and give empirical evidence which suggests that the latter is infeasible if and only if our constructed polyhedron is also empty. By considering special edge cut sets which are present in most cubic graphs, we describe a heuristic approach, built on our constructed polyhedron, for which incorrect diagnoses of non-Hamiltonian graphs as Hamiltonian appear to be very rare. In particular, for cubic graphs containing up to 18 vertices, only four out of 45,982 undirected connected cubic graphs were so misdiagnosed. By constrast, we demonstrate that an equivalent heuristic, when built on the Dantzig-Fulkerson-Johnson relaxation of a TSP, is mostly unsuccessful in identifying additional non-Hamiltonian graphs. These empirical results suggest that polynomial algorithms based on our constructed polyhedron may be able to correctly identify Hamiltonicity of a cubic graph in all but rare cases.
Non-Hamiltonian 3-Regular Graphs with Arbitrary Girth
Published in Universal Journal of Applied Mathematics, 2(1):72-78, 2014
• View Publication
• BIB
It is well known that 3--regular graphs with arbitrarily large girth exist. Three constructions are given that use the former to produce non-Hamiltonian 3--regular graphs without reducing the girth, thereby proving that such graphs with arbitrarily large girth also exist. The resulting graphs can be 1--, 2-- or 3--edge-connected depending on the construction chosen. From the constructions arise (naive) upper bounds on the size of the smallest non-Hamiltonian 3--regular graphs with particular girth. Several examples are given of the smallest such graphs for various choices of girth and connectedness.
Linearly-growing Reductions of Karp's 21 NP-complete Problems
Published in Numerical Algebra, Control and Optimization, 8(1):1-16, 2018
• View Publication
• BIB
We address the question of whether it may be worthwhile to convert certain, now classical, NP-complete problems to one of a smaller number of kernel NP-complete problems. In particular, we show that Karp's classical set of 21 NP-complete problems contains a kernel subset of six problems with the property that each problem in the larger set can be converted to one of these six problems with only linear growth in problem size. This finding has potential applications in optimisation theory because the kernel subset includes 0-1 integer programming, job sequencing and undirected Hamiltonian cycle problems.
Constructing Arbitrarily Large Graphs with a Specified Number of Hamiltonian Cycles
Published in Electronic Journal of Graph Theory and Applications, 4 (1):18-25, 2016
• View Publication
• BIB
A constructive method is provided that outputs a directed graph which is named a broken crown graph, containing $5n-9$ vertices and $k$ Hamiltonian cycles for any choice of integers $n \geq k \geq 4$. The construction is not designed to be minimal in any sense, but rather to ensure that the graphs produced remain non-trivial instances of the Hamiltonian cycle problem even when $k$ is chosen to be much smaller than $n$.
FHCP Challenge Set: The First Set of Structurally Difficult Instances of the Hamiltonian Cycle Problem
Published in Bulletin of the ICA, 83:98-107, 2018
• Search Publication
The FHCP Challenge Set, comprising of 1001 instances of Hamiltonian cycle problem, is introduced. This set is the first to contain instances of Hamiltonian cycle problem for which the primary difficulty is the underlying graph structure, rather than simply size. A summary of the kinds of graphs contained in the FHCP Challenge Set is given. A discussion of the results of the FHCP Challenge, a year-long competition to solve all instances of the FHCP Challenge Set first announced at the 59th Annual Meeting for the Australian Mathematical Society, is also included.
A Linearly-growing Conversion from the Set Splitting Problem to the Directed Hamiltonian Cycle Problem
We consider a direct conversion of the, classical, set splitting problem to the directed Hamiltonian cycle problem. A constructive procedure for such a conversion is given, and it is shown that the input size of the converted instance is a linear function of the input size of the original instance. A proof that the two instances are equivalent is given, and a procedure for identifying a solution to the original instance from a solution of the converted instance is also provided. We conclude with two examples of set splitting problem instances, one with solutions and one without, and display the corresponding instances of the directed Hamiltonian cycle problem, along with a solution in the first example.
On the Crossing Number of the Cartesian Product of a Sunlet Graph and a Star Graph
The exact crossing number is only known for a small number of families of graphs. Many of the families for which crossing numbers have been determined correspond to cartesian products of two graphs. Here, the cartesian product of the Sunlet graph, denoted $\mathcal{S}_n$, and the Star graph, denoted $K_{1,m}$, is considered for the first time. It is proved that the crossing number of $\mathcal{S}_n \Box K_{1,2}$ is $n$, and the crossing number of $\mathcal{S}_n \Box K_{1,3}$ is $3n$. An upper bound for the crossing number of $\mathcal{S}_n \Box K_{1,m}$ is also given.
Induced matching numbers of finite graphs and edge ideals
Let $G$ be a finite simple graph on the vertex set $V(G) = \{x_1, \ldots, x_n\}$ and $I(G) \subset K[V(G)]$ its edge ideal, where $K[V(G)]$ is the polynomial ring in $x_1, \ldots, x_n$ over a field $K$ with each ${\rm deg} x_i = 1$ and where $I(G)$ is generated by those squarefree quadratic monomials $x_ix_j$ for which $\{x_i, x_j\}$ is an edge of $G$. In the present paper, given integers $1 \leq a \leq r$ and $s \geq 1$, the existence of a finite connected simple graph $G = G(a, r, d)$ with ${\rm im}(G) = a$, ${\rm reg}(R/I(G)) = r$ and ${\rm deg} h_{K[V(G)]/I(G)} (λ) = s$, where ${\rm im}(G)$ is the induced matching number of $G$ and where $h_{K[V(G)]/I(G)} (λ)$ is the $h$-polynomial of $K[V(G)]/I(G)$.
El mètode de les línies per a la resolució numèrica d'equacions en derivades parcials. The method of lines for numerical solutions of partial differential equations
In this paper, we describe a semi-discrete method for a numerical resolution of a type of partial differential equations, called the method of lines (MOL). This method is based on the discretization of all but one of the variables of the problem. We illustrate this method by solving the Laplace equation in Cartesian coordinates. We compare the concepts used by the MOL with respect to the analytical method of variable separation. We show that the results obtained with the MOL are very good approximations of the analytical solutions.
Some observations about determinants which are connected with Catalan numbers and related topics
In this (mostly expository) paper I want to share some observations prompted by a class of matrices whose determinants are Catalan numbers. Considering different methods of proof we obtain some generalizations and q-analogues and connections with Hankel determinants. Finally we state some conjectures.
A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product
Using the technique of formative processes, I solve the decidability problem of MLS with unordered cartesian product in the positive. Moreover I give a pure combinatorial description of the satisfiable MLS with unordered cartesian product-formulas for a given number of variables.
Gallai-Ramsey numbers for fans
Given a graph $G$ and a positive integer $k$, define the \emph{Gallai-Ramsey number} to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we obtain general upper and lower bounds on the Gallai-Ramsey numbers for fans $F_{m} = K_{1} + mK_{2}$ and prove the sharp result for $m = 2$ and for $m = 3$ with $k$ even.
Length derivative of the generating series of walks confined in the quarter plane
Published in Confluentes Mathematici, Volume 13 (2021) no. 2 p. 39-92
• View Publication
• BIB
In the present paper, we use difference Galois theory to study the nature of the generating function counting walks with small steps in the quarter plane. These series are trivariate formal power series $Q(x,y,t)$ that count the number of walks confined in the first quadrant of the plane with a fixed set of admissible steps, called the model of the walk. While the variables $x$ and $y$ are associated to the ending point of the path, the variable $t$ encodes its length. In this paper, we prove that in the unweighted case, $Q(x,y,t)$ satisfies an algebraic differential relation with respect to $t$ if and only if it satisfies an algebraic differential relation with respect $x$ (resp. $y$). Combined with other papers, we are able to characterize the $t$-differential transcendence of the $79$ models of walks listed by Bousquet-Mélou and Mishna.
Bias implies low rank for quartic polynomials
We investigate the structure of polynomials of degree four in many variables over a fixed prime field $\mathbb{F}=\mathbb{F}_{p}$. In 2007, Green and Tao proved that if a polynomial $f:\mathbb{F}^{n}\rightarrow\mathbb{F}$ is poorly distributed, then it is a function of a few polynomials of smaller degree. In 2009, Haramaty and Shpilka found an effective bound for $f$ of degree four: If $bias\left(f\right)\geqδ$, then the number of lower degree polynomials required is at most polynomial in $1/δ$ and $f$ has a simple presentation as a sum of their products. We make a step towards showing that in fact the number of lower degree polynomials required is at most log-polynomial in $1/δ$, with the same simple presentation of $f$. This result was a Master's thesis supervised by T. Ziegler at the Hebrew University of Jerusalem, submitted in October 2018. A log-polynomial bound for polynomials of arbitrary degree was recently proved independently by Milicevic and by Janzer.
Maximum Wiener index of unicyclic graphs with given bipartition
The \emph{Wiener index} is a widely studied topological index of graphs. One of the main problems in the area is to determine which graphs of given properties attain the extremal values of Wiener index.
In this paper we resolve an open problem posed by Du in 2012. To this end we determine the unicyclic bipartite graphs with given size of parts having the maximum Wiener index. This completes the previous research in which the minimum case was solved.
Quartic graphs which are Bakry-Émery curvature sharp
We give a classification of all connected quartic graphs which are (infinity) curvature sharp in all vertices with respect to Bakry-Émery curvature. The result is based on a computer classification by F. Gurr and L. Watson May and a combinatorial case by case investigation.