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

Tôi đã nhận thấy rằng tôi thấy việc viết ra các bằng chứng toán học dễ dàng hơn rất nhiều mà không mắc lỗi nào, hơn là viết ra một chương trình máy tính không có lỗi. Có vẻ như đây là một cái gì đó phổ biến hơn là …

190 correctness-proof  mathematical-foundations  philosophy 

Để thử kiểm tra xem thuật toán cho một số vấn đề có chính xác hay không, điểm khởi đầu thông thường là thử chạy thuật toán bằng tay trên một số trường hợp thử nghiệm đơn giản - thử một vài trường hợp ví dụ, bao gồm một vài …

105 algorithms  algorithm-analysis  education  correctness-proof  didactics 

Tôi có một thuật toán tham lam mà tôi nghi ngờ có thể đúng, nhưng tôi không chắc. Làm thế nào để tôi kiểm tra xem nó có đúng không? Các kỹ thuật để sử dụng để chứng minh một thuật toán tham lam chính xác là gì? Có các …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

Tôi có hai cách để tạo một danh sách các mục theo thứ tự ngẫu nhiên và muốn xác định xem chúng có công bằng như nhau không (không thiên vị). Phương pháp đầu tiên tôi sử dụng là xây dựng toàn bộ danh sách các phần tử và sau …

24 algorithms  proof-techniques  randomized-algorithms  correctness-proof  randomness 

Giống như lỗ đen trong khoa học máy tính. Chúng ta chỉ có thể biết chúng tồn tại nhưng khi chúng ta có một trong số chúng, chúng ta sẽ không bao giờ biết đó là một trong số chúng.

23 halting-problem  correctness-proof 

Chúng tôi có logic Hoare. Tại sao vẫn có khả năng thuật toán đúng nhưng không có bằng chứng nào cho thấy nó đúng? Giả sử thuật toán được biểu thị bằng C. Sau đó, chúng ta có thể lập luận từng bước rằng nó đang làm những gì nó …

18 correctness-proof  hoare-logic 

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 

Bằng chứng này là một bằng chứng bằng cảm ứng, và đi như sau: P (n) là khẳng định rằng "Quicksort sắp xếp chính xác mọi mảng đầu vào có độ dài n." Trường hợp cơ sở: mọi mảng đầu vào có độ dài 1 đã được sắp xếp (P …

10 correctness-proof  induction  quicksort 

Trên Wikipedia , một triển khai cho sơ đồ lập trình động từ dưới lên cho khoảng cách chỉnh sửa được đưa ra. Nó không hoàn toàn theo định nghĩa; các tế bào bên trong được tính toán như vậy: if s[i] = t[j] then d[i, j] := d[i-1, j-1] …

10 algorithms  dynamic-programming  string-metrics  correctness-proof  program-optimization 

Ban đầu về math.SE nhưng chưa được trả lời. Hãy xem xét các thuật toán sau. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; …

10 algorithms  loop-invariants  correctness-proof 

Về vấn đề lỗi Heartbleed, Bruce Schneier đã viết trong Crypto-Gram ngày 15 tháng 4: '"Thảm họa" là từ đúng. Trên thang điểm từ 1 đến 10, đây là 11. ' Tôi đã đọc cách đây vài năm rằng một hạt nhân của một hệ điều hành nhất định đã …

9 cryptography  correctness-proof  security  software-verification  program-correctness 

Đưa ra một chương trình bao gồm các biến và hướng dẫn sửa đổi các biến này và nguyên thủy đồng bộ hóa (màn hình, mutex, khóa của java hoặc khóa C #), liệu có thể chứng minh rằng chương trình đó là an toàn cho luồng không? Thậm chí …

9 proof-techniques  correctness-proof  concurrency  threads 

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Với một vô hướng, kết nối, đồ thị có trọng số nơi là hàm trọng lượng và kéo dài tối thiểu cây (MST) của . Bây giờ chúng ta giảm trọng lượng bằng của một cạnh mà không thuộc về . G=(V,E,w)G=(V,E,w)G = (V,E,w)wwww:E→Rw:E→Rw: E \to \mathbb{R}TTTGGGkkkeeeTTT Cách cập nhật …

8 algorithms  graph-theory  correctness-proof  weighted-graphs  minimum-spanning-tree 

Tôi xin lỗi vì tiêu đề dài, nhưng tôi thực sự không biết cách viết nó khác biệt mà không thiếu thông tin về nội dung. Gần đây tôi đã có một kỳ thi đại học về Thuật toán song song. Một bài tập yêu cầu tôi viết một thuật …

7 algorithms  algorithm-analysis  correctness-proof