Khoa học máy tính

PC của chúng tôi có hoạt động như Turing Machine không? Mô hình của Máy Turing bao gồm băng nhớ vô hạn, có nghĩa là trạng thái vô hạn. Nhưng giả sử nếu PC của chúng ta có bộ nhớ 128 MB và đĩa 30 GB thì nó sẽ có …

8 complexity-theory  computability  turing-machines  automata 

Hãy xem xét vấn đề này: Cho đồ thị vô hướng , tìm sao cho:G ' = ( V ' , E ' )G=(V,E)G= =(V,E)G = (V, E)G′=(V′,E′)G′=(V′,E′)G' = (V', E') G′G′G' là một sơ đồ con củaGGG G′G′G' không có 3 cửa hàng |V′||V′||V'|là tối đa Vì vậy, số …

8 algorithms  graph-theory  graphs  optimization 

Hãy để là một ngôn ngữ thông thường. Chứng minh rằng:LLL L+−−={w:∃u|u|=2|w|∧wu∈L}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} L++−={w:∃u2|u|=|w|∧wu∈L}L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge wu\in L \right\} L- + -= { w : ∃bạn , v| bạn | = | w | = | v | ∧uwv∈L }L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L_{-+-}=\left\{w:\exists_{u,v} |u|=|w|=|v| \wedge uwv\in L\right\} là …

8 regular-languages 

Từ biểu đồ đẳng cấu, chúng ta biết rằng hai đồ thị A và B là đẳng cấu nếu có ma trận hoán vị P sao cho A = P× B × P- 1A=P×B×P−1A = P \times B \times P^{-1} Vì vậy, để giải quyết vấn đề, nếu hai đồ …

8 algorithms  graphs  cryptography  graph-isomorphism 

Tôi có một vấn đề nhỏ để hiểu bằng chứng của Định lý phân cấp thời gian (Hennie và Stearns, 1966) đảm bảo sự tồn tại của một ngôn ngữ được chấp nhận trong nhưng không được chấp nhận trong cho bất kỳ chức năng nào , sao cho có …

8 complexity-theory  turing-machines  simulation 

Nếu bạn có một ngôn ngữ L, mà không cần thực hiện bất kỳ bằng chứng nào, có cách nào để biết liệu nó có thể nhận ra hoặc đồng nhận biết hoặc có thể quyết định được không? Về cơ bản bất kỳ gợi ý hoặc thủ thuật có …

8 computability  undecidability  intuition 

Theo truyền thống, lập trình tuyến tính được sử dụng để tìm một giải pháp tối ưu cho một tập hợp các ràng buộc, biến và mục tiêu (tất cả được mô tả là mối quan hệ tuyến tính). Đôi khi, khi mục tiêu song song với một ràng buộc, …

8 optimization  linear-programming 

Cho một tập hợp n công việc với [thời gian bắt đầu, thời gian kết thúc, chi phí] tìm một tập hợp con sao cho không có 2 công việc nào trùng nhau và chi phí là tối đa. Bây giờ tôi không chắc liệu một thuật toán tham lam …

8 algorithms  scheduling  greedy-algorithms  knapsack-problems 

Tôi đang đọc cuốn sách Hệ điều hành của Galvin. Galvin giải thích, chế độ kernel & user là gì, đặc quyền hướng dẫn được cung cấp cho cả hai chế độ & cả về mode-bit. Nhưng tôi quan tâm để biết làm thế nào thay đổi chế độ từ …

8 computer-architecture  operating-systems  memory-management  cpu-cache  memory-access 

Tôi đã đọc về thuật toán để tìm các thành phần được kết nối mạnh trong đồ thị có hướng . Nó xem xét hai DFS Tìm kiếm và bước thứ hai được transposing đồ thị gốc .G=(V,E)G=(V,E)G=(V,E)GTGTG^T Thuật toán như sau: Thực hiện DFS trên (bắt đầu từ một …

8 algorithms  graphs  graph-traversal 

Từ những gì tôi đã hiểu: Flip Flop là một chốt có đồng hồ, tức là flip flop = chốt + đồng hồ Latch liên tục kiểm tra đầu vào & thay đổi đầu ra bất cứ khi nào có thay đổi đầu vào Flip Flop cũng liên tục kiểm …

8 computer-architecture  sequential-circuit  digital-circuits 

Có phải ngôn ngữ L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} ngữ cảnh? Tôi đoán rằng nó không phải là bối cảnh miễn phí vì có vẻ như quá phức tạp đối với một thiết …

8 formal-languages  context-free  pumping-lemma  pushdown-automata 

Khi định lý nổi tiếng của Savitch được nêu, người ta thường thấy yêu cầu là không gian có thể xây dựng được (thật thú vị, nó bị bỏ qua trong Wikipedia). Câu hỏi đơn giản của tôi là: Tại sao chúng ta cần điều này? Tôi hiểu yêu cầu …

8 complexity-theory  space-complexity  complexity-classes  nondeterminism 

Đã đóng cửa . Câu hỏi này cần được tập trung hơn . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để nó chỉ tập trung vào một vấn đề bằng cách chỉnh sửa bài đăng này . Đóng …

8 algorithm-analysis  asymptotics  runtime-analysis  sorting  searching 

Hãy để LLL là một ngôn ngữ thông thường. Là ngôn ngữ L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} thường xuyên? Tôi biết nó rất giống với câu hỏi ở đây , nhưng điều thú vị là nó …

8 formal-languages  regular-languages  closure-properties