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

3

Điều đó có nghĩa là gì khi nói ra một cách hiệu quả hơn nữa

Điều đó có nghĩa là gì khi chúng ta nói rằng thuật toán hiệu quả hơn so với ?XXXYYY XXX sẽ là một lựa chọn tốt hơn cho tất cả các đầu vào. XXX sẽ là lựa chọn tốt hơn cho tất cả các đầu vào ngoại trừ đầu vào …

12 algorithms  algorithm-analysis  terminology  asymptotics 

---

1

Là gì

Tôi đang xem Giải tích công trình và vị trí của nó trong Lambda Cube . Nếu tôi hiểu chính xác, mỗi trục của khối lập phương có thể được coi là thêm một hoạt động khác liên quan đến các loại vào phép tính được gõ đơn giản, λ→λ→\lambda_\to …

11 terminology  lambda-calculus  type-theory  dependent-types 

---

5

Định nghĩa trạng thái của một đối tượng trong OOP

Tôi cần một định nghĩa ngắn gọn về "trạng thái của một đối tượng" trong lập trình hướng đối tượng (cho một bài báo). Trong khoảng nửa ngày tôi đã tìm kiếm một bài báo mà tôi có thể trích dẫn về chủ đề này, nhưng tôi không thể tìm …

11 terminology  reference-request  programming-languages  object-oriented 

---

3

Có phải những người theo quy luật và theo cách đệ quy có thể có ý nghĩa rất giống nhau không?

Do "quy nạp" và "đệ quy" có nghĩa là rất giống nhau? Ví dụ: nếu có một thuật toán xác định vectơ n-dim bằng cách xác định các thành phần k + 1 đầu tiên dựa trên các thành phần k đầu tiên của nó đã được xác định và …

11 algorithms  terminology  recursion  induction 

---

1

Suy ra các loại sàng lọc

Tại nơi làm việc, tôi được giao nhiệm vụ suy luận một số thông tin về ngôn ngữ động. Tôi viết lại các chuỗi các câu lệnh thành các letbiểu thức lồng nhau , như vậy: return x; Z => x var x; Z => let x = undefined in …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

---

2

Một hàm

Tôi muốn xác định, ý nghĩa của việc đưa ra một đại số làm đầu vào cho một thuật toán và không tìm thấy nhiều tài liệu về nó. Vì vậy, trước tiên tôi muốn hỏi liệu bạn có thể đề xuất một cuốn sách hoặc bài viết liên quan …

11 computability  terminology  decision-problem 

---

1

Stack Kiểm tra hoạt động như thế nào?

Đây là tiền thân cho câu hỏi khác, nâng cao hơn của tôi về Kiểm tra ngăn xếp. Kiểm tra ngăn xếp là một cơ chế bảo mật được giới thiệu trong JVM để đối phó với việc chạy mã có nguồn gốc từ các vị trí có mức độ …

11 terminology  security  stack-inspection 

---

3

Sự khác biệt giữa các cạnh chéo và cạnh phía trước trong DFT

Trong một cây sâu đầu tiên, có các cạnh xác định cây (tức là các cạnh đã được sử dụng trong giao dịch). Có một số cạnh còn lại kết nối một số nút khác. Sự khác biệt giữa cạnh chéo và cạnh phía trước là gì? Từ wikipedia: Dựa …

11 algorithms  terminology  graphs  graph-traversal 

---

2

Tại sao các vấn đề quyết định thường được sử dụng trong lý thuyết phức tạp?

Từ Wikipedia : Loại vấn đề tính toán: Các vấn đề thường được sử dụng là các vấn đề quyết định . Tuy nhiên, các lớp phức tạp có thể được xác định dựa trên các vấn đề về chức năng, các vấn đề đếm, vấn đề tối ưu hóa, …

11 complexity-theory  terminology 

---

2

Tên của vấn đề sắp xếp lại / sắp xếp này?

Bạn được cung cấp một mảng có độ dài . Mỗi phần tử của mảng thuộc về một trong các lớp K. Bạn phải sắp xếp lại mảng bằng cách sử dụng số lượng hoạt động hoán đổi tối thiểu để tất cả các phần tử từ cùng một lớp …

10 terminology  reference-request  sorting  arrays 

---

3

Xử lý các đồ thị vô hướng như là một tiểu thể loại của đồ thị có hướng

Một cách thô sơ, một đồ thị vô hướng rất giống với đồ thị có hướng trong đó đối với mỗi cạnh (v, w), luôn có một cạnh (w, v). Điều đó cho thấy rằng có thể chấp nhận được khi xem các đồ thị vô hướng như một tập …

10 graphs  terminology 

---

2

Có một mô hình nào cho việc soạn thảo các hàm cập nhật gia tăng của Google theo kiểu dataflow thuần túy không?

Tôi không biết thuật ngữ chính xác khi đặt câu hỏi này, vì vậy tôi sẽ mô tả nó với rất nhiều từ thay vào đó, chịu đựng tôi. Bối cảnh , chỉ để chúng ta ở cùng một trang: Các chương trình thường chứa bộ nhớ cache - sự …

10 terminology  reference-request  functional-programming  programming-paradigms 

---

2

Giải thích kết hợp của tính toán lambda

Theo Peter Selinger , The Lambda Compus là Đại số (PDF). Đầu bài viết này, ông nói: Việc giải thích combinatory của giải tích lambda được biết đến là không hoàn hảo, bởi vì nó không đáp ứng các -rule: dưới sự giải thích, không bao hàm \ lambda xM …

10 terminology  lambda-calculus  combinatory-logic 

---

2

Làm thế nào để thảo luận về các hệ số trong ký hiệu big-O

Ký hiệu nào được sử dụng để thảo luận về các hệ số của các hàm trong ký hiệu big-O? Tôi có hai chức năng: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Rõ ràng, cả hai chức năng là , thực sự là , nhưng …

10 terminology  asymptotics  landau-notation 

---

8

Danh từ tương ứng cho những người phụ nữ không có tác dụng phụ

Đối với các hàm hoặc tính toán, chúng tôi có các thuật ngữ như: Tính quyết đoán - Chủ nghĩa quyết đoán Tinh khiết - Tinh khiết Bây giờ danh từ tương ứng chính xác cho side-effect-free là gì? "Hiệu ứng phụ"? "Tự do tác dụng phụ"? "Không hiệu quả"?

10 terminology  programming-languages 

---