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

Có ai biết các tài liệu tham khảo đánh vần chính xác mối liên hệ giữa thuật toán hợp nhất và loại bỏ Gaussian không? Tôi đặc biệt quan tâm đến mối quan hệ giữa sự thay thế hình tam giác và sự phân rã LU. Wayne Snyder và Jean …

22 reference-request  lo.logic 

Đồ thị hình khối là đồ thị trong đó mọi đỉnh đều có độ 3. Chúng đã được nghiên cứu rộng rãi và tôi biết rằng một số vấn đề NP-hard vẫn là NP-hard thậm chí bị giới hạn trong các lớp con của đồ thị khối, nhưng một số …

22 graph-theory  graph-algorithms  np-hardness 

Thời gian đi lại trong đồ thị được kết nối được định nghĩa là số bước dự kiến ​​trong một bước ngẫu nhiên bắt đầu tại i , trước khi nút j được truy cập và sau đó nút i được tiếp cận lại. Về cơ bản, nó là tổng …

22 graph-theory  co.combinatorics  random-walks  pr.probability 

Có một mô tả hữu ích về tương lai hoặc lời hứa về mặt lý thuyết thể loại? Cụ thể, kép kép phân loại của Tương lai có thể là gì?

22 pl.programming-languages  ct.category-theory  concurrency 

Vì nó không cho phép tính toán giảm dần, Coq không nhất thiết phải hoàn thành Turing. Lớp hàm mà Coq có thể tính là gì? (có một đặc tính thú vị của chúng?)

22 computability  pl.programming-languages  coq 

Ô ( n2)Ôi(n2)O(n^2) Tất cả các ngữ pháp rõ ràng có thể được phân tích cú pháp trong thời gian tuyến tính? Tôi khá chắc chắn rằng tôi đã đọc ở đâu đó rằng đây là trường hợp, nhưng nó không xuất hiện khi tìm kiếm trên internet. Câu hỏi …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Trong trò chơi phòng thủ tháp, bạn có lưới NxM với điểm bắt đầu, kết thúc và một số bức tường. Kẻ thù đi theo con đường ngắn nhất từ ​​đầu đến cuối mà không đi qua bất kỳ bức tường nào (chúng thường không bị ràng buộc với lưới …

22 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms 

Trạng thái kiến ​​thức của chúng tôi về các mạch số học nói chung dường như tương tự như trạng thái hiểu biết của chúng tôi về các mạch Boolean, tức là chúng tôi không có giới hạn thấp. Mặt khác, chúng ta có giới hạn kích thước theo cấp …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

Trong một bài báo Khoa học từ năm 2002, Mezard, Parisi và Zecchina đã đưa ra phương pháp truyền bá niềm tin cho 3SAT ngẫu nhiên. Các thí nghiệm chỉ ra rằng heuristic hoạt động tốt đối với các tỷ lệ ràng buộc trên mỗi biến mà một phép gán …

22 ds.algorithms  randomness  linear-equations 

Đây là về cách hiệu quả chúng ta có thể thể hiện một thuật toán trong tầm tay. Tôi cần điều này cho giảng dạy đại học của tôi. Tôi hiểu không có cách nào như cách viết mã giả. Các tác giả khác nhau theo các quy ước khác …

22 ds.algorithms  soft-question  advice-request  writing 

PPPXX\mathcal{X}AA\mathcal{A}PPPDD\mathcal{D}RR\mathcal{R}AA\mathcal{A}minA∈AEcost(A,D)≤maxx∈XEcost(R,x)for all D and R.minA∈AEcost(A,D)≤maxx∈XEcost(R,x)for all D and R.\min_{A\in\mathcal{A}}\quad\mathbb{E} cost(A,\mathcal{D}) \leq \max_{x\in\mathcal{X}}\quad\mathbb{E} cost(\mathcal{R},x) \quad\quad\text{for all $\mathcal{D}$ and $\mathcal{R}$}. Chủ yếu là nguyên tắc của Yao chỉ liên quan đến các thuật toán Las Vegas , nhưng nó có thể được khái quát thành các thuật toán Monte Carlo như sau. …

22 randomized-algorithms 

Mạng của Post , được mô tả bởi Emil Post vào năm 1941, về cơ bản là một sơ đồ bao gồm đầy đủ các bộ hàm Boolean được đóng theo thành phần: ví dụ, các hàm đơn điệu, các hàm tuyến tính trên GF (2) và tất cả các …

22 circuit-families 

Trong khi đọc câu trả lời của Peter Shor và một câu hỏi trước đó của Adam Crume, tôi nhận ra rằng tôi có một số hiểu lầm về ý nghĩa của nó là -hard.PP\mathsf{P} Một vấn đề là -hard nếu có bất kỳ vấn đề nào trong có thể …

22 cc.complexity-theory  complexity-classes 

Một tenxơ là sự khái quát hóa các vectơ và ma trận lên các chiều cao hơn và thứ hạng của một tenxơ cũng khái quát hóa thứ hạng của một ma trận. Cụ thể, thứ hạng của một tensor là số lượng tối thiểu của bậc một tensors rằng …

22 ds.algorithms  reference-request  computability  tensor-rank 

Tôi đã tự hỏi những giấy tờ nào tôi nên đọc để hiểu câu hỏi này Một kết nối bất ngờ với các lĩnh vực khác của toán học như hình học đại số hoặc cohomology cao hơn. Có lẽ ngay cả một lĩnh vực toán học chưa được phát …

22 cc.complexity-theory  reference-request  gct  algebraic-topology