Khoa học máy tính

Vì vậy, tôi đã gãi đầu về vấn đề này trong một vài ngày nay. Cho một số ngôn ngữ AAA và là chính quy, cho thấy rằng ngôn ngữ bao gồm tất cả các chuỗi trong có độ dài bằng một số chuỗi trong là ngôn ngữ thông thường.L …

8 formal-languages  regular-languages  finite-automata  proof-techniques  closure-properties 

Giả sử tôi đã tìm thấy thuật toán xấp xỉ 2 cho một vấn đề nhất định và tôi muốn chỉ ra rằng phân tích này chặt chẽ. Bây giờ tôi có cần đưa ra một ví dụ về kích thước chung hay không, liệu nó có đủ để cho …

8 algorithms  proof-techniques  approximation 

Từ, các bằng chứng bằng phương pháp xác suất thường được cho là không mang tính xây dựng. Tuy nhiên, một bằng chứng bằng phương pháp xác suất thực sự thiết kế một thuật toán ngẫu nhiên và sử dụng nó để chứng minh sự tồn tại. Trích dẫn từ …

8 algorithms  terminology  randomized-algorithms 

Tôi đã cố gắng thực hiện thuật toán của Brzozowski nhưng tôi mới phát hiện ra rằng nó tạo ra tự động dưới mức tối ưu cho một loại đầu vào nhất định, có thêm một trạng thái so với những gì thực sự cần thiết trong kết quả. Tôi …

8 algorithms  automata  finite-automata 

Nguồn gốc của câu hỏi này đến từ một khóa học đại học mà tôi đang tham gia, bao gồm phần giới thiệu về phân tích các thuật toán. Đây không phải là bài tập về nhà, mà là một câu hỏi được hỏi trong CLRS. Bạn có một máy …

8 algorithms  algorithm-analysis  runtime-analysis  mathematical-analysis 

Cho một đồ thị có hướng và hai đỉnh S và T riêng biệt, có thuật toán thời gian đa thức tìm mọi đỉnh nằm trên ít nhất một đường đơn giản từ S đến T không? Không khó để tìm thấy tất cả các đỉnh là cả hai thành …

8 algorithms  graph-theory  graphs 

Tôi có một khu rừng, tức là các nút có các cạnh được định hướng và không có chu kỳ (có hướng hoặc không được định hướng). Tôi xác định chiều cao của đỉnh là 0 nếu nó không có bất kỳ cạnh nào hoặc số cạnh tối đa để …

8 algorithms  trees  graph-traversal 

Điều đó có nghĩa là gì khi một đối số cho hàm được gọi là đối số giả ? Tôi chưa gặp thuật ngữ này ngoài Fortran, nó có phải là một thuật ngữ chung trong khoa học máy tính không? Điều gì sẽ là ví dụ về các đối …

8 terminology  programming-languages  functional-programming 

Giả sử là một lời tiên tri cho một vấn đề trong , nhưng tôi không thể gọi lời tiên tri này với bất kỳ trường hợp đầu vào nào. Thay vào đó, bất cứ khi nào tôi gọi tôi được trả về một thể hiện và giải pháp ngẫu …

8 complexity-theory  np-complete 

Hãy nói rằng tôi có một biểu đồvới các cạnh . Tôi muốn chạy BFS trên có thời gian chạy .|G||G||G||E|=O(V2)|E|=O(V2)|E|=O(V^2)GGGO(V+E)O(V+E)O(V+E) Cảm thấy tự nhiên khi viết rằng thời gian chạy trên biểu đồ này sẽ là và sau đó đơn giản hóa thành .O(O(V2)+V)O(O(V2)+V)O(O(V^2)+V)O(V2)O(V2)O(V^2) Có bất kỳ cạm bẫy …

8 terminology  asymptotics  landau-notation 

Tôi sắp triển khai một ngôn ngữ cụ thể theo miền để thể hiện các quy ước học tập xã hội. Một phần của việc thực hiện là một mô tả chính thức của một ngôn ngữ - 'tính toán', biểu tượng và biểu thức logic của nó. Cách tiếp …

8 formal-languages  programming-languages  semantics 

Đối với phương pháp phân nhánh, điều cần thiết là phải biết nhiều khía cạnh của các đa giác được tạo ra bởi vấn đề. Tuy nhiên, hiện tại đây là một trong những vấn đề khó khăn nhất để thực sự tính toán tất cả các khía cạnh của …

8 algorithms  optimization  linear-programming  mathematical-programming  traveling-salesman 

Giả sử bạn có đầu vào boolean và bạn được cung cấp một ngưỡng . Bạn cần xây dựng một mạch boolean để đánh giá là đúng nếu ít nhất của các đầu vào đúng. Bạn có thể sử dụng cổng AND, OR, NOT hoặc XOR (giới hạn ở hai …

8 complexity-theory  circuits 

Chứng tỏ rằng không thường xuyênL={an2|n≥0}L={an2|n≥0}L=\{a^{n^2} | n \geq 0\} Này các cậu. Tôi đang tham gia một lớp CS và những thứ này thực sự mới đối với tôi vì vậy hãy kiên nhẫn với tôi. Tôi đã cố gắng xem xét nếu tôi nhận được một số mâu …

8 regular-languages  pumping-lemma 

Nếu chúng tôi cho rằng chúng tôi bắt đầu bằng một thể hiện của kkk -SAT và thử chuyển đổi vấn đề sang một thể hiện của (k+m)(k+m)(k+m) -SAT, trong đó có (k+m)(k+m)(k+m) đen cho mỗi mệnh đề, chúng tôi có thể đảm bảo giảm bớt tổng số mệnh đề? …

8 complexity-theory  logic  satisfiability