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

Tôi bị lẫn lộn bởi sự khác biệt tinh tế giữa các mệnh đề và phán đoán khi tiếp xúc với lý thuyết loại trực giác. Có ai có thể giải thích cho tôi đâu là điểm để phân biệt chúng và điều gì phân biệt chúng? Đặc biệt là …

27 lo.logic  pl.programming-languages  type-theory 

Tôi thấy bài báo này rất thú vị. Tóm lại: nó thảo luận về lý do tại sao trong thực tế, bạn hiếm khi tìm thấy một trường hợp xấu nhất của một vấn đề hoàn thành NP. Ý tưởng trong bài viết là các trường hợp thường là rất …

27 np-hardness  worst-case 

Vấn đề gì được biết là thuộc về nhưng không được biết là thuộc về P ?BPPBPP\mathsf{BPP}PP\mathsf P Chính xác hơn, tôi quan tâm đến các vấn đề độc lập , đó là vấn đề mà các cộng đồng của họ không được biết là tương đương. Ví dụ, người …

27 derandomization 

Trong giáo dục khoa học máy tính của tôi, tôi ngày càng nhận thấy rằng hầu hết các vấn đề riêng biệt là NP-đầy đủ (ít nhất), trong khi tối ưu hóa các vấn đề liên tục hầu như luôn luôn có thể dễ dàng đạt được, thường là thông …

27 cc.complexity-theory  co.combinatorics  optimization 

Các bài toán -queens cổ điển hỏi, cho một số nguyên dương n , liệu có một mảng Q [ 1 .. n ] các số nguyên thỏa mãn các điều kiện sau:nnnnnnQ[1..n]Q[1..n]Q[1..n] cho tất cả i1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le niii cho tất cả i ≠ jQ[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j]i≠ji≠ji\ne j cho …

27 cc.complexity-theory  board-games 

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 

Dường như nhiều người tin rằng , một phần vì họ tin rằng bao thanh toán không thể giải quyết được nhiều thời gian. (Shiva Kintali đã liệt kê một vài vấn đề ứng cử viên khác ở đây ).P≠ NP∩ c o NPP≠NP∩coNPP \ne NP \cap coNP Mặt khác, …

27 cc.complexity-theory  np  conditional-results 

Gần đây tôi đã đọc Hai tính cách của tính toán: Các loại tiêu cực và phân số . Bài viết mở rộng về các loại tổng và loại sản phẩm, đưa ra ngữ nghĩa cho các loại a - bvà a/b. Không giống như phép cộng và phép nhân, …

27 lo.logic  pl.programming-languages  type-theory  algebra 

Giả sử là một đồ thị với màu số d = χ ( G ) . Hãy xem xét trò chơi sau đây giữa Alice và Bob. Ở mỗi vòng, Alice chọn một đỉnh và Bob trả lời bằng một màu trong { 1 , Mạnh , d - 1 …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

Có một ví dụ về ngôn ngữ trong , nhưng chúng ta không thể chứng minh trực tiếp thực tế này bằng cách chứng minh rằng có tồn tại một nhân chứng đa thức cho tư cách thành viên của ngôn ngữ này?NPNPNP Thay vào đó, thực tế là ngôn …

27 reductions  np 

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 sao các ngôn ngữ thông thường (và từ các biểu thức chính quy) được gọi là "thông thường"? Có rất nhiều sự đều đặn trong các ngôn ngữ không ngữ cảnh các loại ngôn ngữ khác. Tôi cho rằng, ban đầu, tính từ "chính quy" đã được sử dụng …

27 regular-expressions  regular-language  ho.history-overview 

(Xin lỗi nếu điều này được nhiều người biết đến.) Tôi muốn đưa một số mặt hàng cho một trong các đại lý , để đại lý sẽ nhận được mặt hàng với xác suất . Có một công cụ mã hóa (hoặc khác) để mọi tác nhân (và thậm …

27 cr.crypto-security 

Trong khi đọc bài viết "Đã đến lúc tuyên bố chiến thắng trong việc đếm độ phức tạp?" tại blog "Thư bị mất của Godel và P = NP" , họ đã đề cập đến sự phân đôi cho CSP. Sau một số liên kết sau, googling và wikipinating, tôi …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Tôi muốn hỏi về một trường hợp đặc biệt của câu hỏi Quyết định nếu một mạch NC 0 đã cho tính toán một hoán vị bởi QiCheng đã không được trả lời. Mạch Boolean được gọi là mạch NC 0 k nếu mỗi cổng đầu ra về mặt cú …

27 cc.complexity-theory  open-problem  permutations  circuit-families