Khoa học máy tính

Tôi chỉ bắt đầu đọc về lý thuyết tính toán. Nếu chúng ta so sánh cái nào mạnh hơn (trong việc chấp nhận chuỗi), cả hai đều giống nhau. Nhưng còn hiệu quả thì sao? DFA sẽ nhanh so với NFA, vì nó chỉ có một cạnh ra & sẽ …

13 finite-automata  efficiency  nondeterminism 

Bruinier và Ono đã tìm thấy một công thức đại số cho hàm phân vùng , được báo cáo rộng rãi là một bước đột phá. Tôi không thể hiểu bài báo, nhưng nó có bất kỳ hậu quả thuật toán nào cho việc tính toán nhanh chức năng phân …

13 algorithms  complexity-theory  number-theory 

Đây là bài viết đầu tiên của tôi sau khi trở thành người dùng thụ động một thời gian. Tôi muốn hỏi một số câu hỏi nếu tôi có thể. Tôi không phải là nhà toán học nhưng câu hỏi của tôi liên quan đến lĩnh vực toán học / …

13 complexity-theory  p-vs-np 

Tôi đang tìm kiếm thuật toán O (V + E) để tìm mức giảm chuyển tiếp được đưa ra một DAG. Đó là loại bỏ càng nhiều cạnh càng tốt để nếu bạn có thể tiếp cận v từ u, đối với v và u tùy ý, bạn vẫn có …

13 algorithms  graphs  dag 

Tôi đã tự hỏi nếu ai đó biết nguồn gốc của mô hình máy chủ khách hàng. Thuật ngữ này đến từ đâu (giấy, ứng dụng phần mềm, sách)?

13 terminology  reference-request  distributed-systems  history 

Có nhiều ngôn ngữ phổ biến. Nhưng, các nhà khoa học máy tính nói với chúng ta rằng để hiểu hành vi của các chương trình trong các ngôn ngữ đó một cách dứt khoát và rõ ràng tranh luận về hành vi của chương trình (ví dụ: chứng minh …

13 formal-languages  semantics 

Nếu chúng ta coi một cái cây như là một bộ được đặt hàng một phần, nó sẽ trở thành một trường hợp đặc biệt của một bán kết. Đối với một bán kết nối, chúng tôi muốn có thể tính toán giới hạn trên (duy nhất) của hai yếu …

13 data-structures  lattices 

Vui lòng xem xét vòng lặp ba lồng sau đây: for (int i = 1; i <= n; ++i) for (int j = i; j <= n; ++j) for (int k = j; k <= n; ++k) // statement Câu lệnh ở đây được thực thi chính xác lần. Ai …

13 algorithms  time-complexity  algorithm-analysis 

Tôi đọc về số lượng hải ly bận rộn và làm thế nào chúng phát triển lớn hơn bất kỳ chức năng tính toán nào. Tại sao cái này rất? Có phải vì chức năng hải ly bận rộn không thể tính toán? Nếu vậy, thì tất cả các hàm …

13 computability  asymptotics 

Công cụ dự đoán Naive Bayes đưa ra dự đoán của mình bằng công thức này: P(Y=y|X=x)=αP(Y=y)∏iP(Xi=xi|Y=y)P(Y=y|X=x)=αP(Y=y)∏iP(Xi=xi|Y=y)P(Y=y|X=x) = \alpha P(Y=y)\prod_i P(X_i=x_i|Y=y) Trong đó là một yếu tố bình thường hóa. Điều này đòi hỏi phải ước tính các tham số từ dữ liệu. Nếu chúng ta làm điều này với …

13 machine-learning  probability-theory  statistics 

Tôi đã triển khai một loại cấu trúc liên kết dựa trên bài viết Wikipedia mà tôi đang sử dụng để phân giải phụ thuộc, nhưng nó trả về một danh sách tuyến tính. Tôi có thể sử dụng loại thuật toán nào để tìm các đường dẫn độc lập?

13 algorithms  graphs  parallel-computing  scheduling 

Tôi đã hỏi một câu hỏi tương tự trên cstheory.SE . Theo câu trả lời này trên Stackoverflow có một thuật toán trên một ngôn ngữ lập trình chức năng thuần túy phi lười biếng có phức tạp, trong khi cùng một thuật toán trong lập trình bắt buộc là …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

Hãy xem xét phiên bản sau của vấn đề Clique trong đó đầu vào có kích thước và chúng tôi được yêu cầu tìm một cụm có kích thước . Hạn chế là quy trình quyết định không thể thay đổi biểu đồ đầu vào thành bất kỳ biểu diễn …

13 complexity-theory  time-complexity 

Giả sử tôi cho cố định chiều rộng số nguyên (tức là họ phù hợp trong một thanh ghi chiều rộng w ), một 1 , một 2 , ... một n như vậy mà số tiền của họ một 1 + một 2 + ⋯ + một n = …

13 algorithms  arrays  integers  numerical-analysis 

Tôi thực sự yêu sự giúp đỡ của bạn với những điều sau đây: Đối với bất kỳ cố định nào, tôi cần quyết định xem có đóng cửa theo các toán tử sau không:L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in …

13 formal-languages  regular-languages  closure-properties