A Note on the Feedback Arc Set Problem and Acyclic Subdigraphs in Bipartite Tournaments

2017 ◽  
Vol 17 (03n04) ◽  
pp. 1741004
Author(s):  
D. GONZÁLEZ-MORENO ◽  
B. LLANO ◽  
E. RIVERA-CAMPO

Given a digraph D a feedback arc set is a subset X of the arcs of D such that D − X is acyclic. Let β(D) denote de minimum cardinality of a feedback arc set of D. In this paper we prove that a bipartite tournament T with minimum out-degree at least r satisfies β(T) ≥ r2. A lower bound and an upper bound for β(T) are given in terms of the bipartite dichromatic number. We define the bipartite dichromatic number of a balanced bipartite tournament Tn,n and use this invariant to give an upper bound for the minimum cardinality of a feedback arc set of Tn,n. We also prove that for each positive integer k ≥ 3 there is an integer N(k) such that if n ≥ N(k), then each balanced bipartite tournament contains an acyclic bipartite tournament Tk,k.

1991 ◽  
Vol 34 (1) ◽  
pp. 121-142 ◽  
Author(s):  
D. M. E. Foster

For a fixed integer q≧2, every positive integer k = Σr≧0ar(q, k)qr where each ar(q, k)∈{0,1,2,…, q−1}. The sum of digits function α(q, k) Σr≧0ar(q, k) behaves rather erratically but on averaging has a uniform behaviour. In particular if , where n>1, then it is well known that A(q, n)∼½((q − 1)/log q)n logn as n → ∞. For odd values of q, a lower bound is now obtained for the difference 2S(q, n) = A(q, n)−½(q − 1))[log n/log q, where [log n/log q] denotes the greatest integer ≦log n /log q. This complements an upper bound already found.


2008 ◽  
Vol 04 (03) ◽  
pp. 339-347 ◽  
Author(s):  
ZHIVKO NEDEV ◽  
ANTHONY QUAS

We consider the notion of a balanced set modulo N. A nonempty set S of residues modulo N is balanced if for each x ∈ S, there is a d with 0 < d ≤ N/2 such that x ± d mod N both lie in S. We define α(N) to be the minimum cardinality of a balanced set modulo N. This notion arises in the context of a two-player game that we introduce and has interesting connections to the prime factorization of N. We demonstrate that for p prime, α(p) = Θ( log p), giving an explicit algorithmic upper bound and a lower bound using finite field theory and show that for N composite, α(N) = min p|Nα(p).


10.37236/2957 ◽  
2013 ◽  
Vol 20 (2) ◽  
Author(s):  
Dhruv Mubayi ◽  
Randall Stading

For every even positive integer $k\ge 4$ let $f(n,k)$ denote the minimim number of colors required to color the edges of the $n$-dimensional cube $Q_n$, so that the edges of every copy of the $k$-cycle $C_k$ receive $k$ distinct colors. Faudree, Gyárfás, Lesniak and Schelp proved that $f(n,4)=n$ for $n=4$ or $n>5$. We consider larger $k$ and prove that if $k \equiv 0$ (mod 4), then there are positive constants $c_1, c_2$ depending only on $k$ such that$$c_1n^{k/4} < f(n,k) < c_2 n^{k/4}.$$Our upper bound uses an old construction of Bose and Chowla of generalized Sidon sets. For $k \equiv 2$ (mod 4), the situation seems more complicated. For the smallest case $k=6$ we show that $$3n-2 \le f(n, 6) < n^{1+o(1)}$$ with the lower bound holding for $n \ge 3$. The upper bound is obtained from Behrend's construction of a subset of integers with no three term arithmetic progression.


10.37236/1533 ◽  
2000 ◽  
Vol 7 (1) ◽  
Author(s):  
D. De Caen

A construction is given of ${{2}\over {9}} (d+1)^2$ equiangular lines in Euclidean $d$-space, when $d = 3 \cdot 2^{2t-1}-1$ with $t$ any positive integer. This compares with the well known "absolute" upper bound of ${{1}\over {2}} d(d+1)$ lines in any equiangular set; it is the first known constructive lower bound of order $d^2$ .


2021 ◽  
Vol 14 (1) ◽  
pp. 314-326
Author(s):  
Eva Jenny C. Sigasig ◽  
Cristoper John S. Rosero ◽  
Michael Jr. Patula Baldado

Let R be a ring with identity 1R. A subset J of R is called a γ-set if for every a ∈ R\J,there exist b, c ∈ J such that a+b = 0 and ac = 1R = ca. A γ-set of minimum cardinality is called a minimum γ-set. In this study, we identified some elements of R that are necessarily in a γ-sets, and we presented a method of constructing a new γ-set. Moreover, we gave: necessary and sufficient conditions for rings to have a unique γ-set; an upper bound for the total number of minimum γ-sets in a division ring; a lower bound for the total number of minimum γ-sets in a division ring; necessary and sufficient conditions for T(x) and T to be equal; necessary and sufficient conditions for a ring to have a trivial γ-set; necessary and sufficient conditions for an image of a γ-set to be a γ-set also; necessary and sufficient conditions for a ring to have a trivial γ-set; and, necessary and sufficient conditions for the families of γ-sets of two division rings to be isomorphic.


2021 ◽  
Vol 182 (3) ◽  
pp. 285-299
Author(s):  
G. Jessy Sujana ◽  
T.M. Rajalaxmi ◽  
Indra Rajasingh ◽  
R. Sundara Rajan

A zero forcing set is a set S of vertices of a graph G, called forced vertices of G, which are able to force the entire graph by applying the following process iteratively: At any particular instance of time, if any forced vertex has a unique unforced neighbor, it forces that neighbor. In this paper, we introduce a variant of zero forcing set that induces independent edges and name it as edge-forcing set. The minimum cardinality of an edge-forcing set is called the edge-forcing number. We prove that the edge-forcing problem of determining the edge-forcing number is NP-complete. Further, we study the edge-forcing number of butterfly networks. We obtain a lower bound on the edge-forcing number of butterfly networks and prove that this bound is tight for butterfly networks of dimensions 2, 3, 4 and 5 and obtain an upper bound for the higher dimensions.


10.37236/5446 ◽  
2017 ◽  
Vol 24 (4) ◽  
Author(s):  
Bernardo Llano ◽  
Mika Olsen

We disprove the following conjecture due to Víctor Neumann-Lara: for every pair $(r,s)$ of integers such that $r\geq s\geq 2$, there is an infinite set of circulant tournaments $T$ such that the dichromatic number and the cyclic triangle free disconnection of $T$ are equal to $r$ and $s$, respectively. Let $\mathcal{F}_{r,s}$ denote the set of circulant tournaments $T$ with $dc(T)=r$ and $\overrightarrow{\omega }_{3}\left( T\right) =s$. We show that for every integer $s\geq 4$ there exists a lower bound $b(s)$ for the dichromatic number $r$ such that $\mathcal{F}_{r,s}=\emptyset $ for every $r<b(s)$. We construct an infinite set of circulant tournaments $T$ such that $dc(T)=b(s)$ and $\overrightarrow{\omega }_{3}(T)=s$ and give an upper bound $B(s)$ for the dichromatic number $r$ such that for every $r\geq B(s)$ there exists an infinite set $\mathcal{F}_{r,s}$ of circulant tournaments. Some infinite sets $\mathcal{F}_{r,s}$ of circulant tournaments are given for $b(s)<r<B(s)$.


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.


1998 ◽  
Vol 58 (1) ◽  
pp. 1-13 ◽  
Author(s):  
Shiqing Zhang

Using the equivariant Ljusternik-Schnirelmann theory and the estimate of the upper bound of the critical value and lower bound for the collision solutions, we obtain some new results in the large concerning multiple geometrically distinct periodic solutions of fixed energy for a class of planar N-body type problems.


2016 ◽  
Vol 26 (12) ◽  
pp. 1650204 ◽  
Author(s):  
Jihua Yang ◽  
Liqin Zhao

This paper deals with the limit cycle bifurcations for piecewise smooth Hamiltonian systems. By using the first order Melnikov function of piecewise near-Hamiltonian systems given in [Liu & Han, 2010], we give a lower bound and an upper bound of the number of limit cycles that bifurcate from the period annulus between the center and the generalized eye-figure loop up to the first order of Melnikov function.


Sign in / Sign up

Export Citation Format

Share Document