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

Có một giao thức mật mã nào, ít nhất là trên lý thuyết (và theo các giả định về mật mã tiêu chuẩn) cho phép mọi người bỏ phiếu an toàn từ nhà của họ không? Tôi có thể thấy các vấn đề khác nhau có thể được giải quyết …

8 cr.crypto-security 

Hãy xem xét một biểu đồ có trọng số với một số cạnh màu đỏ. Chúng tôi quan tâm đến việc tìm kiếm một kết hợp hoàn hảo, sao cho số cạnh màu đỏ là chẵn và theo các ràng buộc trước đó, trọng lượng được giảm thiểu. Là vấn …

8 matching 

Có ai trong số các bạn biết một tài liệu tham khảo cho kết quả sau đây (đáng ngạc nhiên là tẻ nhạt để chứng minh) không? Cho một đồ thị phẳng kết nối với n đỉnh và n + t mép, nó có một tách đỉnh của kích thước …

8 reference-request  planar-graphs  separation 

Có kết quả nào cho thấy các mô hình (giả sử SVM, Neural-Net, kNN, v.v.) sẽ gặp khó khăn trong việc tìm hiểu các trường hợp / hiện tượng đuôi "hiếm" không?

8 machine-learning  lg.learning  pac-learning 

Vấn đề chung Giả sử chúng ta có hàm đa thức và một số hàm tuyến tính ℓ i ( x ) . Những gì được biết về sự phức tạp của việc giải quyết vấn đề tối ưu hóa sau đây?f( x )f(x)f(\mathbf{x})ℓTôi( x )ℓTôi(x)\ell_i(\mathbf{x}) Tối đa hóaTheo: f( …

8 cc.complexity-theory  complexity-classes  time-complexity  linear-programming  polynomials 

Savický và Woods (Số lượng hàm Boolean được tính theo công thức có kích thước cho trước) chứng minh kết quả sau. Định lý [SW98]: Với mỗi hằng số k>1k>1k>1 , hầu như tất cả các hàm boolean có độ phức tạp công thức nhiều nhất nknkn^k đều có độ …

8 cc.complexity-theory  circuit-complexity  nondeterminism 

Hãy xem xét một máy (cụ thể là thuật toán xác suất sử dụng logspace và đa thức nhiều bit ngẫu nhiên). Nó được biết đến (Saks-Chu) mà B P L ⊆ D S P Một C E ( l o g 1,5 ( n ) ) .BPLBPLBPLBPL⊆DSPACE(log1.5(n))BPL⊆DSPACE(log1.5(n))BPL \subseteq DSPACE(log^{1.5}(n)) …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

Hãy xem xét các vấn đề sau: Vấn đề véc tơ trực giao Đầu vào: Một tập hợp SSS gồm vectơ Boolean mỗi chiều dài .nnnddd Câu hỏi: Có tồn tại các vectơ riêng biệt và sao cho không?v1v1v_1v2∈Sv2∈Sv_2 \in Sv1⋅v2=0v1⋅v2=0v_1 \cdot v_2 = 0 Vấn đề véc tơ không …

8 cc.complexity-theory  ds.algorithms  linear-algebra  polynomial-time  boolean-matrix 

Tôi đã có một câu hỏi về phân nhóm trong bài báo "Một hệ thống hiệu ứng cho các hiệu ứng và xử lý đại số" . Tôi đã tự hỏi tại sao không có quy tắc phân nhóm để thêm hiệu ứng trên cả hai mặt của loại xử …

8 pl.programming-languages 

Các StreamMemo thư viện cho Coq minh họa cách memoize một chức năng f : nat -> Aso với các số tự nhiên. Đặc biệt khi f (S n) = g (f n), các imemo_makechia sẻ tính toán của các cuộc gọi đệ quy. Giả sử thay vì số tự …

8 dependent-type  coq  agda 

Trong bài toán phân vùng tiêu chuẩn , chúng tôi được cung cấp một số số có tổng là 2 s2s2s và phải quyết định xem chúng có thể được phân chia thành hai tập con có tổng là s khôngss . Nó được biết đến là NP-cứng. Tuy nhiên, …

8 np-hardness  reductions  partition-problem 

Trong ánh sáng của Stephen Hawking qua đời ngày hôm nay, tôi đã tự hỏi liệu bất kỳ kết quả nào của anh ấy có ảnh hưởng trực tiếp đến cs không? Ứng cử viên rõ ràng sẽ là máy tính lượng tử, hay đúng hơn là xây dựng một …

8 big-list  physics  bibliography 

Sự phức tạp của vấn đề thỏa mãn cục bộ đối với logic phương thức gì? Ở đây chúng tôi biểu thị bằng logic phương thức trên các khung euclide được mở rộng với phương thức nghịch đảo. Bạn có thể cung cấp bất kỳ tài liệu tham khảo? Có …

8 cc.complexity-theory  complexity-classes  lo.logic  modal-logic 

Hãy xem xét vấn đề giao nhau tập hợp: Alice và Bob mỗi người có một tập hợp con và họ muốn biết liệu các tập hợp của họ có giao nhau không. Đây là một vấn đề chính về độ phức tạp trong giao tiếp và được biết rằng …

8 reference-request  communication-complexity 

Giả sử . Sau đó, một đối số đơn giản cho thấy . Chúng ta có thể tiến thêm một bước và nhận không? Đối số đơn giản làNP=PPNP=PPNP=PPPHPP=NPPHPP=NPPH^{PP}=NPPPPP=NPPPPP=NPPP^{PP}=NP Định lý Nếu thì .NP=PPNP=PPNP=PPPHPP=NPPHPP=NPPH^{PP}=NP Bằng chứng được đóng dưới bổ sung (do Gill), do đó . Lấy bất kỳ cấp …

8 cc.complexity-theory  counting-complexity  conditional-results