Luận Án Tiến Sĩ: Phương Pháp Thực Nghiệm Đánh Giá Độ Phức Tạp Của Các Bài Toán Khó

Trường đại học

Stanford University

Chuyên ngành

Computer Science

Người đăng

Ẩn danh

Thể loại

dissertation

2005

180
1
0

Phí lưu trữ

30 Point

Mục lục chi tiết

Abstract

Acknowledgements

1. CHƯƠNG 1: Introduction

1.1. Complexity

2. CHƯƠNG 2: Empirical Hardness: Models and Applications

2.1. Empirical Hardness Methodology

2.1.1. Step 1: Selecting an Algorithm

2.1.2. Step 2: Selecting an Instance Distribution

2.1.3. Step 3: Defining Problem Size

2.1.4. Step 4: Selecting Features

2.1.5. Step 5: Collecting Data

2.1.6. Step 6: Building Models

2.2. Analyzing Hardness Models

2.2.1. Evaluating the Importance of Variables

2.3. Applications of Empirical Hardness Models

2.3.1. The Boosting Metaphor

2.3.2. Building Algorithm Portfolios

2.3.3. Inducing Hard Distributions

2.4. Discussion and Related Work

2.4.1. Typical-Case Complexity

2.4.2. The Boosting Metaphor Revisited

3. CHƯƠNG 3: The Combinatorial Auctions WDP

3.1. The Winner Determination Problem

3.2. Combinatorial Auctions Test Suite

3.3. The Issue of Problem Size

3.4. Describing WDP Instances with Features

3.5. Empirical Hardness Models for the WDP

3.6. Analyzing the WDP Hardness Models

3.7. Applications of the WDP Hardness Models

3.7.1. Inducing Harder Distributions

4. CHƯƠNG 4: Understanding Random SAT

4.1. The Propositional Satisfiability Problem

4.2. Describing SAT Instances with Features

4.3. Empirical Hardness Models for SAT

4.3.1. Variable-Ratio Random Instances

4.3.2. Fixed-Ratio Random Instances

4.4. SATzilla: An Algorithm Portfolio for SAT

4.5. Conclusion and Research Directions

5. CHƯƠNG 5: Computational Game Theory

5.1. Game Theory Meets Computer Science

5.2. Notation and Background

5.3. Finding Nash Equilibria

6. CHƯƠNG 6: Evaluating Game-Theoretic Algorithms

6.1. The Need for a Testbed

6.2. Multiagent Learning in Repeated Games

6.3. GAMUT Implementation Notes

7. CHƯƠNG 7: Finding a Sample Nash Equilibrium

7.1. Searching Over Supports

7.2. Algorithm for Two-Player Games

7.3. Algorithm for N-Player Games

7.4. Results for Two-Player Games

7.5. Results for N-Player Games

7.6. On the Distribution of Support Sizes

Bibliography

List of Tables

List of Figures

Phương Pháp Thực Nghiệm Đánh Giá Độ Phức Tạp Của Các Bài Toán Khó là một tài liệu chuyên sâu tập trung vào việc phân tích và đánh giá độ phức tạp của các bài toán toán học phức tạp thông qua phương pháp thực nghiệm. Tài liệu này cung cấp các công cụ và kỹ thuật giúp người đọc hiểu rõ hơn về cách tiếp cận và giải quyết các vấn đề toán học khó, đồng thời đưa ra các ví dụ minh họa cụ thể để làm rõ các khái niệm. Điều này không chỉ giúp các nhà nghiên cứu và sinh viên nâng cao kỹ năng phân tích mà còn mở ra hướng tiếp cận mới trong việc giải quyết các bài toán phức tạp.

Để mở rộng kiến thức về các phương pháp toán học ứng dụng, bạn có thể tham khảo thêm Luận án phương pháp hệ vô hạn giải gần đúng một số bài toán biên tuyến tính trong miền không giới nội, nơi trình bày chi tiết về các phương pháp giải gần đúng. Ngoài ra, Luận văn thạc sĩ toán ứng dụng lớp các xấp xỉ cũng là một tài liệu hữu ích để hiểu sâu hơn về các kỹ thuật xấp xỉ trong toán học. Cuối cùng, Luận văn thạc sĩ toán ứng dụng tính ổn định nghiệm cho bài toán cân bằng và ứng dụng sẽ giúp bạn khám phá thêm về tính ổn định của nghiệm trong các bài toán cân bằng.