Khoa học máy tính terminology

2

Sự khác biệt giữa quyết định của người ăn vặt và người xác minh người nổi tiếng trong lý thuyết phức tạp là gì?

Trong Lý thuyết tính toán của Michael Sipser ở trang 270, ông viết: P = lớp ngôn ngữ mà tư cách thành viên có thể được quyết định nhanh chóng. NP = lớp ngôn ngữ mà thành viên có thể được xác minh nhanh chóng. Sự khác biệt giữa "quyết …

16 complexity-theory terminology decision-problem

3

Sự khác biệt giữa thông tin của người Viking và thông tin hữu ích của người Bỉ trong lý thuyết thông tin thuật toán

Theo Wikipedia : Một cách không chính thức, từ quan điểm của lý thuyết thông tin thuật toán, nội dung thông tin của một chuỗi tương đương với độ dài của biểu diễn tự chứa ngắn nhất có thể có của chuỗi đó. Định nghĩa nghiêm ngặt không chính thức …

16 information-theory terminology kolmogorov-complexity

2

Bộ nhớ của người kết hợp với nhau là gì?

Tôi biết rằng đơn vị xử lý đồ họa có một thứ gọi là bộ nhớ kết hợp lại. Khi đọc về nó tôi không rõ về chủ đề này. Đây có phải là bất kỳ cách nào liên quan đến Song song cấp bộ nhớ. Tôi đã tìm kiếm …

16 terminology reference-request computer-architecture memory-management

2

Cấu trúc / khái niệm dữ liệu này là gì trong đó một biểu đồ các điểm xác định một phân vùng vào một không gian

Tôi đã gặp một thuật toán để giải quyết một vấn đề trong thế giới thực và tôi nhớ một lớp tôi đã học ở đó tôi đã làm một cái gì đó rất giống với một số cho một vấn đề bài tập về nhà. Về cơ bản, đó …

15 algorithms data-structures terminology computational-geometry

3

Ngôn ngữ vô hạn so với ngôn ngữ hữu hạn

Tôi không rõ về việc sử dụng các cụm từ ngôn ngữ "vô hạn" hoặc ngôn ngữ "hữu hạn" trong lý thuyết máy tính. Tôi nghĩ rằng nguồn gốc của những rắc rối là một ngôn ngữ như là vô hạn theo nghĩa là nó có thể tạo vô hạn …

15 formal-languages terminology regular-languages

2

Sự khác biệt giữa độ phức tạp thời gian và độ phức tạp tính toán

Để đo độ phức tạp của một thuật toán, đó là độ phức tạp thời gian, hay độ phức tạp tính toán? sự khác biệt giữa chúng là gì? Tôi đã sử dụng để tính số lượng tối đa (tệ nhất) của hoạt động cơ bản (tốn kém nhất) trong …

14 complexity-theory terminology algorithm-analysis time-complexity

6

Tìm XOR tối đa của hai số trong một khoảng: chúng ta có thể làm tốt hơn bậc hai không?

Giả sử chúng ta đã cho hai số và và chúng ta muốn tìm cho .r max ( i ⊕ j )lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Thuật toán ngây thơ chỉ đơn giản là kiểm tra tất cả các cặp có thể; ví dụ trong ruby chúng ta sẽ có: def …

14 algorithms algorithms machine-learning statistics testing terminology asymptotics landau-notation reference-request optimization scheduling complexity-theory time-complexity lower-bounds communication-complexity computational-geometry computer-architecture cpu-cache cpu-pipelines operating-systems multi-tasking algorithms algorithm-analysis education correctness-proof didactics algorithms data-structures time-complexity computational-geometry algorithms combinatorics efficiency partitions complexity-theory satisfiability artificial-intelligence operating-systems performance terminology computer-architecture

3

Có sự khác biệt thực sự giữa trình biên dịch và trình biên dịch không?

Có sự khác biệt nào giữa hai người không? Theo sách của Ullman , trình biên dịch chuyển đổi một ngôn ngữ sang ngôn ngữ khác (thường là cấp độ thấp) và trình biên dịch cũng vậy. Hai người khác nhau như thế nào?

14 terminology compilers

2

Phân loại các thuật toán ngẫu nhiên

Từ Wikipedia về các thuật toán ngẫu nhiên Người ta phải phân biệt giữa các thuật toán sử dụng đầu vào ngẫu nhiên để giảm thời gian chạy hoặc sử dụng bộ nhớ dự kiến, nhưng luôn chấm dứt với kết quả chính xác trong một khoảng thời gian giới …

14 algorithms terminology randomized-algorithms nondeterminism machine-models

2

Công cụ rút gọn (1) là gì?

Tôi cố gắng dạy bản thân cách sử dụng bò rừng. Bison manpage (1) nói về bò rừng: Tạo một trình phân tích cú pháp LR hoặc GL (GLR) xác định sử dụng các bảng phân tích cú pháp LALR (1), ClassifiedR (1) hoặc canonical (1). Trình phân tích mã …

14 formal-languages terminology formal-grammars parsers

1

Khi nào

Theo bài viết trên Wikipedia , chữ L trong có nghĩa là "quét từ trái sang phải" và "R" có nghĩa là "đạo hàm ngoài cùng bên phải". Tuy nhiên, trong bài viết gốc của Knuth về ngữ pháp L R ( k ) , ông định nghĩa L R …

14 formal-languages reference-request terminology formal-grammars parsers

2

'Chìa khóa' trong khoa học máy tính là gì?

Tôi hơi bối rối về ý nghĩa chính xác của 'chìa khóa' trong khoa học máy tính. Tôi hiểu các cặp khóa-giá trị, khóa chính, v.v ... Nhưng tôi không thể tìm thấy định nghĩa về thuật ngữ 'khóa' nghĩa là gì. Theo như tôi có thể nói nó chỉ …

14 terminology

3

Sự khác biệt giữa tính toán và ngôn ngữ lập trình là gì?

Tôi nghĩ rằng tôi khá bối rối về những gì được gọi là một phép tính và những gì được gọi là ngôn ngữ lập trình. Tôi có xu hướng suy nghĩ, và có thể đã được nói rằng, một phép tính là một hệ thống chính thức để lý …

13 terminology programming-languages lambda-calculus semantics operational-semantics

2

Làm thế nào mà từ từ sản xuất ra thế giới, cuối cùng lại trở thành một từ đồng nghĩa với từ "quy tắc" trong bối cảnh Khoa học máy tính?

Tôi đang nghiên cứu các ngôn ngữ chính thức và hệ thống cơ sở sản xuất (hệ thống cơ sở quy tắc) và tôi hơi bối rối về lý do tại sao hai từ "sản xuất" và "quy tắc" này có nghĩa giống nhau trong nhiều bối cảnh trong Khoa …

13 formal-languages terminology automata finite-automata formal-grammars

3

Bộ nhớ Θ (1) có nghĩa là gì?

Tôi có định nghĩa về thuật toán tại chỗ từ giáo sư, nhưng tôi không hiểu nó. Các thuật toán tại chỗ đề cập đến các thuật toán hoạt động với bộ nhớ Θ (1). Điều đó nghĩa là gì?

13 algorithms terminology landau-notation

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