000 03830nam a22006015i 4500
001 978-981-19-9952-9
003 DE-He213
005 20240423125500.0
007 cr nn 008mamaa
008 230327s2023 si | s |||| 0|eng d
020 _a9789811999529
_9978-981-19-9952-9
024 7 _a10.1007/978-981-19-9952-9
_2doi
050 4 _aQA267.7
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a511.352
_223
100 1 _aArthanari, Tirukkattuppalli Subramanyam.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
245 1 0 _aPedigree Polytopes
_h[electronic resource] :
_bNew Insights on Computational Complexity of Combinatorial Optimisation Problems /
_cby Tirukkattuppalli Subramanyam Arthanari.
250 _a1st ed. 2023.
264 1 _aSingapore :
_bSpringer Nature Singapore :
_bImprint: Springer,
_c2023.
300 _aXXV, 221 p. 83 illus., 50 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aChapter 1: Prologue -- Chapter 2: Notations, Definitions and Briefs -- Chapter 3: Motivation for Studying Pedigrees -- Chapter 4: Structure of the Pedigree Polytope -- Chapter 5: Membership Checking in Pedigree Polytopes -- Chapter 6: Computational Complexity of Membership Checking -- Chapter 7: Efficient Checking of Membership in Pedigree Polytope and its Implications -- Chapter 8: Epilogue.
520 _aThis book defines and studies a combinatorial object called the pedigree and develops the theory for optimising a linear function over the convex hull of pedigrees (the Pedigree polytope). A strongly polynomial algorithm implementing the framework given in the book for checking membership in the pedigree polytope is a major contribution. This book challenges the popularly held belief in computer science that a problem included in the NP-complete class may not have a polynomial algorithm to solve. By showing STSP has a polynomial algorithm, this book settles the P vs NP question. This book has illustrative examples, figures, and easily accessible proofs for showing this unexpected result. This book introduces novel constructions and ideas previously not used in the literature. Another interesting feature of this book is it uses basic max-flow and linear multicommodity flow algorithms and concepts in theseproofs establishing efficient membership checking for the pedigree polytope. Chapters 3-7 can be adopted to give a course on Efficient Combinatorial Optimization. This book is the culmination of the author's research that started in 1982 through a presentation on a new formulation of STSP at the XIth International Symposium on Mathematical Programming at Bonn.
650 0 _aComputational complexity.
650 0 _aMathematical optimization.
650 0 _aCalculus of variations.
650 0 _aAlgebraic fields.
650 0 _aPolynomials.
650 0 _aOperations research.
650 0 _aManagement science.
650 1 4 _aComputational Complexity.
650 2 4 _aOptimization.
650 2 4 _aCalculus of Variations and Optimization.
650 2 4 _aContinuous Optimization.
650 2 4 _aField Theory and Polynomials.
650 2 4 _aOperations Research, Management Science.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9789811999512
776 0 8 _iPrinted edition:
_z9789811999536
776 0 8 _iPrinted edition:
_z9789811999543
856 4 0 _uhttps://doi.org/10.1007/978-981-19-9952-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
942 _cSPRINGER
999 _c178421
_d178421