Khoa học máy tính

Hãy để x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n) và được -vectors biến boolean. Tôi có một vị từ boolean trên . Tôi đưa cho bạn tôi Priscilla . Đáp lại, cô ấy đưa cho tôi , một vị từ boolean trên và cô ấy tuyên bố rằngn Q ( x , y ) x , …

8 logic  satisfiability  first-order-logic  software-verification  model-checking 

Tôi đọc rằng hầu hết các nhà khoa học không tin rằng P = NP. Nó có thể chủ quan nhưng bạn có thể đơn giản hóa tại sao không? Tôi không đủ thông tin để có ý kiến ​​nhưng tôi muốn biết các định nghĩa và một số giải …

8 nondeterminism  polynomial-time 

Theo CLRS, các thuật toán của Prim được triển khai như dưới đây - MST-PRIM ( G , w , r )MST-PRIM(G,w,r)\mathtt{\text{MST-PRIM}}(G,w,r) với mỗi làmu ∈ V[ G ]u∈V[G]u \in V[G] key [ u ] ← ∞key[u]←∞\mathtt{\text{key}}[u] \leftarrow \infty π[ u ] ← NILπ[u]←NIL\pi[u] \leftarrow \mathtt{\text{NIL}} khóa [ r ] …

8 algorithms  algorithm-analysis  spanning-trees 

Tôi hiện đang làm việc trên luận án thạc sĩ của mình, và đó là về việc phân cụm trên biểu đồ. Tôi đang làm việc với một ý tưởng sử dụng kiến ​​để giải quyết vấn đề. Tôi hiện đang làm việc về việc triển khai và đang tự …

8 graph-theory  data-structures  evolutionary-computing 

Cho một mảng các số nguyên được sắp xếp, tôi muốn tìm số cặp có tổng bằng . Ví dụ: đã cho , số lượng cặp tổng bằng 0 là .{ - 3 , - 2 , 0 , 2 , 3 , 4 } 2000{ - 3 , - …

8 algorithms 

Hãy tưởng tượng tôi có một thứ tự trên một loạt các yếu tố như vậy: Trong đó một mũi tên có nghĩa là X &lt; Y . Nó cũng là bắc cầu: ( X &lt; Y ) ∧ ( Y &lt; Z )X← YX←YX \leftarrow YX&lt; YX&lt;YX < Y …

8 data-structures  graphs  linked-lists  partial-order  order-theory 

Cho đồ thị , tìm đỉnh , việc loại bỏ sẽ dẫn đến một đồ thị có thành phần lớn nhất nhỏ nhất. G=(V,E)G=(V,E)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} Tôi giả sử chovà lớn thì vấn đề rất khó (NP-hard), nhưng tôi quan tâm đến các giá trị nhỏ của ( ).n=|V|n=|V|n …

8 algorithms  complexity-theory  graph-theory  parameterized-complexity 

Các slide bài giảng này phác họa một bằng chứng rằng không thể được chấp nhận bởi bất kỳ Đẩy lùi xác định nào Máy tự động. Thật không may, các slide không đưa ra tài liệu tham khảo nào về việc bằng chứng đến từ đâu.L={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid …

8 formal-languages  reference-request  automata  pushdown-automata  nondeterminism 

Khi tính toán phụ thuộc thời gian chạy vào đầu vào, tính toán nào được xem xét? Ví dụ, tôi nghĩ rằng tôi đã học được rằng lập chỉ mục mảng cũng như các câu lệnh gán không được tính, tại sao vậy?

8 terminology  algorithm-analysis  runtime-analysis 

Hãy xem xét vấn đề vũ trụ sau đây . Vấn đề vũ trụ. Cho một tập hữu hạn cho một lớp học ngôn ngữ, và một automaton chấp nhận ngôn ngữ L , quyết định nếu L = Σ * .ΣΣ\SigmaLLLL = Σ*L=Σ∗L=\Sigma^* Trong [1], người ta đã tuyên …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

Xác định sự tương đương Nerode trên một ngôn ngữ là iff cho mọi .L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^{*}u∼Lvu∼Lvu \sim_L vuw∈L⇔vw∈Luw∈L⇔vw∈Luw \in L \Leftrightarrow vw \in Lw∈Σ∗w∈Σ∗w \in \Sigma^{*} Tương đương Nerode có nhiều lớp tương đương chính xác khi có thể được nhận dạng bởi một máy tự động trạng thái …

8 formal-languages  context-free  pushdown-automata 

Tôi đang cố gắng (bằng trực giác) hiểu hai thuật ngữ "tính quyết định" và "tính xác minh". Tôi đã thực hiện một lượng tìm kiếm hợp lý và trải qua các văn bản khác nhau mà tôi có thể đặt tay lên. Tuy nhiên, sự hiểu biết trực quan …

8 complexity-theory  formal-languages  terminology  computability 

Điều này có phần liên quan đến một câu hỏi khác mà tôi đã hỏi , nhưng tôi cảm thấy nó đủ khác biệt để đảm bảo câu hỏi của riêng mình. Tôi đang thực hiện nghiên cứu trong đó tôi đang cố gắng tìm cấu trúc bổ sung của …

8 formal-languages  automata  finite-automata  discrete-mathematics  nondeterminism 

Được biết liệu hàm ý có giữ không?NEXP=Σ2⟹NEXP=MANEXP=Σ2⟹NEXP=MA\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA} (Câu hỏi được lấy cảm hứng từ .)NEXP⊆P/poly⇔NEXP=MANEXP⊆P/poly⇔NEXP=MA\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}

8 complexity-theory  time-complexity 

Mô hình song song lý thuyết nào gần nhất với mô hình lập trình CUDA / OpenCL? Ví dụ, nó phù hợp ở một mức độ nào đó với mô hình Máy truy cập ngẫu nhiên song song (PRAM) chung. Tuy nhiên, đó là quá chung chung, vì nó làm …

8 parallel-computing  machine-models