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

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ìm số lượng so sánh ít nhất cần thiết để sắp xếp (thứ tự) năm yếu tố và đưa ra thuật toán sắp xếp các yếu tố này bằng cách sử dụng số lượng so sánh này. Giải pháp : Có 5! = 120 kết quả có thể xảy ra. …

22 algorithms  sorting  lower-bounds 

Điều này được lấy cảm hứng từ một câu hỏi phỏng vấn . Chúng tôi đang đưa ra một mảng các số nguyên a1,…,ana1,…,ana_1, \dots, a_n và phải xác định xem có khác biệt i<j<ki<j<ki \lt j \lt k đến nỗi ak−aj=aj−aiak−aj=aj−aia_k - a_j = a_j - a_i k−j=j−ik−j=j−ik - …

20 algorithms  complexity-theory  lower-bounds 

Trong phép nhân ma trận của Strassen, chúng tôi nêu một thực tế kỳ lạ (ít nhất là với tôi) rằng phép nhân ma trận của hai 2 x 2 mất 7 phép nhân. Câu hỏi: Làm thế nào để chứng minh rằng không thể nhân hai ma trận 2 …

19 algorithms  complexity-theory  lower-bounds 

Tôi đang tìm kiếm các ví dụ về vấn đề có giới hạn dưới của ) cho đầu vào . xΩ ( | x |2Ω(|x|2\Omega(|x|^2xxx Vấn đề cần phải có các thuộc tính sau: Ω ( n2)Ω(n2)\Omega(n^2)Bằng chứng thời gian chạy cho bất kỳ thuật toán nào - ưu tiên …

19 complexity-theory  turing-machines  time-complexity  lower-bounds 

Vấn đề cắt là những vấn đề trong đó một đối tượng lớn nhất định nên được cắt thành nhiều đối tượng nhỏ. Ví dụ, hãy tưởng tượng bạn có một nhà máy làm việc với tấm lớn của thủy tinh thô, chiều rộng và chiều dài . Có một …

18 reference-request  computational-geometry  lower-bounds  packing 

Giả sử chúng ta đã cho hai số và và chúng ta muốn tìm cho .r max ( i ⊕ j )lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Thuật toán ngây thơ chỉ đơn giản là kiểm tra tất cả các cặp có thể; ví dụ trong ruby ​​chúng ta sẽ có: def …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Trong câu hỏi này về đếm ngược , tôi tìm thấy một bài báo chứng minh giới hạn thấp hơn về độ phức tạp không gian cho tất cả các thuật toán phát trực tuyến (chính xác) . Tôi đã tuyên bố rằng ràng buộc này mở rộng cho tất …

14 algorithms  streaming-algorithm  simulation  lower-bounds 

Có một thuật toán lựa chọn trường hợp xấu nhất được biết đến để tìm phần tử lớn thứ k trong một mảng các số nguyên. Nó sử dụng cách tiếp cận trung bình để tìm một trục đủ tốt, phân vùng mảng đầu vào tại chỗ và sau đó …

11 algorithms  algorithm-analysis  space-complexity  lower-bounds 

Tại nơi làm việc, tôi được giao nhiệm vụ suy luận một số thông tin về ngôn ngữ động. Tôi viết lại các chuỗi các câu lệnh thành các letbiểu thức lồng nhau , như vậy: return x; Z => x var x; Z => let x = undefined in …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Tôi có một bộ điểm được xác định trong một không gian số liệu - vì vậy tôi có thể đo 'khoảng cách' giữa các điểm nhưng không có gì khác. Tôi muốn tìm điểm trung tâm nhất trong tập hợp này, mà tôi xác định là điểm có tổng …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

Theo hiểu biết của tôi, không tồn tại thuật toán trường hợp xấu nhất để giải quyết vấn đề sau:O(n)O(n)O(n) Cho một chuỗi có độ dài bao gồm các số nguyên hữu hạn, tìm hoán vị trong đó mọi phần tử nhỏ hơn hoặc bằng với phần tử kế của …

9 complexity-theory  sorting  computation-models  lower-bounds 

Hãy xem xét vấn đề sau: Đầu vào : liệt kê của số nguyênX, YX,YX,Y Mục tiêu : xác định xem có tồn tại một số nguyên trong cả hai danh sách hay không.xxx Giả sử cả hai danh sách đều có kích thước . Có một thuật toán xác …

9 algorithms  complexity-theory  lower-bounds 

Vấn đề tương đương tiền tố có thể được định nghĩa như sau. Bạn được cung cấp một chuỗi có độ dài n và ban đầu mỗi ký tự là 0 . Sau đó, bạn muốn xây dựng một cấu trúc dữ liệu có thể hỗ trợ các bản cập …

8 algorithms  algorithm-analysis  search-algorithms  lower-bounds 

Tôi đã cho n đối tượng và một tập hợp n hoán vị của n đối tượng này (trong tổng số n! Hoán vị). Có một hoán vị cơ bản thực sự, mà tôi biết là một trong số các hoán vị n, nhưng tôi không biết cái nào. Một …

8 complexity-theory  lower-bounds  search-problem  permutations