Cargando…
Tractability : practical approaches to hard problems /
An overview of the techniques developed to circumvent computational intractability, a key challenge in many areas of computer science.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press,
2014.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn869640202 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 140201s2014 enka ob 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e rda |e pn |c EBLCP |d OCLCQ |d UKMGB |d N$T |d CAMBR |d YDXCP |d DEBSZ |d OCLCQ |d OCLCO |d B24X7 |d COO |d CAMBR |d OCLCF |d AU@ |d OCLCQ |d UIU |d LIV |d OCLCQ |d UKAHL |d OL$ |d OCLCQ |d BRF |d LUN |d SFB |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 016 | 7 | |a 016628827 |2 Uk | |
| 019 | |a 870720143 |a 874223186 |a 880917388 |a 1167574749 | ||
| 020 | |a 9781139177801 |q (electronic bk.) | ||
| 020 | |a 113917780X |q (electronic bk.) | ||
| 020 | |a 9781107731851 |q (electronic bk.) | ||
| 020 | |a 1107731852 |q (electronic bk.) | ||
| 020 | |z 1107025192 | ||
| 020 | |z 9781107025196 | ||
| 020 | |z 9781107723726 | ||
| 020 | |z 1107723728 | ||
| 029 | 1 | |a AU@ |b 000052923241 | |
| 029 | 1 | |a CHNEW |b 000886652 | |
| 029 | 1 | |a DEBBG |b BV043606939 | |
| 029 | 1 | |a DEBSZ |b 40524391X | |
| 029 | 1 | |a NLGGC |b 391934643 | |
| 029 | 1 | |a NZ1 |b 15495967 | |
| 035 | |a (OCoLC)869640202 |z (OCoLC)870720143 |z (OCoLC)874223186 |z (OCoLC)880917388 |z (OCoLC)1167574749 | ||
| 050 | 4 | |a QA267.7 |b T73 2014ab | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 23 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Tractability : |b practical approaches to hard problems / |c edited by Lucas Bordeaux, Youssef Hamadi, and Pushmeet Kohli. |
| 264 | 1 | |a Cambridge : |b Cambridge University Press, |c 2014. | |
| 300 | |a 1 online resource (xxii, 377 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a An overview of the techniques developed to circumvent computational intractability, a key challenge in many areas of computer science. | ||
| 505 | 0 | |a Cover -- Tractability -- Title Page -- Copyright Page -- Contents -- Contributors -- Introduction -- Part 1: Graphical Structure -- 1 Treewidth and Hypertree Width -- 1.1 Treewidth -- 1.2 Hypertree width -- 1.3 Applications of hypertree width -- 1.4 Beyond (hyper)tree decompositions -- 1.5 Tractability frontiers (for CSPs) -- 1.6 Conclusion -- References -- 2 Perfect Graphs and Graphical Modeling -- 2.1 Berge Graphs and Perfect Graphs -- 2.2 Computational Properties of Perfect Graphs -- 2.3 Graphical Models -- 2.4 Nand Markov Random Fields | |
| 505 | 8 | |a 2.5 Maximum Weight Stable Set2.6 Tractable Graphical Models -- 2.7 Discussion -- 2.8 Acknowledgments -- 2.9 Appendix -- References -- Part 2: Language Restrictions -- 3 Submodular Function Maximization -- 3.1 Submodular Functions -- 3.2 Greedy Maximization of Submodular Functions -- 3.3 Beyond the Greedy Algorithm: Handling More Complex Constraints -- 3.4 Online Maximization of Submodular Functions -- 3.5 Adaptive Submodularity -- 3.6 Conclusions -- References -- 4 Tractable Valued Constraints -- 4.1 Introduction -- 4.2 Constraint Satisfaction Problems | |
| 505 | 8 | |a 4.3 Valued Constraint Satisfaction Problems4.4 Examples of Valued Constraint Languages -- 4.5 Expressive Power -- 4.6 Submodular Functions and Multimorphisms -- 4.7 Conservative Valued Constraint Languages -- 4.8 A General Algebraic Theory of Complexity -- 4.9 Conclusions and Open Problems -- References -- 5 Tractable Knowledge Representation Formalisms -- 5.1 Introduction -- 5.2 A Motivating Example -- 5.3 Negation Normal Form -- 5.4 Structured Decomposability -- 5.5 (X, Y)-Decompositions of Boolean Functions -- 5.6 Sentential Decision Diagrams | |
| 505 | 8 | |a 5.7 The Process of Compilation5.8 Knowledge Compilation in Probabilistic Reasoning -- 5.9 Conclusion -- References -- Part 3: Algorithms and their Analysis -- 6 Tree-Reweighted Message Passing -- 6.1 Introduction -- 6.2 Preliminaries -- 6.3 Sequential Tree-Reweighted Message Passing (TRW-S) -- 6.4 Analysis of the Algorithm -- 6.5 TRW-S with Monotonic Chains -- 6.6 Summary of the TRW-S Algorithm -- 6.7 Related Approaches -- 6.8 Conclusions and Discussion -- References -- 7 Tractable Optimization in Machine Learning -- 7.1 Introduction -- 7.2 Background | |
| 505 | 8 | |a 7.3 Smooth Convex Optimization7.4 Nonsmooth Convex Optimization -- 7.5 Stochastic Optimization -- 7.6 Summary -- References -- 8 Approximation Algorithms -- 8.1 Introduction -- 8.2 Combinatorial Algorithms -- 8.3 Linear Programming Based Algorithms -- 8.4 Semi-Definite Programming Based Algorithms -- 8.5 Algorithms for Special Instances -- 8.6 Metric Embeddings -- 8.7 Hardness of Approximation -- References -- 9 Kernelization Methods for Fixed-Parameter Tractability -- 9.1 Introduction -- 9.2 Basic Definitions -- 9.3 Classical Techniques | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Computational complexity. | |
| 650 | 0 | |a Parameter estimation. | |
| 650 | 6 | |a Complexité de calcul (Informatique) | |
| 650 | 6 | |a Estimation d'un paramètre. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Computational complexity |2 fast | |
| 650 | 7 | |a Parameter estimation |2 fast | |
| 700 | 1 | |a Bordeaux, Lucas, |e editor. | |
| 700 | 1 | |a Hamadi, Youssef |c (Computer science researcher), |e editor. | |
| 700 | 1 | |a Kohli, Pushmeet, |e editor. | |
| 776 | 0 | 8 | |i Print version: |a Bordeaux, Lucas. |t Tractability : Practical Approaches to Hard Problems. |d Cambridge : Cambridge University Press, ©2014 |z 9781107025196 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=685234 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26070534 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH28319253 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26386160 | ||
| 938 | |a Books 24x7 |b B247 |n bks00059163 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1578903 | ||
| 938 | |a EBSCOhost |b EBSC |n 685234 | ||
| 938 | |a YBP Library Services |b YANK |n 11615913 | ||
| 994 | |a 92 |b IZTAP | ||