Khoa học máy tính

1

Có một khái niệm kép để logic Turing Complete dòng trong logic?

Hai mô hình điện toán có thể được hiển thị là hoàn thành nếu mỗi mô hình có thể mã hóa một trình giả lập phổ quát cho mô hình kia. Hai logic có thể được hiển thị là hoàn thành nếu mã hóa các quy tắc suy luận (và …

10 computability logic turing-completeness

2

Tại sao không phát âm thanh dừng các tác vụ khác?

Nếu bộ xử lý chỉ có thể thực hiện một việc tại một thời điểm, tại sao tôi có thể phát nhạc liên tục mà vẫn có thể chạy các tác vụ khác? Tôi hiểu hệ thống ngắt, nhưng không cần CPU liên tục xử lý âm thanh để nó …

10 cpu multi-tasking

1

Đây có thể là một vấn đề NP-Complete?

Xem xét các báo cáo vấn đề sau: Cho một số ban đầu, bạn và bạn của bạn lần lượt trừ đi một hình vuông hoàn hảo từ nó. Người đầu tiên có được chiến thắng bằng không. Ví dụ: Trạng thái ban đầu: 37 Người chơi1 trừ 16. Bang: …

10 complexity-theory time-complexity np-complete dynamic-programming pseudo-polynomial

3

Xử lý các đồ thị vô hướng như là một tiểu thể loại của đồ thị có hướng

Một cách thô sơ, một đồ thị vô hướng rất giống với đồ thị có hướng trong đó đối với mỗi cạnh (v, w), luôn có một cạnh (w, v). Điều đó cho thấy rằng có thể chấp nhận được khi xem các đồ thị vô hướng như một tập …

10 graphs terminology

2

vấn đề đồ thị mạng xã hội

Đây là vấn đề: Có biểu đồ được kết nối với các nút đại diện cho một số người. Mỗi nút / người có ý kiến về một chủ đề, ví dụ như Trump vs clinton, sách giấy so với kindle, v.v. Mục tiêu là làm cho mọi nút trong …

10 graphs graph-theory social-networks

2

Là phần mở rộng sau đây của automata trạng thái hữu hạn được nghiên cứu?

Hãy xem xét một máy trạng thái hữu hạn như bình thường, nhưng mỗi lần chuyển đổi, nó cũng có thể cập nhật bộ đếm số nguyên bằng cách thêm hoặc trừ một số. Giả sử, hàm chuyển đổi có dạng chuyển sang trạng thái mới p và thêm k …

10 finite-automata

1

Các loại là Công dân hạng nhất

Đến từ nền tảng C ++ Tôi không hiểu tại sao một người cần biểu thức kiểu / kiểu như công dân hạng nhất? Ngôn ngữ duy nhất tôi biết hỗ trợ tính năng này là Aldor. Có ai có một số tài liệu về các loại như công dân …

10 programming-languages language-design types

1

Tài liệu về một cách tiếp cận ngây thơ đối với sự đẳng cấu đồ thị bằng cách kiểm tra các đa thức của ma trận kề.

Tôi mô tả một cách tiếp cận đối với sự đẳng cấu đồ thị có thể có dương tính giả và tôi tò mò liệu có tài liệu nào chỉ ra rằng nó không hoạt động. Cho hai ma trận kề , G , HG,HG, H , một phương pháp …

10 reference-request graph-isomorphism

1

Tại sao các loại đệ quy cần thiết làm nguyên thủy cho bằng chứng trong các hệ thống loại phụ thuộc?

Tôi còn khá mới với lý thuyết loại và lập trình phụ thuộc. Tôi đã nghiên cứu tính toán các công trình xây dựng (CoC) và các hệ thống loại thuần túy khác. Tôi đặc biệt quan tâm đến việc sử dụng nó như một đại diện trung gian bảo …

10 type-theory dependent-types coq

1

Phân tích độ phức tạp thuật toán về triển khai ngôn ngữ lập trình chức năng

Hôm nay tôi đã học được rằng phân tích thuật toán khác nhau dựa trên mô hình tính toán. Đó là điều mà tôi chưa bao giờ nghĩ tới hoặc nghe nói đến. Một ví dụ được đưa ra cho tôi, được minh họa thêm bởi Người dùng @chi là: …

10 complexity-theory algorithm-analysis computability computation-models lambda-calculus

4

Số lượng chuyến đi mua sắm tối thiểu cho một nhóm người để mua quà cho nhau

Chúng tôi có một nhóm nnn người. Chúng tôi được cung cấp một danh sách những người phải mua quà cho ai trong nhóm. Mỗi người có thể cần mua / nhận bất kỳ số lượng quà tặng, hoặc có thể không có gì cả. Trong một chuyến đi mua …

10 algorithms graph-theory set-cover

4

Các kỹ thuật chính thức phổ biến để chứng minh mã chức năng chính xác là gì?

Tôi muốn cung cấp bằng chứng cho các phần của chương trình Haskell tôi đang viết như một phần của luận án. Tuy nhiên, cho đến nay, tôi đã thất bại trong việc tìm kiếm một công việc tham khảo tốt. Cuốn sách giới thiệu của Graham Hutton Lập trình …

10 reference-request proof-techniques functional-programming books software-verification

2

Có một mô hình nào cho việc soạn thảo các hàm cập nhật gia tăng của Google theo kiểu dataflow thuần túy không?

Tôi không biết thuật ngữ chính xác khi đặt câu hỏi này, vì vậy tôi sẽ mô tả nó với rất nhiều từ thay vào đó, chịu đựng tôi. Bối cảnh , chỉ để chúng ta ở cùng một trang: Các chương trình thường chứa bộ nhớ cache - sự …

10 terminology reference-request functional-programming programming-paradigms

2

Trực giác đằng sau cổng Hadamard

Tôi đang cố gắng dạy bản thân về điện toán lượng tử và tôi có một sự hiểu biết đúng đắn về đại số tuyến tính. Tôi đã đi qua cổng KHÔNG, điều đó không tệ lắm, nhưng sau đó tôi đã đến cổng Hadamard. Và tôi đã bị mắc …

10 logic quantum-computing

3

Cố gắng để hiểu bằng chứng Quicksort Correctness này

Bằng chứng này là một bằng chứng bằng cảm ứng, và đi như sau: P (n) là khẳng định rằng "Quicksort sắp xếp chính xác mọi mảng đầu vào có độ dài n." Trường hợp cơ sở: mọi mảng đầu vào có độ dài 1 đã được sắp xếp (P …

10 correctness-proof induction quicksort