Tài liệu, ebook Kỹ Thuật Lập Trình

But W is not a tour, since it visits some vertices more than once. By the triangle inequality, we can delete a visit to any vertex from W. By repeatedly applying this operation, we can remove from W all but the first visit to each vertex. Let H be the cycle corresponding to this preorder walk. It is a hamiltonian cycle, since every vertex is visit...

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

Những bài toán bất khả quyết (Undecidable problems): Đây là những bài toán chưa hề có giải thuật để giải. Thí dụ: Bài toán quyết định xem một chương trình có dừng trên một máy Turing. Những bài toán khó giải (intractable) : đây là những bài toán mà không tồn tại giải thuật thời gian đa thức để giải chúng. Chỉ tồn tại giải thuật thời gian hàm mũ ...

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

Rõ ràng ta sẽ không bỏ sót lối đi chi phí nhỏ nhất nào nếu ta bám sát một chiến lược như vậy. Kỹ thuật tính cận (bound) của các lời giải chưa-đầy-đủ để hạn chế số lời giải phải dò tìm được gọi là giải thuật nhánh và cận. Giải thuật này có thể áp dụng khi có chi phí được gắn vào các lối đi.

37 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 988 | Lượt tải: 1

Màu có bậc lớn nhất được tô trước. (Welsh and Powell) Bậc của một đỉnh: số cạnh nối đến đỉnh đó. Lý do: Những đỉnh có càng nhiều cạnh nối tới thì càng khó tô nếu ta đợi cho đến khi những đỉnh láng giềng của nó đã được tô. Giải thuật Arrange the vertices by decreasing order of degrees. Color a vertex with maximal degree with color 1. Choose an...

72 trang | Chia sẻ: nguyenlam99 | Ngày: 05/01/2019 | Lượt xem: 1254 | Lượt tải: 1

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...

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

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...

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

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.

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

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...

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

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...

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

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...

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