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

Theo hiểu biết của tôi, mô hình của Turing đã trở thành "tiêu chuẩn" khi mô tả tính toán. Tôi muốn biết lý do tại sao lại như vậy - đó là lý do tại sao mô hình TM trở nên được sử dụng rộng rãi hơn so với các …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Tôi hiện đang viết một cuộc khảo sát về các định lý phân cấp trên TCS. Tìm kiếm các tài liệu liên quan tôi nhận thấy rằng hệ thống phân cấp là một khái niệm cơ bản không chỉ trong TCS và toán học, mà trong nhiều ngành khoa học, …

42 cc.complexity-theory  reference-request  big-list  survey 

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 

Năm 1937 Turing đã mô tả một máy Turing. Kể từ đó, nhiều mô hình tính toán đã được giải mã trong nỗ lực tìm kiếm một mô hình giống như một máy tính thực sự nhưng vẫn đủ đơn giản để thiết kế và phân tích các thuật toán. …

41 ds.algorithms  reference-request  soft-question  machine-models 

Đây là một bài đăng chéo từ math.stackexchange. Hãy FACT biểu thị vấn đề nguyên bao thanh toán: cho tìm số nguyên tố và số nguyên màn∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. Gọi RSA là trường hợp đặc biệt của vấn đề bao thanh toán trong …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

Tôi đang tìm kiếm một câu trả lời dứt khoát về việc liệu việc tạo ra các số "thực sự ngẫu nhiên" có phải là tính toán hay không. Tôi không biết làm thế nào để diễn đạt chính xác điều này. Câu hỏi StackExchange này về "các thuật toán …

39 reference-request  computability  turing-machines  randomness 

Dường như Lý thuyết phức tạp hình học đòi hỏi nhiều kiến ​​thức về toán học thuần túy như hình học đại số, lý thuyết biểu diễn. Trong khi tôi là một sinh viên CS và KHÔNG có các lớp toán học rất trừu tượng và thuần túy, tôi quan …

38 reference-request  big-list  survey  gct 

Có bất kỳ tài liệu tham khảo nào (trực tuyến hoặc dưới dạng sách) tổ chức và thảo luận về các định lý TCS bằng kỹ thuật chứng minh không? Garey và Johnson làm điều này cho các loại công cụ phụ tùng khác nhau cần thiết cho bằng chứng …

38 reference-request  proof-techniques 

Tôi sẽ hỏi một câu hỏi khá mơ hồ, vì ranh giới giữa khoa học máy tính lý thuyết và toán học không phải lúc nào cũng dễ phân biệt. CÂU HỎI: Bạn có biết về bất kỳ kết quả thú vị nào trong CS độc lập với ZFC (tức …

37 reference-request  lo.logic  set-theory 

Một số vấn đề hình học rất dễ dàng khi được xem xét trong , nhưng NP-đầy đủ trong cho (bao gồm một trong những vấn đề yêu thích của tôi, bìa đĩa đơn vị).R d d ≥ 2R1R1R^1RdRdR^dd≥ 2d≥2d\geq2 Có ai biết về một vấn đề có thể giải …

37 cc.complexity-theory  reference-request  cg.comp-geom 

Sự phức tạp ngày càng tăng của các chương trình máy tính và các máy tính có vị trí ngày càng quan trọng trong xã hội khiến tôi tự hỏi tại sao chúng ta vẫn không sử dụng chung các ngôn ngữ lập trình mà bạn phải đưa ra bằng …

37 reference-request  complexity-classes  computability  pl.programming-languages 

Đây là một câu hỏi phi kỹ thuật, nhưng chắc chắn có liên quan đến cộng đồng TCS. Nếu được coi là không phù hợp, hãy đóng cửa. Các Zoo phức tạp trang web (http://qwiki.stanford.edu/index.php/Complexity_Zoo) đã chắc chắn được các dịch vụ tuyệt vời cho cộng đồng TCS trong những …

36 cc.complexity-theory  reference-request  soft-question 

Nói chung, chúng ta biết rằng sự phức tạp của việc kiểm tra xem một hàm có lấy một giá trị cụ thể tại một đầu vào nhất định hay không dễ hơn so với việc đánh giá hàm tại đầu vào đó. Ví dụ: Đánh giá độ vĩnh cửu …

36 cc.complexity-theory  reference-request  algebraic-complexity 

Vấn đề là để tính toán đa thức . Giả sử rằng tất cả các hệ số phù hợp với một từ máy, nghĩa là có thể được thao tác trong đơn vị thời gian.(a1x+b1)×⋯×(anx+bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Bạn có thể thực hiện …

35 ds.algorithms  reference-request  open-problem  polynomials 

Xem xét bài toán đếm sau (hoặc bài toán quyết định liên quan): Cho hai số nguyên dương được mã hóa dưới dạng nhị phân, tính toán ước số chung lớn nhất của chúng (gcd). Lớp phức tạp nhỏ nhất mà vấn đề này được chứa trong là gì? Bạn …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory