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

Những gì được biết về lớp ngôn ngữ được công nhận bởi automata hữu hạn có cùng trạng thái ban đầu và chấp nhận? Đây là một tập hợp con đúng của các ngôn ngữ thông thường (vì mọi ngôn ngữ như vậy đều chứa chuỗi trống), nhưng nó yếu …

13 fl.formal-languages  automata-theory  algebra  regular-language 

Tôi có một câu hỏi liên quan đến đa thức bậc thấp và xác suất: Xác suất (hành vi giả định của) xác suất là một đa thức * ngẫu nhiên, , trên GF (2), với các biến bậc và n có .ppp≤d≤d\le dbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p) \triangleq |\Pr_{x\in\{0,1\}^n}(p(x)=0)-\Pr_{x\in\{0,1\}^n}(p(x)=1)| \gt \epsilon * Khi …

13 randomness  pr.probability  algebra  polynomials 

Tôi đang tìm kiếm một danh sách về sự phức tạp đã biết hoặc chưa biết của các vấn đề lý thuyết / đại số số khác nhau. Ví dụ, GCD trong đang mở,NC1NC1NC^1 bao thanh toán trong là mở,PPP cohomology điện toán sheaf là -hard#P#P\#P , Arora và Barak …

12 cc.complexity-theory  big-list  algebra  open-problem 

Cho hai hoán vị và trên phần tử (nghĩa là thành viên của ), độ phức tạp của việc tính toán thứ tự của nhóm con được tạo bởi gì? Hoặc chỉ quyết định xem nhóm con có theo thứ tự(tức là tất cả )?h n S n g , …

10 cc.complexity-theory  algebra  gr.group-theory 

Chúng ta có thể thực hiện tích chập trong O ( n logn )Ôi(nđăng nhập⁡n)O(n\log n) cho đa thức cộng / nhân với FFT. Tuy nhiên, cách tiếp cận dường như không phổ biến đối với nhẫn nói chung. Đã có bất kỳ tiến triển nào đối với tích chập …

10 algebra  polynomials  fft  convolution 

Gần đây, tôi đã trở nên quan tâm đến hình học đại số và đã bắt đầu đọc về nó. Tôi vẫn biết rất ít về lĩnh vực này, nhưng tôi muốn biết liệu nó có liên quan gì đến lĩnh vực chính của tôi, loại lý thuyết và ngôn …

9 pl.programming-languages  type-theory  algebra 

Đặt là bảng chữ cái hữu hạn. Đối với một ngôn ngữ nhất định L ⊆ A * các monoid cú pháp M ( L ) là một khái niệm nổi tiếng trong lý thuyết ngôn ngữ chính thức. Hơn nữa, một monoid M nhận một ngôn ngữ L iff …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Giả sử chúng ta hoạt động trong một lĩnh vực hữu hạn. Chúng tôi được cung cấp một đa thức cố định lớn p (x) (của, giả sử, độ 1000) trong lĩnh vực này. Đa thức này được biết trước và chúng tôi được phép thực hiện tính toán bằng …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

Giới thiệu Tôi đang viết luận án tiến sĩ về Mô hình trừu tượng Delta (ADM), một mô tả đại số trừu tượng về sửa đổi (được gọi là deltas ) có thể hoạt động trên các sản phẩm (như trong 'sản phẩm phần mềm'). Điều này có thể được …

9 pl.programming-languages  algebra  monoid 

Một trong những vấn đề chính trong liệt kê biểu đồ là xác định "hình dạng" của biểu đồ, ví dụ: lớp đẳng cấu của bất kỳ biểu đồ cụ thể nào. Tôi nhận thức đầy đủ rằng mọi đồ thị có thể được biểu diễn dưới dạng ma trận …

9 graph-theory  co.combinatorics  algebra 

Tôi đang tìm cách viết một cuộc khảo sát về phương pháp biểu diễn tính năng động của tính toán dựa trên trạng thái trong khuôn khổ của các khối than. Cho đến nay tôi đã tìm được các bài báo về các biểu diễn đại số của DFA, NFA, …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

Tôi đang thiếu một nền tảng về khoa học máy tính lý thuyết nhưng tôi muốn hiểu về loại đối tượng lý thuyết mà các khái niệm C ++ tương ứng với. Về cơ bản, các khái niệm C ++ cho phép xác định một tập hợp các loại thỏa …

8 pl.programming-languages  type-theory  algebra  ct.category-theory 

Thuật toán nhanh nhất được biết đến bao thanh toán đa thức với biến và tổng độ gì? Ở đây, n đang phát triển và d là cố định. Hầu hết các công việc dường như xem xét trường hợp khi d đang phát triển và n là cố định. …

8 cc.complexity-theory  algebra  factoring 

Tôi hy vọng câu hỏi này không quá ngây thơ cho trang web này. Trong toán học (cấu trúc liên kết, hình học, đại số) người ta thường phân biệt giữa hai đối tượng bằng cách đưa ra một bất biến đại số hoặc số, và chứng minh hai đối …

8 cc.complexity-theory  complexity-classes  algebra 

Định lý điểm cố định của Tarski nói rằng các điểm cố định của toán tử đơn điệu trên một mạng hoàn chỉnh là một mạng hoàn chỉnh. Do đó, chúng tôi có một điểm cố định lớn nhất và điểm cố định nhỏ nhất duy nhất cho một toán …

8 algebra  lattice  order-theory