Showing 1–2 of 2 results for author: Zisselman, D
-
Numbers Extensions
Authors:
David O. Zisselman
Abstract:
Over the course of the last 50 years, many questions in the field of computability were left surprisingly unanswered. One example is the question of $P$ vs $NP\cap co-NP$. It could be phrased in loose terms as "If a person has the ability to verify a proof and a disproof to a problem, does this person know a solution to that problem?".
When talking about people, one can of course see that the qu…
▽ More
Over the course of the last 50 years, many questions in the field of computability were left surprisingly unanswered. One example is the question of $P$ vs $NP\cap co-NP$. It could be phrased in loose terms as "If a person has the ability to verify a proof and a disproof to a problem, does this person know a solution to that problem?".
When talking about people, one can of course see that the question depends on the knowledge the specific person has on this problem. Our main goal will be to extend this observation to formal models of set theory $ZFC$: given a model $M$ and a specific problem $L$ in $NP\cap co-NP$, we can show that the problem $L$ is in $P$ if we have "knowledge" of $L$.
In this paper, we'll define the concept of knowledge and elaborate why it agrees with the intuitive concept of knowledge. Next we will construct a model in which we have knowledge on many functions. From the existence of that model, we will deduce that in any model with a worldly cardinal we have knowledge on a broad class of functions.
As a result, we show that if we assume a worldly cardinal exists, then the statement "a given definable language which is provably in $NP\cap co-NP$ is also in $P$" is provable. Assuming a worldly cardinal, we show by a simple use of these theorems that one can factor numbers in poly-logarithmic time.
This article won't solve the $P$ vs $NP\cap co-NP$ question, but its main result brings us one step closer to deciding that question.
△ Less
Submitted 14 March, 2023; v1 submitted 14 November, 2022;
originally announced November 2022.
-
TSP on manifolds
Authors:
David Zisselman
Abstract:
In this paper, we present a new approach of creating PTAS to the TSP problems by defining a bounded-curvature surface embedded spaces. Using this definition we prove: - A bounded-curvature surface embedded spaces TSP admits to a PTAS. - Every bounded doubling dimension space can be embedded into a bounded-curvature surface. - Every uniform metric space can be embedded into a bounded-curvature surf…
▽ More
In this paper, we present a new approach of creating PTAS to the TSP problems by defining a bounded-curvature surface embedded spaces. Using this definition we prove: - A bounded-curvature surface embedded spaces TSP admits to a PTAS. - Every bounded doubling dimension space can be embedded into a bounded-curvature surface. - Every uniform metric space can be embedded into a bounded-curvature surface.
Thus, the algorithm generalizes arXiv:1112.0699 (and therefore [7] and [8] as well, w.r.t PTAS of TSP). But, the algorithm is much broader as uniform metric spaces aren't bounded doubling dimension spaces. It should be mentioned that our definition of a surface is derived from Riemannian geometry, but doesn't match it exactly. therefore, our definitions and basic geometry algorithm is given here in full.
[7] Sanjeev Arora. 1998. Polynomial time approximation schemes for Euclidean traveling salesman and other geometric problems. J. ACM 45, 5 (September 1998), 753-782. DOI=http://dx.doi.org/10.1145/290179.290180
[8] Joseph S. B. Mitchell. Guillotine subdivisions approximate polygonal subdivisions: A simple polynomial time approximation scheme for geometric TSP, k- MST, and related problems. SIAM J. Comput., 28(4):1298-1309, 1999.
△ Less
Submitted 29 November, 2023; v1 submitted 3 October, 2021;
originally announced October 2021.
