Khoa học máy tính

Q & A cho sinh viên, nhà nghiên cứu và thực hành khoa học máy tính

2
Tái tạo đồ thị từ phân phối độ
Đưa ra một phân phối độ, chúng ta có thể xây dựng một biểu đồ theo phân phối độ đã cho nhanh như thế nào? Một liên kết hoặc thuật toán phác thảo sẽ là tốt. Thuật toán phải báo cáo "không" trong trường hợp không có biểu đồ nào …




2
Một lời tiên tri để tách NP khỏi coNP
Làm thế nào để chứng minh rằng ? Tôi chỉ tìm kiếm một TM M như vậy và một ngôn ngữ đệ quy L ( M ) = L mà cái này giữ.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Tôi biết các bằng chứng mà bạn thấy rằng có một lời sấm …

1
Giới thiệu về thuật toán rút gọn của Codd
Thuật toán của Codd chuyển đổi một biểu thức trong phép tính quan hệ tuple thành Đại số quan hệ. Có một thực hiện tiêu chuẩn của thuật toán? Là thuật toán này được sử dụng bất cứ nơi nào? (Có vẻ như ngành công nghiệp chỉ cần SQL và …





1
Định lý smn có cùng khái niệm với currying không?
Tôi đang nghiên cứu định lý smn và khái niệm này nhắc nhở tôi về cà ri. Từ bài viết trên wikipedia về định lý smn : Định lý nói rằng đối với một ngôn ngữ lập trình nhất định và các số nguyên dương m và n, tồn tại …





Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.