Khoa học máy tính reference-question

6

Tôi đã là một mọt sách máy tính trong nhiều năm. Tôi có thể lập trình bằng một vài ngôn ngữ và thậm chí tôi có thể xây dựng chúng. Tôi đã ngồi xuống với một người bạn vào hôm nọ và hỏi làm thế nào một máy tính thực …

40 computer-architecture education reference-question

6

Sắp xếp các chức năng theo sự tăng trưởng tiệm cận

Giả sử tôi có một danh sách các chức năng, ví dụ nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Làm thế nào để tôi sắp xếp chúng không có triệu chứng, tức là sau khi mối quan hệ được xác định bởi f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff …

35 asymptotics landau-notation reference-question

7

Làm thế nào để máy tính xác định xem một số nhỏ hơn hoặc lớn hơn số khác?

Nghe có vẻ giống như một câu hỏi ngu ngốc nhưng tôi thực sự tò mò muốn biết làm thế nào một máy tính biết rằng ? Ngoài ra, làm thế nào để một máy tính biết rằng thứ tự của số nguyên là và bảng chữ cái là A, …

34 computer-architecture reference-question

4

Làm thế nào để O và Ω liên quan đến trường hợp xấu nhất và tốt nhất?

Hôm nay chúng tôi đã thảo luận trong một bài giảng một thuật toán rất đơn giản để tìm một phần tử trong một mảng được sắp xếp bằng cách sử dụng tìm kiếm nhị phân . Chúng tôi được yêu cầu xác định độ phức tạp tiệm cận của …

33 algorithm-analysis asymptotics landau-notation reference-question

2

Làm thế nào để chứng minh rằng một ngôn ngữ là không có ngữ cảnh?

Có nhiều kỹ thuật để chứng minh rằng một ngôn ngữ không có ngữ cảnh, nhưng làm cách nào để chứng minh rằng một ngôn ngữ không có ngữ cảnh? Có những kỹ thuật nào để chứng minh điều này? Rõ ràng, một cách là thể hiện một ngữ pháp …

26 formal-languages context-free formal-grammars proof-techniques reference-question

1

Làm thế nào để chỉ ra rằng L = L (G)?

Chỉ định ngôn ngữ chính thức bằng cách đưa ra các ngữ pháp chính thức là một nhiệm vụ thường xuyên: chúng ta cần ngữ pháp không chỉ để mô tả các ngôn ngữ, mà còn để phân tích chúng, hoặc thậm chí làm khoa học thích hợp . Trong …

22 formal-languages formal-grammars proof-techniques reference-question

1

Làm cách nào để viết một bằng chứng sử dụng cảm ứng trên độ dài của chuỗi đầu vào?

Trong khóa học Lý thuyết tính toán của tôi, rất nhiều vấn đề của chúng tôi liên quan đến việc sử dụng cảm ứng trên độ dài của chuỗi đầu vào để chứng minh các tuyên bố về automata hữu hạn. Tôi hiểu cảm ứng toán học, tuy nhiên khi …

20 automata finite-automata proof-techniques reference-question induction

1

Có gì sai với chứng minh bổ đề bơm của tôi?

Ngôn ngữ rõ ràng là thông thường - ví dụ: nó phù hợp với biểu thức chính quy . Nhưng đối số bổ đề bơm sau đây dường như cho thấy nó không thường xuyên. Có chuyện gì vậy?L={02n | n≥0}L={02n | n≥0}L = \{0^{2n} \space |\space n \ge 0 …

8 formal-languages regular-languages proof-techniques pumping-lemma reference-question

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