Khoa học máy tính

Một cách để xem các biểu thức chính quy là bằng chứng mang tính xây dựng của thực tế sau: có thể xây dựng các ngôn ngữ thông thường bằng cách bắt đầu với một nhóm ngôn ngữ nhỏ và kết hợp chúng thông qua một tập hợp các thuộc …

10 formal-languages  context-free  closure-properties  regular-expressions 

Tôi đang làm việc với một thuật toán khớp mẫu để tạo ra một máy tự động trạng thái hữu hạn theo chu kỳ chấp nhận một chuỗi văn bản nhất định và tất cả các chuỗi con của nó. Thuật toán FSA đang được chạy trên một biểu tượng …

10 formal-languages  reference-request  finite-automata 

Tôi đã đọc nó ở nhiều nơi như thế này , rằng siêu phân luồng dẫn đến suy giảm hiệu suất. Tôi không thể hiểu tại sao hoặc làm thế nào siêu phân luồng dẫn đến suy thoái. Tại sao ngay cả khi Hyper-threading cho phép HĐH sử dụng các …

10 computer-architecture  performance  threads 

Bạn có gậy có độ dài tùy ý, không nhất thiết phải tích phân.nnn Bằng cách cắt một số que (một vết cắt cắt một que, nhưng chúng ta có thể cắt thường xuyên như chúng ta muốn), bạn muốn có được gậy như vậy:k&lt;nk&lt;nk<n Tất cả các que này …

10 algorithms  optimization 

Ai đó có thể khai sáng cho tôi lý do tại sao một trình phân tích cú pháp gốc đệ quy với quay lui thử các sản phẩm và (theo thứ tự đó) không nhận ra ngôn ngữ được tạo bởi ngữ pháp .S→ một SmộtS→mộtSmộtS \rightarrow aSaS→ một mộtS→mộtmộtS …

10 context-free  formal-grammars  compilers  parsers 

Cho hai ký hiệu và b , hãy xác định chuỗi Fib- k thứ k như sau:aa\text{a}bb\text{b}kkk F(k)=⎧⎩⎨baF(k−1)⋆F(k−2)if k=0if k=1elseF(k)={bif k=0aif k=1F(k−1)⋆F(k−2)else F(k) = \begin{cases} \text{b} &\mbox{if } k = 0 \\ \text{a} &\mbox{if } k = 1 \\ F(k-1) \star F(k-2) &\mbox{else} \end{cases} với biểu thị chuỗi nối.⋆⋆\star Do …

10 algorithms  algorithm-analysis  runtime-analysis  strings  substrings 

Trong vấn đề tạm dừng, chúng tôi quan tâm nếu có máy Turing có thể cho biết liệu máy Turing đã cho M có dừng hay không trên đầu vào i đã cho . Thông thường, bằng chứng bắt đầu giả sử T như vậy tồn tại. Sau đó, chúng …

10 computability  undecidability  halting-problem 

Cho hai số nguyên và trong biểu diễn nhị phân, độ phức tạp của việc tính toán kích thước bit của gì?n x nxxxnnnxnxnx^n Một cách để làm như vậy là tính toán bằng cách tính xấp xỉ với độ chính xác đủ. Dường như tính toán với bit của …

10 complexity-theory  time-complexity  binary-arithmetic 

Nếu thì hệ thống phân cấp sụp đổ xuống cấp thứ hai (theo định lý Karp-Lipton). Nhưng còn N P và c o N P thì sao?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Tôi đã cố gắng chứng minh rằng được chứa trong N P (hướng khác là tầm thường nếu …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Một mối quan hệ tương đương trên một tập đỉnh hữu hạn có thể được biểu diễn bằng một đồ thị vô hướng là sự kết hợp rời rạc của các cụm. Tập đỉnh biểu thị các phần tử và một cạnh biểu thị rằng hai phần tử là tương …

10 algorithms  graph-theory  clique 

Có một trò chơi giải đố cổ điển rất giống với trò chơi ô chữ, ngoại trừ một danh sách các từ được đưa ra và sau đó một bảng vuông được tạo thành từ các ô vuông đơn vị được đưa ra, với một số ô vuông được bôi …

10 complexity-theory  np-complete  board-games 

Để suy luận về những thứ như tính đầy đủ của NP, chúng tôi thường sử dụng các mức giảm nhiều người (nghĩa là giảm Karp). Điều này dẫn đến hình ảnh như thế này: (theo phỏng đoán tiêu chuẩn). Tôi chắc rằng tất cả chúng ta đều quen thuộc …

10 complexity-theory  reductions  complexity-classes 

Giả sử tôi cung cấp cho bạn một biểu đồ vô hướng với các cạnh có trọng số và cho bạn biết rằng mỗi nút tương ứng với một điểm trong không gian 3d. Bất cứ khi nào có một cạnh giữa hai nút, trọng lượng của cạnh là khoảng …

10 complexity-theory  graph-theory  computational-geometry  euclidean-distance 

Theo Peter Selinger , The Lambda Compus là Đại số (PDF). Đầu bài viết này, ông nói: Việc giải thích combinatory của giải tích lambda được biết đến là không hoàn hảo, bởi vì nó không đáp ứng các -rule: dưới sự giải thích, không bao hàm \ lambda xM …

10 terminology  lambda-calculus  combinatory-logic 

Điểm nổi hiện tại (ANSI C float, double) cho phép biểu thị xấp xỉ một số thực. Có cách nào để biểu diễn số thực mà không có lỗi không? Đây là một ý tưởng tôi có, đó là bất cứ điều gì nhưng hoàn hảo. Ví dụ: 1/3 là …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats