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

Tôi đang làm việc với một thuật toán khớp mẫu để tạo ra một máy tự động trạng thái hữu hạn theo chu kỳ chấp nhận một chuỗi văn bản nhất định và tất cả các chuỗi con của nó. Thuật toán FSA đang được chạy trên một biểu tượng …

10 formal-languages  reference-request  finite-automata 

Chúng tôi đã có một số câu hỏi về mối quan hệ của việc giảm Cook và Karp . Rõ ràng là giảm Cook (giảm Turing theo thời gian đa thức) không định nghĩa cùng một khái niệm về tính đầy đủ của NP như giảm Karp (giảm nhiều lần …

10 complexity-theory  reference-request  np-complete  reductions 

Hãy xem xét các chương trình tuyến tính Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} Định lý đối ngẫu yếu nói …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

Biểu đồ là hợp âm nếu nó không có chu kỳ cảm ứng có độ dài từ 4 trở lên. Một cây bè lũ T của G là một cây trong đó các đỉnh của cây là những bè phái tối đa của G . Một cạnh trong T tương …

10 algorithms  graph-theory  reference-request 

Tôi quan tâm đến các thủ tục phân chia đất đai công bằng (tức là phân chia không ghen tị, hoặc ít nhất là phân chia theo tỷ lệ). Trái ngược với vấn đề phân chia bánh được nghiên cứu kỹ, phân chia đất đai là hai chiều, nghĩa là …

10 reference-request  game-theory 

Tôi đang tìm kiếm các nguồn lực để bắt đầu với phân tích chương trình . Cuốn sách duy nhất tôi tìm thấy về chủ đề này là cuốn sách Nielson & Nielson . Ngoài ra, có vẻ như chỉ có những cuốn sách "trình biên dịch" trong đó "phân …

10 reference-request  compilers  semantics 

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 

Tôi đang tìm kiếm một thuật toán khớp chuỗi k-không khớp nhanh. Cho một chuỗi mẫu P có độ dài m và chuỗi văn bản T có độ dài n, tôi cần một thuật toán nhanh (thời gian tuyến tính) để tìm tất cả các vị trí trong đó P …

10 algorithms  reference-request  strings  string-metrics  substrings 

Tôi không chắc câu hỏi này có thuộc về đây không và tôi xin lỗi nếu không. Những gì tôi đang tìm kiếm là phát triển một cách lập trình, trong đó tôi có thể xác định một cách chính xác liệu một chuỗi nhất định có "thuộc" trong một …

10 algorithms  reference-request  string-metrics 

Sẽ có nhu cầu thay đổi định nghĩa về bảo mật nếu chúng ta có máy tính lượng tử? Những công trình mật mã nào sẽ phá vỡ? Bạn có biết một cuộc khảo sát hoặc một bài viết giải thích những gì sẽ cần thiết để thay đổi?

10 reference-request  cryptography  quantum-computing 

Do tính chất của câu hỏi, tôi phải bao gồm nhiều thông tin cơ bản (vì câu hỏi của tôi là: làm thế nào để thu hẹp điều này?) Điều đó nói rằng, nó có thể được tóm tắt (theo hiểu biết tốt nhất của tôi) như: Phương pháp nào …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

Câu hỏi là khá nhiều trong tiêu đề. Có khi nào một ngôn ngữ có thể được chấp nhận bởi một DFA tối thiểu với n trạng thái, nhưng L R , sự đảo ngược của L , có thể được chấp nhận bởi một DFA với m trạng thái, …

10 formal-languages  reference-request  automata  finite-automata 

Có một loạt các biểu tượng chóng mặt được sử dụng trong các bài báo toán học và CS. Tuy nhiên, nhiều người cho rằng sự quen thuộc cơ bản mà dường như hiếm khi được dạy ở một nơi. Tôi đang tìm một cuốn từ điển giống như sau, …

10 terminology  reference-request  education 

Tôi đang nghiên cứu một vấn đề liên quan đến hình vuông Latin và tôi muốn có một phương pháp cho vấn đề cơ bản giải quyết vấn đề quyết định: Đầu vào : Một đồ thị hữu hạn, đơn giản G. Đầu ra : YESnếu G có tính tự …

9 algorithms  graphs  graph-theory  reference-request