Khoa học máy tính

Ở đây tôi đọc rằng: Haskell chắc chắn không có hệ thống loại tiên tiến nhất (thậm chí không đóng nếu bạn đếm ngôn ngữ nghiên cứu) nhưng trong số tất cả các ngôn ngữ thực sự được sử dụng trong sản xuất, Haskell có thể đứng đầu. Vì vậy, …

14 programming-languages  type-theory 

Tôi biết đây là một câu hỏi rất phổ biến. Nhưng tôi có một góc nhìn khác trong tâm trí. Tôi sẽ chỉ cố gắng nói rõ ở đây. Từ những gì tôi biết, mọi lệnh mà CPU thực thi, đều bằng ngôn ngữ máy và tất cả CPU có …

14 computer-architecture  cpu 

Để đo độ phức tạp của một thuật toán, đó là độ phức tạp thời gian, hay độ phức tạp tính toán? sự khác biệt giữa chúng là gì? Tôi đã sử dụng để tính số lượng tối đa (tệ nhất) của hoạt động cơ bản (tốn kém nhất) trong …

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

Tôi đang cố gắng tìm hiểu bằng chứng của định lý Karp-Lipton như đã nêu trong cuốn sách "Độ phức tạp tính toán: Cách tiếp cận hiện đại" (2009). Cụ thể, cuốn sách này nêu rõ như sau: Định lý Karp-Lipton Nếu NP , thì PH .P ∖ p o …

14 complexity-theory  complexity-classes 

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 

Các ngôn ngữ như là dưới nhiều mức giảm một. Thật là tầm thường khi thấy rằng cũng có vấn đề hoàn chỉnh. S. Schmitz [1] xem xét một số lớp nằm giữa và . Họ trình bày các vấn đề hoàn chỉnh cho các lớp này theo các mức …

14 computability  reductions  turing-completeness  recursion-theory 

vd: xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) ? Các biểu thức là từ đại số trung học phổ thông, nhưng bị giới hạn trong phép cộng và nhân số học (ví dụ 2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 ), không có nghịch đảo, trừ hoặc chia. Chữ cái là biến. Nếu nó giúp, chúng ta có thể cấm bất …

14 complexity-theory  time-complexity  decision-problem 

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 

Một hạt nhân thực hiện tất cả các trình điều khiển như các chương trình không gian người dùng và thực hiện các tính năng cốt lõi như IPC trong chính hạt nhân. Tuy nhiên, một hạt nhân nguyên khối thực hiện các trình điều khiển như là một phần …

14 operating-systems  performance  os-kernel 

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 

Tôi đã tham gia một lớp học thuật toán trên Coursera. Giáo sư trong video về bảng băm nói rằng Điều đúng là đối với dữ liệu phi bệnh lý, bạn sẽ có được các hoạt động thời gian liên tục trong một bảng băm được triển khai đúng cách. …

14 hash-tables 

Giả sử tôi muốn xây dựng một hệ điều hành dựa trên hạt nhân bản địa rất nhỏ hoạt động như một trình thông dịch / thời gian chạy mã được quản lý và một hạt nhân phía trên lớn hơn được biên dịch sang ngôn ngữ máy không bản …

14 operating-systems  type-checking  interpreters  os-kernel 

Giả sử tôi đã có một tàu mặt nước tự trị chạy bằng năng lượng mặt trời ở đâu đó trong các vịnh hẹp của Na Uy, được cung cấp một bộ bản đồ khá gần đây, máy thu GPS và không có phương tiện nào liên kết các lệnh …

14 artificial-intelligence  search-algorithms 

Tôi đang đọc về thuật toán gõ Hindley-Milner trong khi viết một triển khai và thấy rằng, miễn là mọi biến bị ràng buộc, bạn sẽ luôn nhận được các loại nguyên tử hoặc các loại trong đó các đối số sẽ xác định loại cuối cùng, chẳng hạn như …

14 lambda-calculus  type-theory  typing  type-inference 

Với một bảng chữ cái Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , có bao nhiêu khác nhau thường xuyên ngôn ngữ đang có có thể được chấp nhận bởi một -state automaton hữu hạn không xác định?nnn Ví dụ, chúng ta hãy xem xét . Sau đó, chúng tôi có cấu …

14 formal-languages  regular-languages  finite-automata  combinatorics