Khoa học máy tính

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 

Trong cài đặt được nhập, các bản ghi có thể được coi là bản đồ từ trường này sang loại khác. Nếu có một hoạt động hợp nhất bản ghi được gõ tốt (cho phép các trường chồng lấp), có sự khác biệt thực sự giữa loại kết quả và …

7 type-theory  dependent-types 

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 

Vì vậy, tôi đã đọc về ZKP trên wikipedia , ví dụ tóm tắt tóm tắt như sau: Peggy muốn chứng minh với Victor rằng cô biết bí mật về một cánh cửa bên trong một hang động nối A và B với nhau (xem sơ đồ) mà không tiết …

7 algorithms  cryptography  security  authentication 

Các thuật toán có thể là lãng quên hoặc không lãng quên, nhưng sự khác biệt thực sự giữa hai thuật toán là gì?

7 algorithms  complexity-theory  sorting 

(Hy vọng điều này chưa được hỏi trước đây, nhưng tôi không tìm thấy gì cả.) Theo hiểu biết của tôi, thuyết không điều kiện chỉ áp dụng cho các vấn đề quyết định, do yêu cầu về sự tồn tại của một con đường chấp nhận . Trong Wikipedia, …

7 turing-machines  computation-models  nondeterminism 

Trong cuốn sách Chiếc vé vàng của Lance Fortnow , ông đã đề cập rằng một khi bạn có thuật toán thời gian đa thức cho bài toán hoàn thành NP, bạn có thể sử dụng nó để tìm thuật toán nhanh hơn. Bạn có thể cho tôi biết làm …

7 algorithms  np-complete  p-vs-np  sat-solvers 

Tôi đã cố gắng tìm một thuật toán để liệt kê tất cả các cây nhị phân có chiều cao cho trước .hhh Lưu ý rằng tôi không cố đếm chúng: số lượng cây như vậy được đưa ra trong OEIS ( A001699 ). Tất cả các thuật toán mà …

7 algorithms  binary-trees  enumeration 

Gần đây tôi đang đọc một tài liệu [1]. Trong tài liệu này, Giáo sư Cook cung cấp một bằng chứng ngắn gọn vềP⊆NPP⊆NP\mathbf{P} \subseteq \mathbf{NP}, đó chỉ là một câu: Thật là tầm thường khi cho thấy rằng P⊆NPP⊆NP\mathbf{P} \subseteq \mathbf{NP}, vì đối với mỗi ngôn ngữ LLL kết …

7 complexity-theory  np 

Tôi không bao giờ sử dụng một trình gỡ lỗi có thể chạy một chương trình ngược nhưng tôi muốn. Bây giờ tôi tự hỏi nếu có nhiều bằng chứng và lý thuyết về lập trình chạy ngược, khi nào và tại sao một chương trình có thể được chạy …

7 automata  programming-languages 

Từ Simon Peyton Jones (thành viên Hiệp hội Hoàng gia gần đây), chúng tôi đã đọc bài báo: Thực hiện các ngôn ngữ chức năng lười biếng trên phần cứng chứng khoán: Máy quay không có thẻ Spinless . Bây giờ bài báo này là một phần trong cách họ …

7 compilers 

Bài viết này http: //www.m chèvistasoft.com/docs/BattleshipsAsDecidabilityPro Hiệu.pdf nói rằng vấn đề quyết định, "Đưa ra một câu đố cụ thể, có giải pháp nào không?" là NP-Hoàn thành. Tôi không hiểu tại sao điều này không thể được thực hiện trong thời gian đa thức. Đưa ra các ràng buộc …

7 np-complete  np-hard 

Tôi ít quan tâm đến các ngôn ngữ nơi bạn có thể viết hầu hết mọi thứ, nhưng sau đó được yêu cầu viết một bằng chứng kèm theo rằng những gì bạn viết đã chấm dứt. Tôi quan tâm nhiều hơn đến không gian thiết kế của các ngôn …

7 programming-languages  termination 

Nếu người ta đề cập đến việc sử dụng một thuật toán O(log n)thay vì O(n)tăng tốc theo cấp số nhân, thì người ta sẽ đề cập đến việc tăng tốc độ đạt được bằng cách sử dụng O(1)thuật toán so với thuật toán O(n)?

7 complexity-theory  terminology