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

Lý thuyết kiểu xây dựng với sự giải thích cơ bản của nó dưới sự tương ứng của cà ri howard chỉ bao gồm các hàm tổng số, tính toán được. Trong tài liệu, một số người đã nói về việc sử dụng "lý thuyết loại tính toán" để thể …

10 lo.logic  type-theory  oracles  halting-problem 

Đặt AAA là ma trận trên trường hữu hạn F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} và xxx , yyy là vectơ của không gian Fn2F2n\mathbb{F}_2^n . Tôi quan tâm đến độ phức tạp tính toán của việc quyết định xem có tồn tại t∈Nt∈Nt \in \mathbb{N} sao cho Atx=yAtx=yA^t x = y , …

10 cc.complexity-theory  reference-request  linear-algebra 

Tôi có thể tìm thấy phần giới thiệu về automata xác suất ở đâu và những gì họ nhận ra (một số chức năng từ từ đến )? Có một thuật ngữ tiêu chuẩn cho các chức năng như vậy được nhận dạng bởi automata xác suất, tương tự như …

10 reference-request  fl.formal-languages  probabilistic-automata 

Có một số lớp đồ thị thú vị với giới hạn treewidth. Ví dụ: cây (treewidth 1), chuỗi đồ thị song song (treewidth 2), đồ thị ngoài cùng (treewidth 2), đồ thị -outerplanar (treewidth O (k)), đồ thị của độ rộng nhánh (treewidth O (k)), .. .kkkkkk Câu hỏi: Có …

10 graph-theory  treewidth 

Sự bao gồm ngược lại là hiển nhiên, vì thực tế là bất kỳ ngôn ngữ NP tự giảm nào trong BPP cũng nằm trong RP. Đây có phải cũng được biết là giữ cho các ngôn ngữ NP không tự giảm?

10 cc.complexity-theory  derandomization  pseudorandomness 

Đặt là một đa thức đối xứng , nghĩa là một đa thức sao cho cho tất cả và tất cả các hoán vị . Để thuận tiện, chúng ta có thể giả sử là một trường hữu hạn, để tránh giải quyết các vấn đề với mô hình tính …

10 cc.complexity-theory  permutations  polynomials 

Có bất kỳ ví dụ tự nhiên nào về các vấn đề tối ưu hóa mà việc tạo ra một giải pháp tối ưu dễ dàng hơn nhiều so với việc đánh giá chất lượng của một giải pháp ứng viên nhất định không? Vì lợi ích của concreteness, chúng …

10 cc.complexity-theory  optimization  examples 

Giả thuyết của BermanTHER Hartmanis: tất cả các ngôn ngữ hoàn chỉnh NP trông giống nhau, theo nghĩa là chúng có thể liên quan với nhau bằng các đẳng cấu thời gian đa thức [1]. Tôi quan tâm đến một phiên bản chi tiết hơn của "thời gian đa thức", …

10 complexity-classes  np-complete  fixed-parameter-tractable 

Cho đồ thị hai cực có trọng số dương cho phép với bằng với trọng số tối đa phù hợp trong đồ thị .G=(U∪V,E)G=(U∪V,E)G = (U \cup V, E)f:2U→Rf:2U→Rf: 2^U \rightarrow \mathbb{R}f(S)f(S)f(S)G[S∪V]G[S∪V]G[S\cup V] Có đúng là là một hàm con?fff

10 matching  submodularity 

Thuật ngữ sau (sử dụng bruijn-indexes): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Khi áp dụng cho một số nhà thờ Nđánh giá hình thức bình thường một cách nhanh chóng trong …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

Tôi quan tâm đến việc giảm -Clique thành SAT mà không làm cho ví dụ lớn hơn nhiều.kkk Clique nằm trong NP nên có thể giảm xuống SAT bằng không gian logarit. Việc giảm bớt sách giáo khoa đơn giản của Garey / Johnson sẽ làm tăng thể tích lên …

10 cc.complexity-theory  sat  reductions  clique 

Đặt là một đồ thị vô hướng đơn giản trên n đỉnh và m cạnh.G=(V,E)G=(V,E)G=(V,E)nnnmmm Tôi đang cố gắng để xác định thời gian chạy dự kiến của thuật toán Wilson để tạo ra một cây bao trùm ngẫu nhiên của . Ở đó, nó được chứng minh là O …

10 graph-theory  graph-algorithms  co.combinatorics  random-walks  analysis-of-algorithms 

Các bộ chuyển đổi được xem xét ở đây là những Wikipedia gọi là bộ chuyển đổi trạng thái hữu hạn . Hành vi của một bộ chuyển đổi , nghĩa là, mối quan hệ mà nó tính toán, được viết : một từ là một đầu ra cho iff …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Nó cũng được biết rằng các lớp học nhất định của NP -problems Có sự phân đôi lý, trong đó đảm bảo rằng tất cả các nhiệm vụ trong lớp là một trong hai NP -complete hoặc là trong P . Kết quả được biết đến nhiều nhất là định …

10 cc.complexity-theory  np  descriptive-complexity 

Hãy xem xét vấn đề sau: Cho một ma trận chúng tôi muốn tối ưu hóa số lượng bổ sung trong thuật toán nhân cho tính toán v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Tôi thấy vấn đề này thú vị vì mối quan hệ của nó với …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits