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

Tôi đã không thể tìm thấy một tuyên bố liên quan đến và N P R P trong tài liệu; con trỏ sẽ được đánh giá cao.MAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Tôi tin rằng họ là như nhau: N P R PMA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : Máy đoán chuỗi của Merlin và nhà tiên tri …

10 cc.complexity-theory  oracles 

Fix k≥5k≥5k\ge5 . Đối với bất kỳ đủ lớn nnn, chúng tôi muốn gắn nhãn tất cả các tập hợp con của {1..n}{1..n}\{1..n\} có kích thước chính xác bằng n/kn/kn/k theo số nguyên dương từ {1...T}{1...T}\{1...T\} . Chúng tôi muốn ghi nhãn này để đáp ứng các thuộc tính sau: …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

Dường như có nhiều thuật toán ngẫu nhiên để kiểm tra nhận dạng đa thức, kiểm tra xem một đa thức đã cho có bằng không hay không. Có bất kỳ kết quả của các thuật toán thực hiện một số loại ước lượng của đa thức qua một tập …

10 ds.algorithms  approximation-algorithms  randomized-algorithms  derandomization  polynomials 

Gần đây tôi đã đọc một số lượng lớn các giấy tờ CoLT. Mặc dù tôi không đấu tranh với các bài viết riêng lẻ (ít nhất là không nhiều hơn tôi thường đấu tranh với các bài viết lý thuyết khác), tôi không cảm thấy mình nắm bắt được …

10 reference-request  machine-learning  lg.learning  survey  books 

Các biểu diễn đơn giản nhất cho biểu đồ sử dụng ma trận / danh sách kề, nghĩa là mỗi nút và cạnh được biểu diễn rõ ràng. Tầm quan trọng của các biểu diễn ngầm cho các biểu đồ thể hiện tính đều đặn mạnh mẽ đã được công …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

Đặt là bất kỳ EXP hoàn thành vấn đề. Sau đó, P Một = N P Một .AAAPA=NPAPA=NPAP^A = NP^A Hãy có một số oracle mà sẽ đưa vào các tài khoản truy vấn mà M (một TM trong P) sẽ làm, và chúng tôi có thể nhận được P …

10 cc.complexity-theory  oracles  relativization 

Vài năm trước, tôi đã chạy qua quy tắc bên trái sau đây cho sự bình đẳng trong phép tính liên tiếp: s≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Ở đây, tính toán đơn vị tổng quát nhất cho và , …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

Đặt . Tôi cần phải tạo ra các đồ thị đơn giản của chu vi như vậy mà tập tất cả các -cycles hình thức một lợi thế cạnh bìa đôi của (có nghĩa là, mỗi cạnh được chia sẻ bởi chính xác hai -cycles), và như vậy mà các …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

Có bất kỳ cấu trúc đã biết nào về mã sửa lỗi tuyến tính (với các tham số hợp lý), sao cho khi đưa ra một vectơ Boolean , nó cũng trả về một vectơ Boolean whp? (mặc dù nó đã kết thúc ) v ∈ { 0 , 1 …

10 co.combinatorics  linear-algebra  coding-theory 

Người ta biết rằng cỗ máy phân tích của Charles Babbage có kiến ​​trúc mạnh mẽ giống với kiến ​​trúc Von Neumann hiện đại. Ngoài ra, đáng chú ý là các bảng biểu diễn một chương trình cho máy phân tích của Babbage ( http://www.fourmilab.ch/babbage/fftime/menat3.png ) và công việc của …

10 ho.history-overview 

Wikipedia viết: FPT chứa các vấn đề có thể điều chỉnh tham số cố định, đó là những vấn đề có thể được giải quyết trong thời gian đối với một số chức năng tính toán . Thông thường, hàm này được coi là theo cấp số nhân, chẳng hạn …

10 cc.complexity-theory  fixed-parameter-tractable 

Quyết định đồ thị đồng nhất là nói chung NP-Complete. Có bất kỳ kết quả nào nghiên cứu vấn đề này khi các biểu đồ cơ bản có cấu trúc đại số (chẳng hạn như quyết định đồng cấu từ các biểu đồ tập hợp Cayley hoặc Cayley sang các …

10 cc.complexity-theory  graph-theory  co.combinatorics 

Để kỷ niệm sinh nhật của Alan Turing, Google đã xuất bản một hình tượng trưng cho thấy một chiếc máy. Những loại máy của doodle là gì? Nó có thể diễn đạt một ngôn ngữ Turing Complete không? Có sự khác biệt rõ ràng đối với máy turing cổ …

10 cc.complexity-theory  turing-machines 

Tính toán của máy Turing không phá hủy (NTM) nổi tiếng là có thể biểu diễn dưới dạng cây cấu hình, bắt nguồn từ cấu hình bắt đầu. Bất kỳ chuyển đổi trong chương trình được đại diện bởi một liên kết cha-con trong cây này. Các cây tương tự …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

Tôi biết rằng đối với một đồ thị lưỡng cực không có trọng số, tôi có thể tìm thấy nắp đỉnh tối thiểu bằng cách trước tiên tìm khớp tối đa và biến nó thành nắp đỉnh bằng Định lý König. Có một sửa đổi người ta có thể sử …

10 ds.algorithms  graph-theory