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

Máy tính thực có bộ nhớ hạn chế và chỉ có một số trạng thái hữu hạn. Vì vậy, về cơ bản chúng là automata hữu hạn. Tại sao các nhà khoa học máy tính lý thuyết sử dụng máy Turing (và các mô hình tương đương khác) để nghiên …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

Lĩnh vực điện toán phân tán đã giảm đáng kể trong việc phát triển một lý thuyết toán học duy nhất để mô tả các thuật toán phân tán. Có một số 'mô hình' và khung tính toán phân tán đơn giản là không tương thích với nhau. Sự bùng …

41 big-picture  dc.distributed-comp 

Người ta thường tin rằng với tất cả , có thể nhân hai ma trận trong . Một số thảo luận ở đây .ϵ > 0ϵ>0\epsilon > 0n × nn×nn \times nÔ ( n2 + ε)O(n2+ϵ)O(n^{2 + \epsilon}) Tôi đã hỏi một số người quen thuộc với nghiên cứu này …

39 cc.complexity-theory  linear-algebra  big-picture  matrices  matrix-product 

Ryan Williams vừa đăng giới hạn dưới của mình lên ACC , loại vấn đề có mạch độ sâu không đổi với các cổng và cổng không giới hạn VÀ, HOẶC, KHÔNG và MOD_m cho tất cả các m có thể. Có gì đặc biệt về cổng MOD_m? Chúng cho …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

Đôi khi người ta cho rằng Lý thuyết phức tạp hình học của Ketan Mulmuley là chương trình hợp lý duy nhất để giải quyết các câu hỏi mở của lý thuyết phức tạp như câu hỏi P so với NP. Đã có một số bình luận tích cực từ …

38 cc.complexity-theory  big-picture  algebraic-complexity  p-vs-np  gct 

Trong cuốn sách "Độ phức tạp tính toán" của mình, Papadimitriou viết: RP trong một số ý nghĩa là một loại phức tạp mới và bất thường. Không phải bất kỳ máy Turing không điều kiện ràng buộc đa thức nào cũng có thể là cơ sở để xác định …

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

Theo quan điểm thông thường, có thể dễ dàng tin rằng việc thêm tính không xác định vào giúp mở rộng đáng kể sức mạnh của nó, tức là lớn hơn nhiều so với . Rốt cuộc, chủ nghĩa không xác định cho phép song song theo cấp số nhân, …

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

Nhìn vào các câu hỏi thông qua lăng kính thuật toán (nghĩa là từ quan điểm thuật toán hoặc độ phức tạp) đã trở nên hữu ích trong các ngành học bên ngoài 'miền tiêu chuẩn' của khoa học máy tính. Cụ thể, CS đã tác động đến sinh học …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

Thỉnh thoảng tôi nghe mọi người nói về thuật toán lượng tử và về các trạng thái và khả năng xem xét nhiều khả năng cùng một lúc, nhưng tôi chưa bao giờ tìm cách để ai đó giải thích mô hình tính toán đằng sau điều này. Để rõ …

32 quantum-computing  big-picture 

Nhiều chuyên gia tin rằng phỏng đoán là đúng và sử dụng nó trong kết quả của họ. Mối quan tâm của tôi là sự phức tạp phụ thuộc mạnh mẽ vào phỏng đoán P ≠ N P.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Vì vậy, câu hỏi của tôi là: Chừng …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

Tôi quan tâm đến việc tại sao các số tự nhiên lại được các tác giả sách về lý thuyết ngôn ngữ lập trình và lý thuyết loại ngôn ngữ yêu thích (ví dụ J. Mitchell, Cơ sở cho ngôn ngữ lập trình và B. Pierce, Các loại và Ngôn …

28 pl.programming-languages  big-picture  type-theory 

Một trong những điều tốt đẹp về việc tiến hóa trong vũ trụ với ba chiều không gian là chúng tôi đã phát triển các kỹ năng giải quyết vấn đề liên quan đến các vật thể trong không gian. Do đó, ví dụ, chúng ta có thể nghĩ một …

28 big-list  cg.comp-geom  big-picture 

Grothendieck đã qua đời . Ông đã có tác động lớn đến toán học thế kỷ 20 tiếp tục vào thế kỷ 21. Câu hỏi này được hỏi phần nào theo phong cách / tinh thần, ví dụ, về những đóng góp của Alan Turing cho Khoa học máy tính …

27 big-picture  ct.category-theory  ho.history-overview 

Nghiên cứu về sinh thái và tiến hóa ngày càng trở nên toán học hơn, nhưng hầu hết các công cụ lý thuyết dường như đến từ vật lý. Tuy nhiên, trong nhiều trường hợp, các vấn đề có tính chất rất riêng biệt (xem ví dụ SLBS00 ) và …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

Tôi đã đọc trong một số bài báo rằng sự tồn tại của các chức năng một chiều được tin tưởng rộng rãi. Ai đó có thể làm sáng tỏ tại sao đây là trường hợp? Chúng ta có những lập luận nào để hỗ trợ sự tồn tại của …

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function