Khoa học máy tính lý thuyết

R P= NPRP= =NPRP = NP được phỏng đoán rộng rãi là sai. Nhưng hãy tưởng tượng trong một khoảnh khắc rằng nó là sự thật. Trong trường hợp như vậy, khả năng như thế nào?P= NPP= =NPP = NP Nói cách khác: trong một thế giới nơi , điều …

12 cc.complexity-theory  complexity-classes  conditional-results 

Trang "Lược đồ nâng cao: Một số bit nghịch ngợm" nêu rõ: Continuations là một cấu trúc luồng điều khiển mạnh mẽ mà từ đó gần như bất kỳ cấu trúc luồng điều khiển nào khác [...] có thể được bắt nguồn. Tôi nghĩ rằng Scheme call/cc, có liên quan …

12 lambda-calculus  denotational-semantics  scheme  operational-semantics 

Lấy cảm hứng từ câu hỏi này , tôi tò mò về những điều sau đây: Độ phức tạp trong trường hợp xấu nhất của việc kiểm tra xem một DFA nhất định có chấp nhận cùng ngôn ngữ với biểu thức chính quy đã cho không? Điều này có …

12 automata-theory  lg.learning  regular-expressions  dfa 

Trong khi dạy cách triển khai các FSM bằng các mạch logic đồng bộ, tôi nhận thấy một sự trùng hợp thú vị: trong cả thế giới CS lý thuyết và trong thế giới kỹ thuật điện, "trạng thái" thường được ký hiệu là (và không gian trạng thái ). …

12 automata-theory  ho.history-overview 

Xét một vị từ P đơn điệu trên lũy thừa 2 | n | (đặt hàng bằng cách đưa vào). Bằng cách "đơn điệu" Ý tôi là: ∀ x , y ∈ 2 | n | sao cho x ⊂ y , nếu P ( x ) thì P ( …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Khắc phục một vấn đề tìm kiếm hoàn chỉnh NP, ví dụ như dạng tìm kiếm SAT. Tìm kiếm Levin cung cấp một thuật toán để giải là tối ưu theo một nghĩa nào đó. Cụ thể, thuật toán là "Thực thi tất cả các chương trình có thể phù …

12 cc.complexity-theory  time-complexity  p-vs-np 

Nó được xây dựng bằng cách mở rộng biểu đồ ngưỡng . Cho một đồ thị ngưỡng trong đó là cụm và là tập độc lập, phần mở rộng của tôi như sau: Mỗi đỉnh có thể được thay thế bằng một sao cho các đỉnh của có cùng hàng …

12 graph-theory  graph-classes 

Trong ví dụ truy cập nổi tiếng về phương pháp đẳng cấu đồ thị thông qua phương pháp Weisfeiler-Lehman (WL), tiện ích sau đây được xây dựng trong bài báo này của Cai, Furer và Immerman. Chúng xây dựng đồ thị được cho bởiXk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, …

12 graph-theory  graph-algorithms  graph-isomorphism  algebraic-complexity 

Đã có một số nỗ lực để tấn công vấn đề đẳng cấu đồ thị bằng cách sử dụng bước đi ngẫu nhiên lượng tử của các boson lõi cứng (đối xứng nhưng không chiếm hai lần). Sức mạnh đối xứng của ma trận kề, có vẻ đầy hứa hẹn, …

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

Ở đây: http://www.planarity.org/Klein_elementary_graph_theory.pdf (trong chương nhúng) được đưa ra định nghĩa về nhúng tổ hợp của đồ thị phẳng. (với định nghĩa về khuôn mặt, v.v.) Mặc dù có thể dễ dàng sử dụng cho bất kỳ biểu đồ nào, họ định nghĩa biểu đồ phẳng là biểu đồ, theo …

12 graph-theory  co.combinatorics  planar-graphs 

Ai đó có thể cung cấp một ví dụ về hai tương đương (nhận dạng cùng một ngôn ngữ) automata không xác định tối thiểu (NFA) không phải là đẳng cấu?

12 fl.formal-languages  automata-theory 

Theo dõi Ví dụ về Monad là gì thay thế nhưng không phải là MonadPlus? : Giả sử là một đơn nguyên. Các mối quan hệ betweem là một Thay thế , MonadPlusCatch và MonadPlusDistr là gì? mmmmmmĐối với mỗi sáu cặp có thể, tôi muốn có một bằng chứng …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

Nếu chúng ta được cung cấp hai chuỗi có kích thước và , thì tính toán khoảng cách chỉnh sửa Levenshtein tiêu chuẩn là bằng thuật toán động với độ phức tạp thời gian và độ phức tạp không gian . (Một số cải tiến có thể được thực hiện …

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

Tôi đang tìm kiếm một ràng buộc trên entropy H(X+Y)H(X+Y)H(X+Y) của tổng của hai biến ngẫu nhiên rời rạc độc lập và . Đương nhiên, Tuy nhiên, áp dụng cho tổng biến ngẫu nhiên Bernoulli độc lập , điều này mang lại cho Nói cách khác, ràng buộc phát triển …

12 it.information-theory  shannon-entropy 

Trong các loại đệ quy của Wadler miễn phí! [1], ông đã chứng minh hai loại, ∀X.(F(X)→X)→X∀X.(F(X)→X)→X\forall X . (F(X) \rightarrow X) \rightarrow X và và tuyên bố chúng là kép . Cụ thể, ông chỉ ra rằng loại là không kép của cựu. Có vẻ như tính hai mặt …

12 lo.logic  type-theory