Câu hỏi được gắn thẻ «terminology»

1

Thống nhất so với người giải SAT

Tôi đọc trên Wikipedia rằng thống nhất là một quá trình giải quyết vấn đề thỏa đáng. Đồng thời, tôi biết rằng những người giải quyết như vậy được gọi là "người giải SAT" hoặc "người giải quyết SMT". Vì vậy, họ là tên khác nhau cho cùng một điều? …

10 terminology  sat-solvers  unification 

---

1

Sự khác biệt giữa tạm dừng, chấp nhận và quyết định trong bối cảnh của máy Turing là gì?

Có chấp nhận có nghĩa là TM sẽ đọc và nhận ra một char từ ô mà nó hiện đang đọc không? Và đó có phải là trường hợp một TM tạm dừng nếu đầu vào là quyết định?

10 terminology  turing-machines  undecidability 

---

2

Chiều cao trung bình của cây nhị phân là gì?

Có định nghĩa chính thức nào về chiều cao trung bình của cây nhị phân không? Tôi có một câu hỏi hướng dẫn về việc tìm chiều cao trung bình của cây nhị phân bằng hai phương pháp sau: Giải pháp tự nhiên có thể là lấy chiều dài trung …

10 graph-theory  terminology  combinatorics  binary-trees 

---

3

Tổng số các điều khoản của Landau được xem xét lại

Tôi đã hỏi một câu hỏi (hạt giống) về các khoản tiền của Landau trước đây , cố gắng đánh giá sự nguy hiểm của việc lạm dụng ký hiệu tiệm cận trong mỹ phẩm, với thành công hỗn hợp. Bây giờ, ở đây, guru tái phát của chúng tôi …

10 terminology  asymptotics  landau-notation 

---

2

Sự khác biệt giữa các biến và con trỏ là gì?

Khi đọc một bài viết phác thảo sự khác biệt trong OO và lập trình hàm tôi đã bắt gặp các con trỏ hàm. Đã được một thời gian kể từ khi tôi hoàn thành bằng Khoa học Máy tính (2003) và vì vậy tôi đã tìm kiếm các con …

10 terminology  programming-languages 

---

3

Sự khác biệt giữa đa chương trình và đa nhiệm là gì

Tôi thấy khó phân biệt rõ ràng giữa Đa chương trình và Đa nhiệm. Nguồn chính của tôi là Wikipedia , nhưng bài báo WP có vẻ hơi mâu thuẫn với một số nguồn ít uy tín hơn (như giáo sư đại học của tôi). Khi tôi đọc WP, đa …

10 terminology  process-scheduling 

---

5

Thuật toán hiệu quả là gì?

Từ quan điểm của hành vi tiệm cận, thuật toán "hiệu quả" là gì? Tiêu chuẩn / lý do để vẽ đường tại điểm đó là gì? Cá nhân, tôi sẽ nghĩ rằng bất cứ điều gì mà tôi có thể gọi một cách ngây thơ là "đa thức phụ", …

10 algorithms  terminology  asymptotics  landau-notation 

---

3

Tìm kiếm một từ điển toán học / ký hiệu CS

Có một loạt các biểu tượng chóng mặt được sử dụng trong các bài báo toán học và CS. Tuy nhiên, nhiều người cho rằng sự quen thuộc cơ bản mà dường như hiếm khi được dạy ở một nơi. Tôi đang tìm một cuốn từ điển giống như sau, …

10 terminology  reference-request  education 

---

2

Điều kiện để đồ thị lưỡng cực là mặt phẳng không có cạnh đi quanh các đỉnh

Một đồ thị lưỡng cực là phẳng, nếu nó không có vị thành niên hoặc K 5 .K3,3K3,3K_{3, 3}K5K5K_5 Tôi đang tìm kiếm một điều kiện cần hoặc đủ và đủ để cho phép các bản vẽ phẳng không có các cạnh "đi xung quanh" các đỉnh. Đây là những …

9 graph-theory  terminology  graph-drawing 

---

4

Tại sao tìm kiếm nhị phân được gọi là tìm kiếm nhị phân?

Tôi đã nghe một số giải thích có thể, vì vậy tôi muốn một số tài liệu tham khảo đáng tin cậy. Cập nhật 05.19: Tôi quan tâm đến câu hỏi vì một trong những sinh viên của tôi đã viết trong luận án của mình rằng tên này xuất …

9 terminology  reference-request  history 

---

1

RAM lãng quên là gì và nó hoạt động như thế nào?

Bất cứ ai có thể giải thích cho tôi chính xác RAM lãng quên là gì? Tôi đã tìm thấy lời giải thích sau đây làm cho nó rõ ràng với tôi, nhưng tôi muốn hiểu về các khía cạnh kỹ thuật: Mã hóa không phải lúc nào cũng đủ …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

---

4

Thế nào là động lực học về lập trình động là gì?

Một trong những người cao niên của tôi đã có một cuộc phỏng vấn việc làm và anh ta được hỏi tại sao nó được gọi là năng động. Anh ta không thể trả lời và sau khi anh ta từ bỏ người phỏng vấn nói rằng không có gì …

9 terminology  dynamic-programming 

---

5

Tại sao TSP không yêu cầu sự lặp lại của các thành phố?

Nó có vẻ kỳ lạ với tôi rằng TSP phủ nhận khả năng của các thành phố lặp đi lặp lại. Mục tiêu của người bán hàng du lịch này là đi càng nhanh càng tốt và ghé thăm tất cả các thành phố, phải không? Vậy điều gì sẽ …

9 terminology  traveling-salesman 

---

4

Một loại trong ngữ nghĩa ngôn ngữ lập trình là gì?

Trong Chương 1 của Cơ sở thực tiễn cho các ngôn ngữ lập trình , tác giả đã đề cập rằng các cây cú pháp trừu tượng được liên kết với các loại . Theo trực giác, các loại giống như các loại, nhưng tôi muốn biết nếu chúng có …

9 terminology  programming-languages  semantics 

---

2

Là các bản thể học ngữ nghĩa?

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 

---