Khoa học máy tính

Với tham chiếu đến các tính năng trong các ngôn ngữ như ruby ​​(và javascript), cho phép lập trình viên mở rộng / ghi đè các lớp bất cứ lúc nào sau khi xác định nó (bao gồm các lớp như String), về mặt lý thuyết có thể thiết kế …

15 programming-languages  semantics 

Tôi đã hỏi câu hỏi này tại stackoverflow chung và tôi được hướng dẫn ở đây. Sẽ thật tuyệt nếu ai đó có thể giải thích cách tiếp cận các vấn đề đồ thị một phần hoặc hoàn toàn động nói chung. Ví dụ: Tìm đường đi ngắn nhất giữa …

15 algorithms  data-structures  graphs 

Tôi có một cây (theo nghĩa lý thuyết đồ thị), chẳng hạn như ví dụ sau: Đây là một cây được định hướng với một nút bắt đầu (gốc) và nhiều nút kết thúc (các lá). Mỗi cạnh có một chiều dài được gán cho nó. Câu hỏi của tôi …

15 algorithms  graphs 

Thật không may, tôi vẫn không quá mạnh mẽ để hiểu Thuật toán quét dòng . Tất cả các bài viết và sách giáo khoa về chủ đề này đã được đọc, tuy nhiên sự hiểu biết vẫn còn rất xa. Để làm cho nó rõ ràng hơn, tôi cố …

15 algorithms  computational-geometry 

Cổng logic là một thiết bị trừu tượng có thể được thực hiện với rơle điện từ, ống chân không hoặc bóng bán dẫn. Những triển khai này đã thành công trong điện toán một phần vì các tính chất khác nhau của tính chuỗi, độ bền và kích thước …

15 computer-architecture  didactics 

Đây là một câu hỏi tiếp theo của câu hỏi này . Trong một câu hỏi trước đây về các máy trạng thái kỳ lạ , Alex ten Brink và Raphael đã đề cập đến khả năng tính toán của một loại máy trạng thái đặc biệt: min-heap automata. Họ …

15 formal-languages  automata  nondeterminism 

Khi đặt các đối tượng hình học trong một góc phần tư (hoặc octree), bạn có thể đặt các đối tượng lớn hơn một nút theo một số cách: Đặt tham chiếu của đối tượng trong mỗi lá mà nó được chứa Đặt tham chiếu của đối tượng vào nút …

15 graphics  data-structures  computational-geometry 

Có bằng chứng nào cho thấy rằng thời gian dành cho việc viết lên, hoặc suy nghĩ về các yêu cầu sẽ có bất kỳ ảnh hưởng nào đến thời gian phát triển không? Nghiên cứu được thực hiện bởi Standish (1995) cho thấy rằng các yêu cầu không đầy …

15 software-engineering 

Có một đặc tính đại số của số lượng từ có độ dài nhất định trong một ngôn ngữ thông thường? Wikipedia nêu một kết quả không chính xác: Đối với bất kỳ ngôn ngữ thông thường LLL nào tồn tại hằng số λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_k và đa thứcp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\,\ldots,\,p_k(x) như vậy mà …

15 formal-languages  regular-languages  word-combinatorics 

Một tập hợp có thể đếm được nếu nó có một mệnh đề với các số tự nhiên và có thể tính toán được (ce) nếu có một thuật toán liệt kê các thành viên của nó. Bất kỳ tập hợp vô hạn tính toán hữu hạn nào cũng phải …

15 computability  semi-decidability 

xorcổng, bây giờ tôi cần xây dựng cổng này chỉ bằng 4 nandcổng a b out 0 0 0 0 1 1 1 0 1 1 1 0 các xor = (a and not b) or (not a and b), đó là A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Tôi biết câu trả lời nhưng làm …

15 logic  boolean-algebra 

Tôi đang cố gắng che giấu bằng chứng NP-đầy đủ dường như xoay quanh SAT / 3CNF-SAT. Có thể đó là giờ muộn nhưng tôi sợ rằng tôi không thể nghĩ ra một công thức 3CNF không thể thỏa mãn (có lẽ tôi đang thiếu một cái gì đó rõ …

15 logic  satisfiability  3-sat 

Từ những gì tôi đã học được ràng buộc chặt chẽ không có triệu chứng có nghĩa là nó bị ràng buộc từ bên trên và bên dưới như trong ký hiệu theta. Nhưng giới hạn trên không chặt chẽ có ý nghĩa gì đối với ký hiệu Big-O?

15 asymptotics 

Tại sao chúng ta sử dụng các cơ sở khác không phải là nhị phân (đối với máy tính) cũng không phải là số thập phân (đối với con người)? Máy tính cuối cùng đại diện cho chúng trong nhị phân, và con người rất thích nhận được biểu diễn …

15 numeral-representations 

Vấn đề Clique là một vấn đề -complete nổi tiếng trong đó kích thước của cụm được yêu cầu là một phần của đầu vào. Tuy nhiên, bài toán k-clique có thuật toán thời gian đa thức tầm thường ( khi không đổi). Tôi quan tâm đến giới hạn trên …

15 complexity-theory  graph-theory