Khoa học máy tính

4

Tại sao chúng ta nên nghiên cứu cả ba hình thức biểu diễn của automata hữu hạn?

DFA, NFA và epsilon NFA cả ba đều cho phép chúng tôi đại diện cho một ngôn ngữ thông thường cụ thể. Với bất kỳ biểu diễn nào chúng ta có thể đi đến cùng một biểu thức chính quy, vậy tại sao chúng ta cần nghiên cứu cả ba …

9 automata  finite-automata  education 

---

1

Heapable Meldable Heap - Chiều cao dự kiến

Heaps Meldable ngẫu nhiên có một "meld" hoạt động, sau đó chúng tôi sử dụng để xác định tất cả các hoạt động khác, bao gồm cả chèn. Câu hỏi là, chiều cao dự kiến ​​của cây đó với nút là bao nhiêu?nnn Định lý 1 của Gambin và Malinkowski, …

9 algorithm-analysis  data-structures  randomized-algorithms  heaps 

---

2

Làm thế nào để chứng minh rằng 3 màu là quyết định?

Để chứng minh rằng 3 màu là có thể quyết định, có đủ để nói: Mỗi nút trong biểu đồ có 3 màu có thể Do đó, chúng ta có thể liệt kê trên tất cả khả năng và sau đó kiểm tra xem không có hai cạnh nào kết …

9 computability  turing-machines  colorings 

---

1

Mũi tên lên ( ) có nghĩa là gì trong mã giả?

Tôi đang học cây điểm thuận lợi và tôi đã gặp điều này khi đọc bài viết Cấu trúc dữ liệu và thuật toán cho tìm kiếm hàng xóm gần nhất trong các không gian số liệu chung của Peter Yianilos ( Kỷ yếu của SODA 1993 , SIAM, trang …

9 notation 

---

3

DFA chấp nhận tất cả các chuỗi nhị phân có sức mạnh hình thức của

Chúng ta có thể hình thành DFA chấp nhận số nhị phân chia hết cho .nnn Ví dụ, DFA chấp nhận số nhị phân chia hết cho 2 có thể được hình thành như sau: Tương tự, DFA chấp nhận số nhị phân chia hết cho 3 có thể được …

9 regular-languages  automata  finite-automata  regular-expressions 

---

2

Cung cấp một hoạt động sắp xếp trong hệ thống loại

Tôi muốn biết một hệ thống loại trong ngôn ngữ lập trình có thể mang lại lợi ích bao xa. Ví dụ, tôi biết rằng trong một ngôn ngữ lập trình được gõ phụ thuộc, chúng ta có thể tạo một Vectorlớp kết hợp kích thước của vectơ trong chữ …

9 type-theory  functional-programming  dependent-types 

---

3

Là tham chiếu đếm GC so với truy tìm GC là thuộc tính ngôn ngữ hoặc thuộc tính triển khai?

Đôi khi chúng ta nghe thấy "Swift không làm cổ điển (theo dõi) GC, nó sử dụng ARC." Nhưng tôi không chắc có bất cứ điều gì trong ngữ nghĩa Swift yêu cầu đếm tham chiếu hay không. Dường như người ta có thể xây dựng trình biên dịch Swift …

9 semantics  garbage-collection 

---

1

Dự đoán chuỗi giả ngẫu nhiên

Tuyên bố miễn trừ trách nhiệm: Tôi là một nhà sinh vật học, rất xin lỗi vì (có lẽ) câu hỏi cơ bản được đặt ra theo cách thô thiển như vậy. Tôi không chắc là tôi nên hỏi câu hỏi này ở đây hay trên DS / SC, nhưng …

9 machine-learning  probability-theory 

---

1

Tìm kiếm lặp lại dài nhất

Đưa ra một chuỗi , tôi muốn tìm chuỗi lặp lại dài nhất (ít nhất hai lần). Đó là, tôi muốn tìm một chuỗi w mà là một dãy (không nhất thiết phải là một tiếp giáp) của s mà w = w ' ⋅ w ' . Đó là, …

9 algorithms  optimization  dynamic-programming  strings  subsequences 

---

2

Quyết định của việc kiểm tra một phản vật chất?

Giả sử tôi có hai hàm và và tôi quan tâm đến việc xác định xemFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Giả sử rằng các hàm của tôi bao gồm các hàm cơ bản (đa thức, hàm mũ, nhật ký và hàm lượng giác), nhưng không, giả sử, chuỗi Taylor. Là …

9 computability  undecidability  mathematical-analysis  computer-algebra 

---

1

Làm thế nào để thực tế đo entropy của một tập tin?

Tôi đang cố gắng đo lường nhiều thông tin không thực tế (thực tế) mà tập tin của tôi chứa. Một số người gọi đây là lượng entropy. Tất nhiên có nhật ký p (x) {p (x)} tiêu chuẩn, nhưng tôi nghĩ rằng Shannon chỉ xem xét nó từ quan …

9 entropy 

---

1

Là không xác định trong một máy Turing không xác định khác với máy tự động hữu hạn và tự động đẩy xuống?

Đặt chuỗi đầu vào là . Sau đó, nếu một NFA hiện đang trong trạng thái (và có đọc đầu vào tối đa bảng chữ cái ) sau đó trước khi đọc ký hiệu đầu vào hôm sau chia tách NFA thành hai NFA, một con người trong trạng thái …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

---

3

Làm thế nào để giải quyết vấn đề sắp xếp tại Lưu trữ Quốc gia Pháp bằng lý thuyết đồ thị?

Chào buổi tối! Tôi thực sự đang thực tập tại Archives Nationales of France và tôi đã gặp phải một tình huống tôi muốn giải quyết bằng đồ thị ... I. Tình hình bụi bặm. Chúng tôi muốn tối ưu hóa việc sắp xếp sách của thư viện của tôi …

9 algorithms  graphs  optimization  packing 

---

1

Giới thiệu về đồ thị có bộ cạnh bị phân hủy thành khớp hoàn hảo

Có một đặc tính của đồ thị mà tập hợp cạnh của nó bị phân hủy thành một liên kết rời rạc của các kết hợp hoàn hảo? Một lớp học tầm thường của đồ thị đó là -regular đồ thị -bipartite. Đặt cạnh của họ sẽ bị phân hủy …

9 graph-theory  graphs 

---

1

Làm thế nào để bạn xác định số lượng lỗi trong thuật toán Welch-Berlekamp?

Trong thuật toán Welch-Berlekamp để giải mã mã Reed-Solomon, người ta sẽ đưa ra một danh sách các điểm đại diện cho một thông báo có lỗi trên ở các vị trí không xác định (và được đưa cho thuật toán). Đầu ra là một đa thức đi qua tất …

9 algorithms  error-correcting-codes 

---