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

Tôi đang tìm kiếm: Michael O. Rabin, "Mức độ khó của việc tính toán một hàm và sắp xếp một phần các tập đệ quy", Đại học Do Thái, Jerusalem, 1960 Tóm lược: Chúng tôi cố gắng đo lượng công việc vốn có trong nhiệm vụ tính toán một hàm …

13 cc.complexity-theory  reference-request  ho.history-overview 

Đối với hàm Boolean , ảnh hưởng của biến thứ được định nghĩa là trong đó x ^ {\ oplus i} là chuỗi thu được bằng cách lật bit thứ i của x . Ảnh hưởng tối thiểu của f là \ operatorname {MinInf} [f] \ stackrel {\ rm def} …

13 reference-request  pr.probability  boolean-functions 

Vì tôi quan tâm đến các trình phân tích cú pháp (chủ yếu là các ngữ pháp biểu thức của trình phân tích cú pháp), tôi tự hỏi liệu có một số công việc đưa ra cách xử lý phân tích phân tích. Bất kỳ tài liệu tham khảo về …

13 reference-request  functional-programming  ct.category-theory  parsing 

Trong khi viết một bài đăng nhỏ về sự phức tạp của các trò chơi điện tử Nibbler và Snake ; Tôi thấy rằng cả hai đều có thể được mô hình hóa như các vấn đề cấu hình lại trên đồ thị phẳng; và dường như các vấn đề …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

Trong vấn đề mở rộng, chúng tôi được cung cấp một phần của giải pháp và chúng tôi muốn quyết định xem chúng tôi có thể mở rộng nó thành một giải pháp hoàn chỉnh hay không. Một số vấn đề về khả năng mở rộng có thể giải quyết …

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Lý lịch: Độ phức tạp của cây quyết định hoặc độ phức tạp của truy vấn là một mô hình tính toán đơn giản được xác định như sau. Đặt là hàm Boolean. Độ phức tạp truy vấn xác định của , ký hiệu là , là số bit tối …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

Người ta biết rằng sự phức tạp của việc phân biệt một đồng xu thiên vị với một đồng tiền công bằng là . Có kết quả nào để phân biệt đồng xu đồng xu không? Tôi có thể thấy rằng trong trường hợp đặc biệt của , độ phức …

13 reference-request  time-complexity 

Tôi đã giảm được vấn đề phân vùng sau cho một vấn đề lập lịch nhất định: Đầu vào: Danh sách của các số nguyên dương theo thứ tự không giảm.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Câu hỏi: Có tồn tại một vectơ sao cho(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n k ∑ i = 1 a i x i …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

Trong khi đọc các câu hỏi ví dụ nơi sự độc đáo của giải pháp làm cho nó dễ dàng hơn để tìm thấy , một (? Dễ dàng hơn) câu hỏi mới lóe lên trong óc tôi: thực sự chúng tôi không biết nếu (phép đẳng cấu đồ thị …

13 reference-request  graph-isomorphism 

Được biết nếu vấn đề đánh giá mạch có trong không? Làm thế nào về (thống nhất )? N C 1 A L o g T i m e N C 1NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Chúng ta biết rằng các mạch có độ sâu có thể được đánh giá bằng các mạch có …

13 cc.complexity-theory  reference-request  circuit-complexity 

Tôi muốn định nghĩa một khái niệm "gần gũi" giữa hai ngôn ngữ thông thường của các từ hữu hạn trong (và / hoặc các từ vô hạn trong ). Ý tưởng cơ bản là chúng tôi muốn hai ngôn ngữ gần nhau nếu chúng không khác nhau bởi nhiều …

13 reference-request  fl.formal-languages  regular-language 

Động lực: Một đồng tác giả chỉnh sửa một bản thảo và tôi muốn xem một bản tóm tắt rõ ràng về các chỉnh sửa. Tất cả các công cụ giống như "diff" có xu hướng vô dụng nếu bạn vừa di chuyển văn bản xung quanh (ví dụ: tổ …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

Dễ dàng thấy rằng nếu thì có tổng số các vấn đề tìm kiếm không thể giải quyết trong thời gian đa thức (tạo ra một vấn đề tìm kiếm tổng thể bằng cách có cả các nhân chứng cho tư cách thành viên và các nhân chứng cho việc …

13 cc.complexity-theory  reference-request  search-problem 

Dường như với tôi, các chuyên gia khai thác dữ liệu / học máy đã quen thuộc với P và NP, nhưng hiếm khi nói về một số lớp phức tạp tinh vi hơn (ví dụ NC, BPP hoặc IP) và ý nghĩa của chúng để phân tích dữ liệu …

13 cc.complexity-theory  reference-request  machine-learning 

Có cuốn sách nào gần đây về Thuật toán trực tuyến không? Tôi chỉ biết hai cuốn sách về chủ đề này. Tính toán trực tuyến và phân tích cạnh tranh của Allan Borodin và Ran El-Yaniv: Đây là một cuốn sách cổ điển nhưng cũ và không chứa nhiều …

13 reference-request  big-list  online-algorithms