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

Các Immerman-Vardi lý khẳng định rằng ptime (hoặc P) một cách chính xác là lớp các ngôn ngữ có thể được mô tả bằng một câu của First-Order logic cùng với một nhà khai thác điểm cố định, trong lớp của cấu trúc lệnh. Toán tử điểm cố định có …

38 cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory 

Có bất kỳ tài liệu tham khảo nào (trực tuyến hoặc dưới dạng sách) tổ chức và thảo luận về các định lý TCS bằng kỹ thuật chứng minh không? Garey và Johnson làm điều này cho các loại công cụ phụ tùng khác nhau cần thiết cho bằng chứng …

38 reference-request  proof-techniques 

Gần đây tôi đã nghe điều này - "Một máy không xác định không giống như một máy xác suất. Nói một cách thô thiển, một máy không xác định là một máy xác suất trong đó xác suất chuyển tiếp không được biết đến". Tôi cảm thấy như thể …

38 automata-theory  randomness  computability 

Lớp phức tạp bao gồm các biểu tượng có thể được quyết định bởi một máy Turing không điều kiện thời gian đa thức có nhiều nhất một con đường tính toán chấp nhận. Đó là, giải pháp, nếu có, là duy nhất theo nghĩa này. Người ta cho rằng …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

Tôi sẽ hỏi một câu hỏi khá mơ hồ, vì ranh giới giữa khoa học máy tính lý thuyết và toán học không phải lúc nào cũng dễ phân biệt. CÂU HỎI: Bạn có biết về bất kỳ kết quả thú vị nào trong CS độc lập với ZFC (tức …

37 reference-request  lo.logic  set-theory 

Một số vấn đề hình học rất dễ dàng khi được xem xét trong , nhưng NP-đầy đủ trong cho (bao gồm một trong những vấn đề yêu thích của tôi, bìa đĩa đơn vị).R d d ≥ 2R1R1R^1RdRdR^dd≥ 2d≥2d\geq2 Có ai biết về một vấn đề có thể giải …

37 cc.complexity-theory  reference-request  cg.comp-geom 

Bài toán tổng căn bậc hai hỏi, đưa ra hai chuỗi và của các số nguyên dương, cho dù tổng nhỏ hơn, bằng hoặc lớn hơn hơn tổng . Tình trạng phức tạp của vấn đề này là mở; xem bài đăng này để biết thêm chi tiết. Vấn đề …

37 ds.algorithms  big-list  reductions  computing-over-reals 

Câu hỏi này được lấy cảm hứng từ một câu hỏi tương tự về toán học ứng dụng trên dòng chảy toán học và rằng suy nghĩ dai dẳng rằng các câu hỏi quan trọng của TCS như P so với NP có thể độc lập với ZFC (hoặc các …

37 cc.complexity-theory  lo.logic  proof-complexity 

Luôn có một cách để ứng dụng trong các chủ đề liên quan đến khoa học máy tính lý thuyết. Nhưng sách giáo khoa và các khóa học đại học thường không giải thích lý do rằng lý thuyết automata là một chủ đề quan trọng và liệu nó có …

37 soft-question  fl.formal-languages  automata-theory  teaching 

Chúng tôi biết rằng cấp độ đầu tiên của hệ thống phân cấp đa thức (ví dụ NP và co-NP) là trong PP và . Chúng ta cũng biết từ Định lý của Toda rằng .PP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACEPH⊆PPPPH⊆PPPPH \subseteq P^{PP} Chúng tôi có biết liệuPH⊆PPPH⊆PPPH \subseteq PPPPPPPPPPPPPPPPPPH⊈PPPH⊈PPPH \nsubseteq PPPP⊈PHPP⊈PHPP \nsubseteq …

37 cc.complexity-theory  counting-complexity  polynomial-hierarchy 

Tôi thích làm TCS trong thời gian rảnh rỗi. Gần đây tôi đã cố gắng thực hiện một số nghiên cứu như một sở thích. Tôi đang tìm kiếm một số đầu vào bổ sung từ những người làm việc toàn thời gian này: - Bạn có nghĩ rằng có …

37 soft-question  advice-request  research-practice 

Bạn nên làm gì khi thấy một câu hỏi được nêu ra ở nơi công cộng, nói ở đây về trao đổi ngăn xếp, rằng bạn biết câu trả lời, bởi vì bạn đang xem xét như một phần của dự án nghiên cứu hiện tại? Ví dụ: tôi thấy …

37 soft-question  research-practice  authorship 

Cập nhật : Tập hợp vật cản (tức là "rào cản" NxM giữa các kích thước lưới có thể tô màu và không thể tô màu) cho tất cả các màu 4 màu đơn sắc-hình chữ nhật hiện đã được biết . Bất cứ ai cũng cảm thấy muốn thử …

37 co.combinatorics  puzzles  open-problem  ramsey-theory  graph-colouring 

Theo tôi hiểu, chương trình lý thuyết phức tạp hình học cố gắng tách bằng cách chứng minh rằng hoán vị của ma trận có giá trị phức tạp khó tính hơn nhiều so với định thức.VP≠VNPVP≠VNPVP \neq VNP Câu hỏi tôi đã có sau khi lướt qua các giấy …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct 

Sự phức tạp ngày càng tăng của các chương trình máy tính và các máy tính có vị trí ngày càng quan trọng trong xã hội khiến tôi tự hỏi tại sao chúng ta vẫn không sử dụng chung các ngôn ngữ lập trình mà bạn phải đưa ra bằng …

37 reference-request  complexity-classes  computability  pl.programming-languages