Câu hỏi được gắn thẻ «proof-techniques»

3

Có một hệ thống đằng sau sự kỳ diệu của phân tích thuật toán?

Có rất nhiều thắc mắc về cách phân tích thời gian chạy của thuật toán (xem, ví dụ, thời gian chạy phân tích và thuật toán phân tích ). Nhiều người giống nhau, ví dụ, những người yêu cầu phân tích chi phí của các vòng lặp lồng nhau hoặc …

159 algorithms  algorithm-analysis  runtime-analysis  proof-techniques  reference-question 

---

11

Giải quyết hoặc xấp xỉ quan hệ lặp lại cho chuỗi số

Trong khoa học máy tính, chúng ta thường phải giải quyết các mối quan hệ lặp lại , đó là tìm một dạng đóng cho một dãy số được xác định đệ quy. Khi xem xét thời gian chạy, chúng tôi thường quan tâm chủ yếu đến sự tăng trưởng …

89 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

---

5

Làm thế nào để chứng minh rằng một ngôn ngữ không có ngữ cảnh?

Chúng tôi đã học về lớp ngôn ngữ không ngữ cảnh . Nó được đặc trưng bởi cả ngữ pháp không ngữ cảnh và tự động đẩy xuống, do đó dễ dàng cho thấy rằng một ngôn ngữ nhất định là không có ngữ cảnh.CFLCFL\mathrm{CFL} Làm thế nào để tôi …

88 formal-languages  context-free  proof-techniques  reference-question 

---

10

Làm thế nào để chứng minh rằng một ngôn ngữ không thường xuyên?

Chúng tôi đã học về lớp ngôn ngữ thông thường . Nó được đặc trưng bởi bất kỳ một khái niệm nào trong số các biểu thức chính quy, automata hữu hạn và ngữ pháp tuyến tính trái, vì vậy thật dễ dàng để chỉ ra rằng một ngôn ngữ …

75 formal-languages  regular-languages  proof-techniques  reference-question 

---

2

Coindtion là gì?

Tôi đã nghe nói về cảm ứng (cấu trúc). Nó cho phép bạn xây dựng các cấu trúc hữu hạn từ các cấu trúc nhỏ hơn và cung cấp cho bạn các nguyên tắc bằng chứng để suy luận về các cấu trúc đó. Ý tưởng là đủ rõ ràng. …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

---

8

Làm thế nào để chứng minh một ngôn ngữ là thường xuyên?

Có nhiều phương pháp để chứng minh rằng một ngôn ngữ không thường xuyên , nhưng tôi cần làm gì để chứng minh rằng một số ngôn ngữ là chính quy? Chẳng hạn, nếu tôi được cho rằng là thường xuyên, làm thế nào tôi có thể chứng minh rằng …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

---

2

Làm thế nào để chỉ ra rằng một hàm không tính toán được?

Tôi biết rằng có Turing Machine, nếu một chức năng có thể tính toán được. Vậy thì làm thế nào để chỉ ra rằng chức năng này không thể tính toán được hoặc không có Máy Turing nào cho việc đó. Có bất cứ điều gì như một bổ đề …

43 computability  proof-techniques  undecidability  reference-question 

---

4

Các kỹ thuật phổ biến để giảm các vấn đề với nhau là gì?

Trong lý thuyết tính toán và độ phức tạp (và có thể các lĩnh vực khác), việc cắt giảm có mặt khắp nơi. Có nhiều loại, nhưng nguyên tắc vẫn giống nhau: cho thấy một vấn đề ít nhất cũng khó như một số vấn đề khác L 2 bằng …

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

---

5

Bằng chứng là mã chết không thể được phát hiện bởi trình biên dịch

Tôi dự định dạy một khóa học mùa đông về một số chủ đề khác nhau, một trong số đó sẽ là trình biên dịch. Bây giờ, tôi đã gặp vấn đề này trong khi nghĩ về các bài tập để đưa ra trong suốt quý, nhưng nó đã làm …

32 computability  proof-techniques  compilers 

---

7

Có bằng chứng trực quan hơn về tính không ổn định của vấn đề tạm dừng hơn là đường chéo?

Tôi hiểu bằng chứng về tính không ổn định của vấn đề tạm dừng (ví dụ như trong sách giáo khoa của Papadimitriou), dựa trên đường chéo. Mặc dù bằng chứng rất thuyết phục (tôi hiểu từng bước của nó), nhưng nó không trực quan với tôi theo nghĩa là …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

---

3

Tại sao thuyết tương đối hóa là một rào cản?

Khi tôi đang giải thích bằng chứng Baker-Gill-Solovay rằng có tồn tại một lời sấm mà chúng ta có thể có, và một lời sấm truyền mà chúng ta có thể đưa P ≠ N P cho một người bạn, một câu hỏi được đặt ra là tại sao những …

29 complexity-theory  proof-techniques  p-vs-np  relativization 

---

2

Làm thế nào để chứng minh thuật toán tham lam là chính xác

Tôi có một thuật toán tham lam mà tôi nghi ngờ có thể đúng, nhưng tôi không chắc. Làm thế nào để tôi kiểm tra xem nó có đúng không? Các kỹ thuật để sử dụng để chứng minh một thuật toán tham lam chính xác là gì? Có các …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

---

2

Có bất kỳ vấn đề cụ thể nào được biết là không thể giải quyết được vì những lý do khác ngoài đường chéo, tự tham chiếu hoặc giảm khả năng không?

Mọi vấn đề không thể giải quyết mà tôi biết đều thuộc một trong các loại sau: Các vấn đề không thể giải quyết được do đường chéo (tự tham chiếu gián tiếp). Những vấn đề này, giống như vấn đề tạm dừng, là không thể giải quyết được vì …

28 computability  proof-techniques  undecidability 

---

2

Làm cách nào để tạo cấu trúc giảm giữa các vấn đề để chứng minh sự cố là NP-đầy đủ?

Tôi đang tham gia một khóa học phức tạp và tôi gặp rắc rối với việc giảm bớt giữa các vấn đề NPC. Làm thế nào tôi có thể tìm thấy giảm giữa các vấn đề? Có một mẹo chung mà tôi có thể sử dụng? Làm thế nào tôi …

27 complexity-theory  np-complete  proof-techniques  reductions 

---

2

Làm thế nào để chứng minh rằng một ngôn ngữ là không có ngữ cảnh?

Có nhiều kỹ thuật để chứng minh rằng một ngôn ngữ không có ngữ cảnh, nhưng làm cách nào để chứng minh rằng một ngôn ngữ không có ngữ cảnh? Có những kỹ thuật nào để chứng minh điều này? Rõ ràng, một cách là thể hiện một ngữ pháp …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

---