proof

5Nhiệt

1Trả lời

Tôi đang cố gắng để sử dụng bình đẳng heterogenous để chứng minh tuyên bố liên quan đến kiểu dữ liệu được lập chỉ mục này: data Counter : ℕ → Set where cut : (i j : ℕ) → Counter (suc i + j) tôi

12Nhiệt

4Trả lời

Tìm tập hợp con với các phần tử xa nhau nhất với nhau

Tôi có một câu hỏi phỏng vấn mà tôi dường như không thể tìm ra. Với một mảng có kích thước N, hãy tìm tập con của kích thước k sao cho các phần tử trong tập hợp con nằm xa nhau nhất. Nói cách khác, tố

12Nhiệt

1Trả lời

Chứng minh rằng sự cố tạm dừng là NP-hard?

(Tôi xin lỗi nếu đây là trang web sai cho câu hỏi này, nhưng cho rằng có nhiều câu hỏi lý thuyết "không-đủ-cho-CS-lý thuyết" trôi nổi ở đây, tôi nghĩ rằng điều này có thể phù hợp . Xin vui lòng để di

7Nhiệt

2Trả lời

Bằng chứng thành ngữ do mâu thuẫn trong Isabelle?

Cho đến nay tôi đã viết chứng minh bởi sự mâu thuẫn trong phong cách sau đây trong Isabelle (sử dụng một mô hình bằng Jeremy Siek): lemma "<expression>" proof - { assume "¬ <expression>"

5Nhiệt

3Trả lời

Ký hiệu Big Oh O ((log n)^k) = O (log n)?

Trong ký hiệu big-O là O((log n)^k) = O(log n), trong đó k là một số hằng số (ví dụ: số logarit cho vòng lặp), đúng không? Tôi được giáo sư của tôi nói rằng tuyên bố này là đúng, tuy nhiên, ông cho bi

9Nhiệt

3Trả lời

Bằng chứng về luật áp dụng cho các trường hợp haskell

Có tất cả các trường hợp Haskell của typeclass áp dụng mà chúng tôi nhận được với nền tảng Haskell đã được chứng minh là đáp ứng tất cả các luật áp dụng? Nếu có, chúng tôi sẽ tìm thấy bằng chứng đó ở

14Nhiệt

3Trả lời

Số cây tìm kiếm nhị phân trên n thành phần riêng biệt

Có thể xây dựng bao nhiêu cây tìm kiếm nhị phân từ n thành phần riêng biệt? Và làm thế nào chúng ta có thể tìm thấy một công thức toán học được chứng minh cho nó? Ví dụ: Nếu chúng ta có 3 yếu tố riêng

5Nhiệt

2Trả lời

Làm cách nào để chứng minh hoạt động này trên cây tìm kiếm nhị phân?

Tôi muốn bạn cho tôi một gợi ý để chứng minh bài tập này từ sách Cormen: "Chứng minh rằng bất kể nút nào chúng ta bắt đầu ở cây tìm kiếm nhị phân chiều cao h, k gọi liên tiếp đến TREE-SUCCESSOR mất th

13Nhiệt

1Trả lời

Làm thế nào để bạn chứng minh rằng một hàm duy nhất cho kiểu của nó?

id là chức năng duy nhất của loại a -> a và fst chức năng duy nhất của loại (a,b) -> a. Trong những trường hợp đơn giản này, điều này khá đơn giản để xem. Nhưng nói chung, làm thế nào bạn sẽ đi về chứ

5Nhiệt

4Trả lời

Làm thế nào chúng ta có thể chứng minh bằng cảm ứng rằng tìm kiếm nhị phân là chính xác?

Tôi đang gặp khó khăn trong việc tìm hiểu cảm ứng, kết hợp với một số bất biến, có thể được sử dụng để chứng minh tính chính xác của thuật toán. Cụ thể, làm thế nào là bất biến được tìm thấy, và khi n