{"title":"激进解决方案与计算复杂性","authors":"Bojin Zheng, Weiwu Wang","doi":"arxiv-2405.15790","DOIUrl":null,"url":null,"abstract":"The radical solution of polynomials with rational coefficients is a famous\nsolved problem. This paper found that it is a $\\mathbb{NP}$ problem.\nFurthermore, this paper found that arbitrary $ \\mathscr{P} \\in \\mathbb{P}$\nshall have a one-way running graph $G$, and have a corresponding $\\mathscr{Q}\n\\in \\mathbb{NP}$ which have a two-way running graph $G'$, $G$ and $G'$ is\nisomorphic, i.e., $G'$ is combined by $G$ and its reverse $G^{-1}$. When\n$\\mathscr{P}$ is an algorithm for solving polynomials, $G^{-1}$ is the radical\nformula. According to Galois' Theory, a general radical formula does not exist.\nTherefore, there exists an $\\mathbb{NP}$, which does not have a general,\ndeterministic and polynomial time-complexity algorithm, i.e., $\\mathbb{P} \\neq\n\\mathbb{NP}$. Moreover, this paper pointed out that this theorem actually is an\nimpossible trinity.","PeriodicalId":501024,"journal":{"name":"arXiv - CS - Computational Complexity","volume":"29 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The Radical Solution and Computational Complexity\",\"authors\":\"Bojin Zheng, Weiwu Wang\",\"doi\":\"arxiv-2405.15790\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The radical solution of polynomials with rational coefficients is a famous\\nsolved problem. This paper found that it is a $\\\\mathbb{NP}$ problem.\\nFurthermore, this paper found that arbitrary $ \\\\mathscr{P} \\\\in \\\\mathbb{P}$\\nshall have a one-way running graph $G$, and have a corresponding $\\\\mathscr{Q}\\n\\\\in \\\\mathbb{NP}$ which have a two-way running graph $G'$, $G$ and $G'$ is\\nisomorphic, i.e., $G'$ is combined by $G$ and its reverse $G^{-1}$. When\\n$\\\\mathscr{P}$ is an algorithm for solving polynomials, $G^{-1}$ is the radical\\nformula. According to Galois' Theory, a general radical formula does not exist.\\nTherefore, there exists an $\\\\mathbb{NP}$, which does not have a general,\\ndeterministic and polynomial time-complexity algorithm, i.e., $\\\\mathbb{P} \\\\neq\\n\\\\mathbb{NP}$. Moreover, this paper pointed out that this theorem actually is an\\nimpossible trinity.\",\"PeriodicalId\":501024,\"journal\":{\"name\":\"arXiv - CS - Computational Complexity\",\"volume\":\"29 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-05-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Computational Complexity\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2405.15790\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Computational Complexity","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2405.15790","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The radical solution of polynomials with rational coefficients is a famous
solved problem. This paper found that it is a $\mathbb{NP}$ problem.
Furthermore, this paper found that arbitrary $ \mathscr{P} \in \mathbb{P}$
shall have a one-way running graph $G$, and have a corresponding $\mathscr{Q}
\in \mathbb{NP}$ which have a two-way running graph $G'$, $G$ and $G'$ is
isomorphic, i.e., $G'$ is combined by $G$ and its reverse $G^{-1}$. When
$\mathscr{P}$ is an algorithm for solving polynomials, $G^{-1}$ is the radical
formula. According to Galois' Theory, a general radical formula does not exist.
Therefore, there exists an $\mathbb{NP}$, which does not have a general,
deterministic and polynomial time-complexity algorithm, i.e., $\mathbb{P} \neq
\mathbb{NP}$. Moreover, this paper pointed out that this theorem actually is an
impossible trinity.