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, the n-color Rado number Rk(n, c) is defined to be the least integer N, if it exists or ∞ otherwise, such that for every n-coloring of the set {1, 2,...,N}, there exists a monochromatic solution in that set to the equation x1 + x2 + ··· + xk + c = xk+1. In this pap...
| Autores: | , , , , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2016 |
| 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/136594 |
| Acceso en línea: | https://hdl.handle.net/11441/136594 https://doi.org/10.1090/mcom3034 |
| Access Level: | acceso abierto |
| Palabra clave: | Schur numbers Sum-free sets Rado numbers Boolean variables SAT problem SAT-solvers |
| id |
ES_12ace90efe9d253b8e9d35cf34700c4e |
|---|---|
| oai_identifier_str |
oai:idus.us.es:11441/136594 |
| network_acronym_str |
ES |
| network_name_str |
España |
| repository_id_str |
|
| spelling |
On the n-Color Weak Rado Numbers for the Equation x1 + x2 + ··· + xk + c = xk +1Adhikari, S. D.Boza Prieto, LuisEliahou, ShalomMarín Sánchez, Juan ManuelRevuelta Marchena, María PastoraSanz Domínguez, María IsabelSchur numbersSum-free setsRado numbersBoolean variablesSAT problemSAT-solversFor integers k, n, c with k, n ≥ 1, the n-color Rado number Rk(n, c) is defined to be the least integer N, if it exists or ∞ otherwise, such that for every n-coloring of the set {1, 2,...,N}, there exists a monochromatic solution in that set to the equation x1 + x2 + ··· + xk + c = xk+1. In this paper, we mostly restrict to the case c ≥ 0, and consider two main issues regarding Rk(n, c): is it finite or infinite, and when finite, what is its value? Very few results are known so far on either one. On the first issue, we formulate a general conjecture, namely that Rk(n, c) should be finite if and only if every divisor d ≤ n of k − 1 also divides c. The “only if” part of the conjecture is shown to hold, as well as the “if” part in the cases where either k − 1 divides c, or n ≥ k − 1, or k ≤ 7, except for two instances to be published separately. On the second issue, we obtain new bounds on Rk(n, c) and determine exact formulae in several new cases, including R3(3, c) and R4(3, c). As for the case R2(3, c), first settled by Schaal in 1995, we provide a new shorter proof. Finally, the problem is reformulated as a Boolean satisfiability problem, allowing the use of a SAT solver to treat some instances.American Mathematical SocietyMatemática Aplicada IFQM-164: Matemática Discreta: Teoría de Grafos y Geometría Computacional2016info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfapplication/pdfhttps://hdl.handle.net/11441/136594https://doi.org/10.1090/mcom3034reponame:idUS. Depósito de Investigación de la Universidad de Sevillainstname:Universidad de Sevilla (US)InglésMathematics of Computation, 85 (300), 2047-2064.https://www.ams.org/journals/mcom/2016-85-300/S0025-5718-2015-03034-8/info:eu-repo/semantics/openAccessoai:idus.us.es:11441/1365942026-06-17T12:51:07Z |
| dc.title.none.fl_str_mv |
On the n-Color Weak Rado Numbers for the Equation x1 + x2 + ··· + xk + c = xk +1 |
| title |
On the n-Color Weak Rado Numbers for the Equation x1 + x2 + ··· + xk + c = xk +1 |
| spellingShingle |
On the n-Color Weak Rado Numbers for the Equation x1 + x2 + ··· + xk + c = xk +1 Adhikari, S. D. Schur numbers Sum-free sets Rado numbers Boolean variables SAT problem SAT-solvers |
| title_short |
On the n-Color Weak Rado Numbers for the Equation x1 + x2 + ··· + xk + c = xk +1 |
| title_full |
On the n-Color Weak Rado Numbers for the Equation x1 + x2 + ··· + xk + c = xk +1 |
| title_fullStr |
On the n-Color Weak Rado Numbers for the Equation x1 + x2 + ··· + xk + c = xk +1 |
| title_full_unstemmed |
On the n-Color Weak Rado Numbers for the Equation x1 + x2 + ··· + xk + c = xk +1 |
| title_sort |
On the n-Color Weak Rado Numbers for the Equation x1 + x2 + ··· + xk + c = xk +1 |
| dc.creator.none.fl_str_mv |
Adhikari, S. D. Boza Prieto, Luis Eliahou, Shalom Marín Sánchez, Juan Manuel Revuelta Marchena, María Pastora Sanz Domínguez, María Isabel |
| author |
Adhikari, S. D. |
| author_facet |
Adhikari, S. D. Boza Prieto, Luis Eliahou, Shalom Marín Sánchez, Juan Manuel Revuelta Marchena, María Pastora Sanz Domínguez, María Isabel |
| author_role |
author |
| author2 |
Boza Prieto, Luis Eliahou, Shalom Marín Sánchez, Juan Manuel Revuelta Marchena, María Pastora Sanz Domínguez, María Isabel |
| author2_role |
author author author author author |
| dc.contributor.none.fl_str_mv |
Matemática Aplicada I FQM-164: Matemática Discreta: Teoría de Grafos y Geometría Computacional |
| dc.subject.none.fl_str_mv |
Schur numbers Sum-free sets Rado numbers Boolean variables SAT problem SAT-solvers |
| topic |
Schur numbers Sum-free sets Rado numbers Boolean variables SAT problem SAT-solvers |
| description |
For integers k, n, c with k, n ≥ 1, the n-color Rado number Rk(n, c) is defined to be the least integer N, if it exists or ∞ otherwise, such that for every n-coloring of the set {1, 2,...,N}, there exists a monochromatic solution in that set to the equation x1 + x2 + ··· + xk + c = xk+1. In this paper, we mostly restrict to the case c ≥ 0, and consider two main issues regarding Rk(n, c): is it finite or infinite, and when finite, what is its value? Very few results are known so far on either one. On the first issue, we formulate a general conjecture, namely that Rk(n, c) should be finite if and only if every divisor d ≤ n of k − 1 also divides c. The “only if” part of the conjecture is shown to hold, as well as the “if” part in the cases where either k − 1 divides c, or n ≥ k − 1, or k ≤ 7, except for two instances to be published separately. On the second issue, we obtain new bounds on Rk(n, c) and determine exact formulae in several new cases, including R3(3, c) and R4(3, c). As for the case R2(3, c), first settled by Schaal in 1995, we provide a new shorter proof. Finally, the problem is reformulated as a Boolean satisfiability problem, allowing the use of a SAT solver to treat some instances. |
| publishDate |
2016 |
| dc.date.none.fl_str_mv |
2016 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion |
| format |
article |
| status_str |
publishedVersion |
| dc.identifier.none.fl_str_mv |
https://hdl.handle.net/11441/136594 https://doi.org/10.1090/mcom3034 |
| url |
https://hdl.handle.net/11441/136594 https://doi.org/10.1090/mcom3034 |
| dc.language.none.fl_str_mv |
Inglés |
| language_invalid_str_mv |
Inglés |
| dc.relation.none.fl_str_mv |
Mathematics of Computation, 85 (300), 2047-2064. https://www.ams.org/journals/mcom/2016-85-300/S0025-5718-2015-03034-8/ |
| dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf application/pdf |
| dc.publisher.none.fl_str_mv |
American Mathematical Society |
| publisher.none.fl_str_mv |
American Mathematical Society |
| dc.source.none.fl_str_mv |
reponame:idUS. Depósito de Investigación de la Universidad de Sevilla instname:Universidad de Sevilla (US) |
| instname_str |
Universidad de Sevilla (US) |
| reponame_str |
idUS. Depósito de Investigación de la Universidad de Sevilla |
| collection |
idUS. Depósito de Investigación de la Universidad de Sevilla |
| repository.name.fl_str_mv |
|
| repository.mail.fl_str_mv |
|
| _version_ |
1869403631278620672 |
| score |
15,300719 |