Khoa học máy tính

Tôi biết điều đó thật ngớ ngẩn, nhưng tôi đã tự làm mình bối rối và tôi cần sự giúp đỡ để giải quyết chuyện này Giả sử , sau đó rõ ràng cho mỗi oracle Một chúng tôi có P Một = N P A mà mâu thuẫn với …

11 complexity-theory  p-vs-np  oracle-machines 

Tôi đang cố gắng tái tạo các mạng tổng hợp (đồ thị) được mô tả trong một số bài báo. Người ta nói rằng mô hình Barabasi-Albert đã được sử dụng để tạo ra "các mạng không có quy mô với các phân phối mức độ luật pháp, ".PMột( k …

11 algorithms  graph-theory  graphs  randomness  sampling 

Có phải sự tồn tại của các vấn đề không thể giải quyết được ngay lập tức ngụ ý không thể dự đoán được của các hệ thống vật lý? Chúng ta hãy xem xét vấn đề tạm dừng, đầu tiên chúng ta xây dựng một UTM vật lý, giả …

11 computability  turing-machines  undecidability  physics 

Tôi đã đọc được rằng các hệ điều hành như Android và iOS bằng cách nào đó được tối ưu hóa để cải thiện thời lượng pin. Tôi hiểu rằng CPU thực hiện một số hoạt động nhất định trong một thời gian nhất định, vì vậy tôi nghĩ rằng …

11 computer-architecture  operating-systems  performance  program-optimization 

Tôi đang xem Giải tích công trình và vị trí của nó trong Lambda Cube . Nếu tôi hiểu chính xác, mỗi trục của khối lập phương có thể được coi là thêm một hoạt động khác liên quan đến các loại vào phép tính được gõ đơn giản, λ→λ→\lambda_\to …

11 terminology  lambda-calculus  type-theory  dependent-types 

Trong trường hợp đồ thị không được gắn nhãn, vấn đề đẳng cấu đồ thị có thể được giải quyết bằng một số thuật toán thực hiện rất tốt trong thực tế. Đó là, mặc dù thời gian chạy trường hợp xấu nhất là theo cấp số nhân, người ta …

11 algorithms  graph-theory  graph-isomorphism 

Đặt là một số vấn đề đếm được biết là # -Complete .ΠΠ\PiPPP Có phải nó ngụ ý rằng là -hard (tức là không có PTAS cho vấn đề tồn tại trừ khi )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Tôi tự hỏi liệu có bất kỳ vấn đề -hard nào là "đa thức" trong trường hợp trung bình không. Tôi nghĩ có hai cách để giải thích điều này?NPNPNP Nếu , có thể có một thuật toán giải quyết vấn đề -hard với thời gian chạy được khấu hao …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Thuật toán xấp xỉ bicriteria là gì? Điều này tiếp tục đến trong trường hợp phân cụm luồng dữ liệu. Điều này có liên quan đến tối ưu hóa đa mục tiêu? Đây là nơi tôi đã bắt gặp nó: cis.upenn.edu/~sudipto/myauge/datastream.pdf. Bài viết nói về một phiên bản phát trực …

11 optimization  approximation 

Tôi đang tìm kiếm một cấu trúc dữ liệu liên tục tương tự như mảng (nhưng không thay đổi), cho phép lập chỉ mục nhanh, nối thêm, trả trước và lặp lại (địa phương tốt). Clojure cung cấp Vector liên tục, nhưng nó chỉ để nối nhanh. Scala's Vector có …

11 data-structures  functional-programming  persistent-data-structure 

Trong vấn đề trạm xăng chúng tôi được cho thành phố { 0 , ... , n - 1 } và đường giữa chúng. Mỗi con đường có chiều dài và mỗi thành phố xác định giá của nhiên liệu. Một đơn vị đường có giá một đơn vị nhiên …

11 algorithms  graphs  recurrence-relation 

Bạn có thể cho tôi một số gợi ý về một cuốn sách giới thiệu tốt (nhưng toàn diện) về Logic và tính toán không? Một số chủ đề mờ mà tôi có trong tâm trí là: Presih artihm., PA, ZF, ZFC, HOL Đặt lý thuyết, lý thuyết loại Mô …

11 reference-request  logic  books 

Có bao nhiêu phép toán số học được yêu cầu để tìm ma trận giả giả Moore Moore Penrose của một trường tùy ý? Nếu ma trận có thể đảo ngược và có giá trị phức tạp, thì đó chỉ là nghịch đảo. Tìm nghịch đảo mất O(nω)O(nω)O(n^\omega) thời gian, …

11 algorithms  linear-algebra 

Đây là một loại câu hỏi khoảng cách chỉnh sửa, và rất dễ dàng. Tôi khá là chết não về chủ đề này và không thể tìm ra nó cho đến nay. Cho một loạt các số, ví dụ [3, 1, 1, 1] Làm thế nào một cách hiệu quả …

11 algorithms  optimization 

Tôi đã thấy các máy turing ong được đại diện với băng vô hạn theo một, và theo hai hướng. Có sự khác biệt nào về sức mạnh của những cỗ máy bảo vệ như vậy không, hay về cơ bản chúng có tương đương nhau không? Trong đầu tôi …

11 turing-machines