登入選單
返回Google圖書搜尋
A Graphic Apology for Symmetry and Implicitness
Alessandra CarboneStephen Semmes
出版Oxford University Press, 2000
主題Computers / Machine TheoryMathematics / GeneralMathematics / AppliedMathematics / Discrete MathematicsMathematics / Graphic MethodsMathematics / Group TheoryMathematics / LogicMathematics / CombinatoricsPhilosophy / Logic
ISBN01985072919780198507291
URLhttp://books.google.com.hk/books?id=vNsx66ro0doC&hl=&source=gbs_api
EBookSAMPLE
註釋This book brings into focus the contrast between explicit and implicit algorithmic descriptions of objects and presents a new geometric language for the study of combinatorial and logical problems in complexity theory. These themes are considered in a variety of settings, sometimes crossing traditional boundaries. Special emphasis is given to moderate complexity - exponential or polynomial - but objects with multi-exponential complexity also fit in. Among the items under consideration are graphs, formal proofs, languages, automata, groups, circuits, some connections with geometry of metric spaces, and complexity classes (P, NP, co-NP).