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

Tôi cần một cuốn sách lý thuyết automata hữu hạn với rất nhiều ví dụ mà tôi có thể sử dụng để tự học và chuẩn bị cho các kỳ thi.

32 reference-request  automata-theory  fl.formal-languages 

Trong câu hỏi này, công thức 3CNF có nghĩa là công thức CNF trong đó mỗi mệnh đề liên quan đến chính xác ba biến khác nhau. Đối với một hằng số 0 < s <1, Gap-3SAT s là vấn đề lời hứa sau đây: Trường hợp của Gap-3SAT : …

32 cc.complexity-theory  sat  approximation-hardness 

Có những lời biện minh triết học thường được trích dẫn vì tin rằng P! = NP ngay cả khi không có bằng chứng. Các lớp phức tạp khác có bằng chứng cho thấy chúng là khác biệt, bởi vì nếu không, sẽ có những hậu quả "đáng ngạc nhiên" …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

Có cấu trúc dữ liệu hàng đợi ưu tiên hỗ trợ các hoạt động sau không? Chèn (x, p) : Thêm bản ghi mới x với mức độ ưu tiên p StableExtractMin () : Trả lại và xóa bản ghi với mức độ ưu tiên tối thiểu, phá vỡ các …

32 ds.data-structures 

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 

Để cho L={n:the nth binary digit of π is 1}L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (trong đó được coi là được mã hóa dưới dạng nhị phân). Vậy thì chúng ta có thể nói gì …

31 cc.complexity-theory  na.numerical-analysis 

Tôi biết rằng vấn đề tạm dừng nói chung là không thể giải quyết được nhưng có một số máy Turing rõ ràng đã dừng lại và một số rõ ràng là không. Trong số tất cả các máy turing có thể là cái nhỏ nhất mà không ai có …

31 halting-problem 

ST-Connectivity là vấn đề xác định xem có tồn tại một đường dẫn giữa hai đỉnh phân biệt và trong đồ thị có hướng . Liệu vấn đề này có thể được giải quyết trong logspace hay không, là một vấn đề mở từ lâu. Đây được gọi là vấn …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Trong phần mở đầu cho những cuốn sách rất có ảnh hưởng của mình Automata, Languages ​​and Machines (Tập A, B), Samuel Eilenberg đã trêu chọc các Tập C và D liên quan đến "một hệ thống phân cấp (được gọi là hệ thống phân cấp hợp lý) của các …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

Tôi đã đọc một số bài viết về các loại phụ thuộc và hợp đồng lập trình. Từ phần lớn những gì tôi đã đọc, có vẻ như các hợp đồng được kiểm tra động các ràng buộc và các loại phụ thuộc được kiểm tra tĩnh. Đã có một …

31 pl.programming-languages  type-theory  program-verification  dependent-type 

Có một giới hạn ngược lại bị ràng buộc mà giới hạn xác suất đuôi ít nhất là rất nhiều. tức là nếu X1,X2,…,XnX1,X2,…,XnX_1,X_2,\ldots,X_n là các biến ngẫu nhiên nhị thức độc lập và μ=E[∑ni=1Xi]μ=E[∑i=1nXi]\mu=\mathbb{E}[\sum_{i=1}^n X_i] . Sau đó, chúng ta có thể chứng minh Pr[∑ni=1Xi≥(1+δ)μ]≥f(μ,δ,n)Pr[∑i=1nXi≥(1+δ)μ]≥f(μ,δ,n)Pr[\sum_{i=1}^n X_i\geq (1+\delta)\mu]\geq f(\mu,\delta,n) đối …

31 pr.probability  chernoff-bound 

Tôi khá bối rối bởi tài liệu tối ưu hóa liên tục và tài liệu TCS về loại chương trình toán học (MP) (liên tục) nào có thể được giải quyết một cách hiệu quả, và loại nào không thể. Cộng đồng tối ưu hóa liên tục dường như tuyên …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

Tôi muốn mã hóa một máy Turing đơn giản theo luật chơi bài. Tôi muốn biến nó thành một cỗ máy Turing phổ quát để chứng minh sự hoàn chỉnh của Turing. Cho đến nay tôi đã tạo một trạng thái trò chơi mã hóa máy Turing 2 trạng thái, …

31 computability  turing-machines  universal-computation 

Có hàng tấn vấn đề NP-đầy đủ xung quanh và các nguồn thu thập chúng, ví dụ như xem cuốn sách của Garey và Johnson. Tôi cũng muốn thấy một danh sách các vấn đề hoàn chỉnh của NEXP. Có một cái có sẵn? Như tôi cho là không có, …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

Tôi mới tham gia vào lĩnh vực CS và tôi đã nhận thấy rằng trong nhiều bài báo mà tôi đọc, không có kết quả thực nghiệm (không có mã, chỉ có bổ đề và bằng chứng). Tại sao vậy? Xem xét rằng Khoa học Máy tính là một khoa …

31 soft-question  research-practice  writing