scholarly journals The complexity of frugal colouring

Author(s):  
Stefan Bard ◽  
Gary MacGillivray ◽  
Shayla Redlin

AbstractA t-frugal colouring of a graph G is an assignment of colours to the vertices of G, such that each colour appears at most t times in the neighbourhood of any vertex. A dichotomy theorem for the complexity of deciding whether a graph has a 1-frugal colouring with k colours was found by McCormick and Thomas, and then later extended to restricted graph classes by Kratochvil and Siggers. We generalize the McCormick and Thomas theorem by proving a dichotomy theorem for the complexity of deciding whether a graph has a t-frugal colouring with k colours, for all pairs of positive integers t and k. We also generalize bounds of Lih et al. for the number of colours needed in a 1-frugal colouring of a given $$K_4$$ K 4 -minor-free graph with maximum degree $$\Delta $$ Δ to t-frugal colourings, for any positive integer t.

Mathematics ◽  
2021 ◽  
Vol 9 (15) ◽  
pp. 1813
Author(s):  
S. Subburam ◽  
Lewis Nkenyereye ◽  
N. Anbazhagan ◽  
S. Amutha ◽  
M. Kameswari ◽  
...  

Consider the Diophantine equation yn=x+x(x+1)+⋯+x(x+1)⋯(x+k), where x, y, n, and k are integers. In 2016, a research article, entitled – ’power values of sums of products of consecutive integers’, primarily proved the inequality n= 19,736 to obtain all solutions (x,y,n) of the equation for the fixed positive integers k≤10. In this paper, we improve the bound as n≤ 10,000 for the same case k≤10, and for any fixed general positive integer k, we give an upper bound depending only on k for n.


2018 ◽  
Vol 68 (5) ◽  
pp. 975-980
Author(s):  
Zhongyan Shen ◽  
Tianxin Cai

Abstract In 2014, Wang and Cai established the following harmonic congruence for any odd prime p and positive integer r, $$\sum_{\begin{subarray}{c}i+j+k=p^{r}\\ i,j,k\in\mathcal{P}_{p}\end{subarray}}\frac{1}{ijk}\equiv-2p^{r-1}B_{p-3} \quad\quad(\text{mod} \,\, {p^{r}}),$$ where $ \mathcal{P}_{n} $ denote the set of positive integers which are prime to n. In this note, we obtain the congruences for distinct odd primes p, q and positive integers α, β, $$ \sum_{\begin{subarray}{c}i+j+k=p^{\alpha}q^{\beta}\\ i,j,k\in\mathcal{P}_{2pq}\end{subarray}}\frac{1}{ijk}\equiv\frac{7}{8}\left(2-% q\right)\left(1-\frac{1}{q^{3}}\right)p^{\alpha-1}q^{\beta-1}B_{p-3}\pmod{p^{% \alpha}} $$ and $$ \sum_{\begin{subarray}{c}i+j+k=p^{\alpha}q^{\beta}\\ i,j,k\in\mathcal{P}_{pq}\end{subarray}}\frac{(-1)^{i}}{ijk}\equiv\frac{1}{2}% \left(q-2\right)\left(1-\frac{1}{q^{3}}\right)p^{\alpha-1}q^{\beta-1}B_{p-3}% \pmod{p^{\alpha}}. $$


1991 ◽  
Vol 14 (3) ◽  
pp. 457-462 ◽  
Author(s):  
Clark Kimberling

Associated with any irrational numberα>1and the functiong(n)=[αn+12]is an array{s(i,j)}of positive integers defined inductively as follows:s(1,1)=1,s(1,j)=g(s(1,j−1))for allj≥2,s(i,1)=the least positive integer not amongs(h,j)forh≤i−1fori≥2, ands(i,j)=g(s(i,j−1))forj≥2. This work considers algebraic integersαof degree≥3for which the rows of the arrays(i,j)partition the set of positive integers. Such an array is called a Stolarsky array. A typical result is the following (Corollary 2): ifαis the positive root ofxk−xk−1−…−x−1fork≥3, thens(i,j)is a Stolarsky array.


1961 ◽  
Vol 5 (1) ◽  
pp. 35-40 ◽  
Author(s):  
R. A. Rankin

For any positive integers n and v letwhere d runs through all the positive divisors of n. For each positive integer k and real x > 1, denote by N(v, k; x) the number of positive integers n ≦ x for which σv(n) is not divisible by k. Then Watson [6] has shown that, when v is odd,as x → ∞; it is assumed here and throughout that v and k are fixed and independent of x. It follows, in particular, that σ (n) is almost always divisible by k. A brief account of the ideas used by Watson will be found in § 10.6 of Hardy's book on Ramanujan [2].


2018 ◽  
Vol 11 (04) ◽  
pp. 1850056 ◽  
Author(s):  
Zahid Raza ◽  
Hafsa Masood Malik

Let [Formula: see text] be any positive integers such that [Formula: see text] and [Formula: see text] is a square free positive integer of the form [Formula: see text] where [Formula: see text] and [Formula: see text] The main focus of this paper is to find the fundamental solution of the equation [Formula: see text] with the help of the continued fraction of [Formula: see text] We also obtain all the positive solutions of the equations [Formula: see text] and [Formula: see text] by means of the Fibonacci and Lucas sequences.Furthermore, in this work, we derive some algebraic relations on the Pell form [Formula: see text] including cycle, proper cycle, reduction and proper automorphism of it. We also determine the integer solutions of the Pell equation [Formula: see text] in terms of [Formula: see text] We extend all the results of the papers [3, 10, 27, 37].


