Câu hỏi được gắn thẻ «reference-request»

Hãy xem xét vấn đề sau: Gọi là hằng số. Chúng tôi được cung cấp một mảng -ary là và 's. Đặt .k Một d 1 × ... × d k 0 1 N = Π k i = 1 d ikkkkkkAd1×…×dkAd1×…×dkA_{d_1\times\ldots\times d_k}000111N=∏ki=1diN=∏i=1kdiN = \prod_{i=1}^k d_i Chúng tôi muốn tạo …

8 reference-request  data-structures  space-complexity 

Tôi đặc biệt quan tâm đến các giải pháp cho vấn đề mà tìm kiếm được đóng gói có thể phụ thuộc vào thứ tự đánh giá. Theo [1], tìm kiếm được đóng gói trong PAKCS phụ thuộc vào thứ tự đánh giá, trong khi trong MCC thì không, nhưng …

8 reference-request  functional-programming  nondeterminism  logic-programming 

Tôi đang tìm kiếm một văn bản tham khảo về lý thuyết đồ thị ứng dụng và thuật toán đồ thị. Có một văn bản tiêu chuẩn được sử dụng trong hầu hết các chương trình khoa học máy tính? Nếu không, các văn bản được tôn trọng nhất trong …

8 algorithms  graph-theory  reference-request  education  books 

Máy Turing có bảng chữ cái biểu tượng chính thức , trạng thái và mô tả quy tắc chuyển đổi dựa trên cách tính toán được thực hiện. Mô hình diễn viên đôi khi được đề cập như một mô hình tính toán mạnh mẽ hơn so với máy Turing …

8 terminology  computability  reference-request  programming-languages  computation-models 

Tôi có một vấn đề logistic có thể được coi là một biến thể của . Điều đó rất tự nhiên, tôi chắc chắn rằng nó đã được nghiên cứu trong nghiên cứu hoạt động hoặc một cái gì đó tương tự. Đây là một cách để xem xét vấn …

8 algorithms  optimization  reference-request  approximation 

Trong biểu đồ, tập hợp thống trị cạnh là tập hợp con D của các cạnh sao cho bất kỳ cạnh nào trong biểu đồ đều nằm trong D hoặc chia sẻ điểm cuối với cạnh trong D. Vấn đề Đặt tối thiểu cạnh thống trị là tìm một tập …

8 complexity-theory  reference-request  np-complete  reductions 

Trong các kiểu phụ thuộc, thống nhất mẫu Miller được sử dụng để giải quyết một đoạn có thể quyết định của thống nhất bậc cao. Điều này cho phép các ngôn ngữ được gõ phụ thuộc để chứa các biến số hoặc đối số ngầm. Có nhiều bài viết …

8 reference-request  lambda-calculus  type-theory  dependent-types  unification 

Ở một vài nơi khác nhau ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf và https: //books.google.com/books?id=qYYKBwAAQBAJ&pg=PA21&lpg=PA21&dq=np-hard+completing+hadamard+matrix&source=bl&ots=8sKv9bAtc8&sig=ITZSmtD2p2xr6Q4RDqhbQQk0NDI&hl=en&sa=X&ved=2ahUKEwiotuLdvfzdAhWBKHwKHUF9AO0Q6AEwB3oECAMQAQ#v=onepage&q=np-hard%20completing% 20hadamard% 20matrix & f = false , để đưa ra hai) người ta khẳng định rằng việc xác định "sự tương đương" của hai ma trận Hadamard (theo nghĩa là cho phép lật dấu và hoán vị trên các …

7 np-complete  reference-request  graph-isomorphism 

Chúng tôi biết vấn đề dừng là ở cấp độ thứ bậc của hệ thống phân cấp. Chúng tôi biết rằng Vấn đề Tổng số nằm ở cấp độ thứ hai của hệ thống phân cấp. Một số ví dụ về các vấn đề ở cấp thứ 3 (hoặc cao …

7 computability  reference-request 

Các bài báo hiện đại về các chỉ mục tìm kiếm thường chứa một tuyên bố rằng các chỉ mục đảo ngược (danh sách đăng bài) vượt trội hơn hẳn so với các tệp chữ ký (bộ lọc nở). Dưới đây là một số ví dụ từ các bài báo …

7 reference-request  information-retrieval  search 

Rõ ràng là Mathicala sử dụng bài kiểm tra Baillieifer PSW cho chức năng PrimeQ của nó (kiểm tra tính nguyên thủy), và khi tôi đọc trong tài liệu Mathicala , nó bắt đầu bằng phép thử, sau đó là cơ sở 2 và 3 Miller Giả Rabin, và sau …

7 reference-request  number-theory  primes 

Đối với dự án hội chợ khoa học của mình, tôi đã triển khai tối ưu hóa cho thói quen sắp xếp của Python. Ý tưởng là để di chuyển các kiểm tra an toàn phải được thực hiện trong mỗi lần so sánh, ví dụ kiểm tra loại và …

7 reference-request  type-checking  program-optimization  interpreters 

Tôi đã suy nghĩ về một vấn đề, được truyền cảm hứng từ việc gặp một giáo sư ngoại ngữ cấp độ mới bắt đầu tại Viện Goethe, người đã học năm ngôn ngữ phổ biến nhất được sử dụng bởi các sinh viên để giao tiếp với càng nhiều …

7 terminology  reference-request  optimization  combinatorics  sets 

Có ai đã thành công trong việc triển khai hoặc thiết kế một hệ thống loại kết hợp cả hai loại trạng thái (loại tuyến tính) và loại hiệu ứng (ví dụ Koka )?

7 reference-request  type-theory 

Cây của tôi đã bén rễ và có nhiều nhất hai con ở mọi đỉnh. Tôi cần tài liệu tham khảo giúp tôi giải quyết bất kỳ hoặc tất cả các câu hỏi dưới đây: Có bao nhiêu lớp đẳng cấu của cây với n đỉnh? Các thuật toán cổ …

7 algorithms  graph-theory  reference-request  combinatorics  trees