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

Vấn đề của tôi là làm thế nào tôi có thể chứng minh rằng một ngữ pháp không rõ ràng? Tôi có ngữ pháp sau: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then …

25 context-free  formal-grammars  proof-techniques  ambiguity 

Với bất kỳ vấn đề tính toán nào, liệu nhiệm vụ tìm giới hạn thấp hơn cho tính toán như vậy có thực sự khả thi? Tôi cho rằng nó tập trung vào cách xác định một bước tính toán duy nhất và mô hình nào chúng ta sử dụng …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

Tôi có hai cách để tạo một danh sách các mục theo thứ tự ngẫu nhiên và muốn xác định xem chúng có công bằng như nhau không (không thiên vị). Phương pháp đầu tiên tôi sử dụng là xây dựng toàn bộ danh sách các phần tử và sau …

24 algorithms  proof-techniques  randomized-algorithms  correctness-proof  randomness 

Logic xây dựng là một hệ thống loại bỏ Định luật trung gian bị loại trừ, cũng như phủ định kép, như các tiên đề. Nó được mô tả trên Wikipedia ở đây và ở đây . Cụ thể, hệ thống không cho phép chứng minh bằng mâu thuẫn. Tôi …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

Chỉ định ngôn ngữ chính thức bằng cách đưa ra các ngữ pháp chính thức là một nhiệm vụ thường xuyên: chúng ta cần ngữ pháp không chỉ để mô tả các ngôn ngữ, mà còn để phân tích chúng, hoặc thậm chí làm khoa học thích hợp . Trong …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Trong toán học, có nhiều bằng chứng tồn tại không mang tính xây dựng, vì vậy chúng ta biết rằng một đối tượng nào đó tồn tại mặc dù chúng ta không biết cách tìm ra nó. Tôi đang tìm kiếm kết quả tương tự trong khoa học máy tính. …

21 algorithms  proof-techniques 

Tôi đang tìm kiếm lời giải thích về cách người ta có thể chứng minh rằng hai mô hình tính toán là tương đương nhau. Tôi đã đọc sách về chủ đề này ngoại trừ bằng chứng tương đương bị bỏ qua. Tôi có một ý tưởng cơ bản về …

21 proof-techniques  computation-models  simulation 

Trong khóa học Lý thuyết tính toán của tôi, rất nhiều vấn đề của chúng tôi liên quan đến việc sử dụng cảm ứng trên độ dài của chuỗi đầu vào để chứng minh các tuyên bố về automata hữu hạn. Tôi hiểu cảm ứng toán học, tuy nhiên khi …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Định lý Master là một công cụ tuyệt vời để giải quyết các loại tái phát nhất định . Tuy nhiên, chúng tôi thường phủ bóng lên một phần không thể thiếu khi áp dụng nó. Ví dụ, trong quá trình phân tích Mergesort, chúng tôi vui vẻ đi từ …

20 asymptotics  proof-techniques  recurrence-relation  master-theorem 

Có một phương pháp chung để giải quyết sự tái phát của mẫu: T(n)=T(n−nc)+T(nc)+f(n)T(n)=T(n−nc)+T(nc)+f(n)T(n) = T(n-n^c) + T(n^c) + f(n) cho c&lt;1c&lt;1c < 1 , hoặc nói chung hơn T(n)=T(n−g(n))+T(r(n))+f(n)T(n)=T(n−g(n))+T(r(n))+f(n)T(n) = T(n-g(n)) + T(r(n)) + f(n) Trong đó là một số hàm tuyến tính phụ của .g(n),r(n)g(n),r(n)g(n),r(n)nnn Cập nhật : …

20 proof-techniques  recurrence-relation 

Trước khi đọc Nghệ thuật lập trình máy tính (TAOCP) , tôi chưa xem xét sâu những câu hỏi này. Tôi sẽ sử dụng mã giả để mô tả các thuật toán, hiểu chúng và ước tính thời gian chạy chỉ về các đơn hàng tăng trưởng. Các TAOCP triệt …

20 algorithms  proof-techniques  runtime-analysis 

Cho một ngôn ngữ thông thường , sau đó nó rất dễ dàng để chứng minh rằng có một hằng số N như vậy có nghĩa là σ ∈ L , với | σ | ≥ N có tồn tại chuỗi alpha , β và γ như vậy | alpha …

18 formal-languages  proof-techniques 

Các lý thuyết hiện sinh của đồng Real là trong pspace , nhưng tôi không biết cho dù đó là pspace-Complete . Nếu tôi tin rằng đó không phải là trường hợp, làm thế nào tôi có thể chứng minh điều đó? Tổng quát hơn, với một vấn đề trong …

18 complexity-theory  proof-techniques 

Có kỹ thuật chung nào để chứng minh một vấn đề KHÔNG phải là NP-Complete không? Tôi nhận được câu hỏi này trong bài kiểm tra yêu cầu tôi chỉ ra liệu một số vấn đề (xem bên dưới) là NP-Complete. Tôi không thể nghĩ ra bất kỳ giải pháp …

17 complexity-theory  np-complete  proof-techniques 

Tôi đang cố chứng minh rằng một cây nhị phân có nnn nút có nhiều nhất là ⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceillá. Làm thế nào tôi sẽ đi về làm điều này với cảm ứng? Đối với những người đã theo dõi trong câu hỏi ban đầu về đống, nó đã được …

14 data-structures  binary-trees  combinatorics  graph-theory  proof-techniques