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

Đây là câu hỏi "theo dõi B" nếu có. Tóm tắt: điều đầu tiên tôi nghĩ đến khi tôi cố gắng đưa ra một ngữ nghĩa cho các chương trình không xác định sẽ dẫn đến một ngữ nghĩa mà tôi không thể chứng minh những điều về các vòng …

10 reference-request  denotational-semantics 

Nói một cách lỏng lẻo, khớp mẫu hoán vị xử lý các vấn đề thuộc loại sau: Cho phép hoán vị trong và trong , với , có chứa một chuỗi con có độ dài mà các phần tử được sắp xếp theo không?ππ\piSnSnS_nσσ\sigmaSmSmS_mm ≤ nm≤nm\leq nππ\pi ττ\taummmσσ\sigma Ví dụ: …

10 permutations  string-matching 

Có vị trí cho sinh viên tốt nghiệp cử nhân hoặc thạc sĩ gần đây với một hồ sơ nghiên cứu để làm việc như một nhà nghiên cứu trước khi cam kết tiến sĩ của họ? TCS có văn hóa về các vị trí hậu tài liệu cho các …

10 soft-question  advice-request  career 

Có tồn tại cấu trúc dữ liệu từ RAM-bit với thời gian O (1) cho mỗi hoạt động cho vấn đề sau không?: Duy trì một bộ số nguyên không âm w-bit hỗ trợ các hoạt động thêm (x): thêm x vào tập hợp remove (x): xóa x khỏi tập …

10 ds.data-structures 

Tôi tò mò liệu ai đó có thể giới thiệu một số tài liệu bổ sung để hiểu sâu hơn về bài báo: " Một số kết quả và vấn đề về bất bình đẳng loại chuông lượng tử - Tsirelson ". Cụ thể một cái gì đó có thể …

10 reference-request  quantum-computing  quantum-information 

Công thức CNF đơn điệu với m thuật ngữ trên n biến ( ) là một công thức có dạng f (x_1, \ ldots, x_n) = \ bigwedge C_i , trong đó mỗi C_i là một OR của một số tập hợp con của các biến x_1, \ ldots, x_n …

10 cc.complexity-theory  circuit-complexity  formulas 

Đã có một lượng công việc khá lớn đối với các vấn đề tính toán cho các đơn hàng một phần (ví dụ: nhận dạng, số nhảy, nhận dạng biểu đồ so sánh, v.v ...). Tôi tò mò những gì công việc cụ thể cho mạng đã được thực hiện. …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory 

Điều nổi tiếng là đối với việc học PAC cổ điển, các ví dụ là cần thiết để đạt được một lỗi liên quan đến whp, trong đó là chiều VC của lớp khái niệm.ε dΩ ( d/ ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd Được biết rằng các ví dụ là cần thiết trong trường …

10 lg.learning  machine-learning 

Trong giấy với tiêu đề giống như của câu hỏi này, các tác giả mô tả làm thế nào để xây dựng một nonblocking linearizable nhiều từ CAS hoạt động chỉ sử dụng một CAS đơn từ. Trước tiên, họ giới thiệu hoạt động trao đổi đơn so sánh kép …

10 dc.parallel-comp  concurrency 

LƯU Ý : Câu hỏi đã được đưa ra trong câu trả lời của tôi: Giả sử bây giờ chúng ta có thể tìm thấy tổ tiên anh chị em thấp nhất trong thời gian , ANN có thể thực sự được thực hiện trong không?O ( log n )O(1)O(1)O(1)O(logn)O(log⁡n)O(\log …

10 ds.algorithms  ds.data-structures  range-searching  near-neighbors 

Trong Bernstein và Vazirani của giấy tinh "Quantum Theory phức tạp", họ cho thấy một biến đổi unita chiều có thể xấp xỉ một cách hiệu quả bởi một sản phẩm của những gì họ gọi là "gần tầm thường quay" và "thay đổi giai đoạn gần như không đáng …

10 quantum-computing  linear-algebra  universal-computation 

Chúng ta biết rằng việc tìm vỏ lồi của điểm trên mặt phẳng có giới hạn dưới của trong thời gian chạy. Tuy nhiên, nếu các điểm được đưa ra theo thứ tự xuất hiện dọc theo một số đa giác đơn giản có các điểm đó là các đỉnh …

10 cg.comp-geom 

Với một đạo diễn đồ thị và hai đỉnh . Một cặp đường dẫn đơn giản từ đến là cạnh nhau nếu chúng không chia sẻ một cạnh.s , t ∈ V p 1 , p 2 s tG = ( V, E)G= =(V,E)G = (V,E)s , t ∈ VS,t∈Vs,t …

10 cc.complexity-theory  graph-algorithms 

Chúng ta biết rằng nhật ký của thứ hạng của ma trận 0-1 là giới hạn dưới của độ phức tạp giao tiếp xác định và nhật ký của thứ hạng gần đúng là giới hạn dưới của độ phức tạp giao tiếp ngẫu nhiên. Khoảng cách lớn nhất giữa …

10 co.combinatorics  linear-algebra  matrices  communication-complexity  boolean-matrix 

Mặc dù sự phân tách theo cấp số nhân giữa độ phức tạp truy vấn lượng tử lỗi ( ) và độ phức tạp truy vấn xác định ( ) hoặc độ phức tạp truy vấn ngẫu nhiên lỗi ( ) đã biết, chúng chỉ áp dụng cho một số …

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