Khoa học máy tính

Tại sao một công ty như Twitter sẽ quan tâm đến các khái niệm đại số như các nhóm, đơn sắc và nhẫn? Xem kho lưu trữ của họ tại github: twitter / aloltird . Tất cả những gì tôi có thể tìm thấy là: Việc triển khai Monoids cho …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

Ý tưởng này xảy ra với tôi khi còn bé học lập trình và lần đầu tiên gặp PRNG. Tôi vẫn không biết nó thực tế như thế nào, nhưng bây giờ có trao đổi ngăn xếp. Đây là sơ đồ của một đứa trẻ 14 tuổi cho một thuật …

38 information-theory  randomness  data-compression  pseudo-random-generators  entropy 

Giả sử một máy tính có đồng hồ chính xác không được khởi tạo. Đó là, thời gian trên đồng hồ của máy tính là thời gian thực cộng với một số bù không đổi. Máy tính có kết nối mạng và chúng tôi muốn sử dụng kết nối đó …

38 clocks  distributed-systems  computer-networks 

Độ phức tạp của thuật toán được thiết kế để độc lập với các chi tiết cấp thấp hơn nhưng nó dựa trên một mô hình bắt buộc, ví dụ truy cập mảng và sửa đổi một nút trong cây mất thời gian O (1). Đây không phải là trường …

38 algorithm-analysis  runtime-analysis  computation-models  functional-programming 

Giả sử một chương trình được viết bằng hai ngôn ngữ riêng biệt, hãy để chúng là ngôn ngữ X và ngôn ngữ Y, nếu trình biên dịch của chúng tạo ra cùng một mã byte, tại sao tôi nên sử dụng ngôn ngữ X thay vì ngôn ngữ Y? …

38 programming-languages  compilers 

Tôi biết cách viết mã cho các giai thừa bằng cách sử dụng cả lặp và đệ quy (ví n * factorial(n-1)dụ: ví dụ). Tôi đọc trong sách giáo khoa (không được đưa ra bất kỳ lời giải thích nào nữa) rằng có một cách mã hóa thậm chí còn …

38 algorithms  efficiency  arithmetic 

Tóm tắt: Theo định lý của Rice, mọi thứ đều không thể. Tuy nhiên, tôi làm điều này được cho là không thể mọi lúc! Tất nhiên, định lý của Rice không chỉ đơn giản nói "mọi thứ đều không thể". Nó nói một cái gì đó cụ thể hơn: …

37 terminology  computability  undecidability  rice-theorem 

Tôi hiện đang đọc một cuốn sách (và rất nhiều wikipedia) về vật lý lượng tử và tôi vẫn chưa hiểu làm thế nào một máy tính lượng tử có thể nhanh hơn các máy tính chúng ta có ngày nay. Làm thế nào một máy tính lượng tử có …

37 quantum-computing 

Chúng ta hãy gọi một ngôn ngữ xác định ngôn ngữ không ngữ cảnh nếu và chỉ khi nó có thể được chấp nhận bởi một máy tự động đẩy xuống xác định, và không khác biệt. Chúng ta hãy gọi một ngôn ngữ không có ngữ cảnh vốn đã …

36 formal-languages  automata  formal-grammars  pushdown-automata 

Tôi đã đọc ở nhiều nơi rằng một số vấn đề rất khó để ước tính (đó là NP-hard để ước tính chúng). Nhưng xấp xỉ không phải là vấn đề quyết định: câu trả lời là số thực chứ không phải Có hoặc Không. Ngoài ra, đối với mỗi …

36 complexity-theory  time-complexity  np-hard  approximation 

Một lời xin lỗi có thể là do hỏi một câu hỏi khác về điều kiện tiên quyết, nhưng tôi đã nhầm lẫn về điểm bắt đầu. Tôi đã bắt gặp nhiều thuật ngữ khác nhau như "Logic phương thức", "Logic tạm thời", "Logic thứ tự đầu tiên", "Logic bậc …

36 logic  mathematical-foundations 

Điều gì sẽ là phần giới thiệu tốt nhất cho các ý tưởng của Per Martin-Löfs về lý thuyết loại? Tôi đã xem một số bài giảng từ trường hè Oregon PL, nhưng tôi vẫn còn bối rối với câu hỏi sau đây: Một loại là gì? Tôi biết một …

36 logic  type-theory 

Tôi hiểu rằng "cấu trúc" dữ liệu hoàn toàn phụ thuộc vào Đại số Boolean, nhưng: Tại sao dữ liệu được coi là một thực thể toán học rời rạc chứ không phải là một thực thể liên tục? Liên quan đến điều này: Những hạn chế hoặc bất biến, …

35 data-structures  mathematical-foundations 

Giả sử tôi có một danh sách các chức năng, ví dụ nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Làm thế nào để tôi sắp xếp chúng không có triệu chứng, tức là sau khi mối quan hệ được xác định bởi f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff …

35 asymptotics  landau-notation  reference-question 

Tôi đã xem xét toán học đằng sau việc chuyển đổi từ bất kỳ cơ sở nào sang bất kỳ cơ sở nào. Đây là nhiều hơn về việc xác nhận kết quả của tôi hơn bất cứ điều gì. Tôi đã tìm thấy những gì dường như là câu …

35 algorithms  arithmetic  number-formats