Khoa học máy tính

Tôi gặp phải vấn đề này liên quan đến việc thao túng một ngôn ngữ không ngữ cảnh. Đặt là ngôn ngữ không ngữ cảnh. Xác định với mọi . Là luôn bối cảnh là miễn phí? Tôi đoán là nó sẽ bảo tồn bối cảnh. Bất cứ ai có …

9 formal-languages  context-free 

Trong một video đọc thuộc MIT OCW 6,006 lúc 43:30, Với một ma trận với cột và hàng, 2-D phát hiện đỉnh cao thuật toán, nơi một đỉnh bất kỳ lớn hơn giá trị hơn hoặc tương đương với nó là hàng xóm liền kề, được mô tả như sau:A …

9 algorithms  algorithm-analysis  asymptotics  matrices 

Bộ nhớ CPU được sử dụng bằng cách khai thác cục bộ không gian và thời gian. Câu hỏi của tôi là ai chịu trách nhiệm quản lý các bộ đệm này? Hệ điều hành này có xác định một mẫu truy cập cụ thể và sau đó quản lý …

9 computer-architecture  cpu-cache 

Tôi đấu tranh với một vài định nghĩa trong biểu diễn tri thức và tìm kiếm sự giúp đỡ đáng tin cậy để phân biệt giữa chúng. Tôi đã tìm kiếm trên wikipedia và nhiều trang web về sự khác biệt giữa các bản thể luận và mạng ngữ nghĩa …

9 terminology  knowledge-representation  ontologies 

Đọc câu hỏi này " RE tự nhiên không thể giải quyết được vấn đề nhưng không hoàn thành Turing ", ngôn ngữ sau đây xuất hiện trong đầu tôi: Nếu là chức năng hải ly bận rộn (điểm số tối đa có thể đạt được trong số tất cả …

9 computability  turing-machines 

Lấy cảm hứng từ câu hỏi này, trong đó người hỏi muốn biết liệu thời gian chạy có thay đổi khi bộ so sánh được sử dụng trong thuật toán tìm kiếm tiêu chuẩn được thay thế bằng cách lật đồng xu công bằng hay không, và lỗi của Microsoft …

9 sorting  randomized-algorithms  permutations 

Cho một chương trình số nguyên (nhị phân) có dạng:0 , 10,10,1 mins.t.f(x)Ax=bxi≥0xi∈{0,1}∀i∀iminf(x)s.t.Ax=bxi≥0∀ixi∈{0,1}∀i \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall i \end{array} Lưu ý rằng kích thước của không …

9 complexity-theory  np-complete  approximation  integer-programming 

Chúng tôi muốn ngói -square sử dụng hai loại gạch: gạch -square và gạch -square như vậy mà mỗi vuông cơ bản được bảo hiểm mà không chồng chéo. Hãy để chúng tôi xác định một hàm cho kích thước của hình vuông duy nhất có thể cho phép lớn …

9 computability  combinatorics 

Tại sao các số tính toán (theo nghĩa của Turing) là vô số? Nó phải rất rõ ràng, nhưng tôi hiện không thấy nó.

9 computability  turing-machines  enumeration 

Hãy xem xét một đồ thị vô hướng với một nguồn và một đỉnh chìm. Chúng tôi muốn xóa số đỉnh tối thiểu trong biểu đồ đó để ngắt kết nối bất kỳ đường dẫn nào giữa nguồn và chìm. Chúng ta có thể làm điều này bằng cách sử …

9 algorithms  graph-theory  network-flow 

Tôi bối rối về cách định nghĩa PP và BPP . Giả sử là hàm đặc trưng cho ngôn ngữ . M là máy Turing xác suất. Các định nghĩa sau có đúng không:Lχχ\chiLL\mathcal{L} P P = { L : P r [ χ ( x ) ≠ M ( …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Là biến thể của vấn đề tổng tập hợp con dễ dàng / được biết đến? Cho một số nguyên và một tập hợp các số nguyên dương sao cho mỗi có tối đa bit được đặt thành ( ); có tập con sao cho tổng các phần tử của …

9 complexity-theory  reference-request  decision-problem 

Đặt là ngôn ngữ của tất cả các công thức -CNF , sao cho ít nhất các mệnh đề của có thể được thỏa mãn. 2 φ ( 1LϵLϵL_\epsilon222φφ\varphiφ(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Tôi cần chứng minh rằng có tồn tại st là -hard cho bất kỳ .L ε N P ε < ε …

9 complexity-theory  satisfiability  approximation 

Tôi đang tìm kiếm một thuật toán hiệu quả để tìm ra mẫu lặp lại dài nhất trong một chuỗi. Ví dụ, hãy xem xét chuỗi số sau: 5431428571428571428571428571427623874534. Như bạn có thể thấy, 142857142857là mẫu dài nhất được lặp lại trong một vài lần (ít nhất hai lần) trong …

9 algorithms  strings  subsequences 

Tôi gặp vấn đề sau: Cho một đồ thị chu kỳ có hướng với trọng số cạnh có giá trị thực, và hai đỉnh s và t, tính toán đường cắt tối thiểu. Đối với các biểu đồ chung, đây là NP-hard, vì người ta có thể giảm tối đa …

9 algorithms  complexity-theory  graph-theory  weighted-graphs