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

Được biết, việc xác định có hay không một hình 3 cạnh tam giác đã cho là hình cầu 3 trong NP, thông qua công việc của Saul Schleimer năm 2004: "Nhận dạng hình cầu nằm trong NP" arXiv: math / 0407047v1 [math.GT] . Tôi tự hỏi nếu điều này …

13 cc.complexity-theory  reference-request  open-problem  topology 

Câu hỏi xảy ra với tôi khi tôi nhận được câu trả lời của Dana Moshkovitz cho một chủ đề khác . Đặt là Ngôn ngữ NP và đặt là quan hệ NP tương ứng . Chúng ta biết rằng tồn tại một số đa thức sao cho:LLLRLRLR_Lppp ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x …

13 cc.complexity-theory  np 

Bối cảnh: Trong học máy, chúng ta thường làm việc với các mô hình đồ họa để biểu diễn các hàm mật độ xác suất chiều cao. Nếu chúng ta loại bỏ ràng buộc mà mật độ tích hợp (tổng) thành 1, chúng ta sẽ có được một hàm năng …

13 reference-request  machine-learning  lg.learning  boolean-functions 

Trong một ứng dụng tôi đang xem xét, tôi cần biết độ phức tạp trong giao tiếp của vấn đề sau: Cho , gọi S là tập hợp các số nguyên từ 1 đến n . Alice, Bob và Carol từng nhận được một tập hợp con của S , …

13 cc.complexity-theory  communication-complexity 

Có một số bằng chứng cho loglinear bị ràng buộc thấp hơn cho vấn đề duy nhất / tính khác biệt của phần tử (dựa trên cây tính toán đại số hoặc đối số nghịch cảnh), nhưng tôi đang tìm kiếm một điều đủ đơn giản để sử dụng trong …

13 cc.complexity-theory  lower-bounds  proofs 

Giả sử rằng bạn được cung cấp một tập hợp n điểm trong mặt phẳng và bạn muốn kiểm tra xem chúng có tạo thành một đa giác lồi hay không, tức là, nếu tất cả chúng đều nằm trên thân tàu lồi. Tôi đã tự hỏi nếu có ai …

13 cg.comp-geom 

Hai cây tìm kiếm nhị phân được cho là tương đương tuyến tính khi chúng đồng ý theo các đường ngang theo thứ tự. Định lý sau đây giải thích tại sao luân canh cây rất cơ bản: Đặt A và B là cây tìm kiếm nhị phân. Khi đó …

13 reference-request  ds.data-structures 

Công thức Monotone-2CNF là một công thức CNF trong đó mỗi mệnh đề được cấu tạo bởi chính xác 2 nghĩa đen. Bây giờ, tôi có một giọng đều đều-2CNF công thức . Đặt là tập hợp các bài tập thỏa mãn củaTôi cũng có một orory có thể cung …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Giả sử chúng ta có một bộ đồ thị S (đồ thị hữu hạn, nhưng số lượng vô hạn của chúng) và một nhóm P hoán vị tác dụng lên S. Sơ thẩm: Một hoán vị p trong P. Câu hỏi: Có tồn tại một đồ thị g trong S …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

Chong, Han và Lam đã chỉ ra rằng kết nối st không mong muốn có thể được giải quyết trên EREW PRAM trong thời gian với O ( m + n )O(logn)O(logn)O({\log}n)O(m+n)O(m+n)O(m+n) bộ xử lý . Thuật toán song song nổi tiếng nhất cho kết nối st theo hướng là …

13 dc.parallel-comp 

Như tiêu đề nói, định nghĩa chính xác của -tree là gì? Có một số giấy tờ mà nói về k -trees và một phần k -trees như định nghĩa thay thế cho đồ thị với treewidth bị chặn, và tôi đã nhìn thấy nhiều định nghĩa dường như không …

13 graph-theory  treewidth 

Trong bài báo Lượng tử ngẫu nhiên Lượt nhanh hơn theo cấp số nhân ( arXiv: quant-ph / 0205083 ) Kempe đưa ra một khái niệm về thời gian đánh cho bước đi lượng tử (trong hypercube) không phổ biến trong tài liệu đi bộ lượng tử. Nó được định …

13 quantum-computing  random-walks  markov-chains  quantum-walk 

Trong một bài báo có tiêu đề "Về khả năng từ chối trong chuỗi tham chiếu chung và mô hình Oracle ngẫu nhiên", Rafael Pass viết: Chúng tôi lưu ý rằng khi chứng minh bảo mật theo định nghĩa không kiến ​​thức chuẩn trong mô hình RO [Random Oracle], trình …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

Vì vậy, tôi đã có khoảng 100-200 ma trận boolean vuông rất thưa thớt với độ dài cạnh ~ vài chục và tôi cần tính toán sản phẩm của họ. Tôi biết rằng nếu tôi nhân chúng một cách thanh thản, sản phẩm thường sẽ vẫn thưa thớt ở mỗi …

13 ds.algorithms  automata-theory  matrix-product  sparse-matrix 

Các bất đẳng thức kiểu Chernoff được sử dụng để chỉ ra rằng xác suất một tổng các biến ngẫu nhiên độc lập sai lệch đáng kể so với giá trị mong đợi của nó là nhỏ theo cấp số nhân trong giá trị dự kiến ​​và độ lệch. Có …

13 derandomization  pr.probability  chernoff-bound