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

Đặt là bảng chữ cái hữu hạn. Đối với một ngôn ngữ nhất định L ⊆ A * các monoid cú pháp M ( L ) là một khái niệm nổi tiếng trong lý thuyết ngôn ngữ chính thức. Hơn nữa, một monoid M nhận một ngôn ngữ L iff …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Các giới hạn trên không triệu chứng được biết đến nhiều nhất về kích thước của bằng chứng kiểm tra xác suất là gì? Lý tưởng nhất, tôi đang tìm kiếm một cuộc khảo sát đương đại về câu hỏi rộng này, nhưng nếu không có, tôi đặc biệt quan …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Tôi tò mò về những cách mà bạn đã thấy tính không đồng nhất có ích trong tính toán. Một cách là sự ngẫu nhiên, như trong , và một cách khác là các bảng tra cứu được sử dụng để cho thấy rằng tất cả các ngôn ngữ đều …

9 circuit-complexity  advice-and-nonuniformity 

Trong Một lý thuyết trực giác về các loại: Phần dự đoán của Martin-Löf, người ta đã chứng minh rằng việc kiểm tra kiểu có thể quyết định đối với một từ có thể đánh máy ngay từ đầu, bằng cách chứng minh một định lý chuẩn hóa cho các …

9 reference-request  type-theory  type-inference 

Tôi gặp khó khăn trong việc tìm hiểu bằng chứng về sự chuẩn hóa mạnh mẽ cho việc tính toán các công trình. Tôi cố gắng làm theo bằng chứng trong bài báo của Herman Geuvers "Một bằng chứng ngắn gọn và linh hoạt về Bình thường hóa mạnh mẽ …

9 lo.logic  type-theory  lambda-calculus  typed-lambda-calculus 

Braverman đã chỉ ra rằng các bản phân phối là -wise độc lậpε-fool sâudMộtC0mạch kích thướcmbằng cách "dán lại với nhau" xấp xỉ Smolensky và xấp xỉ Fourier củamộtC0hàm Boolean -computable. Tác giả và những người đã phỏng đoán điều này ban đầu phỏng đoán rằng số mũ ở đó …

9 boolean-functions  fourier-analysis 

Các Robertson-Seymour lý nói rằng bất kỳ nhỏ kín gia đình GG\mathcal G của đồ thị có thể được đặc trưng bởi sự hữu hạn nhiều trẻ vị thành niên bị cấm. Có một thuật toán cho một đầu vào GG\mathcal G xuất ra các vị thành niên bị cấm …

9 graph-theory  decidability  graph-minor 

Có ai biết tên Hệ thống "F" và Hệ thống "T" đến từ đâu không? Tôi không hỏi ai đã giới thiệu những cái tên đó (Girard System F, và Goddel System T), nhưng "F" và "T" nghĩa là gì.

9 ho.history-overview  type-systems  formal-systems 

Được biết, Ford-Fulkerson hoặc Edmonds-Karp với heuristic ống mỡ (hai thuật toán cho dòng chảy tối đa) không cần phải dừng lại nếu một số trọng số là không hợp lý. Trong thực tế, họ thậm chí có thể hội tụ vào giá trị sai ! Tuy nhiên, tất cả …

9 ds.algorithms  graph-algorithms  max-flow 

Tôi là một học giả nghiên cứu, người làm việc trong lý thuyết Thuật toán và Độ phức tạp, tôi sử dụng độ phức tạp tham số hóa ở một mức độ nào đó. Đối với tôi, dường như các nhà nghiên cứu về độ phức tạp tham số hóa …

9 soft-question  parameterized-complexity 

Định lý Cantor nói rằng Đối với bất kỳ tập hợp A nào, tập hợp tất cả các tập hợp con của A có số lượng thẻ lớn hơn chính A. Có thể mã hóa một cái gì đó như thế này chỉ bằng cách sử dụng các loại / …

9 type-theory  set-theory 

Các bộ giải SMT như Z3 hoặc Boolector sử dụng một bộ heuristic phức tạp để giải quyết các vấn đề. Tuy nhiên, điều này cũng làm cho việc dự đoán hiệu suất của một bộ giải như vậy cho một vấn đề nhất định rất khó khăn. Câu hỏi …

9 ds.algorithms  sat  heuristics 

Tôi được đưa ra một đồ thị với treewidth k và mức độ tùy ý, và tôi muốn tìm một đồ thị H của G (không nhất thiết là một đồ thị con cảm ứng) sao cho H có độ không đổi và treewidth của nó càng cao càng tốt. …

9 co.combinatorics  treewidth  graph-minor  bounded-degree 

Với một hàm Boolean , chúng tôi có nhóm automorphism Một u t ( f ) = { σ ∈ S n | ∀ x , f ( σ ( x ) ) = f ( x ) } .fffAut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Mộtbạnt(f)= ={σ∈Sn |∀x,f(σ(x))= =f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall …

9 boolean-functions  randomness  gr.group-theory  symmetry 

Sau những thành công mới hơn và mới hơn của mạng lưới thần kinh khi chơi các trò chơi cờ bàn, người ta cảm thấy rằng mục tiêu tiếp theo chúng ta đặt ra có thể hữu ích hơn là đánh bại con người trong Starcraft. Chính xác hơn, tôi …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol