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

Là vấn đề quyết định sau NP-đầy đủ: Đặt là đồ thị vô hướng và b ≤ c hai số nguyên. Có thể chọn cho mọi đỉnh của G chính xác b hàng xóm khác nhau sao cho không có nút nào được chọn nhiều hơn c lần.GGGb≤cb≤cb \le cGGGbbbccc …

9 cc.complexity-theory  np-hardness  graph-algorithms 

Tóm lại: Giả sử tồn tại hoán vị một chiều , chúng ta có thể xây dựng một cái không có cửa bẫy không? Thêm thông tin: Hoán vị một chiều là hoán vị , dễ tính toán, nhưng khó đảo ngược (xem wiki thẻ chức năng một chiều để …

9 cr.crypto-security  one-way-function 

Làm thế nào bạn có thể buộc một bên phải trung thực (tuân theo các quy tắc giao thức)? Tôi đã thấy một số cơ chế như cam kết, bằng chứng, v.v., nhưng đơn giản là chúng dường như không giải quyết được toàn bộ vấn đề. Dường như với …

9 cr.crypto-security  gt.game-theory 

Đầu tiên hỏi về math.SE không có câu trả lời. Giả sử tôi có một đồ thị phẳng, với một mặt phẳng nhúng, làm thế nào để tôi tìm thấy sự phân hủy cây? Cây phân hủy tối ưu của a là gì -by- d lưới vuông? Không hoàn toàn …

9 ds.algorithms  graph-theory  graph-algorithms  treewidth  integer-lattice 

Đây là phiên bản chuyên biệt của một câu hỏi trước: Độ phức tạp của việc tìm kiếm sự xuất hiện của ma trận . Đối với ma trận đối xứng NxN, người ta biết rằng thời gian O (N ^ 3) đủ để tính toán phân rã eigen. Câu …

9 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

Tôi đang tìm kiếm một cấu trúc dữ liệu, về cơ bản là một cây bản đồ, trong đó bản đồ ở mỗi nút chứa một số phần tử mới, cũng như các phần tử trong bản đồ của nút cha. Theo bản đồ ở đây tôi có nghĩa là …

9 ds.data-structures  tree  hash-function 

Alice và Bob đang chia đôi tài sản của người chú quá cố của họ (một bộ sưu tập hữu hạn các vật phẩm rời rạc) theo ý muốn của anh ta. Đầu tiên A chọn một mục, sau đó B, sau đó A, và như vậy.XXX Mỗi Alice và …

9 gt.game-theory 

Khi tôi xem qua " Cách tiếp cận lập trình động đối với các vấn đề tuần tự " của Michael Held và Richard M. Karp, tôi đã đưa ra câu hỏi sau: tại sao độ phức tạp của thuật toán của họ đối với TSP là (∑n−1k=2k(k−1)(n−1k))+(n−1)(∑k=2n−1k(k−1)(n−1k))+(n−1)(\sum_{k=2}^{n-1}k(k-1)\binom{n-1}{k})+(n-1) (trang 199), …

9 ds.algorithms  tsp  exp-time-algorithms 

Chúng tôi thường gọi một thuật toán là "thuật toán tốt" nếu thời gian chạy của nó là đa thức trong trường hợp xấu nhất. Nhưng trong một số trường hợp (ví dụ thuật toán Simplex), mặc dù trường hợp xấu nhất của thuật toán là theo cấp số nhân, …

9 ds.algorithms 

Lý thuyết phức tạp tính toán phân loại các vấn đề theo độ khó vốn có của chúng. Lý thuyết hệ thống phức tạp giải quyết các hệ thống thể hiện các hành vi không rõ ràng phát sinh từ các thuộc tính của các bộ phận riêng lẻ của …

9 cc.complexity-theory  soft-question  big-picture 

Người ta biết rằng Bài toán NP-Complete có tên Subset Sum có FPTAS. Tôi đã tự hỏi nếu có tồn tại một vấn đề PSPACE Complete cũng có FPTAS? Cảm ơn trước.

9 ds.algorithms  space-bounded  big-picture 

Giả sử chúng ta đang đưa ra một đồ thị và các thông số k , ε . Có khoảng các giá trị cho k (hoặc là nó doable cho tất cả k ) mà chúng ta có thể kiểm tra xem G là ε -far từ việc có một …

9 ds.algorithms  graph-theory  reference-request  property-testing 

Gần đây tôi đã nghĩ về việc "nhập khẩu" một số câu hỏi liên quan đến vật lý vào CS lượng tử: Khái niệm về hiện tượng luật khu vực trong các hệ thống Hamilton thường là viết tắt của một Hamiltonian địa phương trên một mạng tinh thể, mà …

9 quantum-computing  big-picture 

Giả sử chúng ta có một biến ngẫu nhiên lấy các giá trị không phải là số a, b, c và muốn định lượng cách phân phối theo kinh nghiệm của mẫu của biến này lệch khỏi phân phối thực. Bất đẳng thức sau (từ Cover & Thomas ) áp …

9 pr.probability  chernoff-bound 

Phép nhân ma trận bằng cách sử dụng kỹ thuật thông thường (hàng - cột bên trong) lấy phép nhân và phép cộng . Tuy nhiên, giả sử các mục có kích thước bằng nhau (số bit trong mỗi mục nhập của cả hai ma trận được nhân) với kích …

9 cc.complexity-theory  algebraic-complexity