Khoa học máy tính

Có chuỗi SSScó độ dài , việc tìm số lượng các chuỗi con khác nhau có thể được thực hiện trong thời gian tuyến tính bằng cách sử dụng mảng LCP. Thay vì yêu cầu số đếm duy nhất trong toàn bộ chuỗi , truy vấn có chứa chỉ mục …

7 algorithms  strings  counting  subsequences 

Xem xét một vòng lặp while của mẫu: while (C) {S}while (C) {S}\texttt{while (C) {S}} với điều kiện và phần thân của vòng lặp.CC\texttt{C}SS\texttt{S} Đặt và tương ứng là một bất biến và một biến thể của vòng lặp này. Quy tắc về tính chính xác của vòng lặp while …

7 hoare-logic 

Wiki: https://en.wikipedia.org/wiki/Byzantine_fault_tolerance Trong bài viết "Đạt được thỏa thuận trong sự hiện diện của những lỗi lầm", M. Pease et al. đã chứng minh rằng không có giao thức (thuộc loại nào đó) để giải quyết vấn đề cho , trong đó là số lượng tướng và là số lượng …

7 distributed-systems  information-theory  fault-tolerance 

Tôi đã đọc trang Nhân số mô-đun trên wikipedia ... và không thể hiểu thuật toán để tính toán .a⋅b(modm)a⋅b(modm)a \cdot b \pmod{m} uint64_t mul_mod(uint64_t a, uint64_t b, uint64_t m) { long double x; uint64_t c; int64_t r; if (a >= m) a %= m; if (b >= m) b …

7 algorithm-analysis  modular-arithmetic 

Tôi đã rình rập một lúc; Đây là bài viết đầu tiên của tôi ở đây. Tôi xin lỗi nếu câu hỏi của tôi không đúng định dạng hoặc định dạng kém. Câu hỏi này xuất phát từ một số ý tưởng trong một câu hỏi khác từ một trang …

7 complexity-theory  np  hash  proof-of-work 

Máy Turing được phát minh bởi một bộ óc con người. Có lẽ, không có gì mạnh hơn máy Turing có thể phát minh ra máy Turing. Tuy nhiên, một máy Turing có băng vô hạn, trong khi tâm trí nằm trong một vũ trụ hữu hạn, và do đó …

7 turing-machines 

Vì vậy, tôi quen thuộc với hai chiến lược chính là có tính đa hình được xếp hạng cao hơn trong một ngôn ngữ: Tính đa hình kiểu System-F, trong đó các hàm được gõ rõ ràng và việc khởi tạo xảy ra rõ ràng mặc dù ứng dụng kiểu. …

7 programming-languages  type-theory  functional-programming  type-checking  polymorphisms 

Có một cấu trúc dữ liệu hỗ trợ hiệu quả các hoạt động sau đây không? Thêm bộ Truy vấn xem bất kỳ tập hợp con của một bộ đã được thêm vào. Điều này có thể được thực hiện với chi phí tuyến tính bằng cách kiểm tra mọi …

7 data-structures 

Cây thông : 1) Theo đồ thị hợp âm : kích thước của cụm lớn nhất(ω(G))(ω(G))(\omega (G))- 1 trong một hoàn chordal của đồ thị .GGG 2) Bằng cách phân hủy cây : Một phân tách cây bao gồm một cây (trên một nút khác được đặt từ ) và …

7 graph-theory  parameterized-complexity 

Gần đây tôi tình cờ thấy bài viết trên blog này của Brian McKenna giải thích về đa hình hàng. Đây dường như là một ý tưởng tuyệt vời đối với tôi, nhưng sau đó tôi nhận ra nó có mùi rất giống như đa hình tham số bị ràng …

7 programming-languages  semantics 

Có tồn tại một tập hợp các quy tắc quy nạp và một điểm cố định của các quy tắc này nhưng không phải là điểm cố định ít nhất cũng không phải là điểm cố định lớn nhất?

7 logic  inductive-datatypes 

Tôi thấy khó tìm các định nghĩa chính thức của các lớp phức tạp chức năng. Đây là hai từ Wikipedia. Một mối quan hệ nhị phân P(x,y)P(x,y)P(x,y)là trong FP khi và chỉ khi có một thuật toán thời gian đa thức xác định mà, được đưa raxxx, có thể …

7 complexity-theory 

Vấn đề là NP-đầy đủ (đã được chứng minh) cho tất cả dữ liệu đầu vào (không có ngoại lệ). Chúng tôi giả sử rằng P! = NP. Có thể có một tập hợp con (vô cùng lớn) của vấn đề, mà tập hợp con này nằm trong P không? …

7 complexity-theory  time-complexity  np-complete  np 

Đặt là một hàm số nguyên. Đối với ngôn ngữ , xác địnhf: N → Nf:N→Nf : \mathbb{N} \to \mathbb{N}LLL f( L ) = { w ∣ ∃ x : | x | = f( | w | ) và w x ∈ L }f(L)={w∣∃x:|x|=f(|w|) and wx∈L}f(L) = \{w \mid …

7 regular-languages 

Tôi đang cố gắng thực hiện một quy trình tối ưu hóa trong Python bằng BFGS và L-BFGS trong Python và tôi nhận được kết quả khác nhau đáng ngạc nhiên trong hai trường hợp. L-BFGS hội tụ đến mức tối thiểu siêu nhanh thích hợp, trong khi BFGS hội …

7 optimization