Analyst's Traveling Salesman Theorem
   HOME
*





Analyst's Traveling Salesman Theorem
The analyst's traveling salesman problem is an analog of the traveling salesman problem in combinatorial optimization. In its simplest and original form, it asks which plane sets are subsets of curve, rectifiable curves of finite length. Whereas the original traveling salesman problem asks for the shortest way to visit every vertex in a finite set with a discrete path, this analytical version may require the curve to visit infinitely many points. β-numbers A rectifiable curve has tangents at almost all of its points, where in this case "almost all" means all but a subset whose one-dimensional Hausdorff measure is zero. Accordingly, if a set is contained in a rectifiable curve, the set must look ''flat'' when zooming in on almost all of its points. This suggests that testing us whether a set could be contained in a rectifiable curve must somehow incorporate information about how flat it is when one zooms in on its points at different scales. This discussion motivates the definition ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Traveling Salesman Problem
The travelling salesman problem (also called the travelling salesperson problem or TSP) asks the following question: "Given a list of cities and the distances between each pair of cities, what is the shortest possible route that visits each city exactly once and returns to the origin city?" It is an NP-hard problem in combinatorial optimization, important in theoretical computer science and operations research. The travelling purchaser problem and the vehicle routing problem are both generalizations of TSP. In the theory of computational complexity, the decision version of the TSP (where given a length ''L'', the task is to decide whether the graph has a tour of at most ''L'') belongs to the class of NP-complete problems. Thus, it is possible that the worst-case running time for any algorithm for the TSP increases superpolynomially (but no more than exponentially) with the number of cities. The problem was first formulated in 1930 and is one of the most intensively studied p ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Metric Space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry. The most familiar example of a metric space is 3-dimensional Euclidean space with its usual notion of distance. Other well-known examples are a sphere equipped with the angular distance and the hyperbolic plane. A metric may correspond to a metaphorical, rather than physical, notion of distance: for example, the set of 100-character Unicode strings can be equipped with the Hamming distance, which measures the number of characters that need to be changed to get from one string to another. Since they are very general, metric spaces are a tool used in many different branches of mathematics. Many types of mathematical objects have a natural notion of distance and t ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Real Analysis
In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include convergence, limits, continuity, smoothness, differentiability and integrability. Real analysis is distinguished from complex analysis, which deals with the study of complex numbers and their functions. Scope Construction of the real numbers The theorems of real analysis rely on the properties of the real number system, which must be established. The real number system consists of an uncountable set (\mathbb), together with two binary operations denoted and , and an order denoted . The operations make the real numbers a field, and, along with the order, an ordered field. The real number system is the unique ''complete ordered field'', in the sense that any other complete ordered field is isomorphic to it. Intuitively, completeness means ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Harmonic Analysis
Harmonic analysis is a branch of mathematics concerned with the representation of Function (mathematics), functions or signals as the Superposition principle, superposition of basic waves, and the study of and generalization of the notions of Fourier series and Fourier transforms (i.e. an extended form of Fourier analysis). In the past two centuries, it has become a vast subject with applications in areas as diverse as number theory, representation theory, signal processing, quantum mechanics, tidal analysis and neuroscience. The term "harmonics" originated as the Ancient Greek word ''harmonikos'', meaning "skilled in music". In physical eigenvalue problems, it began to mean waves whose frequencies are Multiple (mathematics), integer multiples of one another, as are the frequencies of the Harmonic series (music), harmonics of music notes, but the term has been generalized beyond its original meaning. The classical Fourier transform on R''n'' is still an area of ongoing research, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Totally Disconnected
In topology and related branches of mathematics, a totally disconnected space is a topological space that has only singletons as connected subsets. In every topological space, the singletons (and, when it is considered connected, the empty set) are connected; in a totally disconnected space, these are the ''only'' connected proper subsets. An important example of a totally disconnected space is the Cantor set, which is homeomorphic to the set of ''p''-adic integers. Another example, playing a key role in algebraic number theory, is the field of ''p''-adic numbers. Definition A topological space X is totally disconnected if the connected components in X are the one-point sets. Analogously, a topological space X is totally path-disconnected if all path-components in X are the one-point sets. Another closely related notion is that of a totally separated space, i.e. a space where quasicomponents are singletons. That is, a topological space X is totally separated space if ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Denjoy–Riesz Theorem
In topology, the Denjoy–Riesz theorem states that every compact set of totally disconnected points in the Euclidean plane can be covered by a continuous image of the unit interval, without self-intersections (a Jordan arc). Definitions and statement A topological space is zero-dimensional according to the Lebesgue covering dimension if every finite open cover has a refinement that is also an open cover by disjoint sets. A topological space is totally disconnected if it has no nontrivial connected subsets; for points in the plane, being totally disconnected is equivalent to being zero-dimensional. The Denjoy–Riesz theorem states that every compact totally disconnected subset of the plane is a subset of a Jordan arc. History credits the result to publications by Frigyes Riesz in 1906, and Arnaud Denjoy in 1910, both in '' Comptes rendus de l'Académie des sciences''. As describe,. Riesz actually gave an incorrect argument that every totally disconnected set in the plane is a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Menger Curvature
In mathematics, the Menger curvature of a triple of points in ''n''-dimensional Euclidean space R''n'' is the reciprocal of the radius of the circle that passes through the three points. It is named after the Austrian-American mathematician Karl Menger. Definition Let ''x'', ''y'' and ''z'' be three points in R''n''; for simplicity, assume for the moment that all three points are distinct and do not lie on a single straight line. Let Π ⊆ R''n'' be the Euclidean plane spanned by ''x'', ''y'' and ''z'' and let ''C'' ⊆ Π be the unique Euclidean circle in Π that passes through ''x'', ''y'' and ''z'' (the circumcircle of ''x'', ''y'' and ''z''). Let ''R'' be the radius of ''C''. Then the Menger curvature ''c''(''x'', ''y'', ''z'') of ''x'', ''y'' and ''z'' is defined by :c (x, y, z) = \frac1. If the three points are collinear, ''R'' can be informally considered to be +∞, and it makes rigorous sense to define ''c''(''x'', ''y'', ''z'') ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Menger Curvature
In mathematics, the Menger curvature of a triple of points in ''n''-dimensional Euclidean space R''n'' is the reciprocal of the radius of the circle that passes through the three points. It is named after the Austrian-American mathematician Karl Menger. Definition Let ''x'', ''y'' and ''z'' be three points in R''n''; for simplicity, assume for the moment that all three points are distinct and do not lie on a single straight line. Let Π ⊆ R''n'' be the Euclidean plane spanned by ''x'', ''y'' and ''z'' and let ''C'' ⊆ Π be the unique Euclidean circle in Π that passes through ''x'', ''y'' and ''z'' (the circumcircle of ''x'', ''y'' and ''z''). Let ''R'' be the radius of ''C''. Then the Menger curvature ''c''(''x'', ''y'', ''z'') of ''x'', ''y'' and ''z'' is defined by :c (x, y, z) = \frac1. If the three points are collinear, ''R'' can be informally considered to be +∞, and it makes rigorous sense to define ''c''(''x'', ''y'', ''z'') ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Lipschitz Continuity
In mathematical analysis, Lipschitz continuity, named after German mathematician Rudolf Lipschitz, is a strong form of uniform continuity for functions. Intuitively, a Lipschitz continuous function is limited in how fast it can change: there exists a real number such that, for every pair of points on the graph of this function, the absolute value of the slope of the line connecting them is not greater than this real number; the smallest such bound is called the ''Lipschitz constant'' of the function (or '' modulus of uniform continuity''). For instance, every function that has bounded first derivatives is Lipschitz continuous. In the theory of differential equations, Lipschitz continuity is the central condition of the Picard–Lindelöf theorem which guarantees the existence and uniqueness of the solution to an initial value problem. A special type of Lipschitz continuity, called contraction, is used in the Banach fixed-point theorem. We have the following chain of strict inclus ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Hilbert Space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that defines a distance function for which the space is a complete metric space. The earliest Hilbert spaces were studied from this point of view in the first decade of the 20th century by David Hilbert, Erhard Schmidt, and Frigyes Riesz. They are indispensable tools in the theories of partial differential equations, quantum mechanics, Fourier analysis (which includes applications to signal processing and heat transfer), and ergodic theory (which forms the mathematical underpinning of thermodynamics). John von Neumann coined the term ''Hilbert space'' for the abstract concept that under ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Combinatorial Optimization
Combinatorial optimization is a subfield of mathematical optimization that consists of finding an optimal object from a finite set of objects, where the set of feasible solutions is discrete or can be reduced to a discrete set. Typical combinatorial optimization problems are the travelling salesman problem ("TSP"), the minimum spanning tree problem ("MST"), and the knapsack problem. In many such problems, such as the ones previously mentioned, exhaustive search is not tractable, and so specialized algorithms that quickly rule out large parts of the search space or approximation algorithms must be resorted to instead. Combinatorial optimization is related to operations research, algorithm theory, and computational complexity theory. It has important applications in several fields, including artificial intelligence, machine learning, auction theory, software engineering, VLSI, applied mathematics and theoretical computer science. Some research literature considers discrete o ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Journal D'Analyse Mathématique
The ''Journal d'Analyse Mathématique'' is a triannual peer-reviewed scientific journal published by Magnes Press (Hebrew University of Jerusalem). It was established in 1951 by Binyamin Amirà. It covers research in mathematics, especially classical analysis and related areas such as complex function theory, ergodic theory, functional analysis, harmonic analysis, partial differential equations, and quasiconformal mapping. Abstracting and indexing The journal is abstracted and indexed in: *MathSciNet *Science Citation Index Expanded *Scopus *ZbMATH Open According to the ''Journal Citation Reports'', the journal has a 2021 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as i ... of 1.132. References External links *{{Official website, 1=https://www.springer.com/mathematic ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]