Khoa học máy tính

Câu hỏi này sử dụng định nghĩa sau đây về cây nhị phân hoàn chỉnh † : Cây nhị phân TTT với NNN các cấp hoàn thành nếu tất cả các cấp ngoại trừ có thể là cấp cuối cùng hoàn toàn đầy đủ và cấp cuối cùng có tất …

7 data-structures  binary-trees 

Tôi đang tìm một xấp xỉ của ΘΘ\ThetaT( n ) = T( n - 1 ) + cn2T(n)= =T(n-1)+cn2T(n) = T(n-1) + cn^{2} Đây là những gì tôi có cho đến nay: T( n - 1 )T( n )T( n - 2 )T( n )T( n - 3 )T( n …

7 time-complexity  algorithm-analysis  proof-techniques  recurrence-relation 

Tôi đang làm việc trong sách giáo khoa Thuật toán CLRS phiên bản thứ 3 và trong Chương 3, một cuộc thảo luận bắt đầu về ký hiệu tiệm cận bắt đầu bằng ΘΘ\Thetaký hiệu. Tôi hiểu định nghĩa ban đầu của: Θ ( g( n ) ) = { …

7 terminology  asymptotics 

Định nghĩa: Đặt là một DAG không có vòng lặp và và là đồ thị.G=(V,E)G= =(V,E)G=(V,E)X⊆GX⊆GX \subseteq GY⊆GY⊆GY \subseteq G Input: . Đầu ra: Thành phần quan hệ Thành phần quan hệ trong .X,YX,YX,Y X∘YX∘YX \circ YO(|E||V|)O(|E||V|)\mathcal{O}(|E||V|) Trường hợp 1:. Hai vòng lặp cho và : Runtime .|E|≤|V||E|≤|V||E| \le |V|E(X)E(X)E(X)E(Y)E(Y)E(Y)≤O(|E|2)≤O(|E||V|)≤O(|E|2)≤O(|E||V|) …

7 algorithms  graph-theory  algorithm-analysis  check-my-algorithm 

Nếu là độ phức tạp Kolmogorov của chuỗi ,K(s)K(s)K(s)s∈{0,1}∗s∈{0,1}∗s \in \{0,1\}^* Chúng ta có thể chứng minh (hoặc từ chối) câu lệnh sau: "Mỗi chuỗi là tiền tố của một chuỗi không thể nén được, tức là với mỗi chuỗi tồn tại một chuỗi sao cho "? ssssssrrrK(sr)≥|sr|K(sr)≥|sr|K(sr) \geq |sr| …

7 computability  kolmogorov-complexity 

Entropy của Shannon [plog (1 / p)] cho hình ảnh là phương pháp xác suất để so sánh hai pixel hoặc một nhóm pixel. Giả sử hình ảnh có ma trận 3x3 có giá trị cường độ pixel 1 1 2 2 3 3 4 4 5 và một hình …

7 pattern-recognition  image-processing  entropy  computer-vision 

Khi chứng minh các định lý với phép tính chồng chất, chúng ta xử lý ba loại quy tắc: Tạo quy tắc: từ cặp mệnh đề A và B, tạo mệnh đề C mới trong khi vẫn giữ cặp gốc, ví dụ: chồng chất trong trường hợp chung. Quy tắc …

7 logic  automated-theorem-proving 

Khi học kỳ mới bắt đầu sớm, tôi quan tâm đến nghiên cứu về việc giảng dạy các khóa học lập trình giới thiệu. Tôi muốn cải thiện khóa học đại học của tôi và tôi đang tìm kiếm các bài báo khoa học về chủ đề đó. Một xu …

7 reference-request  education 

Có thể thiết kế một trình biên dịch tối ưu hóa một vòng lặp trong đó các mảng được truy cập theo cách khác không? Ví dụ như thế này: // int[] a,b int sum = 0; for(int i = 0; i < n; i++) { sum += a[i] + …

7 compilers  arrays  program-optimization  memory-management 

Nói rằng chúng tôi đã cho nnn bộ và quy mô của liên minh của họ là mmm. Chúng tôi muốn xây dựng một bộ nhỏ chứa ít nhấtkkk sau đó nnn bộ đã cho. Hãy cho rằng mmm ít hơn một số đa thức trong nnn, I E: m<P(n)m<P(n)m …

7 complexity-theory  np-complete  np-hard  polynomial-time 

Lớp phức tạp # P#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp được định nghĩa là # P ={f∣ ∃ đa thức thời gian NTM M ∀ x .f( x ) = #Chấp nhậnM( x ) }#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM⁡(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) = \#\operatorname{accept}_{M}(x)\} …

7 complexity-theory  turing-machines  closure-properties 

Mô tả vấn đề trừu tượng Theo cách tôi nhìn thấy, unparsing có nghĩa là tạo ra một luồng mã thông báo từ AST, khi được phân tích lại sẽ tạo ra một AST bằng nhau, tức là parse(unparse(AST)) = ASTnên giữ. Điều này tương đương với việc tìm một …

7 algorithms  compilers  parsers  attribute-grammars 

Có phải mã hóa Huffman luôn tối ưu vì nó sử dụng ý tưởng của Shanon? Điều gì về văn bản, hình ảnh, video, ... nén? Là chủ đề này vẫn còn hoạt động trong lĩnh vực này? Những tài liệu tham khảo cổ điển hoặc hiện đại tôi nên …

7 algorithms  information-theory  data-compression 

Tôi đang sử dụng cuốn sách Giới thiệu về Khoa học máy tính của John Zelle và ở cuối Chương 3 (Tính toán với các số), tôi được yêu cầu tìm thuật ngữ thứ n của chuỗi Fibonacci có lẽ sử dụng vòng lặp dứt khoát, vì không có quyết …

7 algorithms  imperative-programming 

Tôi hiện đang nghiên cứu cho luận án văn bằng của tôi về khoa học máy tính với một chủ đề trong lĩnh vực bảng băm phân tán. Đương nhiên, tôi đi đến câu hỏi là thuật ngữ bảng băm phân phối xuất phát từ. (Tôi biết rằng đó không …

7 data-structures  terminology  distributed-systems  hash-tables  history