Câu hỏi được gắn thẻ «big-picture»

Để chứng minh tầm quan trọng của các thuật toán (ví dụ với sinh viên và giáo sư không làm lý thuyết hoặc thậm chí từ các lĩnh vực hoàn toàn khác nhau) đôi khi rất hữu ích khi có sẵn một danh sách các ví dụ về thuật toán …

307 ds.algorithms  big-picture  application-of-theory 

Tôi đã xem lại Lý thuyết tính toán cho vui và câu hỏi này đã làm tôi khó chịu trong một thời gian (buồn cười không bao giờ nghĩ về nó khi tôi học Lý thuyết Automata khi học đại học). Vậy "tại sao" chính xác là chúng ta nghiên …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

Tôi chỉ đọc lên tính toán lambda để "làm quen". Tôi thấy nó là một hình thức tính toán thay thế trái ngược với Turing Machine. Đó là một cách thú vị để làm mọi thứ với các chức năng / giảm (nói một cách thô lỗ). Một số câu …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

Người ta biết rằng nói chung, thứ tự của các bộ lượng tử phổ và tồn tại không thể đảo ngược. Nói cách khác, đối với một công thức logic chung ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) , (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) Mặt khác, chúng ta biết phía …

73 lo.logic  big-picture  proof-techniques 

Tôi là một học viên phần mềm và tôi đang viết một cuộc khảo sát về các cấu trúc đại số cho nghiên cứu cá nhân và đang cố gắng đưa ra các ví dụ về cách các cấu trúc này được sử dụng trong khoa học máy tính lý …

67 reference-request  big-list  big-picture  algebra 

Các nhà toán học đôi khi lo lắng về Tiên đề lựa chọn (AC) và Tiên đề xác định (AD). Axiom of Choice : Với bất kỳ bộ sưu tập của bộ rỗng, có một hàm f rằng, cho một tập S trong C , trả về một thành viên …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

Hiện tại, việc giải quyết vấn đề -complete hoặc P S P A C E -complete là không khả thi trong trường hợp chung cho các đầu vào lớn. Tuy nhiên, cả hai đều có thể giải được trong thời gian theo cấp số nhân và không gian đa thức.NPNPNPPSPACEPSPACEPSPACE …

66 cc.complexity-theory  np-hardness  big-picture 

Câu hỏi của tôi hôm nay là (như thường lệ) một chút ngớ ngẩn; nhưng tôi sẽ yêu cầu bạn vui lòng xem xét nó. Tôi muốn biết về nguồn gốc và / hoặc động lực đằng sau khái niệm treewidth. Tôi chắc chắn hiểu rằng nó được sử dụng …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

Gần đây, khi nói chuyện với một nhà vật lý, tôi đã tuyên bố rằng theo kinh nghiệm của tôi, khi một vấn đề có vẻ ngây thơ cần phải có thời gian theo cấp số nhân hóa ra là không cần thiết trong P hoặc BPP, một "lý do …

56 big-list  big-picture 

Tôi đã đi qua thuật toán đa thức giải quyết 2SAT. Tôi đã nhận thấy rằng 2SAT nằm trong P trong đó tất cả (hoặc nhiều người khác) trong các trường hợp SAT là NP-Complete. Điều gì làm cho vấn đề này khác nhau? Điều gì làm cho nó dễ …

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

Có một số vấn đề đếm liên quan đến việc đếm nhiều thứ theo cấp số nhân (liên quan đến kích thước của đầu vào), và vẫn có các thuật toán xác định, chính xác thời gian đa thức đáng ngạc nhiên. Những ví dụ bao gồm: Đếm các kết …

54 cc.complexity-theory  counting-complexity  big-picture 

Đây có thể là một câu hỏi chủ quan chứ không phải là một câu trả lời cụ thể, nhưng dù sao đi nữa. Trong lý thuyết phức tạp, chúng tôi nghiên cứu khái niệm tính toán hiệu quả. Có các lớp như là viết tắt của thời gian đa …

49 cc.complexity-theory  space-bounded  big-picture 

Hãy để tôi bắt đầu với một số ví dụ. Tại sao nó quá tầm thường khi hiển thị CVP ở P nhưng rất khó để hiển thị LP ở P; trong khi cả hai đều là vấn đề P-Complete. Hoặc lấy tính nguyên thủy. Hiển thị vật liệu tổng …

46 cc.complexity-theory  big-picture 

Trên một chủ đề khác , Andrej Bauer đã định nghĩa ngữ nghĩa học biểu thị là: ý nghĩa của một chương trình là một chức năng của ý nghĩa của các bộ phận của nó. Điều làm tôi băn khoăn về định nghĩa này là nó dường như không …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

Hệ thống phân cấp Chomsky (mậtSchützenberger) được sử dụng trong sách giáo khoa khoa học máy tính lý thuyết, nhưng rõ ràng nó chỉ bao gồm một phần rất nhỏ các ngôn ngữ chính thức (REG, CFL, CSL, RE) so với Sơ đồ sở thú phức tạp đầy đủ . …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching