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

1

Chu kỳ mạng tự tránh ngẫu nhiên trong một hộp giới hạn nhất định

n×nn×nn\times n Một cách để làm điều này là sử dụng chuỗi Markov có các trạng thái là các tập hợp hình vuông có ranh giới đơn giản và các chuyển đổi của nó bao gồm chọn một hình vuông ngẫu nhiên để lật và giữ lật khi tập hợp …

25 ds.algorithms  randomness  markov-chains  integer-lattice 

---

4

Đối số cho sự tồn tại của các hàm một chiều

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 

---

1

Là loại đề xuất? (Các loại chính xác là gì?)

Tôi đã đọc rất nhiều về các hệ thống loại và như vậy và tôi hiểu đại khái tại sao chúng được giới thiệu (để giải quyết nghịch lý của Russel). Tôi cũng hiểu đại khái về sự phù hợp thực tế của chúng trong các ngôn ngữ lập trình …

25 lo.logic  type-theory  proof-theory 

---

3

Sự khác biệt giữa viết lại thuật ngữ và khớp mẫu là gì?

Vì không có phản hồi tại Lambda, Ultimate tôi thử lại ở đây: các hệ thống viết lại thuật ngữ được sử dụng ví dụ trong định lý tự động chứng minh một phép tính tượng trưng, ​​và tất nhiên để xác định ngữ pháp chính thức. Có một số …

25 pl.programming-languages  terminology  term-rewriting-systems 

---

5

Phục hồi một khu rừng phân tích từ một trình phân tích cú pháp Earley?

Gần đây tôi đã đọc về trình phân tích cú pháp Earley và nghĩ rằng đó là một trong những thuật toán thanh lịch nhất mà tôi thấy cho đến nay. Tuy nhiên, thuật toán theo nghĩa truyền thống của nó là một trình nhận dạng và không phải là …

25 fl.formal-languages  parsing 

---

2

Công thức giới hạn kích thước thấp hơn cho các hàm AC0

Câu hỏi: Kích thước công thức được biết đến tốt nhất giới hạn dưới cho một hàm rõ ràng trong AC 0 là gì? Có một chức năng rõ ràng với một thấp hơn bị ràng buộc?Ω(n2)Ω(n2)\Omega(n^2) Lý lịch: Giống như hầu hết các giới hạn dưới, kích thước giới …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

---

2

Tìm một số nguyên tố lớn hơn một giới hạn nhất định

Là một thuật toán đa thức thời gian xác định được biết cho vấn đề sau: Đầu vào: một số tự nhiên (trong mã hóa nhị phân)nnn Đầu ra: một số nguyên tố .p>np>np > n (Theo danh sách các vấn đề mở của Leonard Adeld, vấn đề đã được …

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

---

3

Vấn đề phổ đồ thị ngược?

Thông thường, người ta xây dựng một biểu đồ và sau đó đặt câu hỏi về ma trận kề (hoặc một số họ hàng gần giống như phép phân tách eigenvalue của Laplacian ) (còn được gọi là phổ của đồ thị ). Nhưng những gì về vấn đề đảo …

25 ds.algorithms  graph-theory  graph-algorithms  spectral-graph-theory 

---

11

Ví dụ trong trường hợp tương đương thì dễ nhưng tìm đại diện lớp thì khó

Giả sử chúng ta có một lớp các đối tượng (giả sử biểu đồ, chuỗi) và mối quan hệ tương đương trên các đối tượng này. Đối với đồ thị, đây có thể là đồ thị đẳng cấu. Đối với các chuỗi, chúng ta có thể khai báo hai chuỗi …

25 cc.complexity-theory 

---

2

Ngữ pháp và ngữ cảnh nhạy cảm

1) Điều gì, nếu có, là mối quan hệ giữa gõ tĩnh và ngữ pháp chính thức? 2) Cụ thể, một máy tự động giới hạn tuyến tính có thể kiểm tra xem, giả sử, một chương trình C ++ hoặc SML đã được gõ tốt không? Một ngăn xếp …

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference 

---

6

Tại sao một nhà nghiên cứu TCS cần tài trợ?

Tôi đã đọc nó . Nó nói rằng ... Bạn sẽ không thấy mình đói vì tài trợ như Toán học thuần túy. (Bạn vẫn sẽ luôn thấy mình đói vì tài trợ.) ... Tại sao các nhà toán học thuần túy cần tài trợ? (Câu hỏi về dòng chảy …

25 soft-question  career 

---

4

Tại sao các đẳng thức giữa các lớp phức tạp dịch lên trên và không xuống dưới?

Hey Guys, tôi hiểu rằng các trick đệm cho phép chúng tôi để dịch các lớp phức tạp trở lên - ví dụ . Đệm hoạt động bằng cách "thổi phồng" đầu vào, chạy chuyển đổi (giả sử từ N P sang P ), tạo ra thuật toán "ma thuật" …

25 cc.complexity-theory  complexity-classes  padding 

---

2

Tại sao đồ thị Ramanujan được đặt theo tên của Ramanujan?

Gần đây tôi đã dạy các nhà mở rộng, và đưa ra khái niệm về đồ thị Ramanujan. Michael Forbes đã hỏi tại sao họ được gọi theo cách này và tôi phải thừa nhận rằng tôi không biết. Bất kỳ ai?

25 graph-theory  soft-question  ho.history-overview  expanders 

---

4

Lớp phức tạp nhỏ nhất của vùng nào mà một mạch siêu tuyến bị ràng buộc được biết đến là gì?

Xin lỗi vì đã hỏi một câu hỏi chắc chắn phải có nhiều tài liệu tham khảo tiêu chuẩn. Tôi tò mò về chính xác câu hỏi trong tiêu đề, đặc biệt tôi đang nghĩ về các mạch Boolean, không bị ràng buộc về chiều sâu. Tôi đặt "nhỏ nhất" …

25 cc.complexity-theory  circuit-complexity 

---

2

Hậu quả của bao thanh toán là NP-đầy đủ là gì?

Có bất kỳ tài liệu tham khảo bao gồm điều này?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

---