Khoa học máy tính

Hãy xem xét chương trình máy tính rất đơn giản sau đây: for i = 1 to n: y[i] = x[p[i]] Ở đây và y là mảng n- byte của byte và p là mảng n -element của từ. Ở đây n là lớn, ví dụ, n = 2 31 …

18 parallel-computing  cpu-cache  memory-hardware 

Tôi mới tham gia diễn đàn này và chỉ là một nhà vật lý làm điều này để giữ cho bộ não của anh ấy trong hình dạng, vì vậy xin vui lòng thể hiện sự duyên dáng nếu tôi không sử dụng ngôn ngữ thanh lịch nhất. Ngoài ra …

18 graph-theory  combinatorics  check-my-proof 

Cho một ngôn ngữ thông thường , sau đó nó rất dễ dàng để chứng minh rằng có một hằng số N như vậy có nghĩa là σ ∈ L , với | σ | ≥ N có tồn tại chuỗi alpha , β và γ như vậy | alpha …

18 formal-languages  proof-techniques 

Gần đây tôi đã tự nghiên cứu Tối đa hóa Kỳ vọng và đã tự mình lấy một số ví dụ đơn giản trong quy trình: Từ đây : Có ba đồng xu , và với , và xác suất tương ứng để hạ cánh trên Đầu khi được ném. …

18 probability-theory  statistics 

Cho ma trận . Đặt ma trận nghịch đảo của là (nghĩa là ). Giả sử rằng một phần tử trong bị thay đổi (giả sử thành ). Mục tiêu là tìm sau khi thay đổi này. Có một phương pháp để tìm mục tiêu này hiệu quả hơn là …

18 algorithms  numerical-analysis  online-algorithms 

Wikipedia định nghĩa nó là Một thuật toán được gọi là thời gian đa thức nếu thời gian chạy của nó bị giới hạn trên bởi một biểu thức đa thức trong kích thước của đầu vào cho thuật toán, tức là cho một số k không đổi.T( n ) …

18 complexity-theory 

Bạn có một mảng gồm phần tử riêng biệt. Bạn có quyền truy cập vào một bộ so sánh (hàm hộp đen lấy hai phần tử và và trả về đúng iff ) và nguồn bit thực sự ngẫu nhiên (hàm hộp đen không có đối số và trả về …

18 algorithms  algorithm-analysis  information-theory  permutations  entropy 

Trong cuốn sách Thuật toán ngẫu nhiên của họ , Motwani và Raghavan mở đầu phần giới thiệu với một mô tả về chức năng RandQS của họ - Quicksort ngẫu nhiên - trong đó trục, được sử dụng để phân chia tập hợp thành hai phần, được chọn ngẫu …

18 algorithm-analysis  sorting  randomized-algorithms 

Tôi quen thuộc với hàng tá ngôn ngữ lập trình có ngoại lệ theo một cách nào đó, nhưng tôi đã chứng kiến ​​hai xu hướng "bệnh hoạn". Dường như không có một mô hình hoặc hệ thống phân cấp ngoại lệ chung. Về cơ bản, mọi ngôn ngữ đều …

18 terminology  programming-languages  api-design 

Tôi bắt đầu đọc ngày càng nhiều tài liệu nghiên cứu ngôn ngữ. Tôi thấy nó rất thú vị và là một cách tốt để tìm hiểu thêm về lập trình nói chung. Tuy nhiên, thường có một phần mà tôi luôn phải vật lộn với (ví dụ phần ba …

18 logic  reference-request  terminology  type-theory 

Như sau câu hỏi trước đây của tôi , tôi đã chơi với giả thuyết Riemann như một vấn đề của toán học giải trí. Trong quá trình đó, tôi đã đi đến một sự tái phát khá thú vị và tôi tò mò về tên của nó, mức giảm …

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

Nói một cách đơn giản, nếu người ta chế tạo một thiết bị điện toán lượng tử với sức mạnh là 20 qubit, thì một máy tính như vậy có thể được sử dụng để làm cho bất kỳ loại thuật toán băm hiện đại nào trở nên vô dụng? …

18 cryptography  quantum-computing  hash 

Sách giáo khoa ở khắp mọi nơi cho rằng Vấn đề tương ứng bài bị ràng buộc là hoàn thành NP (không quá NNN chỉ số được phép với sự lặp lại). Tuy nhiên, không nơi nào thể hiện một cách đơn giản (như trong, một điều mà một sinh …

18 complexity-theory  np-complete  reductions 

Các lý thuyết hiện sinh của đồng Real là trong pspace , nhưng tôi không biết cho dù đó là pspace-Complete . Nếu tôi tin rằng đó không phải là trường hợp, làm thế nào tôi có thể chứng minh điều đó? Tổng quát hơn, với một vấn đề trong …

18 complexity-theory  proof-techniques 

Là loại "tham dự bữa tiệc" có thể giải quyết được trong Prolog không? Ví dụ: Burdock Muldoon và Carlotta Pinkstone đều nói rằng họ sẽ đến nếu Albus Dumbledore đến. Albus Dumbledore và Daisy Dodderidge đều nói rằng họ sẽ đến nếu Carlotta Pinkstone đến. Albus Dumbledore, Burdock Muldoon …

18 logic  constraint-programming  prolog  logic-programming