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

Giả sử bạn xây dựng một máy tính sẽ tính toán trạng thái của tất cả các nguyên tử trong Vũ trụ tại một thời điểm nhất định trong tương lai. Bởi vì, theo định nghĩa, Vũ trụ là tất cả mọi thứ tồn tại (và bất cứ thứ gì …

17 computability 

Thông thường, các thuật toán hiệu quả có thời gian chạy đa thức và không gian giải pháp lớn theo cấp số nhân. Điều này có nghĩa là vấn đề phải dễ dàng theo hai nghĩa: thứ nhất, vấn đề có thể được giải quyết theo số bước đa thức, …

17 cc.complexity-theory 

Trong khi đọc một bài báo về việc sử dụng các phương pháp đại số để phát hiện một số sơ đồ con cảm ứng, có vẻ như lý tưởng cạnh là một công cụ quan trọng kết nối đại số giao hoán và lý thuyết đồ thị. Vì tôi …

17 ds.algorithms  reference-request  algebra  algebraic-complexity 

Tính toán lượng tử là một lĩnh vực nghiên cứu tích cực nhằm tận dụng lợi thế của vật lý lượng tử (ví dụ như sự vướng víu lượng tử) để nâng cao khả năng hiệu quả của máy tính (không làm thay đổi luận điểm Church-Turing ). Các thí …

17 reference-request  quantum-computing 

Điều nổi tiếng là tập hợp các ngôn ngữ có hệ thống bằng chứng tương tác hai trình duyệt, trong đó trình xác minh chạy trong thời gian đa thức (MIP), là NEXP. Nhưng có giới hạn nào được biết về sức mạnh của bằng chứng tương tác như vậy …

17 cc.complexity-theory  interactive-proofs 

Giả sử bạn được cung cấp một biểu đồ H. đơn giản, không có kết nối. Vấn đề cắt không có H được định nghĩa như sau: Cho một đồ thị G đơn giản, không bị chặn, có một vết cắt (phân vùng các đỉnh thành hai tập không rỗng, …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Đặt là CCC . Hãy là một bifunctor sản phẩm trên . Vì Cat là CCC, chúng ta có thể cà ri :( × ) C ( × )CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Functor loại có cấu trúc …

17 functional-programming  pl.programming-languages  ct.category-theory 

Tôi nhận thức được ít nhất hai cách tiếp cận lý thuyết khác nhau để hiểu cơ sở dữ liệu quan hệ: đại số / phép tính quan hệ của Codd và lý thuyết thể loại. Có bất kỳ mối quan hệ giữa hai phương pháp này? Có phải chúng …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Tôi có hai phân vùng và đang tìm khoảng cách chỉnh sửa giữa chúng.[1…n][1…n][1 \ldots n] Bằng cách này, tôi muốn tìm số lần chuyển tiếp tối thiểu của một nút thành một nhóm khác nhau cần thiết để đi từ phân vùng A sang phân vùng B. Ví dụ, …

17 ds.algorithms  edit-distance  lattice 

Trong "đoạn cuối" của "trang đầu tiên" của bài báo sau: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Nếu NP có mạch kích thước đa thức, thì MA = AM," Khoa học máy tính lý thuyết, 1995. Tôi gặp phải một yêu cầu hơi phản …

17 cc.complexity-theory  complexity-classes 

Cho một đồ thị vô hướng đơn giản , tìm tập con A ≠ vert các đỉnh, sao choGGGMột ≠ ∅A≠∅A\neq \emptyset với mọi đỉnh ít nhất một nửa số lân cận của x cũng nằm trong A vàx ∈ Ax∈Ax\in AxxxMộtAA kích thước của là tối thiểu.MộtAA Đó là, …

16 graph-theory  graph-algorithms  np-hardness 

Các thuật toán băm mật khẩu thường được sử dụng hoạt động như thế này ngày nay: Muối mật khẩu và đưa nó vào một KDF. Ví dụ: sử dụng PBKDF2-HMAC-SHA1, quá trình băm mật khẩu là DK = PBKDF2(HMAC, Password, Salt, ...). Bởi vì HMAC là một hàm băm …

16 np-hardness  cr.crypto-security  np-complete  security 

Chúng tôi biết (hiện tại khoảng 40 năm, cảm ơn Adman, Bennet và Gill) rằng sự bao gồm BPP P / poly, và một tổ chức P / poly BPP / poly thậm chí còn mạnh hơn . "/ Poly" có nghĩa là chúng ta làm việc không đồng đều …

16 cc.complexity-theory  circuit-complexity  machine-learning  derandomization 

Định lý của Savitch cho thấy rằng cho tất cả các hàm đủ lớn và chứng minh rằng điều này là chặt chẽ trong nhiều thập kỷ .fN S P A C E (f( n ) ) ⊆ D S P A C E ( f( n )2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

Được biết, giao điểm của ba matroid chung là NP-hard ( nguồn ), được thực hiện thông qua việc giảm từ chu kỳ Hamilton. Việc giảm sử dụng một matroid đồ họa và hai matroid kết nối. Một trường hợp đặc biệt của một vấn đề tôi đang giải quyết …

16 reference-request  np-hardness  reductions