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

Tôi đang dịch một cuốn sách về LISP và tự nhiên nó chạm vào một số yếu tố của -calculus. Vì vậy, một khái niệm extensionality được đề cập có cùng một số mô hình của λ -calculus, cụ thể là: và (vâng, với vô cực ở đầu trang). Và …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

Cho một đồ thị có các cạnh có trọng số, làm thế nào chúng ta có thể tìm thấy một chu kỳ âm có chứa ít nhất một đỉnh trong một tập đỉnh đã cho ? Cảm ơn.{ V1, V2, Vắc , Vk}{V1,V2,…,Vk}\{V_1, V_2, \ldots, V_k\}

11 ds.algorithms  graph-theory 

Trong một bài viết về tính toán tương đối hóa logspace, Ladner và Lynch xây dựng một nhà tiên tri liên quan đến . Có một số ví dụ bệnh lý hơn trong tĩnh mạch này trong tài liệu. Tôi đã đọc một số bài báo về các lớp không …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Với trạng thái lượng tử được chọn ngẫu nhiên từ một tập hợp trạng thái hỗn hợp , xác suất trung bình tối đa của việc xác định chính xác bao nhiêu?ρAρA\rho_ANNNρ1...ρNρ1...ρN\rho_1 ... \rho_NAAA Vấn đề này có thể được chuyển thành vấn đề phân biệt hai trạng thái bằng …

11 quantum-computing  it.information-theory  quantum-information  st.statistics 

Chúng tôi được cung cấp một matroid. Mục tiêu của chúng tôi là tìm ra một tập hợp các yếu tố có kích thước tối thiểu có giao điểm không trống với mọi cơ sở của matroid. Là vấn đề nghiên cứu trước? Có phải trong P? Ví dụ, trong …

11 co.combinatorics  approximation-algorithms  optimization 

Nó đã được chỉ ra trong bài báo "Lập trình số nguyên với số lượng biến cố định" rằng các chương trình số nguyên với số lượng ràng buộc (hoặc biến) không đổi có thể giải được bằng đa thức. Điều này có giữ cho lập trình 0-1 không?

11 cc.complexity-theory  integer-programming 

Một định lý sản phẩm trực tiếp, một cách không chính thức, nói rằng tính toán thể hiện của hàm f khó hơn so với tính toán f một lần.kkkffffff Các định lý sản phẩm trực tiếp điển hình (ví dụ, Bổ đề XOR của Yao) xem xét độ phức …

11 cc.complexity-theory  circuit-complexity  average-case-complexity 

Trả lời: không biết Rất cám ơn tất cả những người đã giúp tinh chỉnh câu hỏi này và các định nghĩa liên quan đến nó. Các định nghĩa của wiki này đã cung cấp điểm khởi đầu cho wiki TCS gần đây hơn " P có chứa các ngôn …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Tôi đang đọc các thuật toán lượng tử giấy của Harrow, Hassidim và Lloyd cho các hệ phương trình tuyến tính . Trên trang thứ ba của tờ giấy đó, họ viết Tiếp theo chúng ta áp dụng sự tiến hóa Hamiltonian có điều kiện trên | Ψ 0 ⟩ …

11 quantum-computing  notation 

Hãy để một thực ( k ≤ n ) ma trận A với tài sản là bất kỳ bộ sưu tập các k cột đầy xếp hạng.k×nk×nk\times nk≤nk≤nk\le nAA{\bf A}kkk Q: Có một cách hiệu quả để deterministically tìm một vector ví dụ rằng ma trận Augmented Một ' = …

11 ds.algorithms  linear-algebra  matrices  coding-theory 

Dana Angluin ( 1987 ; pdf ) định nghĩa một mô hình học tập với các truy vấn thành viên và truy vấn lý thuyết (đối chiếu với một chức năng được đề xuất). Cô ấy cho thấy rằng một ngôn ngữ thông thường được biểu thị bằng một DFA …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

Tôi đang tìm kiếm một kỹ thuật chung có thể giúp tôi chứng minh không chỉ Buchi automata là mô hình biểu cảm hơn LTL, mà công thức cụ thể có thể / không thể được thể hiện bằng LTL. Ví dụ, " xảy ra ít nhất là trên các …

11 lo.logic  automata-theory 

Vấn đề phân vùng 3-bè lũ là vấn đề xác định xem các đỉnh của đồ thị, nói , có thể được phân chia thành 3 bè phái. Vấn đề này là NP-hard bằng cách giảm đơn giản từ vấn đề 3 màu. Không khó để thấy rằng câu trả …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Tôi quen thuộc với thuật toán giảm độ dốc có thể tìm thấy mức tối thiểu (tối đa) cục bộ của một hàm nhất định. Có bất kỳ sửa đổi nào về độ dốc gốc cho phép tìm tối thiểu tuyệt đối (tối đa), trong đó chức năng có một …

11 ds.algorithms  approximation-algorithms  machine-learning 

EDIT (Tác giả Tara B): Tôi vẫn quan tâm đến một tài liệu tham khảo về một bằng chứng về điều này, vì tôi phải tự chứng minh điều đó cho bài viết của mình. Tôi đang tìm bằng chứng của Định lý 4 xuất hiện trong bài báo này: …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice