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

Điều gì có ý nghĩa một bằng chứng về phỏng đoán abc có cho tcs? http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

24 big-picture  nt.number-theory 

Có nhiều ứng dụng phân tích thực trong khoa học máy tính lý thuyết, bao gồm kiểm tra tài sản, độ phức tạp trong giao tiếp, học PAC và nhiều lĩnh vực nghiên cứu khác. Tuy nhiên, tôi không thể nghĩ ra bất kỳ kết quả nào trong TCS dựa …

24 soft-question  big-picture 

Sự vướng víu thường được coi là thành phần chính tạo ra thuật toán lượng tử tốt ... lượng tử, và điều này có thể được truy nguyên từ các trạng thái Bell phá hủy ý tưởng vật lý lượng tử như một mô hình xác suất ở trạng thái …

24 quantum-computing  big-picture 

Tôi đã đọc rằng ban đầu, Giáo hội đề xuất -calculus như là một phần trong bài viết Định đề Logic của ông (đây là một bài đọc dày đặc). Nhưng Kleene đã chứng minh "hệ thống" của mình không nhất quán sau đó, Church đã trích xuất những điều …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

Tôi đã làm việc để giới thiệu một số kết quả từ sự phức tạp tính toán vào sinh học lý thuyết, đặc biệt là tiến hóa & sinh thái học , với mục tiêu là thú vị / hữu ích cho các nhà sinh học. Một trong những khó …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

Để kiểm tra sự hiểu biết của tôi, tôi muốn chia sẻ một vài suy nghĩ về yêu cầu năng lượng của tính toán. Đây là phần tiếp theo câu hỏi trước đây của tôi và có thể liên quan đến câu hỏi của Vinay về luật bảo tồn . …

22 cc.complexity-theory  big-picture  physics 

Tôi đã đọc " Có phải P Versus NP chính thức độc lập không? " Nhưng tôi đã bối rối. Người ta tin tưởng rộng rãi vào lý thuyết phức tạp rằng . Câu hỏi của tôi là về điều gì nếu điều này không thể chứng minh được (nói …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

Gần đây tôi đã bắt đầu xem xét các thuật toán gần đúng cho các vấn đề NP-hard và tôi đã tự hỏi về lý do lý thuyết để nghiên cứu chúng. (Câu hỏi không có nghĩa là bị viêm - Tôi chỉ tò mò). Một số lý thuyết thực …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

Tôi tò mò theo nghĩa rộng về những gì đã biết về các thuật toán song song trong P. Tôi đã tìm thấy bài viết wikipedia sau đây về chủ đề này: http://en.wikipedia.org/wiki/NC_%28complexity%29 Bài viết chứa câu sau: Không rõ liệu NC = P, nhưng hầu hết các nhà nghiên …

21 cc.complexity-theory  complexity-classes  big-picture 

Thảo luận : Gần đây tôi đã dành thời gian cá nhân để học nhiều thứ khác nhau trong sự phức tạp trong giao tiếp. Chẳng hạn, tôi đã làm quen lại với chương có liên quan ở Arora / Barak, bắt đầu đọc một số bài báo và đặt …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

Trong điện toán phân tán, vấn đề đồng thuận dường như là một trong những chủ đề trọng tâm đã thu hút nghiên cứu chuyên sâu. Cụ thể, bài báo "Không thể đồng thuận phân tán với quy trình một lỗi" đã nhận được giải thưởng giấy ảnh hưởng PODC …

19 reference-request  big-picture  dc.distributed-comp 

Điện toán đảo ngược là một mô hình tính toán chỉ cho phép các hoạt động có thể đảo ngược nhiệt động. Theo nguyên tắc của Landauer, trong đó tuyên bố rằng việc xóa một chút thông tin sẽ giải phóng nhiệt, điều này loại trừ các hàm chuyển đổi …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

Trong phần "Giới thiệu về ngôn ngữ lập trình" của Anthony Aaby về ngữ nghĩa , ông đưa ra nhận xét sau: Phần lớn công việc trong ngữ nghĩa của các ngôn ngữ lập trình được thúc đẩy bởi các vấn đề gặp phải khi cố gắng xây dựng và …

19 imperative-programming  semantics  big-picture 

Tôi đã nhìn xa và rộng cho các ứng dụng như vậy và hầu hết đã xuất hiện ngắn. Tôi có thể tìm thấy rất nhiều ứng dụng của cấu trúc liên kết và các cấu trúc tương tự trên các tập hợp đếm được (hoặc không đếm được), nhưng …

18 co.combinatorics  big-picture 

Lý thuyết phức tạp dường như nắm bắt được một cái gì đó cơ bản về cấu trúc của vũ trụ, trong đó nó chính thức hóa quan niệm trực quan rằng một số vấn đề khó hơn những vấn đề khác. Scott Aaronson dự đoán , "Giả định độ …

18 cc.complexity-theory  soft-question  big-picture