Khoa học máy tính

Hãy xem xét vấn đề sau có thể hiện đầu vào là đồ thị đơn giản và số nguyên tự nhiên k .GGGkkk Có tập hợp sao cho G - S là lưỡng cực và | S | ≤ k ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k Tôi muốn chỉ …

10 complexity-theory  np-complete  reductions 

Hàm nặc danh (lambda) là gì? Định nghĩa chính thức của một chức năng ẩn danh trong ngôn ngữ lập trình chức năng là gì? Nói một cách đơn giản, khi tôi đang lập trình theo sơ đồ / lisp tôi sẽ nói một hàm ẩn danh (lambda) là một …

10 logic  programming-languages  lambda-calculus  functional-programming 

Gần đây tôi đã bắt gặp một bài báo mô tả kỹ thuật phân tích cú pháp được đề cập trong tiêu đề. Thật không may, thuật ngữ được sử dụng trong bài báo nói trên có phần vượt quá tầm hiểu biết của tôi, vì vậy tôi đã cố …

10 algorithms  formal-grammars  context-free  parsing 

Đây là một vấn đề từ phiên thực hành của Cuộc thi lập trình trường đại học Ba Lan 2012 . Mặc dù tôi có thể tìm thấy giải pháp cho cuộc thi chính, tôi dường như không thể tìm thấy giải pháp cho vấn đề này ở bất cứ …

10 algorithms  number-theory 

maximize f(x)subject to Ax=bmaximize f(x)subject to Ax=b\text{maximize } f(\mathbf{x}) \quad\text{subject to } \mathbf{Ax} = \mathbf{b} Ở đâu f(x)=∑i=1N1+x4i(∑Ni=1x2i)2−−−−−−−−−−−−−⎷,f(x)=∑i=1N1+xi4(∑i=1Nxi2)2,f(\mathbf{x}) = \sum_{i=1}^N\sqrt{1+\frac{x_i^4}{\left(\sum_{i=1}^{N}x_i^2\right)^2}}, x=[x1,x2,...,xN]T∈RN×1x=[x1,x2,...,xN]T∈RN×1\mathbf{x} = [x_1,x_2,...,x_N]^T \in \mathbb{R}^{N\times 1} và .A∈RM×NA∈RM×N\mathbf{A} \in \mathbb{R}^{M\times N} Chúng ta có thể thấy rằng là lồi và có dạng . Cũng có thể chỉ ra rằng được …

10 optimization 

Tôi cần trợ giúp để tìm ra hàm tiềm năng cho một heap tối đa để trích xuất max được hoàn thành trong thời gian khấu hao . Tôi nên nói thêm rằng tôi không hiểu rõ về phương pháp tiềm năng.Ô ( 1 )O(1)O(1) Tôi biết rằng hàm chèn …

10 data-structures  runtime-analysis  heaps  amortized-analysis 

Tôi đã tham gia một khóa học về trình biên dịch trong các nghiên cứu đại học của mình, trong đó chúng tôi đã viết một trình biên dịch biên dịch các chương trình nguồn bằng ngôn ngữ giống như đồ chơi Java thành ngôn ngữ lắp ráp đồ chơi …

10 compilers  computer-architecture 

Có ngôn ngữ lập trình (hoặc logic) nào có thể thực hiện (hoặc diễn đạt) một hàm khi và chỉ khi f là một hàm tính toán tính toán?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Đến từ POV của một người đang nghĩ về việc theo đuổi bằng tiến sĩ về khoa học máy tính. Tôi gặp khó khăn trong việc quyết định những gì tôi sẽ tập trung nghiên cứu của tôi khi tôi đi học tiến sĩ. Xem thêm câu hỏi này trên …

10 reference-request 

Giả sử tôi có một đồ thị có hướng với các trọng số cạnh được vẽ từ phạm vi trong đó không đổi. Nếu tôi đang cố gắng tìm đường đi ngắn nhất bằng thuật toán của Dijkstra , làm cách nào tôi có thể sửa đổi cấu trúc thuật …

10 algorithms  data-structures  shortest-path  weighted-graphs 

Tôi thực sự muốn sự giúp đỡ của bạn với việc chứng minh những điều sau đây. Nếu thì . P = N PN T i m e ( n100) ⊆ D T i m e ( n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N PP=NP\mathrm{P}=\mathrm{NP} Ở đây, là lớp của tất cả …

10 time-complexity  complexity-classes  p-vs-np 

Tôi tham gia khóa học về độ phức tạp tính toán. Vấn đề của tôi là tôi không hiểu phương pháp tương đối hóa . Tôi đã cố gắng tìm một chút trực giác trong nhiều sách giáo khoa, thật không may, cho đến nay không có thành công. Tôi …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Tôi có một vấn đề có thể được giảm xuống thành một vấn đề chuyển nhượng. (Trong một câu hỏi trước tôi đã tìm ra cách để làm điều đó.) Điều đó có nghĩa là chúng ta có một tập hợp các tác nhân và một tập hợp các nhiệm …

10 algorithms  graph-theory  assignment-problem 

Làm thế nào để bạn chứng minh rằng chiều cao dự kiến ​​của cây tìm kiếm nhị phân được xây dựng ngẫu nhiên với nút là ? Có một bằng chứng trong Giới thiệu về thuật toán CLRS (chương 12.4), nhưng tôi không hiểu điều đó.nnnO ( nhật kýn )Ôi(đăng …

10 data-structures  algorithm-analysis  binary-trees  search-trees  average-case 

Tôi đọc trên Wikipedia rằng thống nhất là một quá trình giải quyết vấn đề thỏa đáng. Đồng thời, tôi biết rằng những người giải quyết như vậy được gọi là "người giải SAT" hoặc "người giải quyết SMT". Vì vậy, họ là tên khác nhau cho cùng một điều? …

10 terminology  sat-solvers  unification