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

Với (Gaussian iid với trung bình 0 và phương sai 1 ), là nó có thể (như thế nào?) Để mẫu (đối với m = k 2 ) Y 1 , ... , Y m mà Y i 's là cặp gaussian độc lập với trung bình 0 và phương …

12 derandomization  pr.probability 

Lại một vấn đề phân vùng cạnh có độ phức tạp mà tôi tò mò, được thúc đẩy bởi một câu hỏi trước đây của tôi . Đầu vào: đồ thị khối G=(V,E)G=(V,E)G=(V,E) Câu hỏi: là có một phân vùng của vào E 1 , E 2 , ... , …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Vấn đề Tôi có một biểu đồ vô hướng (có nhiều cạnh), sẽ thay đổi theo thời gian, các nút và cạnh có thể được chèn và xóa. Trên mỗi sửa đổi của biểu đồ, tôi phải cập nhật các thành phần được kết nối của biểu đồ này. Tính …

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

Dữ liệu sẽ không bị mất khi ánh xạ giá trị 6 bit thành giá trị 4 bit trong S-Box của DES? Nếu vậy, làm thế nào chúng ta có thể đảo ngược nó để đầu ra chính xác xuất hiện?

12 cr.crypto-security 

Bởi http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Nếu là ngôn ngữ hoàn chỉnh PSPACE, .AAAPA=NPAPA=NPAP^{A}=NP^{A} Nếu là một nhà tiên tri thời gian đa thức xác định, (giả sử ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP PPPPPP là lớp các vấn đề quyết định tương tự cho và ,#P#P\#PP⊆PP⊆PSPACEP⊆PP⊆PSPACEP\subseteq PP\subseteq PSPACE nhưng không biết hay . Nhưng có thật …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

tôi có một bộ dữ liệu gồm hàng ngàn điểm và một phương tiện đo khoảng cách giữa hai điểm bất kỳ, nhưng các điểm dữ liệu không có thứ nguyên. tôi muốn một thuật toán để tìm các trung tâm cụm trong bộ dữ liệu này. Tôi tưởng tượng …

12 machine-learning  lg.learning  clustering 

Một công thức tương đương của định lý PCP là: Đối với Max 3-SAT nó là -Hard để phân biệt giữa công thức satisfiable và công thức mà nhiều nhất là -fraction của các mệnh đề satisfiable (đối với một số ).NPNPNPrrrr<1r<1r\lt 1 Có bất kỳ định lý phân đôi …

12 cc.complexity-theory  pcp  csp 

Câu hỏi sau đây đã đưa ra một số lần khi kiểm tra tính bảo mật của hệ thống hoặc mô hình. Động lực: Lỗi bảo mật phần mềm thường không phải do lỗi do đầu vào hợp lệ, mà là lỗi do đầu vào không hợp lệ đủ gần …

12 lo.logic  csp  security 

Hình học tính toán là một lĩnh vực tôi thấy khá thú vị và tôi muốn dành khoảng một hoặc hai tháng cho một dự án sẽ giới thiệu cho tôi về điều này và giúp tôi tìm hiểu các khái niệm chính. Cách tốt để tiếp cận vấn đề …

12 soft-question  cg.comp-geom 

Tôi đang học năm thứ hai tại một ThS không liên quan quá nhiều đến TCS mặc dù tôi ước điều đó sẽ xảy ra. Về cơ bản, đó là về lý thuyết điều khiển, tín hiệu và hệ thống và tôi đã tham gia các lớp học trong các …

12 reference-request  soft-question 

Các thuật toán hiệu quả thực tế nhất để nhân hai ma trận boolean rất thưa thớt (giả sử, N = 200 và chỉ có một số phần tử 100-200 khác không)? Trên thực tế, tôi có lợi thế là khi tôi nhân A với B, B được xác định …

12 ds.algorithms  matrix-product  sparse-matrix  boolean-matrix  implementation 

Chiều rộng của cây đo mức độ gần của đồ thị với cây. Một số vấn đề NP-hard có thể dễ dàng xử lý trên biểu đồ với chiều rộng của cây. Nếu một vấn đề vẫn còn NP-cứng trên cây thì chiều rộng cây không thể cứu chúng ta. …

12 np-hardness  directed-acyclic-graph 

Đặt { 0 , . . . , N - 1 } và ∘ : S × S → S . Tôi muốn để tính toán mức độ phức tạp của giao tiếp quyết định ∘ là liên kết.S= =S= =S=0 , . . . , n - 10,...,n-10,...,n-1∘ : …

12 cc.complexity-theory  communication-complexity 

Đây là phần tiếp theo của câu hỏi gần đây của David Eppstein và được thúc đẩy bởi những vấn đề tương tự. Giả sử tôi có một dag với trọng số thực trên các đỉnh của nó. Ban đầu, tất cả các đỉnh không được đánh dấu. Tôi có …

12 ds.algorithms  directed-acyclic-graph  partial-order 

Giấy Lauri Hella và José María Turull-Torres, Tính toán các truy vấn với logic bậc cao hơn , TCS 355 197 Tiết214, 2006. doi: 10.1016 / j.tcs.2006.01.009 đề xuất logic VO, logic thứ tự biến. Điều này cho phép định lượng trên các đơn đặt hàng qua các biến. VO …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity