Khoa học máy tính

Tôi muốn giúp đỡ của bạn với minh rằng ngôn ngữ là decidable iff P = N P .L = { ⟨ M⟩ | L ( M) ∈ N P ∖ P }L= ={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P = N PP= =NP\mathrm{P}=\mathrm{NP} Nếu , tôi hiểu …

8 computability  undecidability  p-vs-np 

Tôi đang học để kiểm tra AI và tôi đang tìm cách giải quyết vấn đề tốt hơn sau đây: Biểu đồ hiển thị một vấn đề phân loại trong ô vuông đơn vị , trong đó Lớp A được biểu thị bằng vùng màu xám trong hình (không bao …

8 artificial-intelligence  neural-networks 

Có cuốn sách hay hướng dẫn nào dạy chúng ta cách áp dụng hiệu quả các thuật toán phổ biến (sắp xếp, tìm kiếm, v.v.) trên dữ liệu lớn (tức là dữ liệu không thể tải đầy đủ vào bộ nhớ chính) và cách áp dụng hiệu quả các thuật …

8 algorithms  efficiency  memory-management  big-data 

Tôi đang tìm kiếm một văn bản tham khảo về lý thuyết đồ thị ứng dụng và thuật toán đồ thị. Có một văn bản tiêu chuẩn được sử dụng trong hầu hết các chương trình khoa học máy tính? Nếu không, các văn bản được tôn trọng nhất trong …

8 algorithms  graph-theory  reference-request  education  books 

Sự thỏa mãn chung (với một vài ngoại lệ như Điều khoản sừng) không được tin là có một giải pháp thuật toán. Tuy nhiên, thuật toán sau đây dường như là một giải pháp cho sự thỏa mãn chung. Chính xác lỗ hổng với thuật toán sau là gì? …

8 algorithms  logic  satisfiability  constraint-programming 

Chúng tôi lấy chuỗi các số nguyên từ đến và chúng tôi đẩy chúng lên từng ngăn một theo thứ tự. Giữa mỗi lần đẩy, chúng ta có thể chọn bật bất kỳ số lượng vật phẩm nào từ ngăn xếp (từ 0 đến kích thước ngăn xếp hiện tại).111nnn …

8 algorithms  stacks 

Mark sống ở một đất nước nhỏ bé, những người có xu hướng suy nghĩ quá mức. Một ngày nọ, nhà vua của đất nước quyết định thiết kế lại tiền tệ của đất nước để thay đổi hiệu quả hơn. Nhà vua muốn giảm thiểu số lượng tiền dự …

8 algorithms  optimization  combinatorics  integers 

Tôi không chắc chắn tôi nhìn thấy nó. Từ những gì tôi hiểu, các cạnh và đỉnh là phần bổ sung cho nhau và điều khá ngạc nhiên là sự khác biệt này tồn tại. Có cách nào tốt / nhanh chóng / dễ dàng để thấy rằng trên thực …

8 complexity-theory  graph-theory  np-complete  intuition 

Cho một dãy số tự nhiên, bạn có thể thêm bất kỳ số tự nhiên nào vào bất kỳ số nào trong dãy sao cho xor của chúng trở thành số không. Mục tiêu của tôi là để giảm thiểu tổng số các số được thêm vào. Hãy xem xét …

8 algorithms  integers  xor 

Là ngôn ngữ L = { a , b }*∖ { ( mộtnbn)n∣ n ≥ 1 }L= ={một,b}*∖{(mộtnbn)n|n≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} bối cảnh miễn phí? Tôi tin rằng câu trả lời là nó không phải là CFL, nhưng tôi không thể chứng minh điều đó bằng …

8 formal-languages  context-free  pumping-lemma 

Thiết lập của tôi là như thế này: Tôi có một chuỗi các bộ số nguyên , vớitương đối nhỏ - theo thứ tự bốn hoặc năm mặt hàng cho tất cả . Tôi muốn chọn một chuỗi với mỗi sao cho tổng biến thể (hoặc hoặc , tức là …

8 algorithms  complexity-theory  optimization 

Có thể tôi đang thiếu một cái gì đó rõ ràng, nhưng nó có thể là P = co-NP NP hay ngược lại? Cảm giác của tôi là phải có một số định lý loại trừ khả năng này.⊊⊊\subsetneq

8 complexity-theory  p-vs-np 

Máy Turing có bảng chữ cái biểu tượng chính thức , trạng thái và mô tả quy tắc chuyển đổi dựa trên cách tính toán được thực hiện. Mô hình diễn viên đôi khi được đề cập như một mô hình tính toán mạnh mẽ hơn so với máy Turing …

8 terminology  computability  reference-request  programming-languages  computation-models 

Trong Cormen et. al., Giới thiệu về thuật toán (. 3rd ed), tôi không nhận được một dòng trong chứng minh Bổ đề 26.1 trong đó nêu rằng dòng chảy Augmented f↑f'f↑f'f\uparrow f' là một dòng chảy trong GGG và là st | f↑ f'| = | f| + | …

8 algorithms  network-flow 

COQ là một người ủng hộ định lý tương tác sử dụng phép tính của các cấu trúc quy nạp, tức là nó phụ thuộc rất nhiều vào các loại quy nạp. Sử dụng chúng, các cấu trúc rời rạc như số tự nhiên, số hữu tỷ, đồ thị, ngữ …

8 probability-theory  coq  real-numbers  uncountability