Showing 20 papers (Total: 82901 papers, 47900 authors in database)
From subKautz digraphs to cyclic Kautz digraphs
The Kautz digraphs $K(d,\ell)$ are a well-known family of dense digraphs, widely studied as a good model for interconnection networks. Closely related to these, the cyclic Kautz digraphs $CK(d,\ell)$ were recently introduced by Böhmová, Huemer and the author, and some of its distance-related parameters were fixed. In this paper we propose a new approach to the cyclic Kautz digraphs by introducing the family of the subKautz digraphs $sK(d,\ell)$, from where the cyclic Kautz digraphs can be obtained as line digraphs. This allows us to give exact formulas for the distance between any two vertices of both $sK(d,\ell)$ and $CK(d,\ell)$. Moreover, we compute the diameter and the semigirth of both families, also providing efficient routing algorithms to find the shortest path between any pair of vertices. Using these parameters, we also prove that $sK(d,\ell)$ and $CK(d,\ell)$ are maximally vertex-connected and super-edge-connected. Whereas $K(d,\ell)$ are optimal with respect to the diameter, we show that $sK(d,\ell)$ and $CK(d,\ell)$ are optimal with respect to the mean distance, whose exact values are given for both families when $\ell=3$. Finally, we provide a lower bound on the girth of $CK(d,\ell)$ and $sK(d,\ell)$.
Stabilizing Weighted Graphs
Published
• View Publication
• BIB
An edge-weighted graph $G=(V,E)$ is called stable if the value of a maximum-weight matching equals the value of a maximum-weight fractional matching. Stable graphs play an important role in some interesting game theory problems, such as network bargaining games and cooperative matching games, because they characterize instances which admit stable outcomes. Motivated by this, in the last few years many researchers have investigated the algorithmic problem of turning a given graph into a stable one, via edge- and vertex-removal operations. However, all the algorithmic results developed in the literature so far only hold for unweighted instances, i.e., assuming unit weights on the edges of $G$.
We give the first polynomial-time algorithm to find a minimum cardinality subset of vertices whose removal from $G$ yields a stable graph, for any weighted graph $G$. The algorithm is combinatorial and exploits new structural properties of basic fractional matchings, which are of independent interest. In particular, one of the main ingredients of our result is the development of a polynomial-time algorithm to compute a basic maximum-weight fractional matching with minimum number of odd cycles in its support. This generalizes a fundamental and classical result on unweighted matchings given by Balas more than 30 years ago, which we expect to prove useful beyond this particular application.
In contrast, we show that the problem of finding a minimum cardinality subset of edges whose removal from a weighted graph $G$ yields a stable graph, does not admit any constant-factor approximation algorithm, unless $P=NP$. In this setting, we develop an $O(Δ)$-approximation algorithm for the problem, where $Δ$ is the maximum degree of a node in $G$.
Proof of Northshield's conjecture concerning an analogue of Stern's sequence for $\mathbb{Z}[\sqrt{2}]$
We prove a conjecture of Northshield by determining the maximal order of his analogue of Stern's sequence for $\mathbb{Z}[\sqrt{2}]$. In particular, if $b$ is Northshield's analogue, we prove that $$\limsup_{n\to\infty}\frac{2b(n)}{(2n)^{\log_3 (\sqrt{2}+1)}}=1.$$
On conditional fault tolerance of hierarchical cubic networks
Published
• View Publication
• BIB
This paper considers the conditional fault tolerance, $h$-super connectivity $κ^{h}$ and $h$-super edge-connectivity $λ^{h}$ of the hierarchical cubic network $HCN_n$, an attractive alternative network to the hypercube, and shows $κ^h(HCN_n)=λ^h(HCN_n)=2^h(n+1-h)$ for any $h$ with $0\leq h\leq n-1$. The results imply that at least $2^h(n+1-h)$ vertices or edges have to be removed from $HCN_n$ to make it disconnected with no vertices of degree less than $h$, and generalize some known results.
Additive structures on $f$-vector sets of polytopes
Published
• View Publication
• BIB
We show that the $f$-vector sets of $d$-polytopes have non-trivial additive structure: They span affine lattices and are embedded in monoids that we describe explicitly. Moreover, for many large subclasses, such as the simple polytopes, or the simplicial polytopes, there are monoid structures on the set of $f$-vectors by themselves: "addition of $f$-vectors minus the $f$-vector of the $d$-simplex" always yields a new $f$-vector. For general $4$-polytopes, we show that the modified addition operation does not always produce an $f$-vector, but that the result is always close to an $f$-vector. In this sense, the set of $f$-vectors of \emph{all} $4$-polytopes forms an "approximate affine semigroup." The proof relies on the fact for $d=4$ every $d$-polytope, or its dual, has a "small facet." This fails for $d>4$.
We also describe a two further modified addition operations on $f$-vectors that can be geometrically realized by glueing corresponding polytopes. The second one of these may yield a semigroup structure on the $f$-vector set of all $4$-polytopes.
Enumeration of N-rooted maps using quantum field theory
Published
• View Publication
• BIB
A one-to-one correspondence is proved between the N-rooted ribbon graphs, or maps, with e edges and the (e-N+1)-loop Feynman diagrams of a certain quantum field theory. This result is used to obtain explicit expressions and relations for the generating functions of N-rooted maps and for the numbers of N-rooted maps with a given number of edges using the path integral approach applied to the corresponding quantum field theory.
Automated Generation of Anomalous Cancellations
If you cancel out the digit 6 from the ratio 16/64, you get the right answer by the wrong method. In 1979 R.P. Boas made an extensive study of such "anomalous cancellations" and generated many examples, in many bases. We continue his pioneering work, and generate many more examples, using the Extended Euclidean Algorithm.
On the maximum value of conflict-free verex-connection number of graphs
Published
• View Publication
• BIB
A path in a vertex-colored graph is called {\it conflict-free} if there is a color used on exactly one of its vertices. A vertex-colored graph is said to be {\it conflict-free vertex-connected} if any two vertices of the graph are connected by a conflict-free path. The {\it conflict-free vertex-connection number}, denoted by $vcfc(G)$, is defined as the smallest number of colors required to make $G$ conflict-free vertex-connected. Li et al. conjectured that for a connected graph $G$ of order $n$, $vcfc(G)\leq vcfc(P_n)$. We confirm that the conjecture is true and pose a a relevant conjecture concerning the conflict-free connection number introduced by Czap et al..
Electrical networks and hyperplane arrangements
Published
• View Publication
• BIB
This paper studies \emph{Dirichlet arrangements}, a generalization of graphic hyperplane arrangements arising from electrical networks and order polytopes of finite posets. We generalize descriptions of combinatorial features of graphic arrangements to Dirichlet arrangements, including characteristic polynomials and supersolvability. We apply these results to visibility sets of order polytopes and fixed-energy harmonic functions on electrical networks.
Order Preserving Maps of Posets
For any two finite posets $P$ and $Q$, let $\Hom(P,Q)$ be the hom-poset consisting of all order preserving maps from $P$ to $Q$, and $J(Q)$ the collection of all order ideals of $Q$. In this paper, we study some basic properties of the hom-poset $\Hom(P,Q)$ and prove that $\Hom\big(P,J(Q)\big)$ is a distributive lattice and characterized by \[ \Hom\big(P,J(Q)\big)\cong J(P^*\times Q), \] where $P^*$ is the dual of $P$. Consequently, we obtain that $\Hom\big(P,J(Q)\big)$ and $\Hom\big(Q,J(P)\big)$ are dual isomorphic, i.e., \[ \Hom\big(P,J(Q)\big)\cong \Hom^{*}\big(Q,J(P)\big). \] As applications, we calculate the number of order preserving maps from any poset to the boolean algebra, and the characteristic polynomial of $\Hom\big(P,J(Q)\big)$.
On $k$-tuple and $k$-tuple total domination numbers of regular graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph of order $n$, whose minimum vertex degree is at least $k$. A subset $S$ of vertices in $G$ is a $k$-tuple total dominating set if every vertex of $G$ is adjacent to at least $k$ vertices in $S$. The minimum cardinality of a $k$-tuple total dominating set of $G$ is the $k$-tuple total domination number of $G$, denoted by $γ_{\times k,t}(G)$. Henning and Yeo in \cite{hen} proved that if $G$ is a cubic graph different from the Heawood graph, $γ_{\times 2, t}(G) \leq \frac{5}{6}n$, and this bound is sharp. Similarly, a $k$-tuple dominating set is a subset $S$ of vertices of $G$, $V (G)$ such that $|N[v] \cap S| \geq k$ for every vertex $v$, where $N[v] = \{v\}\cup \{u \in V(G) : uv \in E(G)\}$. The $k$-tuple domination number of $G$, denoted by $γ_{\times k}(G)$, is the minimum cardinality of a $k$-tuple dominating set of $G$.
In this paper, we give a simple approach to compute an upper bound for $(r-1)$-tuple total domination number of $r$-regular graphs. Also, we give an upper bound for the $r$-tuple dominating number of $r$-regular graphs. In addition, our method gives algorithms to compute dominating sets with the given bounds, while the previous methods are existential.
1324-avoiding permutations revisited
Published
• View Publication
• BIB
We give an improved algorithm for counting the number of $1324$-avoiding permutations, resulting in $14$ further terms of the generating function, which is now known for all patterns of length $\le 50$. We re-analyse the generating function and find additional evidence for our earlier conclusion that unlike other classical length-$4$ pattern-avoiding permutations, the generating function does not have a simple power-law singularity, but rather, the number of $1324$-avoiding permutations of length $n$ behaves as \[ B\cdot μ^n \cdot μ_1^{\sqrt{n}} \cdot n^g. \] We estimate $μ=11.600 \pm 0.003$, $μ_1 = 0.0400 \pm 0.0005$, $g = -1.1 \pm 0.1$ while the estimate of $B$ depends sensitively on the precise value of $μ$, $μ_1$ and $g$. This reanalysis provides substantially more compelling arguments for the presence of the stretched exponential term $μ_1^{\sqrt{n}}$.
Predicting Melting Points by the Graovac-Pisanski Index
Published in Fuller. Nanotub. Car. N. 26 (2018) 239-245
• View Publication
• BIB
Theoretical molecular descriptors alias topological indices are a convenient means for expressing in a numerical form the chemical structure encoded in a molecular graph. The structure descriptors derived from molecular graphs are widely used in Quantitative Structure-Property Relationship (QSPR) and Quantitative Structure-Activity Relationship (QSAR).
In this paper, we are interested in the Graovac-Pisanski index (also called modified Wiener index) introduced in 1991 by Graovac and Pisanski, which encounters beside the distances in a molecular graph also its symmetries. In the QSPR analysis we first calculate the Graovac-Pisanski index for different families of hydrocarbon molecules using a simple program and then we show a correlation with the melting points of considered molecules. We show that the melting points of the alkane series can be very effectively predicted by the Graovac-Pisanski index and for the rest of considered molecules (PAH's and octane isomers) the regression models are different, but we establish some correlation with the melting points for them as well.
A vertex and edge deletion game on graphs
Starting with a graph, two players take turns in either deleting an edge or deleting a vertex and all incident edges. The player removing the last vertex wins. We review the known results for this game and extend the computation of nim-values to new families of graphs. A conjecture of Khandhawit and Ye on the nim-values of graphs with one odd cycle is proved. We also see that, for wheels and their subgraphs, this game exhibits a surprising amount of unexplained regularity.
On the local homology of Artin groups of finite and affine type
Published in Algebr. Geom. Topol. 19 (2019) 3615-3639
• View Publication
• BIB
We study the local homology of Artin groups using weighted discrete Morse theory. In all finite and affine cases, we are able to construct Morse matchings of a special type (we call them "precise matchings"). The existence of precise matchings implies that the homology has a square-free torsion. This property was known for Artin groups of finite type, but not in general for Artin groups of affine type. We also use the constructed matchings to compute the local homology in all exceptional cases, correcting some results in the literature.
An Exact Approach for the Balanced k-Way Partitioning Problem with Weight Constraints and its Application to Sports Team Realignment
Published in Journal of Combinatorial Optimization 36 (2018) 916-936
• View Publication
• BIB
In this work a balanced k-way partitioning problem with weight constraints is defined to model the sports team realignment. Sports teams must be partitioned into a fixed number of groups according to some regulations, where the total distance of the road trips that all teams must travel to play a Double Round Robin Tournament in each group is minimized. Two integer programming formulations for this problem are introduced, and the validity of three families of inequalities associated to the polytope of these formulations is proved. The performance of a tabu search procedure and a Branch & Cut algorithm, which uses the valid inequalities as cuts, is evaluated over simulated and real-world instances. In particular, an optimal solution for the realignment of the Ecuadorian Football league is reported and the methodology can be suitable adapted for the realignment of other sports leagues.
Parking cars after a trailer
Recently, the authors extended the notion of parking functions to parking sequences, which include cars of different sizes, and proved a product formula for the number of such sequences. We here give a refinement of that result involving parking the cars after a trailer. The proof of the refinement uses a multi-parameter extension of the Abel--Rothe polynomial due to Strehl.
On the sharp lower bounds of Zagreb indices of graphs with given number of cut vertices
Published
• View Publication
• BIB
The first Zagreb index of a graph $G$ is the sum of the square of every vertex degree, while the second Zagreb index is the sum of the product of vertex degrees of each edge over all edges. In our work, we solve an open question about Zagreb indices of graphs with given number of cut vertices. The sharp lower bounds are obtained for these indices of graphs in $\mathbb{V}_{n,k}$, where $\mathbb{V}_{n, k}$ denotes the set of all $n$-vertex graphs with $k$ cut vertices and at least one cycle. As consequences, those graphs with the smallest Zagreb indices are characterized.
Vizing's 2-factor Conjecture Involving Toughness and Maximum Degree Conditions
Published
• View Publication
• BIB
Let $G$ be a simple graph, and let $Δ(G)$ and $χ'(G)$ denote the maximum degree and chromatic index of $G$, respectively. Vizing proved that $χ'(G)=Δ(G)$ or $Δ(G)+1$. We say $G$ is $Δ$-critical if $χ'(G)=Δ+1$ and $χ'(H)<χ'(G)$ for every proper subgraph $H$ of $G$. In 1968, Vizing conjectured that if $G$ is a $Δ$-critical graph, then $G$ has a 2-factor. Let $G$ be an $n$-vertex $Δ$-critical graph. It was proved that if $Δ(G)\ge n/2$, then $G$ has a 2-factor; and that if $Δ(G)\ge 2n/3+12$, then $G$ has a hamiltonian cycle, and thus a 2-factor. It is well known that every 2-tough graph with at least three vertices has a 2-factor. We investigate the existence of a 2-factor in a $Δ$-critical graph under "moderate" given toughness and maximum degree conditions. In particular, we show that if $G$ is an $n$-vertex $Δ$-critical graph with toughness at least 3/2 and with maximum degree at least $n/3$, then $G$ has a 2-factor. In addition, we develop new techniques in proving the existence of 2-factors in graphs.
The rank function of a positroid and non-crossing partitions
Published
• View Publication
• BIB
A positroid is a special case of a realizable matroid, that arose from the study of totally nonnegative part of the Grassmannian by Postnikov. Postnikov demonstrated that positroids are in bijection with certain interesting classes of combinatorial objects, such as Grassmann necklaces and decorated permutations. The bases of a positroid can be described directly in terms of the Grassmann necklace and decorated permutation. In this paper, we show that the rank of an arbitrary set in a positroid can be computed directly from the associated decorated permutation using non-crossing partitions.