scholarly journals Satisfiability and Computing van der Waerden Numbers

10.37236/1794 ◽  
2004 ◽  
Vol 11 (1) ◽  
Author(s):  
Michael R. Dransfield ◽  
Lengning Liu ◽  
Victor W. Marek ◽  
Mirosław Truszczyński
Keyword(s):  
Positive Integer ◽  
Local Search ◽  
Ramsey Theory ◽  
Upper Bounds ◽  
General Purpose ◽  
Propositional Satisfiability ◽  
Lower And Upper Bounds ◽  
Algebraic Form ◽  
Sat Solvers ◽  
Structural Simplicity

In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive integer functions, without actually providing their closed algebraic form or tight lower and upper bounds. The area of Ramsey theory is especially rich in such results. Using the problem of computing van der Waerden numbers as an example, we show that these problems can be represented by parameterized propositional theories in such a way that decisions concerning their satisfiability determine the numbers (function) in question. We show that by using general-purpose complete and local-search techniques for testing propositional satisfiability, this approach becomes effective — competitive with specialized approaches. By following it, we were able to obtain several new results pertaining to the problem of computing van der Waerden numbers. We also note that due to their properties, especially their structural simplicity and computational hardness, propositional theories that arise in this research can be of use in development, testing and benchmarking of SAT solvers.

scholarly journals On the Growth of Some Functions Related to z(n)

Mathematics ◽  
2020 ◽  
Vol 8 (6) ◽  
pp. 876 ◽  
Author(s):  
Pavel Trojovský
Keyword(s):  
Positive Integer ◽  
Arithmetic Function ◽  
Fibonacci Sequence ◽  
Upper Bounds ◽  
Integer Solution ◽  
Lower And Upper Bounds ◽  
Positive Integer Solution

The order of appearance z : Z > 0 → Z > 0 is an arithmetic function related to the Fibonacci sequence ( F n ) n . This function is defined as the smallest positive integer solution of the congruence F k ≡ 0 ( mod n ) . In this paper, we shall provide lower and upper bounds for the functions ∑ n ≤ x z ( n ) / n , ∑ p ≤ x z ( p ) and ∑ p r ≤ x z ( p r ) .

scholarly journals Integer Points in Knapsack Polytopes and $s$-Covering Radius

10.37236/2887 ◽  
2013 ◽  
Vol 20 (2) ◽  
Author(s):  
Iskander Aliev ◽  
Martin Henk ◽  
Eva Linke
Keyword(s):  
Lower Bound ◽  
Positive Integer ◽  
Upper Bounds ◽  
Covering Radius ◽  
Frobenius Number ◽  
Lower And Upper Bounds ◽  
Integer Points ◽  
Knapsack Polytope ◽  
Optimal Lower Bound

Given a matrix $A\in \mathbb{Z}^{m\times n}$ satisfying certain regularity assumptions, we consider for a positive integer $s$ the set ${\mathcal F}_s(A)\subset \mathbb{Z}^m$ of all vectors $b\in \mathbb{Z}^m$ such that the associated knapsack polytope\begin{equation*}P(A, b)=\{ x \in \mathbb{R}^n_{\ge 0}: A x= b\}\end{equation*}contains at least $s$ integer points. We present lower and upper bounds on the so called diagonal $s$-Frobenius number associated to the set ${\mathcal F}_s(A)$. In the case $m=1$ we prove an optimal lower bound for the $s$-Frobenius number, which is the largest integer $b$ such that $P(A,b)$ contains less than $s$ integer points.  

scholarly journals Client-Waiter Games on Complete and Random Graphs

10.37236/6039 ◽  
2016 ◽  
Vol 23 (4) ◽  
Author(s):  
Oren Dean ◽  
Michael Krivelevich
Keyword(s):  
Positive Integer ◽  
Random Graph ◽  
Random Graphs ◽  
Complete Graph ◽  
Upper Bounds ◽  
Connected Component ◽  
Lower And Upper Bounds ◽  
Large Connected Component ◽  
Graph Property ◽  
Player Game

