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

Tôi là một sinh viên bậc thầy tập trung vào các hệ thống phân tán nhưng cũng quan tâm đến khoa học máy tính lý thuyết. Tôi đã tự hỏi nếu có một đại diện chính thức của một hệ thống phân tán trên đầu máy Turing? Đó là, có …

10 turing-machines  dc.distributed-comp 

Tries cho phép lưu trữ hiệu quả danh sách các yếu tố. Các tiền tố được chia sẻ để nó là không gian hiệu quả. Tôi đang tìm kiếm một cách tương tự để lưu trữ cây hiệu quả. Tôi muốn có thể kiểm tra tư cách thành viên và …

10 ds.data-structures  tree  model-checking 

Một chương trình span là một cách đại số tuyến tính để chỉ định một hàm boolean được giới thiệu ở đây . Gần đây, mô hình này đã được sử dụng để chỉ ra rằng phương pháp đối nghịch phủ định cung cấp một đặc tính chặt chẽ (ít …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Bài đăng có liên quan đến: /mathpro/59631/lovasz-theta-feft-and-independence-number-of-product-of-simple-odd- Motorcycle Lovasz bị ràng buộc bao xa với khả năng không có lỗi của đồ thị thông thường? Có bất kỳ ví dụ nào mà giới hạn Lovasz được biết là không bằng khả năng không có lỗi của đồ thị thông thường …

10 graph-theory  it.information-theory 

Tóm lại, các định lý phân cấp thời gian nói rằng một máy Turing có thể giải quyết nhiều vấn đề hơn nếu nó có nhiều thời gian hơn cho việc tính toán. Cụ thể cho TM xác định và các hàm có thể xây dựng theo thời gian với …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

Để trả lời "những vấn đề nào có thể được giải quyết bằng điện toán", chúng tôi đã phát triển lý thuyết về khả năng tính toán. Đối với các vấn đề có thể tính toán được, có lý thuyết nào để trả lời câu hỏi "chương trình tôi có …

10 big-picture  kolmogorov-complexity 

Hãy để là một đồ thị kết nối với các nút và cạnh . Đặt biểu thị trọng số (số nguyên) của đồ thị , với tổng trọng số trong biểu đồ. Trọng lượng trung bình trên mỗi nút sau đó là . Đặt biểu thị độ lệch của nút …

10 graph-theory  co.combinatorics  spectral-graph-theory 

Hãy xem xét vấn đề Tập hợp thống trị trong các biểu đồ chung và gọi là số đỉnh trong biểu đồ. Một thuật toán xấp xỉ tham lam mang lại sự đảm bảo gần đúng cho yếu tố , tức là có thể tìm thấy trong đa thức thời …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness 

Tôi quan tâm đến các ví dụ rõ ràng về đồ thị ứng dụng thuật toán Goemans và Williamson để tính gần đúng mức cắt tối đa dẫn đến hệ số xấp xỉ 0,878. Thuật toán để tạo ra các trường hợp như vậy sẽ là hoàn hảo, các ví …

10 ds.algorithms  approximation-algorithms  max-cut  hard-instances 

Tôi quan tâm đến các ví dụ về các công trình trong lý thuyết phức tạp tốt hơn các công trình ngẫu nhiên. Một ví dụ duy nhất về việc xây dựng như vậy mà tôi biết là trong lĩnh vực mã sửa lỗi. Mã hình học đại số tốt …

10 reference-request  big-list  derandomization  pr.probability 

Các Minkowski tổng của hai bộ vectơ được cho bởiA,B∈RdA,B∈RdA, B \in R^d A⊕B={a+b∣a∈A,b∈B}A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B \} Tôi vừa nghe một vấn đề thú vị (được gán cho Dan Halperin): Cho hình , có tồn tại hình …

10 cg.comp-geom 

Có rất nhiều ví dụ trong tổ hợp và khoa học máy tính nơi chúng ta có thể phân tích một vấn đề lý thuyết đồ thị nhưng đối với tương tự siêu đồ thị của vấn đề, các công cụ của chúng ta còn thiếu. Tại sao bạn nghĩ …

10 graph-theory  co.combinatorics  hypergraphs 

Chúng tôi đang làm việc trong các máy tính phân tán và chúng tôi đã đưa ra một vấn đề phức tạp giúp giảm thiểu vấn đề về đường dẫn tối thiểu. Chúng tôi hiện không biết làm thế nào để giải quyết nó. Vấn đề là như sau: Đặt …

10 graph-theory  co.combinatorics  application-of-theory 

Đặt là ngôn ngữ không ngữ cảnh. Xác định p p c ( L ) là bao đóng tiền tố và hậu tố của L , nói cách khác, p p c ( L ) chứa tất cả các tiền tố và hậu tố của L , và do đó …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

Có cách nào mà một người hoạt ngôn có thể thuyết phục một người xác minh rằng một số biểu hiện HORN-SAT là thỏa đáng không? Tất nhiên điều này có vẻ ngớ ngẩn, vì có các thuật toán thời gian tuyến tính cho HORN-SAT. Mặt khác, HORN-SAT là P-Complete, …

10 cc.complexity-theory  interactive-proofs  zero-knowledge