[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-82620-en":3,"doc-seo-82620-105":29,"detail-sidebar-cat-0-en-105":91},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":20,"is_downloadable":20,"audit_status":20,"page_count":21,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":13,"seo_description":14,"update_tm":27,"read_time":28},82620,8796095360427,"Lucas Martin","https://ap-avatar.wpscdn.com/davatar_994ba38a5ba835b3df7d355c54d3ed8d",8,"Research & Report","Maximum Entropy is a 10/7 Approximation Algorithm for the TSP on Half-Integral Cycle Cut Instances","Maximum Entropy is a 10/7-approximation algorithm for the Traveling Salesman Problem (TSP) on half-integral cycle cut instances. The work links integrality-gap properties of the Subtour LP relaxation to the performance of the maximum entropy spanning-tree rounding scheme. It identifies this instance class as containing examples where the Subtour LP has integrality gap at least 4/3, while also showing the max-entropy algorithm’s guarantee is at most 18/1, clarifying what tightness can and cannot be expected. The paper discusses why existing analysis does not yield improved integrality-gap bounds yet suggests potential directions for sharper analyses on other structured instances.","Maximum Entropy is a 10/7-Approximation Algorithm for the TSP  \non Half-Integral Cycle Cut Instances  \nBilly Jin Purdue University  \nNathan Klein Boston University  \nDavid P. Williamson Cornell University  \narXiv :2607 .0 1536v2 [ cs .DS] 3 Jul 2026  \nAbstract  \nOne of the most famous conjectures in combinatorial optimization is the four-thirds conjecture, which states that the integrality gap of the Subtour LP relaxation of the TSP is equal to 43 . For 40 years, the best known upper bound was 1.5, due to Wolsey [Wol80] . Recently, Karlin, Klein, and Oveis Gharan [KKO22] showed that the max entropy algorithm for the TSP gives an improved bound of 1.5 − 10−36 . In this paper, we show that the maximum entropy algorithm is a 107-approximation for half-integral cycle cut instances of the TSP. This class of instances contains examples which demonstrate the subtour LP has an integrality gap of at least 43 , as well as examples showing that the performance of the max entropy algorithm is no better than  \n181 . We note that in [JKW23], the gap of this class of instances by 43 ,  \nauthors gave an algorithm upper bounding the integrality so this work does not (and could not) provide an improved  \nbound on the integrality gap. However, since there is no reason to believe that the analysis of the maximum entropy algorithm on general instances is tight, our work provides hope (and potentially direction) for improved analysis on other instance classes.  \n1 Introduction  \nIn the traveling salesman problem (TSP), we are given a set of n cities and the costs cij of traveling from city i to city j for all i, j. The goal of the problem is to find the cheapest tour that visits each city exactly once and returns to its starting point. An instance of the TSP is called symmetric if cij = cji for all i, j; it is asymmetric otherwise. Costs obey the triangle inequality (or are metric) if cij ≤ cik + ckj for all i, j, k. All instances we consider will be symmetric and obey the triangle inequality. We treat the problem input as a complete graph G = (V, E), where V is the set of cities, and ce = cij for edge e = {i, j} .  \nIn the mid-1970s, Christofides [Chr76] and Serdyukov [Ser78] each gave a 32-approximation algorithm for the symmetric TSP with triangle inequality. The algorithm computes a minimumcost spanning tree and then finds a minimum-cost perfect matching on the odd degree vertices of the tree to compute a connected Eulerian subgraph. Because the edge costs satisfy the triangle inequality, any Eulerian tour of this Eulerian subgraph can be “shortcut” to a tour of no greater cost. Until very recently, this was the best approximation factor known for the symmetric TSP with triangle inequality, although over the last decade substantial progress was made for many special cases and variants of the problem.  \nIn recent years, a variation on the Christofides-Serdyukov algorithm has been considered. Its starting point is a well-known linear programming relaxation of the TSP introduced by Dantzig, Fulkerson, and Johnson [DFJ54], sometimes called the Subtour LP or the Held-Karp bound [HK71] .  \nThe Subtour LP is as follows:  \nmin X c exe  \ne∈E  \ns.t. x (δ(v)) = 2, ∀ v ∈ V, (1)  \nx (δ(S)) ≥ 2 , ∀ S ⊂ V, S  ∅ ,  \n0 ≤ xe ≤ 1 , ∀e ∈ E,  \nwhere δ (S) is the set of all edges with exactly one endpoint in S and we use the shorthand that x (F ) = Pe∈F x e. Wolsey [Wol80] shows that the minimum-cost spanning tree is at most the value of the Subtour LP, and a matching on its odd degree vertices is at most half the value of the Subtour LP, showing that the Christofides-Serdyukov algorithm has cost at most 32 the Subtour LP. Following Wolsey, it is not difficult to show that for any solution x ∗ of this LP relaxation, ~~n~~−n1 x∗ is a feasible point in the spanning tree polytope, i.e., the convex hull of all spanning trees of the graph. Therefore, ~~n~~−n1 x∗ can be decomposed into a convex combination of spanning trees, and the cost of this convex combination is a lo","cbCais0ZdOm9vcKC","https://ap.wps.com/l/cbCais0ZdOm9vcKC","pdf",471650,1,10,"English","en",105,"# Introduction\n## Traveling Salesman Problem and LP relaxation (Subtour LP)\n## Christofides–Serdyukov and its randomized variants\n## Maximum entropy distribution and performance guarantees","[{\"question\":\"What approximation factor does the paper prove for the maximum entropy algorithm on half-integral cycle cut instances?\",\"answer\":\"The paper shows the maximum entropy algorithm achieves a 10/7 approximation ratio on half-integral cycle cut instances of the TSP.\"},{\"question\":\"What role does the Subtour LP (Held–Karp bound) play in the analysis?\",\"answer\":\"The Subtour LP relaxation provides a benchmark through its integrality gap, and the spanning-tree rounding uses marginal constraints derived from an optimal LP solution.\"},{\"question\":\"Does this work improve known integrality-gap bounds for this instance class?\",\"answer\":\"No. The paper notes that prior work already provides an upper bound on the integrality of this class, so the new analysis does not (and cannot) strengthen the integrality-gap bound, though it may guide improved analysis on other instance families.\"}]",1784181855,25,{"code":4,"msg":30,"data":31},"ok",{"site_id":24,"language":23,"slug":32,"title":13,"keywords":33,"description":14,"schema_data":34,"social_meta":86,"head_meta":88,"extra_data":90,"updated_unix":27},"maximum-entropy-is-a-107-approximation-algorithm-for-the-tsp-on-half-integral-cycle-cut-instances","",{"@graph":35,"@context":85},[36,53,68],{"@type":37,"itemListElement":38},"BreadcrumbList",[39,43,47,50],{"item":40,"name":41,"@type":42,"position":20},"https://docshare.wps.com","Home","ListItem",{"item":44,"name":45,"@type":42,"position":46},"https://docshare.wps.com/document/","Document",2,{"item":48,"name":12,"@type":42,"position":49},"https://docshare.wps.com/document/research-report/",3,{"item":51,"name":13,"@type":42,"position":52},"https://docshare.wps.com/document/maximum-entropy-is-a-107-approximation-algorithm-for-the-tsp-on-half-integral-cycle-cut-instances/82620/",4,{"url":51,"name":13,"@type":54,"author":55,"headline":13,"publisher":57,"fileFormat":60,"inLanguage":23,"description":14,"dateModified":61,"datePublished":62,"encodingFormat":60,"isAccessibleForFree":63,"interactionStatistic":64},"DigitalDocument",{"name":9,"@type":56},"Person",{"url":40,"name":58,"@type":59},"DocShare","Organization","application/pdf","2026-07-17","2026-07-16",true,{"@type":65,"interactionType":66,"userInteractionCount":20},"InteractionCounter",{"@type":67},"ViewAction",{"@type":69,"mainEntity":70},"FAQPage",[71,77,81],{"name":72,"@type":73,"acceptedAnswer":74},"What approximation factor does the paper prove for the maximum entropy algorithm on half-integral cycle cut instances?","Question",{"text":75,"@type":76},"The paper shows the maximum entropy algorithm achieves a 10/7 approximation ratio on half-integral cycle cut instances of the TSP.","Answer",{"name":78,"@type":73,"acceptedAnswer":79},"What role does the Subtour LP (Held–Karp bound) play in the analysis?",{"text":80,"@type":76},"The Subtour LP relaxation provides a benchmark through its integrality gap, and the spanning-tree rounding uses marginal constraints derived from an optimal LP solution.",{"name":82,"@type":73,"acceptedAnswer":83},"Does this work improve known integrality-gap bounds for this instance class?",{"text":84,"@type":76},"No. The paper notes that prior work already provides an upper bound on the integrality of this class, so the new analysis does not (and cannot) strengthen the integrality-gap bound, though it may guide improved analysis on other instance families.","https://schema.org",{"og:url":51,"og:type":87,"og:title":13,"og:site_name":58,"og:description":14},"article",{"robots":89,"canonical":51},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":92},[93,97,101,105,110,115,120,123,128,131,134],{"id":20,"doc_module":4,"doc_module_name":45,"category_name":94,"show_sort_weight":95,"slug":96},"Story & Novel",90,"story-novel",{"id":46,"doc_module":4,"doc_module_name":45,"category_name":98,"show_sort_weight":99,"slug":100},"Literature",80,"literature",{"id":52,"doc_module":4,"doc_module_name":45,"category_name":102,"show_sort_weight":103,"slug":104},"Exam",70,"exam",{"id":106,"doc_module":4,"doc_module_name":45,"category_name":107,"show_sort_weight":108,"slug":109},5,"Comic",60,"comic",{"id":111,"doc_module":4,"doc_module_name":45,"category_name":112,"show_sort_weight":113,"slug":114},6,"Technology",50,"technology",{"id":116,"doc_module":4,"doc_module_name":45,"category_name":117,"show_sort_weight":118,"slug":119},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":45,"category_name":12,"show_sort_weight":121,"slug":122},30,"research-report",{"id":124,"doc_module":4,"doc_module_name":45,"category_name":125,"show_sort_weight":126,"slug":127},9,"Religion & Spirituality",20,"religion-spirituality",{"id":126,"doc_module":4,"doc_module_name":45,"category_name":129,"show_sort_weight":126,"slug":130},"World Cup","world-cup",{"id":21,"doc_module":4,"doc_module_name":45,"category_name":132,"show_sort_weight":21,"slug":133},"Lifestyle","lifestyle",{"id":135,"doc_module":4,"doc_module_name":45,"category_name":136,"show_sort_weight":106,"slug":137},19,"General","general"]