For a graph $ G $, a monotone increasing graph property $ \mathcal{P} $ and positive integer $ q $, we define the Client-Waiter game to be a two-player game which runs as follows. In each turn Waiter is offering Client a subset of at least one and at most $ q+1 $ unclaimed edges of $ G $ from which Client claims one, and the rest are claimed by Waiter. The game ends when all the edges have been claimed. If Client's graph has property $ \mathcal{P} $ by the end of the game, then he wins the game, otherwise Waiter is the winner. In this paper we study several Client-Waiter games on the edge set of the complete graph, and the $ H $-game on the edge set of the random graph. For the complete graph we consider games where Client tries to build a large star, a long path and a large connected component. We obtain lower and upper bounds on the critical bias for these games and compare them with the corresponding Waiter-Client games and with the probabilistic intuition. For the $ H $-game on the random graph we show that the known results for the corresponding Maker-Breaker game are essentially the same for the Client-Waiter game, and we extend those results for the biased games and for trees.

Extension of the Spatial PDI Model to Three Dimensions

1997 ◽  
Vol 84 (1) ◽  
pp. 176-178
Author(s):  
Frank O'Brien
Keyword(s):  
Population Density ◽  
Dimensional Space ◽  
Finite Lattice ◽  
Three Dimensional ◽  
Upper Bounds ◽  
Three Dimensions ◽  
Lower And Upper Bounds ◽  
Density Index ◽  
Three Dimensional Space

The author's population density index ( PDI) model is extended to three-dimensional distributions. A derived formula is presented that allows for the calculation of the lower and upper bounds of density in three-dimensional space for any finite lattice.

Energy of spherical fuzzy graphs

2020 ◽  
pp. 321-332
Author(s):  
S. Yahya Mohamed ◽  
A. Mohamed Ali
Keyword(s):  
Adjacency Matrix ◽  
Upper Bounds ◽  
Fuzzy Graph ◽  
Lower And Upper Bounds ◽  
Fuzzy Graphs

In this paper, the notion of energy extended to spherical fuzzy graph. The adjacency matrix of a spherical fuzzy graph is defined and we compute the energy of a spherical fuzzy graph as the sum of absolute values of eigenvalues of the adjacency matrix of the spherical fuzzy graph. Also, the lower and upper bounds for the energy of spherical fuzzy graphs are obtained.

scholarly journals Relationship between Age and Value of Information for a Noisy Ornstein–Uhlenbeck Process

Entropy ◽  
2021 ◽  
Vol 23 (8) ◽  
pp. 940
Author(s):  
Zijing Wang ◽  
Mihai-Alin Badiu ◽  
Justin P. Coon
Keyword(s):  
Value Of Information ◽  
Markov Models ◽  
Upper Bounds ◽  
Distribution Functions ◽  
Lower And Upper Bounds ◽  
Uhlenbeck Process ◽  
Source Data ◽  
Non Linear ◽  
Queue Model ◽  
Selection Of

The age of information (AoI) has been widely used to quantify the information freshness in real-time status update systems. As the AoI is independent of the inherent property of the source data and the context, we introduce a mutual information-based value of information (VoI) framework for hidden Markov models. In this paper, we investigate the VoI and its relationship to the AoI for a noisy Ornstein–Uhlenbeck (OU) process. We explore the effects of correlation and noise on their relationship, and find logarithmic, exponential and linear dependencies between the two in three different regimes. This gives the formal justification for the selection of non-linear AoI functions previously reported in other works. Moreover, we study the statistical properties of the VoI in the example of a queue model, deriving its distribution functions and moments. The lower and upper bounds of the average VoI are also analysed, which can be used for the design and optimisation of freshness-aware networks. Numerical results are presented and further show that, compared with the traditional linear age and some basic non-linear age functions, the proposed VoI framework is more general and suitable for various contexts.

The Lower and Upper Bounds of Turán Number for Odd Wheels

2021 ◽  
Vol 37 (3) ◽  
pp. 919-932
Author(s):  
Byeong Moon Kim ◽  
Byung Chul Song ◽  
Woonjae Hwang
Keyword(s):  
Upper Bounds ◽  
Lower And Upper Bounds ◽  
Turán Number
Sign in / Sign up

Export Citation Format

Share Document