proof

6Nhiệt

2Trả lời

Bằng chứng chung về sự tương đương của hai FSM trong thời gian hữu hạn?

Có một bằng chứng chung tồn tại cho sự tương đương của hai máy tính hữu hạn (xác định) hữu hạn luôn luôn mất thời gian hữu hạn? Tức là, với hai FSM, bạn có thể chứng minh rằng với cùng một đầu vào, ch

7Nhiệt

4Trả lời

chứng minh n = Big-O (1) sử dụng cảm ứng

Tôi biết rằng quan hệ n = Big-O (1) là sai. Nhưng nếu chúng ta sử dụng cảm ứng liên quan đến Big-O nó có thể được chứng minh. Nhưng sai lầm là chúng ta không thể cảm ứng Big-O. Nhưng câu hỏi của tôi l

8Nhiệt

3Trả lời

Làm thế nào để xác định chiều cao của một cây đệ quy từ một mối quan hệ lặp lại?

Làm cách nào để xác định chiều cao của cây đệ quy, được xây dựng khi xử lý thời gian chạy lặp lại? Nó khác với việc xác định chiều cao của cây thông thường như thế nào? alt text http://homepages.ius.e

11Nhiệt

6Trả lời

Xác minh tính chính xác của các thuật toán đa luồng

Thuật toán đa luồng đáng chú ý là khó thiết kế/gỡ lỗi/chứng minh. Thuật toán của Dekker là một ví dụ điển hình về mức độ khó có thể thiết kế một thuật toán đồng bộ chính xác. Hệ điều hành hiện đại của

14Nhiệt

4Trả lời

Chứng minh rằng thuật toán phân bổ tiền của Fowler là chính xác

Martin Fowler has a Money class có thói quen phân bổ tiền. Quy trình này phân bổ tiền theo danh sách các tỷ lệ đã cho mà không làm mất bất kỳ giá trị nào thông qua làm tròn. Nó lây lan bất kỳ giá trị