Khoa học máy tính

Tôi cần tạo một thuật toán đệ quy để xem cây nhị phân có phải là cây tìm kiếm nhị phân không cũng như đếm xem có bao nhiêu nhánh hoàn chỉnh (một nút cha có cả hai nút con trái và phải) với biến đếm toàn cục giả định. …

10 algorithms  recursion  trees 

Trong một bộ dò tia Whited, mỗi giao điểm của vật thể tia sinh ra một tia truyền (nếu vật đó trong mờ), một tia phản xạ và một tia bóng. Các tia bóng đóng góp thành phần chiếu sáng trực tiếp. Nhưng điều gì xảy ra nếu tia sáng …

10 graphics 

Tôi có vấn đề thuật toán sau: Xác định độ phức tạp Turing của việc nhận dạng các chuỗi DNA là các palindromes Watson-Crick. Watson-Crick palindromes là các chuỗi có bổ sung đảo ngược là chuỗi ban đầu. Phần bù được định nghĩa là chữ cái, lấy cảm hứng từ …

10 algorithms  algorithm-analysis  turing-machines  space-complexity 

Trong lý thuyết mã hóa, 'mã tốt như thế nào' có nghĩa là có thể sửa được bao nhiêu lỗi kênh hoặc tốt hơn là đặt mức nhiễu tối đa mà mã có thể xử lý. Để có được mã tốt hơn, các mã được thiết kế bằng bảng chữ …

10 information-theory  coding-theory 

Tôi hiện đang làm việc để hiểu việc sử dụng ràng buộc Cheeger và bất bình đẳng của Cheeger, và việc sử dụng chúng để phân vùng quang phổ, độ dẫn, mở rộng, v.v., nhưng tôi vẫn đấu tranh để bắt đầu một trực giác về giá trị bản địa …

10 graph-theory  adjacency-matrix 

Định nghĩa của P là một ngôn ngữ có thể được quyết định bởi thuật toán thời gian đa thức. Định nghĩa của P / poly có thể được hiểu là một ngôn ngữ có thể được quyết định bởi một mạch có kích thước đa thức (xem http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). …

10 complexity-theory  time-complexity  circuits 

Trên thực tế tôi thấy rằng tập hợp các Ngôn ngữ nhạy cảm theo ngữ cảnh, ( ngôn ngữ được chấp nhận) không được thảo luận rộng rãi như (ngôn ngữ thông thường) hoặc (ngôn ngữ không ngữ cảnh). Và cũng là vấn đề mở không nổi tiếng như vấn …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Có phải "Định lý của Rice đối với các thực thể tính toán" - nghĩa là, không có thuộc tính không cần thiết nào của số được biểu thị bằng một thực tế tính toán nhất định là có thể quyết định - có đúng không? Điều này có tương …

10 computability  real-numbers  computable-analysis 

Từ đọc của tôi, có vẻ như hầu hết các ngữ pháp đều quan tâm đến việc tạo ra một số lượng chuỗi vô hạn. Điều gì nếu bạn làm việc theo cách khác? Nếu được cung cấp n chuỗi có độ dài m, có thể tạo ra một ngữ …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

Wikipedia cho biết liên kết theo thứ hạng mà không nén đường dẫn tạo ra độ phức tạp thời gian được khấu hao của và cả liên kết theo nén và xếp hạng đường dẫn tạo ra độ phức tạp thời gian được khấu hao của (trong đó là nghịch …

10 complexity-theory  time-complexity  union-find 

Tôi biết rằng các ngôn ngữ có thể được xác định bằng cách sử dụng các biểu thức chính quy và các ngôn ngữ có thể nhận ra bởi DFA / NFA (automata hữu hạn) là tương đương. Ngoài ra, không có DFA tồn tại cho ngôn ngữ . Nhưng …

10 formal-languages  regular-languages  regular-expressions 

Tôi đang cố gắng hiểu cách phân bổ Slab hoạt động và tại sao nó khác hoặc tốt hơn so với phân trang thông thường. Tôi tìm thấy sơ đồ này mà tôi tin rằng sẽ hữu ích nếu nó có nhiều lời giải thích hơn. Vài câu hỏi: Các …

10 operating-systems  paging  memory-allocation 

Trong khi cố gắng cải thiện hiệu suất của lớp phát hiện va chạm của mình, tôi thấy rằng ~ 80% thời gian dành cho gpu, nó dành cho các điều kiện nếu / khác chỉ cố gắng tìm ra giới hạn cho các thùng mà nó sẽ lặp lại. …

10 computer-architecture  parallel-computing 

Số tự nhiên được xác định theo quy nạp là (sử dụng cú pháp Coq làm ví dụ) Inductive nat: Set := | O: nat | S: nat -> nat. Có cách nào chuẩn để xác định số nguyên (và có thể các tập hợp khác như số hữu tỷ …

10 arithmetic  dependent-types  coq 

Tôi hiểu rằng cây phân khúc có thể được sử dụng để tìm tổng của mảng con của . Và điều này có thể được thực hiện trong thời gian theo hướng dẫn ở đây .AAAO(logn)O(log⁡n)\mathcal{O}(\log n) Tuy nhiên tôi không thể chứng minh rằng thời gian truy vấn thực …

10 data-structures  runtime-analysis  search-trees  intervals