2009 ◽  
Vol 51 (2) ◽  
pp. 243-252
Author(s):  
ARTŪRAS DUBICKAS

AbstractLetx0<x1<x2< ⋅⋅⋅ be an increasing sequence of positive integers given by the formulaxn=⌊βxn−1+ γ⌋ forn=1, 2, 3, . . ., where β > 1 and γ are real numbers andx0is a positive integer. We describe the conditions on integersbd, . . .,b0, not all zero, and on a real number β > 1 under which the sequence of integerswn=bdxn+d+ ⋅⋅⋅ +b0xn,n=0, 1, 2, . . ., is bounded by a constant independent ofn. The conditions under which this sequence can be ultimately periodic are also described. Finally, we prove a lower bound on the complexity function of the sequenceqxn+1−pxn∈ {0, 1, . . .,q−1},n=0, 1, 2, . . ., wherex0is a positive integer,p>q> 1 are coprime integers andxn=⌈pxn−1/q⌉ forn=1, 2, 3, . . . A similar speculative result concerning the complexity of the sequence of alternatives (F:x↦x/2 orS:x↦(3x+1)/2) in the 3x+1 problem is also given.


10.37236/2732 ◽  
2013 ◽  
Vol 20 (2) ◽  
Author(s):  
David S. Gunderson ◽  
Hanno Lefmann

If $G$ is a large $K_k$-free graph, by Ramsey's theorem, a large set of vertices is independent. For graphs whose vertices are positive integers, much recent work has been done to identify what arithmetic structure is possible in an independent set. This paper addresses  similar problems: for graphs whose vertices are affine or linear spaces over a finite field,  and when the vertices of the graph are elements of an arbitrary Abelian group.


2021 ◽  
Vol 14 (2) ◽  
pp. 380-395
Author(s):  
Jiramate Punpim ◽  
Somphong Jitman

Triangular numbers have been of interest and continuously studied due to their beautiful representations, nice properties, and various links with other figurate numbers. For positive integers n and l, the nth l-isosceles triangular number is a generalization of triangular numbers defined to be the arithmetic sum of the formT(n, l) = 1 + (1 + l) + (1 + 2l) + · · · + (1 + (n − 1)l).In this paper, we focus on characterizations and identities for isosceles triangular numbers as well as their links with other figurate numbers. Recursive formulas for constructions of isosceles triangular numbers are given together with necessary and sufficient conditions for a positive integer to be a sum of isosceles triangular  numbers. Various identities for isosceles triangular numbers are established. Results on triangular numbers can be viewed as a special case.


10.37236/9071 ◽  
2020 ◽  
Vol 27 (1) ◽  
Author(s):  
Xiaoyu He ◽  
Yuval Wigderson

A weakly optimal $K_s$-free $(n,d,\lambda)$-graph is a $d$-regular $K_s$-free graph on $n$ vertices with $d=\Theta(n^{1-\alpha})$ and spectral expansion $\lambda=\Theta(n^{1-(s-1)\alpha})$, for some fixed $\alpha>0$. Such a graph is called optimal if additionally $\alpha = \frac{1}{2s-3}$. We prove that if $s_{1},\ldots,s_{k}\ge3$ are fixed positive integers and weakly optimal $K_{s_{i}}$-free pseudorandom graphs exist for each $1\le i\le k$, then the multicolor Ramsey numbers satisfy\[\Omega\Big(\frac{t^{S+1}}{\log^{2S}t}\Big)\le r(s_{1},\ldots,s_{k},t)\le O\Big(\frac{t^{S+1}}{\log^{S}t}\Big),\]as $t\rightarrow\infty$, where $S=\sum_{i=1}^{k}(s_{i}-2)$. This generalizes previous results of Mubayi and Verstra\"ete, who proved the case $k=1$, and Alon and Rödl, who proved the case $s_1=\cdots = s_k = 3$. Both previous results used the existence of optimal rather than weakly optimal $K_{s_i}$-free graphs.


2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Tamás Lengyel

International audience Let $n$ and $k$ be positive integers, $d(k)$ and $\nu_2(k)$ denote the number of ones in the binary representation of $k$ and the highest power of two dividing $k$, respectively. De Wannemacker recently proved for the Stirling numbers of the second kind that $\nu_2(S(2^n,k))=d(k)-1, 1\leq k \leq 2^n$. Here we prove that $\nu_2(S(c2^n,k))=d(k)-1, 1\leq k \leq 2^n$, for any positive integer $c$. We improve and extend this statement in some special cases. For the difference, we obtain lower bounds on $\nu_2(S(c2^{n+1}+u,k)-S(c2^n+u,k))$ for any nonnegative integer $u$, make a conjecture on the exact order and, for $u=0$, prove part of it when $k \leq 6$, or $k \geq 5$ and $d(k) \leq 2$. The proofs rely on congruential identities for power series and polynomials related to the Stirling numbers and Bell polynomials, and some divisibility properties.


Sign in / Sign up

Export Citation Format

Share Document