Khoa học máy tính lý thuyết

Tôi đã chơi với câu hỏi rất thú vị và vẫn còn mở " Bảng chữ cái của máy Turing băng đơn " (của Emanuele Viola) và đưa ra ngôn ngữ sau: L = { x ∈ { 0 , 1 }n thứ | x | = n = 2m …

10 cc.complexity-theory  turing-machines  time-complexity 

MCTS / UCT là một phương pháp tìm kiếm cây trò chơi sử dụng thuật toán kẻ cướp để chọn các nút hứa hẹn để khám phá. Các trò chơi được chơi để hoàn thành ngẫu nhiên và các nút dẫn đến nhiều chiến thắng được khám phá nhiều hơn. …

10 optimization  ai.artificial-intel  board-games 

Tôi đã xem qua bài báo chuyên đề của Les Valiant và tôi đã có một thời gian khó khăn với Dự luật 4.3 trên trang 10 của bài báo. Tôi không thể hiểu tại sao nếu có một trình tạo có các giá trị nhất định cho với cơ …

10 ds.algorithms  counting-complexity  survey 

Cho một mạch boolean trên n biến (chỉ sử dụng cổng NOT, AND và OR), cách hiệu quả nhất để trích xuất công thức boolean được đại diện bởi mạch là gì? Có một thuật toán polytime cho vấn đề này?CCCnnn

10 cc.complexity-theory  time-complexity  boolean-functions 

Định mức cắt ||A||C||A||C||A||_C của một ma trận thực A=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n} là cực đại trên tất cả I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq [n] của đại lượng ∣∣∑i∈I,j∈Jai,j∣∣|∑i∈I,j∈Jai,j|\left|\sum_{i \in I, j \in J}a_{i,j}\right|. Xác định khoảng cách giữa hai ma trận AAA và BBB là dC(A,B)=||A−B||CdC(A,B)=||A−B||Cd_C(A,B) = …

10 graph-theory  co.combinatorics  metrics  max-cut  epsilon-nets 

Cho một mặt phẳng hữu hạn, tôi có một hình lục giác của mặt phẳng đó với một hình lục giác đều có kích thước cố định. Sau đó, tôi tính toán biểu đồ Delaunay G cho phần thứ ba. Đưa ra một biểu đồ G như vậy, tôi xóa …

10 ds.algorithms  graph-algorithms  graph-isomorphism 

Những gì phân loại máy học là song song nhất? Nếu bạn gặp vấn đề phân loại khó khăn, thời gian hạn chế, nhưng mạng LAN máy tính khá ổn để làm việc, bạn sẽ thử phân loại nào? Mặt khác, nó trông giống như một số phân loại tiêu …

10 lg.learning  machine-learning  dc.parallel-comp 

David Rodríguez - dribeas đã viết trong một bình luận trên StackOverflow rằng "Không phải tất cả các bộ sưu tập có thể được thực hiện mà không có khóa". Tôi không chắc điều này có đúng không và tôi cũng không thể tìm thấy bằng chứng. Tuyên bố này …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

Tôi có lý thuyết đánh máy sau đây |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) với các phương trình cho tất cả các …

10 lo.logic  pl.programming-languages  type-theory  ct.category-theory  automated-theorem-proving 

Trong câu hỏi này , nó đã được đề cập rằng có các phiên bản phức tạp mô tả của định lý Rice. Tôi tìm thấy một bằng chứng của định lý sau: Với một lớp C phức tạp , các thuộc tính không cần thiết của các ngôn ngữ …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

Câu hỏi này nằm trong cùng một câu nói truyền cảm hứng cho học sinh trung học năm cuối . Tiến sĩ của tôi cố vấn yêu cầu tôi nói chuyện truyền cảm hứng cho M.Sc. sinh viên. Chủ đề là nền tảng của mật mã học , được minh …

10 reference-request  soft-question  cr.crypto-security  teaching 

Tôi đã đọc một chút về các cấu trúc dữ liệu sau: Thử thách Hash lý tưởng của Bagwell Bảng băm động của Larson Cây đỏ-đen Cây Patricia ... Và tôi chắc chắn có rất nhiều người khác ở ngoài đó. Tôi đã thấy rất ít theo cách mà mỗi …

10 ds.data-structures  functional-programming  tree  hash-function 

Đặt là cây nhị phân có gốc. Mọi đường dẫn từ gốc T đến một chiếc lá đều có chiều dài n . Mỗi nút của T luôn có một nút con trái và phải nhưng có thể chúng giống nhau (Vì vậy luôn có 2 n đường dẫn có …

10 graph-theory  tree 

Trong một câu hỏi trước đây về phân cấp thời gian, tôi đã học được rằng sự bằng nhau giữa hai lớp có thể được truyền đến các lớp phức tạp hơn và bất đẳng thức có thể được truyền đến các lớp ít phức tạp hơn, với các đối …

10 cc.complexity-theory  big-picture 

Chương của Smyth trong cuốn sổ tay logic trong khoa học máy tính và các tài liệu tham khảo khác mô tả cách sử dụng không gian số liệu làm tên miền. Tôi hiểu rằng không gian số liệu hoàn chỉnh cho điểm cố định duy nhất nhưng tôi không …

10 semantics  topology  denotational-semantics  domain-theory  metrics