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

Gần đây tôi đã trở nên cực kỳ quan tâm đến việc hiểu và chứng minh các khía cạnh của ngôn ngữ lập trình (chức năng). Tuy nhiên, khi tôi đi sâu hơn vào, những thứ như phép tính, lý thuyết phạm trù và ngữ nghĩa học biểu thị là …

15 reference-request  lambda-calculus  functional-programming  books 

Tôi tự học trợ lý bằng chứng và quyết định bắt đầu một số bằng chứng cơ bản và tiến lên. Vì các bằng chứng dựa trên các bằng chứng khác và do đó hình thành một hệ thống phân cấp, nên có một kho lưu trữ phân cấp các …

15 reference-request  logic  proof-assistants 

Tôi thường sử dụng ký hiệu cho chuỗi rỗng (từ trống hoặc chuỗi rỗng). Nhưng tôi biết một số người sử dụng λ thay vì ε .εε\varepsilonλλ\lambdaεε\varepsilon Tôi nghĩ có nguồn gốc từ chữ "Empty". Tuy nhiên tôi không biết nguồn gốc của những gì λ .εε\varepsilonλλ\lambda Trong lý thuyết …

14 formal-languages  automata  reference-request  notation  history 

Tôi đang tự hỏi, thuật toán nổi tiếng nhất, theo thuật ngữ Big- , để giải quyết Lập trình tuyến tính Integer là gì?OOO Tôi biết rằng vấn đề là -complete, vì vậy tôi không mong đợi bất cứ điều gì đa thức. Và tôi biết có rất nhiều phương …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Một sinh viên gần đây đã yêu cầu tôi kiểm tra bằng chứng độ cứng NP cho họ. Họ đã thực hiện giảm dọc theo dòng: Tôi giảm vấn đề này mà được biết đến là NP-đầy đủ cho vấn đề của tôi P (với một poly-thời gian giảm nhiều-one), …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

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 

Hãy để là một đồ thị, và để cho và là hai đỉnh của . Chúng ta có thể có hiệu quả lấy mẫu một ngắn nhất - con đường thống nhất và độc lập một cách ngẫu nhiên từ tập tất cả các con đường ngắn nhất giữa và …

14 graph-theory  reference-request  shortest-path  sampling 

Ai đó có thể giới thiệu cho tôi các bài báo đánh giá ngang hàng nghiên cứu các ưu điểm hoặc nhược điểm của việc viết mã theo kiểu chức năng không? Có bài báo nào thảo luận về các ứng dụng của Lambda Tính trong các lĩnh vực như …

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Tôi có một số câu hỏi liên quan về hai chủ đề này. Đầu tiên, hầu hết các văn bản phức tạp chỉ phủ bóng lên lớp NCNC\mathbb{NC} . Có một nguồn lực tốt bao gồm các nghiên cứu sâu hơn? Ví dụ, một cái gì đó thảo luận về …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Một ứng dụng cổ điển của phân chia và chinh phục là để giải quyết vấn đề sau: Cho một mảng gồm các phần tử riêng biệt, có thể so sánh, đếm số lượng cặp đảo ngược trong mảng: cặp sao cho và .i < ja[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]tôi < …

14 algorithms  reference-request  arrays 

Theo bài viết trên Wikipedia , chữ L trong có nghĩa là "quét từ trái sang phải" và "R" có nghĩa là "đạo hàm ngoài cùng bên phải". Tuy nhiên, trong bài viết gốc của Knuth về ngữ pháp L R ( k ) , ông định nghĩa L R …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Các thuật toán và cấu trúc dữ liệu bị lãng quên trong bộ nhớ cache là một điều khá mới, được giới thiệu bởi Frigo et al. trong các thuật toán lãng quên Cache, 1999 . Luận án của Prokop cùng năm cũng giới thiệu những ý tưởng ban đầu. …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

Vấn đề băng thông tối thiểu là tìm một thứ tự các nút đồ thị trên dòng số nguyên để giảm thiểu khoảng cách lớn nhất giữa hai nút liền kề. Vấn đề quyết định là NP-đầy đủ ngay cả đối với cây nhị phân. Kết quả phức tạp cho …

14 complexity-theory  np-complete  reference-request  approximation 

Tôi là một nam thanh niên 16 tuổi, gần đây đã được một người bạn của tôi tặng một cuốn bách khoa toàn thư lớn về khoa học máy tính. Tôi thường không hứng thú với máy tính và công nghệ, nhưng khoa học máy tính đã bắt đầu mê …

14 reference-request  education 

Tài liệu khá rõ ràng rằng RAM chi phí đơn vị với phép nhân nguyên thủy là không hợp lý, trong đó chúng không thể được mô phỏng bằng máy Turing trong thời gian đa thức có thể giải quyết các vấn đề hoàn chỉnh PSPACE trong thời gian đa …

13 complexity-theory  reference-request  computation-models  history