Khoa học máy tính

Nhiều hoạt động phổ biến là đơn sắc . Haskell đã tận dụng sự quan sát này để làm cho nhiều hàm bậc cao hơn trở nên chung chung hơn ( Foldablelà một ví dụ). Có một cách rõ ràng trong đó sử dụng các đơn sắc có thể được …

7 optimization  compilers  category-theory 

Tôi gặp khó khăn trong việc hiểu định nghĩa của lớp Max-SNP (biến thể tối ưu hóa của NP nghiêm ngặt ), do đó tôi phải tuân theo câu hỏi cơ bản: If a problem is known to be Max-SNP hard, does this imply NP-hardness of the problem?

7 complexity-theory  np-hard 

Tôi đã tìm kiếm học giả google để tham khảo và thu hẹp đề cập đầu tiên vào đâu đó vào khoảng năm 1963 với một sự hốt hoảng rất kỳ lạ vào năm 1949. Vì vậy, tôi đang cố gắng theo dõi bài báo gốc giới thiệu các biểu …

7 graph-theory  reference-request  history 

Tôi đang xây dựng một automata hữu hạn xác định (DFA) cho ngôn ngữ của tất cả các chuỗi được xác định trên có độ dài là chẵn và số s là số lẻ. Tôi đã xây dựng từng DFA riêng biệt và sau đó kết hợp:{0,1}{0,1}\{0,1\}111 Quy trình đã …

7 automata  regular-languages  finite-automata 

Hầu hết các ví dụ kinh điển về thuật toán lập trình động có thời gian chạy như nnn hoặc là n2n2n^2. Có ví dụ tự nhiên nào vớiO(nlogn)O(nlog⁡n)O(n \log n) thời gian chạy

7 algorithms  reference-request  dynamic-programming 

Có thể có một số lượng lớn các thuật toán được đề xuất để tạo các biểu đồ thỏa mãn một số thuộc tính chung (ví dụ: hệ số phân cụm, độ dài đường dẫn ngắn nhất trung bình, phân phối độ, v.v.). Câu hỏi của tôi liên quan đến …

7 algorithms  graph-theory  graphs  sampling 

Có N người chơi và M đối tượng, mỗi đối tượng có một giá trị. Mỗi người chơi có một chiến lược trong việc chọn một đối tượng. Mỗi vòng một người chơi sẽ chọn một đối tượng, nhiều người chơi có thể chọn cùng một đối tượng. Tuy nhiên, …

7 machine-learning  probability-theory  modelling 

Tôi có một câu hỏi về tính kế thừa trong các ngôn ngữ lập trình OO giống như Java. Nó xuất hiện trong lớp trình biên dịch của tôi, khi tôi giải thích cách biên dịch các phương thức và lời gọi của chúng. Tôi đã sử dụng Java làm …

7 programming-languages  semantics  typing  object-oriented  java 

Tôi đã đi qua một câu hỏi yêu cầu tôi chọn ngôn ngữ mơ hồ vốn có trong số các tùy chọn. L1={anbmcmdn|m,n≥1}∪{anbncmdm|m,n≥1}L1={anbmcmdn|m,n≥1}∪{anbncmdm|m,n≥1}L_1 = \{a^nb^mc^md^n \;|\; m,n \geq 1\}\cup \{a^nb^nc^md^m \;|\; m,n \geq 1\} andandand L2={anbmcm|m,n≥1}∪{anbncm|m,n≥1}L2={anbmcm|m,n≥1}∪{anbncm|m,n≥1}L_2 = \{a^nb^mc^m \;|\; m,n \geq 1\}\cup \{a^nb^nc^m \;|\; m,n \geq 1\} Giải pháp cho …

7 formal-languages  formal-grammars  context-free  ambiguity 

Tôi chưa quen với chủ đề này, và trong một số bài báo khoa học tôi đã đọc về dự đoán trong thể thao, tôi đã gặp thuật ngữ dựa trên lý do quy tắc. Có phải thuật ngữ này giống như một lý do ngữ nghĩa (trong đó hai …

7 terminology  artificial-intelligence  data-mining 

Tôi đã có hai chương trình log-không gian và .FFFGGG Chương trình sẽ nhận đầu vào trong mảng và sẽ tạo mảng đầu ra .FFFMột [ 1 .. n ]A[1..n]A[1..n]B [ 1 .. n ]B[1..n]B[1..n] Chương trình sẽ nhận đầu vào như được tạo bởi và tạo từ đó mảng …

7 algorithms  complexity-theory  simulation  space-complexity 

Tôi biết rằng cơ sở hạ tầng tập hợp rời rạc được sử dụng để theo dõi các thành phần được kết nối của đồ thị vô hướng khi các cạnh được thêm vào biểu đồ một cách linh hoạt. Tôi cũng biết rằng nó được sử dụng trong thuật …

7 algorithms  graph-theory  data-structures  graphs 

Tôi không chắc chắn làm thế nào để vẽ song song giữa thuật toán Wagner của Fischer và dtw algo. Trong cả hai trường hợp, chúng tôi muốn tìm khoảng cách của mỗi kết hợp chỉ mục (i, j). Trong Wagner hay Fischer, chúng tôi bắt đầu khoảng cách bằng …

7 algorithms  dynamic-programming  string-metrics  edit-distance  time-series-analysis 

Một đảng chính trị nào đó muốn khuyến khích phụ nữ tham gia các cuộc bầu cử chính của họ, vì vậy họ quyết định, vị trí thứ 4 được dành cho một người phụ nữ. Nghĩa là, nếu không có người phụ nữ nào ở 4 vị trí hàng …

7 game-theory  voting 

Giới thiệu: Tôi đang làm việc với tập dữ liệu khổng lồ mà tôi cần vẽ trong trình duyệt và vì có thể có tới 1 triệu điểm, ý tưởng của tôi là tạo ra các biểu diễn khác nhau cho các mức thu phóng khác nhau giả sử tôi …

7 computational-geometry  approximation  graphics