Khoa học máy tính

Tôi đang làm việc trên các định hướng theo chu kỳ của đồ thị vô hướng và có các câu hỏi sau: Cho đồ thị đơn giản vô hướng được kết nối , làm thế nào để tìm tất cả các hướng xoay vòng có thể có của G ?GGGGGG …

8 algorithms  graph-theory  counting 

Bảng băm được cho là khấu hao Θ ( 1 )Θ(1)\Theta(1) sử dụng tiếng nói đơn giản chaining và tăng gấp đôi tại một năng lực nhất định. Tuy nhiên, điều này giả định độ dài của các phần tử là không đổi. Tính toán các hash của một phần …

8 hash-tables  dictionaries 

Có lớp vấn đề NP nào có một giải pháp duy nhất không? Tôi đang hỏi điều đó, bởi vì khi tôi đang học về mật mã, tôi đã đọc về chiếc ba lô và tôi thấy ý tưởng này rất thú vị.

8 complexity-theory  decision-problem  np  cryptography 

Khi tôi lần đầu tiên nghe về những điều này, tôi đã rất thích thú vì tôi nghĩ rằng nó thực sự đặt ra giới hạn cho toán học và khoa học nói chung. Nhưng làm thế nào thực tế có liên quan là những điều này? Đối với vấn …

8 computability  logic  halting-problem  applied-theory 

Trong CLRS (trên trang 49-50), ý nghĩa của tuyên bố sau là gì: Σni=1O(i)Σi=1nO(i)\Sigma_{i=1}^{n} O(i) chỉ là một hàm ẩn danh duy nhất (của ), nhưng không giống với O (1) + O (2) + \ cdots + O (n) , mà không thực sự có một sự giải thích. …

8 asymptotics  landau-notation 

Tôi đã thử tìm kiếm trực tuyến, nhưng tôi không thể tìm thấy bất kỳ tuyên bố dứt khoát nào. Nó có ý nghĩa với tôi rằng Liên minh và Giao lộ của hai ngôn ngữ NPC sẽ tạo ra một ngôn ngữ không nhất thiết phải có trong NPC. …

8 complexity-theory  np-complete  closure-properties 

Có vấn đề sau đây đã được nghiên cứu trước? Nếu có, phương pháp / thuật toán nào đã được phát triển để giải quyết nó? Vấn đề ("Vấn đề chiều cao xếp chồng tối đa") Cho đa giác, tìm sự sắp xếp ổn định, không chồng chéo của chúng …

8 algorithms  time-complexity  optimization  computational-geometry  heuristics 

Khi tìm hiểu về kiến ​​trúc của máy tính và cách thức hoạt động, chúng tôi nghĩ rằng ngôn ngữ thấp nhất mà chúng ta có thể thấy rằng máy hiểu là nhị phân là 1 & 0. Và bất cứ điều gì chúng ta nhập vào sẽ phải được …

8 computer-architecture 

Định kỳ tôi bắt gặp những câu như "Biến thể của Winograd [20] của thuật toán này, có độ phức tạp tiệm cận cũng là được xem xét" (từ https://www.cise.ufl.edu/~sahni/ con / strassen.pdf )Ô ( n2,81)Ôi(n2,81)O(n^{2.81}) Tôi hiểu theo trực giác cách chúng ta kết thúc với các phức tạp …

8 complexity 

Đặt , trong đó và cho tất cả .L={an∣n≥0}L={an∣n≥0}L = \{a^n \mid n \ge 0\}a0=ϵa0=ϵa^0 = \epsilonan=an−1aan=an−1aa^n = a^{n-1}an≥1n≥1n \ge 1 Do đó bao gồm các chuỗi độ dài bằng a, bao gồm chuỗi có độ dài . Hãy được bất kỳ tập con vô hạn của . Tôi cần …

8 formal-languages  regular-languages  closure-properties 

Gần đây tôi đã xử lý một vấn đề dẫn tôi đến những câu hỏi sau: Có một thuật toán tốt để liệt kê tất cả các kết hợp tối đa / hoàn hảo trong một biểu đồ chung không? Có một thuật toán tốt để tìm tất cả các …

8 algorithms  complexity-theory  graph-theory  reference-request  matching 

Đặt là DAG. Chúng tôi biết rằng một số nút trong là "xấu", trong khi các nút khác là "tốt"; hậu duệ của một nút xấu là xấu trong khi tổ tiên của một nút tốt là tốt. Chúng tôi cũng biết rằng các nút xấu có một phần tử …

8 algorithms  graphs 

Trong phép tính lambda thuần túy, chúng ta có tập hợp các thuật ngữ được xác định theo quy nạp (ngữ pháp): e : : = x | bước sóng x . e ∣ e1e2e:: =x|λx.e|e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Theo chiến lược đánh giá …

8 programming-languages  lambda-calculus  semantics 

Tôi đã đọc lên định lý bốn màu và tự hỏi liệu có ứng dụng thực tế nào của nó không. (Tôi không nghĩ việc tách bản đồ thành bốn màu khác nhau có thể được coi là một ứng dụng.) Tôi đã thử Googling cho các ứng dụng nhưng …

8 graph-theory  colorings 

Chúng ta biết rằng P = NP ngụ ý NP = coNP. Liệu hàm ý ngược giữ? NP bằng coNP có nghĩa là P bằng NP không? Nếu không, tai sao không? Tôi googled nhưng không tìm thấy câu trả lời.

8 complexity-theory