Khoa học máy tính

Q & A cho sinh viên, nhà nghiên cứu và thực hành khoa học máy tính

2
Automaton cho khớp chuỗi con
Với như là một chuỗi trên một số bảng chữ cái, các thuật toán nổi tiếng nhất để tính toán một xác định automaton hữu hạn nhà nước tương ứng (DFA) chấp nhận bất kỳ chuỗi chứa là những gì ?ssssss Tôi chủ yếu quan tâm đến độ phức tạp …
1
Sự khác nhau giữa các sự kiện cơ bản, phức tạp và thuật ngữ trong Cơ sở tri thức sử dụng Logic bậc nhất
Tôi đã đọc cuốn sách xuất sắc về kiến ​​thức và lý luận của Ronald Brachman và Hector Levesque. Ở đầu mục 3.2 "Từ vựng" của Chương 3 "Thể hiện kiến ​​thức", họ nêu: Khi tạo KB (Cơ sở tri thức), bạn nên bắt đầu với tập hợp các biến …
1
Số lượng người tham gia lý tưởng để đánh giá phương pháp tiếp cận phát triển / kiến ​​trúc phần mềm
Đối với luận án của tôi, tôi đã tạo ra một cách tiếp cận phát triển (bao gồm các lược đồ, mẫu ứng dụng và mã nguyên mẫu) để giúp phát triển và điều chỉnh các ứng dụng cho một nền tảng cụ thể dễ dàng hơn. Tôi đã thực …
1
Công thức đa giác lồi
Chúng tôi có một danh sách sắp xếp các độ dài bên có thể được sử dụng để tạo thành một đa giác. Có giá trị như vậy ( ).nnnn ≤ 1000n≤1000n \le 1000 Bây giờ chúng ta cần tìm xem chúng ta có thể sử dụng bất kỳ 10 …
1
?
Rõ ràng là bất kỳ ngôn ngữ trong EXPEXPEXPEXP\mathsf{EXP}^{\mathsf{EXP}} có thể được tính trong 2EXP=DTime(22poly(n))2EXP=DTime(22poly(n))\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}}). Câu hỏi của tôi là liệu điều ngược lại có đúng không: 2EXP⊆EXPEXP2EXP⊆EXPEXP\mathsf{2EXP} \subseteq \mathsf{EXP}^{\mathsf{EXP}}?
2
Biến thể của Omega và Omega vô cùng
Một số tác giả định nghĩa theo một cách hơi khác: chúng ta hãy sử dụng (đọc omega omega vô cực) cho định nghĩa thay thế này. Chúng tôi nói rằng nếu tồn tại hằng số dương sao cho cho vô số số nguyên , trong khi thông thường yêu …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.