• Phân tích và thiết kế giải thuật - Chương 4: Chiến lược biến thể - Để - trị (transform - and - conquer)Phân tích và thiết kế giải thuật - Chương 4: Chiến lược biến thể - Để - trị (transform - and - conquer)

    Cây AVL là cây tìm kiếm nhị phân mà luôn luôn được làm cho cân bằng. Sự cân bằng này được duy trì bằng 4 phép quay (rotation). Tất cả các thao tác trên cây AVL đều có độ phức tạp O(nlgn), loại trừ được trường hợp xấu nhất của cây tìm kiếm nhị phân. Cây AVL và giải thuật loại trừ Gauss là những thí dụ của biến thể-để-trị theo kiểu “đơn giản hóa...

    ppt36 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 966 | Lượt tải: 0

  • Phân tích và thiết kế giải thuật - Chương 3: Chiến lược giảm - Để - trị (Decrease - and - conquer)Phân tích và thiết kế giải thuật - Chương 3: Chiến lược giảm - Để - trị (Decrease - and - conquer)

    Tính chất: Độ phức tạp của giải thuật PERM sinh ra tất cả các hoán vị của tập n phần tử là n! Chứng minh: Thao tác căn bản: thao tác chèn phần tử còn lại vào một hoán vị đã có. Với mỗi hoán vị từ tập con n-1 phần tử (gồm tất cả (n-1)! các hoán vị này), ta đưa phần tử còn lại vào n vị trí khả hữu. Như vậy tổng cọng có n.(n-1)! thao tác chèn phần...

    ppt47 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 1424 | Lượt tải: 0

  • Phân tích và thiết kế giải thuật - Chương 2: Chiến lược chia - Để - trị (divide - and - conquer)Phân tích và thiết kế giải thuật - Chương 2: Chiến lược chia - Để - trị (divide - and - conquer)

    Tính chất: Trong trường hợp xấu nhất, một tác vụ tìm kiếm trên cây tìm kiếm nhị phân gồm N khóa có thể cần N so sánh. Trường hợp xấu nhất xảy ra khi cây nhị phân bị suy biến thành một danh sách liên kết.

    ppt40 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 1159 | Lượt tải: 0

  • Phân tích và thiết kế giải thuật - Chương 1: Các khái niệm căn bảnPhân tích và thiết kế giải thuật - Chương 1: Các khái niệm căn bản

    Mặc dù đơn sơ và không tinh xảo, nhưng những giải thuật thuộc loại bruce-force vẫn không nên xem thường, hoặc bỏ qua vì những lý do sau: Giải thuật bruce-force thường có khả năng áp dụng rộng rãi. Với một số bài toán quan trọng, những giải thuật bruce-force có những giá trị thực tế nhất định. Những giải thuật tinh xảo thường khó hiểu và khó hiện...

    ppt44 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 1011 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 26: Process improvementKĩ thuật lập trình - Chapter 26: Process improvement

    The CMMI process maturity model is an integrated process improvement model that supports both staged and continuous process improvement. Process improvement in the CMMI model is based on reaching a set of goals related to good software engineering practice and describing, standardizing and controlling the practices used to achieve these goals. Th...

    pptx50 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 885 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 25: Configuration managementKĩ thuật lập trình - Chapter 25: Configuration management

    System building is the process of assembling system components into an executable program to run on a target computer system. Software should be frequently rebuilt and tested immediately after a new version has been built. This makes it easier to detect bugs and problems that have been introduced since the last build. System releases include exe...

    pptx46 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 888 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 24: Quality managementKĩ thuật lập trình - Chapter 24: Quality management

    Reviews of the software process deliverables involve a team of people who check that quality standards are being followed. In a program inspection or peer review, a small team systematically checks the code. They read the code in detail and look for possible errors and omissions Software measurement can be used to gather data about software and ...

    pptx51 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 841 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 23: Project planningKĩ thuật lập trình - Chapter 23: Project planning

    Estimation techniques for software may be experience-based, where managers judge the effort required, or algorithmic, where the effort required is computed from other estimated project parameters. The COCOMO II costing model is an algorithmic cost model that uses project, product, hardware and personnel attributes as well as product size and compl...

    pptx53 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 876 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 22: Project managementKĩ thuật lập trình - Chapter 22: Project management

    People are motivated by interaction with other people, the recognition of management and their peers, and by being given opportunities for personal development. Software development groups should be fairly small and cohesive. The key factors that influence the effectiveness of a group are the people in that group, the way that it is organized and...

    pptx47 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 928 | Lượt tải: 0

  • Kĩ thuật lập trình - Chapter 21: Aspect - Oriented software developmentKĩ thuật lập trình - Chapter 21: Aspect - Oriented software development

    To identify concerns, you may use a viewpoint-oriented approach to requirements engineering to elicit stakeholder requirements and to identify cross-cutting quality of service and policy concerns. The transition from requirements to design can be made by identifying use cases, where each use case represents a stakeholder concern. The problems of...

    pptx46 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 794 | Lượt tải: 0