{"id":"arxiv/2607.06092","url":"https://arxiv.org/abs/2607.06092","tags":["cs.CC","math.NT"],"score":0,"title":"Generalisation of Baker's Forcing Method to Arbitrary Prime and NP-hardness of Several $p$-adic Optimisations","domain":"cs.CC","source":"arxiv","authors":["Tomoki Mihara"],"reviews":0,"subject":"cs.CC","summary":"G.\\ D.\\ Baker formulated a forcing method to interpret integer optimisation problem into $2$-adic linear regression, and proved the NP-hardness of $2$-adic linear regression. We generalise the forcing method to a wider class of $p$-adic optimisation for the case where $p$ is not necessarily $2$, and prove the NP-hardness of $p$-adic linear regression, the NP-hardness of $2$-adic dynamic neural network by S.\\ Albeverio, A.\\ Khrennikov, and B.\\ Tirrozi, and the NP-hardness of a partial generalisation of the $p$-adic optimisation problem associated to van der Put neural network by G.\\ L.\\ R.\\…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-07","reactions":{}}