Khoa học máy tính

Để cho thùng (n)bin(n)\mbox{bin}(n) biểu thị biểu diễn nhị phân của một số nguyên nnn. Để choL = { thùng (n2) | N ∈ N }L={bin(n2)∣n∈N}L = \{ \mbox{bin}(n^2) \mid n \in \mathbb{N} \}. Là LLL một ngôn ngữ thông thường? Tôi nghĩ người ta có thể chứng minh rằng …

7 formal-languages  regular-languages 

Tôi đang thực hiện một số nghiên cứu về NFA và các vấn đề bao gồm với chúng. Tôi biết rằng nói chung, các vấn đề bao gồm và chuyển đổi thành NFA rõ ràng, đều hoàn toàn PSPACE. Tôi đang tự hỏi, có bất kỳ lớp con nào của …

7 complexity-theory  formal-languages  automata  finite-automata  nondeterminism 

Có lẽ có thể chứng minh rằng P ≠ NP, rằng các hàm một chiều tồn tại và các trò chơi chẵn lẻ không thể được giải quyết trong thời gian đa thức (vâng, tôi đã đọc qua danh sách này ), nhưng chúng ta sẽ làm thế nào để …

7 epistemology 

Ý tưởng về cây splay rất hay khi chúng di chuyển các phần tử thường xuyên truy cập lên trên cùng, điều này có thể tăng tốc đáng kể trong nhiều ứng dụng. Hạn chế là trong trường hợp xấu nhất, một hoạt động có thể cóO(n)O(n)O(n)phức tạp. (Mặc dù …

7 data-structures  binary-trees  search-trees  splay-trees 

Đây là câu hỏi tiếp theo của " Không phải tất cả các cây Đỏ-Đen đều cân bằng? " Và " Cây AVL không cân bằng trọng lượng? ". \def\le{\leqslant}\def\ge{\geqslant} Định nghĩa: Đối với cây gốc và đỉnh , hãy để là số nút trong cây con bên trái từ …

7 data-structures  search-trees 

Tôi đã thấy một số vấn đề là NP-hard nhưng có thể giải quyết đa thức theo chiều cố định. Tôi nghĩ, ví dụ, Knapsack là thời gian đa thức có thể giải được nếu số lượng vật phẩm là cố định và Lập trình tuyến tính Integer với số …

7 np-complete  optimization  decision-problem  linear-programming  parameterized-complexity 

Hãy xem xét các tuyên bố sau: đối với mọi , một trong các cách giữ sau: a&lt;b∈Na&lt;b∈Na < b \in \mathbb{N} gcd(a,b)=1gcd(a,b)=1\gcd(a,b) = 1 . có a&lt;x&lt;ba&lt;x&lt;ba < x < b sao cho gcd(a,x)=gcd(x,b)=1gcd(a,x)=gcd(x,b)=1\gcd(a,x) = \gcd(x,b) = 1 . có a&lt;x&lt;y&lt;ba&lt;x&lt;y&lt;ba < x < y < b sao cho …

7 number-theory 

Tôi quan tâm đến các thuật toán phân tán, đặc biệt là trong giao tiếp trong mạng với các lỗi. Tôi tìm kiếm bằng chứng về thuật toán giao tiếp ngẫu nhiên sau đây trong mạng với các lỗi. Đối với tôi có vẻ như kết quả rất chung trong …

7 algorithms  distributed-systems 

Làm thế nào để bạn chứng minh rằng ngôn ngữ của palindromes dài, tức là, L = { wwR| W ∈{ 0 , 1 }*}L= ={wwR|w∈{0,1}*}L=\left\{ ww^R \mid w\in \left\lbrace 0,1 \right\}^* \right\}, không thể được chấp nhận bởi một quyết định Đẩy xuống tự động? Có cách nào chung …

7 context-free  pushdown-automata 

Nếu tôi được đưa ra một biểu đồ tạo thành một cái cây, tôi muốn tìm một đỉnh tối đa hóa khoảng cách tối thiểu đến bất kỳ chiếc lá nào. Tôi chắc chắn vấn đề này đã được nghiên cứu trước đây. Có ai biết tên của vấn đề …

7 algorithms  graph-theory  reference-request  trees 

Điều này có thể là cơ bản với một số bạn, nhưng xin lỗi thiếu kinh nghiệm của tôi với comp. hình học: Cho một bộ nnn vòng tròn với các trung tâm (xi,yi)(xi,yi)(x_i, y_i) cho 1≤i≤n1≤i≤n1 \leq i \leq n và mỗi người có bán kính rrr. Cũng cho …

7 algorithms  computational-geometry 

Vấn đề tôi gặp phải giống như vấn đề đóng gói thùng này, nhưng thay vào đó tôi có thùng và một bộ sưu tập các mặt hàng với khối lượng riêng biệt. Tôi cần đặt ít nhất kg thứ vào mỗi thùng.nnnmmm Có một cách hiệu quả để làm …

7 algorithms  efficiency  packing 

Khi viết một công cụ quyết định cho một máy để xem liệu nó có di chuyển trái hay không trên đầu vào của w , người ta nói rằng nếu chúng ta tiếp tục tính toán cho| w | +N+ 1|w|+N+1|w|+N+1( : số trạng thái) số bước, chúng tôi …

7 computability  turing-machines 

Trong nhiều bài báo tôi đã đọc rằng ai cũng biết rằng entropy Shannon của một biến ngẫu nhiên có thể được chuyển đổi thành entropy tối thiểu (tối đa khoảng cách thống kê nhỏ) bằng cách lấy các bản sao của biến độc lập. Bất cứ ai có thể …

7 terminology  probability-theory  entropy 

Tôi có một vấn đề có thể được xem theo hai cách khác nhau: Tính một tích phân chiều, bối cảnh số. Lĩnh vực hội nhập là một chiều hyper-cube của bên L .nnnnnnLLL Đếm (chỉ đếm) gốc của nnn chiều (không phải đa thức). Chỉ cần giải quyết một …

7 algorithms  numerical-analysis  counting