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

Tôi là một học viên phần mềm và tôi đang viết một cuộc khảo sát về các cấu trúc đại số cho nghiên cứu cá nhân và đang cố gắng đưa ra các ví dụ về cách các cấu trúc này được sử dụng trong khoa học máy tính lý …

67 reference-request  big-list  big-picture  algebra 

Có ai biết ứng dụng thú vị của các cơ sở Gröbner cho khoa học máy tính lý thuyết không? Các cơ sở Gröbner được sử dụng để giải các phương trình đa thức đa biến, một bài toán NP-hard nói chung. Tôi đã tự hỏi liệu một số trường …

41 cc.complexity-theory  reference-request  algebra  polynomials 

Tôi có một cơ sở rất mạnh về đại số, cụ thể là đại số giao hoán, đại số tương đồng, lý thuyết trường, lý thuyết thể loại, và tôi hiện đang học hình học đại số. Tôi là một chuyên gia toán học có thiên hướng chuyển sang khoa …

33 soft-question  algebra  advice-request  ct.category-theory 

Tôi chỉ biết hai bằng chứng về bổ đề Schwartz Zippel của Schwartz. Bằng chứng đầu tiên (phổ biến hơn) được mô tả trong mục wikipedia . Bằng chứng thứ hai được phát hiện bởi Dana Moshkovitz. Có bằng chứng nào khác sử dụng những ý tưởng khác nhau đáng …

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

Gần đây tôi đã đọc Hai tính cách của tính toán: Các loại tiêu cực và phân số . Bài viết mở rộng về các loại tổng và loại sản phẩm, đưa ra ngữ nghĩa cho các loại a - bvà a/b. Không giống như phép cộng và phép nhân, …

27 lo.logic  pl.programming-languages  type-theory  algebra 

Tuyên bố miễn trừ trách nhiệm: Tôi không phải là nhà lý luận CS. Đến từ đại số trừu tượng, tôi đã quen với việc xử lý những thứ tương đương với một đẳng cấu - nhưng tôi gặp khó khăn khi dịch khái niệm này sang cấu trúc dữ …

20 ds.data-structures  algebra  ct.category-theory 

Tôi có một nền giáo dục toán học đại học hợp lý nhưng chưa bao giờ thoải mái 100% với đại số trừu tượng (toán học của các nhóm, vòng, trường, v.v.). Tôi nghĩ rằng đây là một phần vì tôi cần thấy các ứng dụng và bất kỳ thứ …

19 soft-question  algebra  teaching 

Có thể kiểm tra bằng thuật toán nếu một số tính toán là số nguyên hay số nguyên? Nói cách khác, một thư viện có thể thực hiện các số tính toán để cung cấp các hàm isIntegerhay isRationalkhông? Tôi đoán rằng điều đó là không thể, và điều này …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Lý thuyết thể loại và đại số trừu tượng đối phó với cách các hàm có thể được kết hợp với các hàm khác. Lý thuyết phức tạp liên quan đến việc một hàm khó tính như thế nào. Thật kỳ lạ với tôi rằng tôi chưa thấy ai kết …

18 cc.complexity-theory  algebra  algebraic-complexity 

Giả sử chúng ta có đa thức độ nhiều nhất là , , sao cho tổng số hệ số khác không là (nghĩa là đa thức là thưa thớt). Tôi quan tâm đến một thuật toán hiệu quả để tính toán đa thức: n n > m np1,...,pmp1,...,pmp_1,...,p_mnnnn>mn>mn>mnnn ∑ipi(x)2∑ipi(x)2\sum_i p_i(x)^2 …

18 ds.algorithms  algebra  polynomials 

2 câu hỏi cho các phép đo địa lý hoặc đại số tính toán: Tôi mới bắt đầu đi sâu vào hình học tính toán và tôi yêu nó =) Tôi đang cố gắng đọc bài báo nổi tiếng của Guibas và Stolfi có tên là "Nguyên thủy cho việc …

18 reference-request  cg.comp-geom  algebra 

Trong khi đọc một bài báo về việc sử dụng các phương pháp đại số để phát hiện một số sơ đồ con cảm ứng, có vẻ như lý tưởng cạnh là một công cụ quan trọng kết nối đại số giao hoán và lý thuyết đồ thị. Vì tôi …

17 ds.algorithms  reference-request  algebra  algebraic-complexity 

Có tồn tại , một ngôn ngữ hoàn chỉnh NP hoặc P có một số nhóm đối xứng (hoặc groupoid , nhưng sau đó các câu hỏi thuật toán trở nên cởi mở hơn) hoạt động (trong thời gian đa thức) trên các tập sao cho có ít quỹ đạo, …

14 np  algebra  gr.group-theory  complexity  symmetry 

Đặt là một ngôn ngữ, sau đó chúng tôi xác định đồng âm cú pháp là và thương monoid được gọi là monoid cú pháp của . u ∼ v : ⇔ ∀ x , y ∈ X ∗ : x u y ∈ L ↔ x v y ∈ …

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

Nhiều hệ thống mật mã khóa công khai có một số loại bảo mật có thể chứng minh được. Ví dụ, hệ thống mật mã Rabin có thể chứng minh là khó như bao thanh toán. Tôi tự hỏi liệu loại bảo mật có thể chứng minh như vậy có …

14 cr.crypto-security  algebra  algebraic-complexity