Câu hỏi được gắn thẻ «big-picture»

độ phức tạp tính toán liên quan đến một lượng lớn Combinatorics và lý thuyết số, một số kỹ năng từ stochatics và một số đại số mới nổi. Tuy nhiên, là một nhà phân tích, tôi tự hỏi liệu có những ứng dụng phân tích vào lĩnh vực này, …

13 cc.complexity-theory  reference-request  soft-question  big-picture 

Đặt là hàm boolean có độ nhạy s ( f ) và độ nhạy khối b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) Giả thuyết độ nhạy khối-độ nhạy cho biết có một sao cho ∀ f , b s ( f ) ≤ s ( f ) c .c>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

Arora và Barak cho thấy có thể được biểu thị dưới dạng B P ⋅ N P tức là tập hợp các ngôn ngữ có mức giảm ngẫu nhiên thành 3SAT. M A cũng là một khái quát hóa ngẫu nhiên tự nhiên của N P trong đó bạn thay …

12 cc.complexity-theory  big-picture 

Có một số khái niệm cạnh tranh của một "đồ thị thưa thớt". Ví dụ, một biểu đồ có thể nhúng bề mặt có thể được coi là thưa thớt. Hoặc một biểu đồ với mật độ cạnh giới hạn. Hoặc một biểu đồ với chu vi cao. Một đồ …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture 

Giả sử chúng ta khám phá các nền văn minh ngoài hành tinh có thể gửi và nhận tin nhắn bằng kênh liên lạc kỹ thuật số giữa các vì sao. (Giả sử sử dụng sóng vô tuyến đã điều chế, xung laser, các ngôi sao định vị lại ở …

12 big-picture  communication-complexity 

Cho sao cho các hệ số của được giới hạn bởi , giữ?p , q B p ≡ qp(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q Bổ đề Schwartz-Zippel áp dụng ở đây vì nó giữ cho các trường chung và và có một thuật toán ngẫu nhiên hiệu quả cho vấn đề này.Z⊂QZ⊂Q\Bbb …

11 big-picture  derandomization  conditional-results 

Đây là phần tiếp theo câu hỏi trước đây của tôi: Độ phức tạp thời gian xác định được biết đến thấp nhất ràng buộc cho một vấn đề tự nhiên trong NP Tôi thấy hoang mang rằng chúng tôi không thể chứng minh bất kỳ thời gian xác định …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

Đã có nghiên cứu nào xác định liệu trí thông minh của con người có thể vượt trội hơn các thuật toán hay không (tức là kiểm tra xem Định lý Không ăn trưa miễn phí có áp dụng cho trí thông minh của con người không)? Dọc theo đường …

11 ds.algorithms  big-picture  ai.artificial-intel 

Khi tôi nghĩ về phần mềm không an toàn, tôi nghĩ rằng nó "quá hữu ích" và có thể bị kẻ tấn công lạm dụng. Vì vậy, trong một ý nghĩa bảo mật phần mềm là quá trình làm cho phần mềm ít hữu ích hơn. Trong Khoa học máy …

11 cr.crypto-security  big-picture 

Trong sự phức tạp trong giao tiếp, phỏng đoán thứ hạng log nói rằng cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Trong đó là độ phức tạp giao tiếp của và là thứ hạng của (dưới dạng ma trận) so với thực tế.cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM Tuy nhiên, khi bạn chỉ sử dụng phương thức xếp …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

Tóm lại, các định lý phân cấp thời gian nói rằng một máy Turing có thể giải quyết nhiều vấn đề hơn nếu nó có nhiều thời gian hơn cho việc tính toán. Cụ thể cho TM xác định và các hàm có thể xây dựng theo thời gian với …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

Để trả lời "những vấn đề nào có thể được giải quyết bằng điện toán", chúng tôi đã phát triển lý thuyết về khả năng tính toán. Đối với các vấn đề có thể tính toán được, có lý thuyết nào để trả lời câu hỏi "chương trình tôi có …

10 big-picture  kolmogorov-complexity 

Trong một câu hỏi trước đây về phân cấp thời gian, tôi đã học được rằng sự bằng nhau giữa hai lớp có thể được truyền đến các lớp phức tạp hơn và bất đẳng thức có thể được truyền đến các lớp ít phức tạp hơn, với các đối …

10 cc.complexity-theory  big-picture 

Tôi đã quan tâm đến nhiều chủ đề khác nhau như Logic kết hợp, Tính toán Lambda, Lập trình hàm trong một thời gian và đã nghiên cứu chúng. Tuy nhiên, không giống như "Lý thuyết tính toán" cố gắng trả lời câu hỏi về "khả năng tính toán", tức …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

Gần đây tôi đã bắt đầu tham gia vào Tối ưu hóa toán học và rất thích nó. Có vẻ như rất nhiều vấn đề tối ưu hóa có thể dễ dàng được thể hiện và giải quyết như các chương trình tuyến tính (ví dụ: luồng mạng, bìa / …

9 optimization  big-picture  linear-programming  linear-equations