Khoa học máy tính

Tôi đang làm việc thông qua "Việc thực hiện các ngôn ngữ lập trình chức năng" của Simon Peyton Jones và ở trang 20 tôi thấy: NẾU TRUE ((.pp.p) 3) NẾU TRUE 3 (mỗi β đỏ) (1) (X.IF TRUE 3 x) (mỗi η đỏ) (2) (Λx.3) (3) Bước 1 đến …

7 logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics 

Tôi tự hỏi nếu có bất kỳ kết nối giữa đa giác lồi và đối tượng castable? Chúng ta có thể nói gì về khả năng đúc của đối tượng nếu chúng ta biết rằng đối tượng là đa giác lồi và ngược lại. Chúng ta hãy tập hợp một …

7 complexity-theory  time-complexity  computational-geometry 

Tôi có hai vấn đề liên quan đến các đường dẫn trong biểu đồ có hướng. Để choG = ( V, E)G= =(V,E)G=(V,E) là một đồ thị có hướng s ∈ VS∈Vs \in V và mục tiêu t ∈ Vt∈Vt \in V. Để chov ∈ V∖ { s , t …

7 algorithms  graphs 

Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Tôi có một câu hỏi chung về giảm bản đồ. Tôi đã thấy một số ví dụ về việc giảm các hàm thànhATMATMA_{TM} trong đóATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle …

7 computability  proof-techniques  reductions 

Xét một hệ phương trình tuyến tính , trong đó là ma trận với các mục nhập hợp lý. Giả sử thứ hạng của là . Số phức là gì để kiểm tra xem nó có giải pháp sao cho tất cả các mục của đều lớn hơn 0 (cụ …

7 algorithms  complexity-theory  linear-algebra 

Câu hỏi là liệu tuyên bố sau là đúng hay sai: Một≤TB⟹Một≤mBMột≤TB⟹Một≤mBA \leq_T B \implies A \leq_m B Tôi biết rằng nếu thì có một nhà tiên tri có thể quyết định A liên quan đến B. Tôi biết rằng điều này là không đủ để nói rằng có một …

7 computability  reductions  turing-machines 

Tôi đã được giao nhiệm vụ giải quyết một số mối quan hệ tái phát và tôi đã gặp rắc rối với mối quan hệ được gọi là 'chip & chinh phục'. Dưới đây là một số vấn đề ví dụ: T( n ) = T( n - 5 ) …

7 asymptotics  recurrence-relation 

Một câu hỏi đã được đăng trên Stack Overflow yêu cầu một thuật toán để giải quyết vấn đề này: Tôi có một ma trận (gọi nó là A) là nxn. Tôi muốn chọn một tập hợp con (gọi là B) các điểm từ ma trận A. Tập hợp con …

7 algorithms  dynamic-programming  check-my-algorithm 

Điều gì sau đây là thuật toán của tôi để làm điều này trong những gì tôi tin là O(n)Ôi(n)O(n)thời gian, và bằng chứng của tôi cho điều đó. Giáo sư của tôi không đồng ý rằng nó chạy vàoO(n)Ôi(n)O(n) và thay vào đó nghĩ rằng nó chạy trong Ω …

7 algorithms  time-complexity  runtime-analysis 

(điều này có liên quan đến câu hỏi khác của tôi, xem tại đây ) Hãy tưởng tượng một màn hình, với 3 cửa sổ trên đó: Tôi muốn tìm một cấu trúc dữ liệu hiệu quả để thể hiện điều này, đồng thời hỗ trợ các hành động này: …

7 algorithms  computational-geometry  user-interface  modelling 

Tôi đang nghiên cứu các phương pháp khác nhau để định nghĩa tính toán với các hệ thống động lực liên tục. Tôi đã cố gắng tìm một giới thiệu hay về lý thuyết "hệ thống chuyển đổi nhà nước" nhưng không thực hiện được. Có ai biết một giới …

7 computability  automata  reference-request  computation-models 

Thường thì tôi thấy một câu như thế này trong khi đọc các văn bản về Độ phức tạp tính toán: "Đối với trường hợp đặc biệt này của TSPTSP\text{TSP}" hoặc là "Đây là một trường hợp đặc biệt của SATSAT\text{SAT}" hoặc là " - là trường hợp đặc biệt …

7 complexity-theory 

Tôi hiện đang làm việc trên một giải pháp cho một vấn đề mà (sau một chút về nghiên cứu) việc sử dụng một leo đồi, và specificly hơn một shotgun (hoặc ngẫu nhiên khởi động lại ) đồi leo ý tưởng thuật toán có vẻ là phù hợp nhất, …

7 algorithms  optimization  heuristics 

Trong một tập hợp được sắp xếp một phần, tôi luôn có thể đặt hai phần tử tùy ý ra khỏi tập hợp? Hoặc có thể là hai phần tử trong tập hợp không có quan hệ thứ tự với nhau? Ví dụ: nếu có ba phần tử và và …

7 terminology  discrete-mathematics  order-theory