Showing 20 papers (Total: 82661 papers, 47773 authors in database)
On Euclid's Algorithm and Elementary Number Theory
Published in Sci. Comput. Program. 76 (3) (2011) 160-180
• View Publication
• BIB
Algorithms can be used to prove and to discover new theorems. This paper shows how algorithmic skills in general, and the notion of invariance in particular, can be used to derive many results from Euclid's algorithm. We illustrate how to use the algorithm as a verification interface (i.e., how to verify theorems) and as a construction interface (i.e., how to investigate and derive new theorems).
The theorems that we verify are well-known and most of them are included in standard number theory books. The new results concern distributivity properties of the greatest common divisor and a new algorithm for efficiently enumerating the positive rationals in two different ways. One way is known and is due to Moshe Newman. The second is new and corresponds to a deforestation of the Stern-Brocot tree of rationals. We show that both enumerations stem from the same simple algorithm. In this way, we construct a Stern-Brocot enumeration algorithm with the same time and space complexity as Newman's algorithm. A short review of the original papers by Stern and Brocot is also included.
Alliance polynomial of regular graphs
Published in Discrete Appl. Math. 225 (2017)
• View Publication
• BIB
The alliance polynomial of a graph $G$ with order $n$ and maximum degree $Δ$ is the polynomial $A(G; x) = \sum_{k=-Δ}^Δ A_{k}(G) \, x^{n+k}$, where $A_{k}(G)$ is the number of exact defensive $k$-alliances in $G$. We obtain some properties of $A(G; x)$ and its coefficients for regular graphs. In particular, we characterize the degree of regular graphs by the number of non-zero coefficients of their alliance polynomial. Besides, we prove that the family of alliance polynomials of $Δ$-regular graphs with small degree is a very special one, since it does not contain alliance polynomials of graphs which are not $Δ$-regular. By using this last result and direct computation we find that the alliance polynomial determines uniquely each cubic graph of order less than or equal to $10$.
The computational complexity of calculating partition functions of optimal medians with Hamming distance
In this paper, we show that calculating the partition function of optimal medians of binary strings with Hamming distance is \#P-complete for several weight functions. The case when the weight function is the factorial function has application in bioinformatics. In that case, the partition function counts the most parsimonious evolutionary scenarios on a star tree under several models in bioinformatics. The results are extended to binary trees and we show that it is also \#P-complete to calculate the most parsimonious evolutionary scenarios on an arbitrary binary tree under the substitution model of biological sequences and under the Single Cut-or-Join model for genome rearrangements.
Power Partitions
Published
• View Publication
• BIB
In 1918, Hardy and Ramanujan published a seminal paper which included an asymptotic formula for the partition function. In their paper, they also claim without proof an asymptotic equivalence for $p^k(n)$, the number of partitions of a number $n$ into $k$-th powers. In this paper, we provide an asymptotic formula for $p^k(n)$, using the Hardy-Littlewood Circle Method. We also provide a formula for the difference function $p^k(n+1)-p^k(n)$. As a necessary step in the proof, we obtain a non-trivial bound on exponential sums of the form $\sum_{m=1}^q e(\frac{am^k}{q})$.
Complexity of a Disjoint Matching Problem on Bipartite Graphs
Published
• View Publication
• BIB
We consider the following question: given an $(X,Y)$-bigraph $G$ and a set $S \subset X$, does $G$ contain two disjoint matchings $M_1$ and $M_2$ such that $M_1$ saturates $X$ and $M_2$ saturates $S$? When $|S|\geq |X|-1$, this question is solvable by finding an appropriate factor of the graph. In contrast, we show that when $S$ is allowed to be an arbitrary subset of $X$, the problem is NP-hard.
Degree conditions restricted to induced paths for hamiltonicity of claw-heavy graphs
Published in Acta Math. Sin. (Engl. Ser.) 33(2017), no. 2, 301--310
• View Publication
• BIB
Broersma and Veldman proved that every 2-connected claw-free and $P_6$-free graph is hamiltonian. Chen et al. extended this result by proving every 2-connected claw-heavy and $P_6$-free graph is hamiltonian. On the other hand, Li et al. constructed a class of 2-connected graphs which are claw-heavy and $P_6$-\emph{o}-heavy but not hamiltonian. In this paper we further give some Ore-type degree conditions restricting to induced $P_6$'s of a 2-connected claw-heavy graph that can guarantee the graph to be hamiltonian. This improves some previous related results.
Simultaneous Resolvability in Families of Corona Product Graphs
Published in Bulletin of the Malaysian Mathematical Sciences Society 41(3) (2018) 1541-1560
• View Publication
• BIB
Let ${\cal G}$ be a graph family defined on a common vertex set $V$ and let $d$ be a distance defined on every graph $G\in {\cal G}$. A set $S\subset V$ is said to be a simultaneous metric generator for ${\cal G}$ if for every $G\in {\cal G}$ and every pair of different vertices $u,v\in V$ there exists $s\in S$ such that $d(s,u)\ne d(s,v)$. The simultaneous metric dimension of ${\cal G}$ is the smallest integer $k$ such that there is a simultaneous metric generator for ${\cal G}$ of cardinality $k$. We study the simultaneous metric dimension of families composed by corona product graphs. Specifically, we focus on the case of two particular distances defined on every $G\in {\cal G}$, namely, the geodesic distance $d_G$ and the distance $d_{G,2}:V\times V\rightarrow \mathbb{N}\cup \{0\}$ defined as $d_{G,2}(x,y)=\min\{d_{G}(x,y),2\}$.
A New Perspective on Clustered Planarity as a Combinatorial Embedding Problem
The clustered planarity problem (c-planarity) asks whether a hierarchically clustered graph admits a planar drawing such that the clusters can be nicely represented by regions. We introduce the cd-tree data structure and give a new characterization of c-planarity. It leads to efficient algorithms for c-planarity testing in the following cases. (i) Every cluster and every co-cluster (complement of a cluster) has at most two connected components. (ii) Every cluster has at most five outgoing edges.
Moreover, the cd-tree reveals interesting connections between c-planarity and planarity with constraints on the order of edges around vertices. On one hand, this gives rise to a bunch of new open problems related to c-planarity, on the other hand it provides a new perspective on previous results.
Blocking optimal arborescences
The problem of covering minimum cost common bases of two matroids is NP-complete, even if the two matroids coincide, and the costs are all equal to 1. In this paper we show that the following special case is solvable in polynomial time: given a digraph $D=(V,A)$ with a designated root node $r\in V$ and arc-costs $c:A\to \mathbb{R}$, find a minimum cardinality subset $H$ of the arc set $A$ such that $H$ intersects every minimum $c$-cost $r$-arborescence. By an $r$-arborescence we mean a spanning arborescence of root $r$. The algorithm we give solves a weighted version as well, in which a nonnegative weight function $w:A\to \mathbb{R}_+$ (unrelated to $c$) is also given, and we want to find a subset $H$ of the arc set such that $H$ intersects every minimum $c$-cost $r$-arborescence, and $w(H)=\sum_{a\in H}w(a)$ is minimum. The running time of the algorithm is $O(n^3T(n,m))$, where $n$ and $m$ denote the number of nodes and arcs of the input digraph, and $T(n,m)$ is the time needed for a minimum $s-t$ cut computation in this digraph. A polyhedral description is not given, and seems rather challenging.
Simultaneous Embedding: Edge Orderings, Relative Positions, Cutvertices
A simultaneous embedding (with fixed edges) of two graphs $G^1$ and $G^2$ with common graph $G=G^1 \cap G^2$ is a pair of planar drawings of $G^1$ and $G^2$ that coincide on $G$. It is an open question whether there is a polynomial-time algorithm that decides whether two graphs admit a simultaneous embedding (problem SEFE).
In this paper, we present two results. First, a set of three linear-time preprocessing algorithms that remove certain substructures from a given SEFE instance, producing a set of equivalent SEFE instances without such substructures. The structures we can remove are (1) cutvertices of the union graph $G^\cup = G^1 \cup G^2$, (2) most separating pairs of $G^\cup$, and (3) connected components of $G$ that are biconnected but not a cycle.
Second, we give an $O(n^3)$-time algorithm solving SEFE for instances with the following restriction. Let $u$ be a pole of a P-node $μ$ in the SPQR-tree of a block of $G^1$ or $G^2$. Then at most three virtual edges of $μ$ may contain common edges incident to $u$. All algorithms extend to the sunflower case, i.e., to the case of more than three graphs pairwise intersecting in the same common graph.
A Coloring Algorithm for $4K_1$-free line graphs
Let $L$ be a set of graphs. $Free$($L$) is the set of graphs that do not contain any graph in $L$ as an induced subgraph. It is known that if $L$ is a set of four-vertex graphs, then the complexity of the coloring problem for $Free$($L$) is known with three exceptions: $L $= {claw, $4K_1$}, $L$ = {claw, $4K_1$, co-diamond}, and $L$ = {$C_4$, $4K_1$}. In this paper, we study the coloring problem for $Free$(claw, $4K_1$). We solve the coloring problem for a subclass of $Free$(claw, $4K_1$) which contains the class of $4K_1$-free line graphs. Our result implies the chromatic index of a graph with no matching of size four can be computed in polynomial time.
Cayley graphs of diameter two from difference sets
Published
• View Publication
• BIB
Let $C(d,k)$ and $AC(d,k)$ be the largest order of a Cayley graph and a Cayley graph based on an abelian group, respectively, of degree $d$ and diameter $k$. When $k=2$, it is well-known that $C(d,2)\le d^2+1$ with equality if and only if the graph is a Moore graph. In the abelian case, we have $AC(d,2)\le \frac{d^2}{2}+d+1$. The best currently lower bound on $AC(d,2)$ is $\frac{3}{8}d^2-1.45 d^{1.525}$ for all sufficiently large $d$. In this paper, we consider the construction of large graphs of diameter $2$ using generalized difference sets. We show that $AC(d,2)\ge \frac{25}{64}d^2-2.1 d^{1.525}$ for sufficiently large $d$ and $AC(d,2) \ge \frac{4}{9}d^2$ if $d=3q$, $q=2^m$ and $m$ is odd.
Prime Vertex Labelings Of Families Of Unicyclic Graphs
Published in The Rose-Hulman Undergraduate Math Journal 16(1), 2015
• Search Publication
A simple $n$-vertex graph has a prime vertex labeling if the vertices can be injectively labeled with the integers $1, 2, 3,\ldots, n$ such that adjacent vertices have relatively prime labels. We will present previously unknown prime vertex labelings for new families of graphs, all of which are special cases of Seoud and Youssef's conjecture that all unicyclic graphs have a prime labeling.
Hindman's Theorem is only a countable phenomenon
Published in Order 35 no. 1 (2018), 83-91
• View Publication
• BIB
We pursue the idea of generalizing Hindman's Theorem to uncountable cardinalities, by analogy with the way in which Ramsey's Theorem can be generalized to weakly compact cardinals. But unlike Ramsey's Theorem, the outcome of this paper is that the natural generalizations of Hindman's Theorem proposed here tend to fail at all uncountable cardinals.
On the spectra of strong power graphs of finite groups
We give the characteristic polynomial of the distance or adjacency matrix of the strong power graph of a finite group, and compute its distance and adjacency spectrum.
A Characterization of class groups via sets of lengths {II}
Published
• View Publication
• BIB
Let $H$ be a Krull monoid with finite class group $G$ and suppose that every class contains a prime divisor. If an element $a \in H$ has a factorization $a=u_1 \cdot \ldots \cdot u_k$ into irreducible elements $u_1, \ldots, u_k \in H$, then $k$ is called the length of the factorization and the set $\mathsf L (a)$ of all possible factorization lengths is the set of lengths of $a$. It is classical that the system $\mathcal L (H) = \{ \mathsf L (a) \mid a \in H \}$ of all sets of lengths depends only on the class group $G$, and a standing conjecture states that conversely the system $\mathcal L (H)$ is characteristic for the class group. We verify the conjecture if the class group is isomorphic to $C_n^r$ with $r,n \ge 2$ and $r \le \max \{2, (n+2)/6\}$. Indeed, let $H'$ be a further Krull monoid with class group $G'$ such that every class contains a prime divisor and suppose that $\mathcal L (H)= \mathcal L (H')$. We prove that, if one of the groups $G$ and $G'$ is isomorphic to $C_n^r$ with $r,n$ as above, then $G$ and $G'$ are isomorphic (apart from two well-known pairings).
Global clustering coefficient in scale-free weighted and unweighted networks
Published
• View Publication
• BIB
In this paper, we present a detailed analysis of the global clustering coefficient in scale-free graphs. Many observed real-world networks of diverse nature have a power-law degree distribution. Moreover, the observed degree distribution usually has an infinite variance. Therefore, we are especially interested in such degree distributions. In addition, we analyze the clustering coefficient for both weighted and unweighted graphs.
There are two well-known definitions of the clustering coefficient of a graph: the global and the average local clustering coefficients. There are several models proposed in the literature for which the average local clustering coefficient tends to a positive constant as a graph grows. On the other hand, there are no models of scale-free networks with an infinite variance of the degree distribution and with an asymptotically constant global clustering coefficient. Models with constant global clustering and finite variance were also proposed. Therefore, in this paper we focus only on the most interesting case: we analyze the global clustering coefficient for graphs with an infinite variance of the degree distribution.
For unweighted graphs, we prove that the global clustering coefficient tends to zero with high probability and we also estimate the largest possible clustering coefficient for such graphs. On the contrary, for weighted graphs, the constant global clustering coefficient can be obtained even for the case of an infinite variance of the degree distribution.
Permutations destroying arithmetic progressions in finite cyclic groups
Published
• View Publication
• BIB
A permutation πof an abelian group G is said to destroy arithmetic progressions (APs) if, whenever (a,b,c) is a non-trivial 3-term AP in G, that is c-b=b-a and a,b,c are not all equal, then (π(a),π(b),π(c)) is not an AP. In a paper from 2004, the first author conjectured that such a permutation exists of Z/nZ, for all n except 2,3,5 and 7. Here we prove, as a special case of a more general result, that such a permutation exists for all n >= n_0, for some explcitly constructed number n_0 \approx 1.4 x 10^{14}. We also construct such a permutation of Z/pZ for all primes p > 3 such that p = 3 (mod 8).
Zamolodchikov integrability via rings of invariants
Published
• View Publication
• BIB
Zamolodchikov periodicity is periodicity of certein recursions associated with box products $X \square Y$ of two finite type Dynkin diagrams. We suggest an affine analog of Zamolodchikov periodicity, which we call Zamolodchikov integrability. We conjecture that it holds for products $X \square Y$, where $X$ is a finite type Dynkin diagram and $Y$ is an extended Dynkin diagram. We prove this conjecture for the case of $A_m \square A_{2n-1}^{(1)}$. The proof employs cluster structures in certain classical rings of invariants, previously studied by S. Fomin and the author.
Distance labelings: a generalization of Langford sequences
A Langford sequence of order $m$ and defect $d$ can be identified with a labeling of the vertices of a path of order $2m$ in which each labeled from $d$ up to $d+m-1$ appears twice and in which the vertices that have been label with $k$ are at distance $k$. In this paper, we introduce two generalizations of this labeling that are related to distances.