책 이미지
eBook 미리보기
책 정보
· 제목 : Complexity Classifications of Boolean Constraint Satisfaction Problems (Hardcover)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780898714791
· 쪽수 : 106쪽
· 출판일 : 1987-01-01
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9780898714791
· 쪽수 : 106쪽
· 출판일 : 1987-01-01
목차
- Preface
- Chapter 1: Introduction
- Chapter 2: Complexity Classes
- Chapter 3: Boolean Constraint Satisfaction Problems
- Chapter 4: Characterizations of Constraint Functions
- Chapter 5: Implementation of Functions and Reductions
- Chapter 6: Classification Theorems for Decision, Counting and Quantified Problems
- Chapter 7: Classification Theorems for Optimization Problems
- Chapter 8: Input-Restricted Constrained Satisfaction Problems
- Chapter 9: The Complexity of the Meta-Problems
- Chapter 10: Concluding Remarks
- Bibliography
- Index
