Khoa học máy tính

Thật không may, nền tảng của tôi về độ phức tạp tính toán vẫn còn yếu, nhưng tôi đang nghiên cứu nó. Theo tôi hiểu, câu hỏi về sự tồn tại của các hàm một chiều là rất quan trọng trong lĩnh vực này. Giả sử có các hàm một …

7 complexity-theory  cryptography  one-way-functions 

Một trong những bài giảng của tôi đưa ra tuyên bố sau: (f(n)=O(n)∧f(n)≠o(n))⟹f(n)=Θ(n)(f(n)=O(n)∧f(n)≠o(n))⟹f(n)=Θ(n)( f(n)=O(n) \land f(n)\neq o(n) )\implies f(n)=\Theta(n) Có thể tôi thiếu một cái gì đó trong các định nghĩa, nhưng ví dụ sắp xếp bong bóng là chứ không phải nhưng nó cũng không phải là vì đây …

7 asymptotics  landau-notation 

Tôi đang làm việc trên một hệ thống loại và gặp phải một vấn đề có vẻ giống với tổ tiên chung thấp nhất. Đưa ra hai loại, tôi cần tìm chuỗi chuyển đổi nhỏ nhất sẽ dẫn đến cùng loại mục tiêu. Nếu tôi có một loại cây đơn …

7 algorithms  graphs 

Định nghĩa: Một bất biến được bảo toàn của một máy trạng thái là một vị ngữ,PPP, trên các tiểu bang, như vậy bất cứ khi nào P(q)P(q)P(q) đúng với một trạng thái qqqvà q→rq→rq \rightarrow r đối với một số tiểu bang rrr, sau đó P(r)P(r)P(r) giữ Định nghĩa: …

7 algorithms  algorithm-analysis  sorting  correctness-proof 

Tôi đã suy nghĩ về cách tự nhiên có thể tính toán một cách hiệu quả các vấn đề vô lý (ví dụ NP) một cách dễ dàng. Ví dụ, một hệ lượng tử đòi hỏi một2n2n2^n vectơ phần tử để biểu diễn trạng thái, trong đó nnnchỉ là số …

7 complexity-theory  quantum-computing 

Giả sử là hàm một chiều. Thế còn , trong đó và ?f(x)f(x)f(x)h(x)=f(x1)⊕f(x2)h(x)=f(x1)⊕f(x2)h(x)=f(x_1) \, \oplus \,f(x_2)x=x1||x2x=x1||x2x=x_1 || x_2|x1|=|x2||x1|=|x2|\lvert x_1 \rvert = \lvert x_2\rvert ⊕⊕\oplus là phân biệt độc quyền (xor) ||||||là ghép |u||u||u|là chiều dài củauuu

7 cryptography  one-way-functions 

Tôi không biết nhiều về yacc, bison, flex hoặc lex và vui lòng sửa cho tôi nếu tôi sai nhưng ngôn ngữ lập trình cũng là máy Turing và máy Turing được định nghĩa là tuple trong đó , , , làm đầu vào, là hàm chuyển đổi trong đó …

7 turing-machines  formal-grammars  programming-languages  computation-models 

Đây là một cái gì đó từ "Cú pháp và ngữ nghĩa của ngôn ngữ lập trình" của Slonneger: Một biến có thể xảy ra cả ràng buộc và tự do trong cùng một biểu thức lambda: ví dụ: trong x.yλy.yx sự xuất hiện đầu tiên của y là miễn …

7 lambda-calculus 

Tôi nghĩ rằng một nửa trận chiến trong việc trả lời câu hỏi này nằm ở việc xây dựng nó một cách chính xác! Một công cụ tìm kiếm không bật lên nhiều, vì vậy tôi đã tự hỏi liệu đây là một câu hỏi nổi tiếng hay được nghiên …

7 complexity-theory  reference-request  turing-machines  combinatorics 

Từ http://rjlipton.wordpress.com/2009/05/27/arithatures-hierarchy-and-pnp/ , Xác định, là máy Turing xác định hoạt động như sau trên đầu vào . Máy xử lý như một chương trình xác định và mô phỏng trên đầu vào . Đồng thời, máy chạy bộ đếm dừng thực thi sau các bước . Nếu máy chấp …

7 complexity-theory  circuits 

Tôi đang cố gắng giải quyết vấn đề này . Vấn đề : Đưa rannn số nguyên dương, nhiệm vụ của bạn là chọn số nguyên tối đa để không có hai số a,ba,ba, b trong đó aaa chia hết cho bbb. Tôi phải tìm bộ độc lập tối đa …

7 algorithms  graph-theory  bipartite-matching 

Có ai có thể giúp cho việc này không: L={aibj∣i,j≥0 and i≠2j}L={aibj∣i,j≥0 and i≠2j}L=\{a^ib^j \mid i,j \ge 0 \text{ and } i \ne 2j\} Tôi đang cố gắng viết một ngữ pháp cho ngôn ngữ này? Tôi không biết làm thế nào để làm điều này. Tôi đã thử điều …

7 formal-languages  context-free  formal-grammars 

Tôi đang xem cuốn sách giáo khoa của tôi ở đây từ Michael Sipser và anh ấy nói rằng một máy Turing không xác định là một người quyết định nếu tất cả các nhánh tính toán của nó dừng lại trên tất cả các đầu vào. Tôi nghĩ rằng …

7 turing-machines  nondeterminism 

Tôi đang học lớp Coursera trên các trình biên dịch và trong bài học về từ vựng, có gợi ý rằng có một sự đánh đổi không gian thời gian giữa việc sử dụng máy tự động hữu hạn không xác định (NFA) và máy tự động hữu hạn xác …

7 finite-automata  compilers  efficiency  nondeterminism  lexical-analysis 

Làm thế nào để tìm một tối thiểu cục bộ của một cây nhị phân hoàn chỉnh? Hãy xem xét một nnn-node cây nhị phân hoàn chỉnh TTT, Ở đâu n=2d−1n=2d−1n = 2^d − 1đối với một số . Mỗi nút được gắn nhãn với một số thực . Bạn …

7 terminology  graphs  binary-trees