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

Thông thường đơn giản hơn là lý do về tính toán trong đó giới hạn là tính hữu hạn của tính toán thay vì một ngưỡng như "tính toán trong lượng thời gian đa thức". Trong lý thuyết ngôn ngữ chính thức chẳng hạn, thay vì sử dụng ∃ n …

12 cc.complexity-theory  computability 

Tôi chỉ muốn biết một số ví dụ về các hàm có thể được tính toán bằng phép tính lambda chưa được gõ nhưng không phải bằng phép tính lambda gõ. Khi tôi là người mới bắt đầu, một số thông tin cơ bản sẽ được đánh giá cao. Cảm …

12 pl.programming-languages  type-theory  lambda-calculus  computable-analysis 

Tôi đang tìm kiếm một thuật toán nhanh để tính toán lưu lượng tối đa trong các biểu đồ động. tức là đã cho một đồ thị G=(V,E)G=(V,E)G=(V,E) và chúng ta có luồng tối đa trong G từ s đến t . Sau đó mới / nút cũ u thêm …

12 graph-theory  graph-algorithms 

Trọng lượng |x||x||x|của một chuỗi nhị phân x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n là số lượng các chuỗi trong chuỗi. Điều gì xảy ra nếu chúng ta quan tâm đến việc tính toán một hàm đơn điệu trên đầu vào với một vài cái? Chúng ta biết rằng quyết định nếu một đồ thị có …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Tôi đang tìm kiếm một ngôn ngữ L với các thuộc tính sau: L không nên có ngữ cảnh. Bổ sung của L không nên không có ngữ cảnh. (Tất cả mọi thứ bạn thấy trong sách giáo khoa là ví dụ điển hình của các ngôn ngữ không ngữ …

12 fl.formal-languages  automata-theory 

Như đã biết, các bài toán tối ưu hóa NP-hard có thể có nhiều tỷ lệ xấp xỉ khác nhau, từ tất cả các cách từ có PTAS đến không thể xấp xỉ trong bất kỳ yếu tố nào. Ở giữa, chúng ta có các hằng số khác nhau, , …

12 cc.complexity-theory  approximation-hardness 

Với một endofunctor F:Set→SetF:Set→SetF : Set \rightarrow Set , chúng ta có thể xác định các chức năng quan sát như chức năng mà là đa hình cho bất kỳ FFF -coalgebra, đó là obsobsobs được định nghĩa cho bất kỳ FFF -coalgebra ⟨A,c:A→FA⟩⟨A,c:A→FA⟩\langle A, c : A \rightarrow FA\rangle …

12 ct.category-theory 

Động vật học phức tạp của Greg Kuperberg nói rằng có một ngôn ngữ XXX sao cho BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - nói cách khác, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - nhưng không đưa ra tham chiếu cho kết quả này. Tại sao điều này giữ? Hoặc một bằng chứng có thể …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

Những vấn đề tiêu chuẩn chúng ta có thể giảm từ để chứng minh là gì giới hạn thấp hơn?Ω ( nhật ký nn )Ω(nđăng nhập⁡n)\Omega(n\log n) Tất nhiên, các vấn đề nhà nước ngoài việc phân loại và phân biệt thành phần.

12 cc.complexity-theory  lower-bounds 

Tôi đã tìm thấy một vấn đề trong chứng minh giảm chủ đề của Barendregt (Thm 4.2.5 của phép tính Lambda với các loại ). Bước cuối cùng của bằng chứng (trang 60), cho biết: "Và do đó bởi Bổ đề 4.1.19 (1), ".Γ , x : ρ ⊢ P: …

12 lo.logic  type-theory  lambda-calculus  proof-theory 

Trong công việc của tôi, vấn đề sau đây phát sinh: Có một thuật toán đã biết, xấp xỉ số màu của đồ thị mà không có một bộ thứ tự 65 độc lập không? (Vì vậy, alpha (G) <= 64 được biết đến và | V | / 64 …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring 

Tôi đang tự hỏi những tiến bộ gần đây trong lý thuyết cơ sở dữ liệu quan hệ và các lĩnh vực liên quan là gì? Tôi quan tâm đến các cách tiếp cận mới, ngôn ngữ truy vấn (các lựa chọn thay thế cho SQL và / hoặc các …

12 db.databases  relational-structures 

Hãy xem xét vấn đề kiểm tra tư cách thành viên nhóm abelian sau đây . Đầu vào: Một nhóm abel hữu hạn G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} với tùy ý lớn didid_i . Một phát-set {h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbrace của một nhóm con H⊂GH⊂GH\subset G . Một yếu tố b∈Gb∈Gb\in G . Đầu ra: 'có' …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory 

Tôi là một anh chàng quang học lượng tử hơn là một anh chàng thông tin lượng tử, và chủ yếu giải quyết các phương trình chính. Tôi quan tâm đến hình thức tổng toán tử và tôi muốn rút ra các lỗi trong biểu mẫu này cho một hệ …

12 quantum-information 

SAT duy nhất là vấn đề nổi tiếng: được đưa ra một công thức CNF , có đúng là F có chính xác một mô hình không?FFFFFF Tôi quan tâm đến vấn đề «Chính xác -SAT»: đưa ra công thức CNF F và số nguyên m > 1 , có …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions