Khoa học máy tính

2

Biến thể vòng lặp cho một vòng lặp đôi khi không giảm?

Tôi đang làm việc với các bài toán thực hành cho một bài kiểm tra mà tôi có, và mọi ví dụ về biến thể vòng lặp đều giảm theo mỗi lần lặp của vòng lặp. Trên cái này, các giá trị vẫn giữ nguyên khi a <b. Những nỗ …

7 algorithms  loops  loop-invariants 

---

2

Tại sao biểu đồ này cho thấy mức độ chặt chẽ của ràng buộc 2 xấp xỉ của MST heuristic?

Đây là một vấn đề bài tập về nhà tôi đã được đưa ra và tôi đã làm suy nghĩ nhiều giờ (vì vậy tôi hài lòng với một số gợi ý). Tôi đã biết rằng tỷ lệ gần đúng có thể tệ hơn . Tôi có một biểu đồ …

7 algorithms  algorithm-analysis  approximation  traveling-salesman 

---

1

Cho một quả bóng chuyển động trong một lưới, quả bóng nào chạm tới?

Bạn được cung cấp một lưới mxn. Một quả bóng không thứ nguyên được đặt ở trung tâm của một trong những ô vuông và bắt đầu di chuyển theo một trong 4 hướng: đông bắc, tây bắc, đông nam hoặc tây nam. Quả bóng tiếp tục di chuyển cho …

7 algorithms  computational-geometry 

---

1

Những ngôn ngữ máy tính trong thế giới thực không thể được mô tả bằng các ngữ pháp xác định?

Có ví dụ nào về ngôn ngữ máy tính trong thế giới thực không mang tính quyết định không? Theo ngôn ngữ máy tính, tôi bao gồm ngôn ngữ lập trình, ngôn ngữ đánh dấu, ngôn ngữ truy vấn, ngôn ngữ mô hình hóa, ngôn ngữ chuyển đổi, v.v. Bởi …

7 formal-grammars  programming-languages  nondeterminism 

---

3

Khám phá và nội suy một chức năng bằng cách sử dụng máy học?

Những phương pháp học máy chung nào đang cố gắng "học" hoặc nội suy một hàm đa biến trơn tru và thực sự chọn những điểm mà hàm đó được đánh giá trong quá trình học (khám phá)? Ý tưởng là mỗi đánh giá chức năng ít nhiều tốn kém …

7 machine-learning  artificial-intelligence 

---

1

Sắp xếp một đống vật phẩm không có thứ tự vào các ngăn kéo với các chuyển động ngăn kéo tối thiểu

Một lúc trước, tôi đang giặt đồ vào đêm khuya. Khi tôi mang đồ giặt trở về ký túc xá, tôi bắt đầu cất nó đi. Tủ quần áo của tôi được thiết lập như sau: Ngăn kéo của tôi được phân loại theo loại quần áo họ giữ, và …

7 algorithms  optimization  sorting  randomized-algorithms 

---

2

Tìm k hàng xóm gần nhất trên một quả cầu

Cho một tập hợp gồm điểm trên một mặt cầu và một điểm P khác trên mặt cầu, tôi muốn tìm các điểm k trong S gần nhất (khoảng cách Euclide hoặc vòng tròn lớn).SSSNNNPPPkkkSSS Tôi sẵn sàng làm một lượng tiền tính toán hợp lý. Giải pháp phải chính …

7 data-structures  computational-geometry  nearest-neighbour 

---

2

Trong phép đồng phân Curry-Howard được áp dụng cho các loại Hindley-Milner, mệnh đề nào tương ứng với một -> [a]?

(Sử dụng cú pháp Haskell, vì câu hỏi được lấy cảm hứng từ Haskell, nhưng nó áp dụng cho các hệ thống loại đa hình Hindley-Milner chung, chẳng hạn như SML hoặc Elm). Nếu tôi có chữ ký loại f :: a -> [a], mệnh đề logic được mã hóa …

7 programming-languages  type-theory  functional-programming  curry-howard 

---

2

Có bất kỳ chiến lược để tìm kiếm vũ lực?

Tôi không biết làm thế nào để nói một cách tao nhã, nhưng về cơ bản, tôi muốn thực hiện thuật toán tìm kiếm vũ phu, nhưng có nhiều cách khác nhau mà tôi có thể liệt kê trong không gian tìm kiếm. Điều này có thể là ngây thơ …

7 algorithms  search-algorithms  decision-problem  np  search-problem 

---

1

Đây có phải là các bản mẫu hợp lệ để chứng minh cho các ngôn ngữ CF có bổ sung Non-CF không?

Có người hỏi ví dụ về ngôn ngữ không ngữ cảnh với phần bổ sung không ngữ cảnh . Câu trả lời đầu tiên nói: Ngôn ngữ L1= { w w ∣ w ∈ { a , b}*}L1={ww∣w∈{a,b}∗}L_1= \{ww \mid w \in \{a,b\}^*\}không có ngữ cảnh (như có thể được …

7 formal-languages  context-free  formal-grammars 

---

2

Chứng minh REGULAR_TM là không thể giải quyết được

Tôi đang nghiên cứu bằng chứng của định lý sau: Đưa ra ngôn ngữ R E G U L A RT M= { ⟨ M⟩ | MREGULARTM={⟨M⟩|M\mathit{REGULAR}_\mathit{TM} = \{\langle M \rangle | M là một máy turing và là thường xuyênA c c e p t (M)Accept(M)\mathit{Accept}(M)}}\} R E G …

7 computability  turing-machines  undecidability 

---

1

Quản lý trang trong nhân hệ điều hành

Tôi đã xem một số sách lý thuyết hệ điều hành cũ của tôi và nhận thấy rằng một thiếu sót rõ ràng trong tất cả các sách HĐH này là làm thế nào để thực sự theo dõi các trang vật lý miễn phí (tức là thuật toán để …

7 operating-systems  memory-management  virtual-memory 

---

2

Có một thuật toán hợp lý về mặt tính toán để tạo ra một tập hợp đa giác từ một tập hợp các điểm 2d không?

Có một thuật toán đã biết / hiện có để lấy một khung vẽ 2D được bao phủ trong các điểm phân phối ngẫu nhiên / ngẫu nhiên và chia nó hoàn toàn thành một tập hợp các đa giác không chồng chéo không? Một ví dụ về loại kết …

7 algorithms  graphs 

---

1

Tại sao loại bỏ hoàn toàn nghĩa đen không có trong các thuật toán dựa trên DPLL như Chaff?

Tôi đang xem xét nhiều người giải SAT khác nhau và cố gắng hiểu cách họ làm việc và tại sao họ được thiết kế theo những cách nhất định. (Nhưng hiện tại tôi không ở trong một trường đại học và tôi không biết ai là giáo sư. Vì …

7 algorithms  sat-solvers 

---

2

Loại nén có thể được tìm kiếm

Có BẤT CỨ nén kiểu đó có thể nén một tập tin, và sau đó là tập tin nén có thể tìm kiếm mà không cần giải nén các tập tin?

7 search-algorithms  strings  data-compression 

---