On the n-Color Weak Rado Numbers for the Equation x1 + x2 + ··· + xk + c = xk +1
For integers k, n, c with k, n ≥ 1, and c ≥ 0, the n-color weak Rado number WRk (n, c) is defined as the least integer N, if it exists, such that for every n-coloring of the integer interval [1, N], there exists a monochromatic solution x1 ,..., xk, xk+1 in that interval to the equation x1 + x2 +···...
| Autores: | , , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión enviada para evaluación y publicación |
| Fecha de publicación: | 2019 |
| País: | España |
| Institución: | Universidad de Sevilla (US) |
| Repositorio: | idUS. Depósito de Investigación de la Universidad de Sevilla |
| OAI Identifier: | oai:idus.us.es:11441/135999 |
| Acceso en línea: | https://hdl.handle.net/11441/135999 https://doi.org/10.1080/10586458.2017.1382403 |
| Access Level: | acceso abierto |
| Palabra clave: | Schur numbers Sum-free sets Weak Schur numbers Weakly sum-free sets Rado numbers Weak Rado numbers |
| Sumario: | For integers k, n, c with k, n ≥ 1, and c ≥ 0, the n-color weak Rado number WRk (n, c) is defined as the least integer N, if it exists, such that for every n-coloring of the integer interval [1, N], there exists a monochromatic solution x1 ,..., xk, xk+1 in that interval to the equation x1 + x2 +···+ xk + c = xk+1 , with xi = xj , when i = j. If no such N exists, then WRk (n, c) is defined as infinite. In this paper, we determine the exact value of some of these numbers for n = 2 and n = 3, namely WR3 (2, c) = 5c + 24, WR4(2, c) = 6c + 52 for all c ≥ 0 and WR2 (3, c) = 13c + 22 for all c > 0. Our method consists in translating the problem into a Boolean satisfiability problem, which can then be handled by a SAT solver or by backtrack programming in the language C. |
|---|