Polynomial-Time Tractable Problems over the p-Adic Numbers
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
We study the computational complexity of fundamental problems over the p-adic numbers ℚp and the p-adic integers ℤp. Guépin, Haase, and Worrell [9] proved that checking satisfiability of systems of linear equations combined with valuation constraints of the form vp(x) = c for p ≥ 5 is NP-complete (both over ℤp and over ℚp), and left the cases p = 2 and p = 3 open. We solve their problem by showing that the problem is NP-complete for ℤ3 and for ℚ3, but that it is in P for ℤ2 and for ℚ2. We also present different polynomial-time algorithms for solvability of systems of linear equations in ℚp with either constraints of the form vp(x) ≤ c or of the form vp(x) ≥ c for c ∈ ℤ. Finally, we show how our algorithms can be used to decide in polynomial time the satisfiability of systems of (strict and non-strict) linear inequalities over ℚ together with valuation constraints vp(x) ≥ c for several different prime numbers p simultaneously.
Details
| Originalsprache | Englisch |
|---|---|
| Titel | 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025) |
| Redakteure/-innen | Pawel Gawrychowski, Filip Mazowiecki, Michal Skrzypczak |
| Herausgeber (Verlag) | Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing |
| Seiten | 25:1-25:17 |
| ISBN (elektronisch) | 9783959773881 |
| Publikationsstatus | Veröffentlicht - 20 Aug. 2025 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Leibniz international proceedings in informatics : LIPIcs |
|---|---|
| Band | 345 |
| ISSN | 1868-8969 |
Externe IDs
| Scopus | 105014736594 |
|---|---|
| ORCID | /0000-0001-8228-3611/work/208071911 |
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- NP-hardness, p-adic numbers, constraint satisfaction, linear theory, existential theory, polynomial-time algorithm, linear program feasibility