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

Một từ www được gọi là nguyên thủy , nếu không có từ và sao cho . Tập của tất cả các từ nguyên thủy trong bảng chữ cái là một ngôn ngữ nổi tiếng. Chúng ta có thể chọn .vvvk>1k>1k > 1w=vkw=vkw = v^kQQQΣΣ\SigmaΣ={a,b}Σ={a,b}\Sigma = \{ a,b \} Một …

17 fl.formal-languages 

Trong cuốn sách của Sakarovitch về lý thuyết automata, nó được viết trong phần giới thiệu về phần hợp lý trong nhóm tự do mà tài liệu trình bày trong đó đưa ra "nền tảng của một lý thuyết toán học thực sự về ngôn ngữ không ngữ cảnh". Tuy …

17 context-free  automata-theory  reference-request 

Nhiều định lý và "nghịch lý" - Đường chéo của Cantor, tính không ổn định của sự hận thù, sự không ổn định của độ phức tạp Kolmogorov, Sự không hoàn hảo của Gôdel, Sự bất toàn của Chaitin, Nghịch lý của Russell, v.v. - tất cả đều có cùng …

17 lo.logic  computability  ct.category-theory  kolmogorov-complexity 

Tôi đang tìm kiếm tổ hợp phổ quát nhỏ nhất có thể , được đo bằng số lượng trừu tượng và ứng dụng cần thiết để chỉ định một tổ hợp như vậy trong phép tính lambda . Ví dụ về các tổ hợp phổ quát bao gồm: kích thước …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

Lý lịch Được biết, có tồn tại một oracle ví dụ đó, .P S P A C E A ≠ P H AAAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Thậm chí người ta còn biết rằng sự tách biệt giữ tương đối với một lời sấm truyền ngẫu nhiên. Một cách không chính thức, …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

Giả sử chúng ta có một tập hợp hữu hạn LLL đĩa trong R2R2\mathbb{R}^2 , và chúng tôi muốn để tính toán đĩa nhỏ nhất DDD mà ⋃L⊆D⋃L⊆D\bigcup L\subseteq D . Một cách tiêu chuẩn để làm điều này là sử dụng các thuật toán của Matoušek, Sharir và Welzl …

17 cg.comp-geom  linear-programming  computational-geometry 

Người ta biết rằng nhiều vấn đề hoàn thành NP thể hiện quá trình chuyển pha. Tôi quan tâm ở đây trong quá trình chuyển pha liên quan đến ngăn chặn trong ngôn ngữ, hơn là độ cứng của đầu vào, liên quan đến một thuật toán. Để làm cho …

17 cc.complexity-theory  phase-transition 

Tôi là một nhà toán học, người làm việc chủ yếu trong lý thuyết quang phổ về các toán tử tự điều chỉnh và đơn vị. Một số nghiên cứu của tôi có liên quan đến các cuộc đi bộ lượng tử và tôi có một bài viết đặc biệt …

17 soft-question  conferences 

Cho nhóm đối xứng và hai nhóm con và , có giữ không?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Theo như tôi biết, vấn đề này được gọi là vấn đề giao nhau. Tôi đang tự hỏi những gì phức tạp? Cụ thể, vấn đề này được biết là trong coAM? Hơn …

17 cc.complexity-theory  graph-isomorphism  gr.group-theory 

Được biết, kích thước tối thiểu của -circuits tính toán hàm chẵn lẻ chính xác bằng 3 ( n - 1 ) . Bằng chứng ràng buộc thấp hơn được dựa trên phương pháp loại bỏ cổng.U2U2U_23(n−1)3(n−1)3(n-1) Gần đây, tôi nhận thấy rằng phương pháp loại bỏ cổng cũng hoạt …

17 cc.complexity-theory  reference-request  circuit-complexity 

Đối với biểu đồ chu kỳ có hướng , có cấu trúc dữ liệu nào cho phép truy vấn khả năng tiếp cận mà không yêu cầu không gian bậc hai hoặc thời gian tuyến tính không? Lý tưởng nhất là tôi tìm kiếm một thuật toán chỉ sử dụng …

17 graph-algorithms 

Bài viết này tuyên bố rằng phân tích truyền thống về tỷ lệ lỗi trong các bộ lọc Bloom là không chính xác, sau đó cung cấp một phân tích dài và không cần thiết về tỷ lệ lỗi thực tế. Bài viết được liên kết đã được xuất bản …

17 ds.data-structures 

Bài báo "Thuật toán phụ cho 3SUM" của Ilya Baran, Erik D. Demaine, Mihai Patrascu có độ phức tạp sau đây cho 3SUM vấn đề: cung cấp một danh sách LLL của nnn số nguyên nếu có x,y,z∈Lx,y,z∈Lx,y,z \in L mà x+y=z.x+y=z.x+y=z. w−w−w-O(n2/max{wlogw,logn(loglogn)2})O(n2/max{wlog⁡w,log⁡n(log⁡log⁡n)2})O(n^2/ \max\{w \log w, \log n (\log \log …

17 cc.complexity-theory  ds.algorithms 

Theo đề nghị của Josh Grochow, tôi chuyển đổi nhận xét của mình từ câu hỏi trước sang câu hỏi mới. Chúng ta có bằng chứng gì cho ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Ở đây là lớp ngôn ngữ có thể nhận biết được bằng các máy Turing không xác định thời …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Hãy tưởng tượng, chúng tôi đã định nghĩa các số tự nhiên trong phép tính lambda phụ thuộc vào số của Giáo hội. Chúng có thể được định nghĩa theo cách sau: SimpleNat = (R : Set) → R → (R → R) → R zero : SimpleNat zero = …

17 type-theory  lambda-calculus  dependent-type