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

Người ta đã biết thông qua định lý gần đúng phổ quát rằng một mạng nơ ron chỉ có một lớp ẩn duy nhất và một hàm kích hoạt tùy ý có thể xấp xỉ bất kỳ hàm liên tục nào. Những mô hình nào khác ở đó cũng là …

15 machine-learning  function  approximation 

Tôi sử dụng thuật ngữ tiêu đề trong một ý nghĩa rất lỏng lẻo. Có một số lượng đáng kể công việc về lý thuyết trò chơi tiến hóa, bao gồm cả nền tảng toán học của nó. Tôi đã được đề xuất "Trò chơi tiến hóa và Động lực …

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

Tôi thực sự có hai câu hỏi: Ai đầu tiên sử dụng quan hệ logic để liên quan đến ngữ nghĩa? Tôi truy tìm chúng trở lại " Về mối quan hệ giữa ngữ nghĩa trực tiếp và liên tục " của Reynold , nhưng tôi không thể tuyên bố …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Bạn có thể vui lòng chỉ ra cách xây dựng chức năng Ackerman (thực ra tôi quan tâm đến phiên bản do Rózsa Péter và Raphael Robinson đề xuất) thông qua các toán tử đệ quy mu tiêu chuẩn? Tôi đã thử các bài báo gốc của Péter và Robinson, …

15 computability 

Khử nhiễu là một chuyển đổi chương trình chuyển đổi các chương trình bậc cao thành chương trình bậc nhất. Ý tưởng là đưa ra một chương trình, chỉ có rất nhiều tóm tắt lambda, vì vậy bạn có thể thay thế mỗi lambda bằng một id và mỗi ứng …

15 pl.programming-languages  compilers 

Lý lịch Các hàm trong là PAC có thể học được trong thời gian quasipolynomial với thuật toán cổ điển yêu cầu các truy vấn được chọn ngẫu nhiên O ( 2 l o g ( n ) O ( d ) ) để tìm hiểu mạch có độ sâu …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

Tôi đang cố gắng để hiểu một số khái niệm về phân rã Modular và đồ thị Clique-width . Trong bài báo này ("Trên biểu đồ gọn gàng P4"), có một bằng chứng về cách giải quyết các vấn đề tối ưu hóa như số clique hoặc số màu bằng …

15 graph-theory  graph-algorithms  cliquewidth 

Tập hợp gia đình là tập hợp con của sao cho cho . Vấn đề để tìm một tập hợp tối thiểu của một gia đình nhất định nói chung là NP-hard, vì nó khái quát hóa vấn đề che đỉnh. Bây giờ câu hỏi của tôi là:H ⋃ n …

15 cc.complexity-theory  np-hardness  approximation-hardness 

Các giấy tờ / sách tốt để hiểu rõ hơn về sức mạnh của Phân tích mô đun và các thuộc tính của nó là gì? Tôi đặc biệt quan tâm đến các khía cạnh thuật toán của Phân tích mô đun. Tôi đã nghe nói rằng có thể tìm …

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Một số nền tảng: :ukasiewicz lôgic có giá trị được dự định là logic phương thức, và Łukasiewicz đã đưa ra một định nghĩa mở rộng của toán tử phương thức: (mà anh ta gán cho Tarski).◊A=def¬A→A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Điều này đưa ra một logic phương …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

Tôi đang tìm kiếm các bài báo và bài báo về logic logic cấu trúc dưới phương thức - không phải về ngữ nghĩa của các phương thức logic tuyến tính, mà về logic logic cấu trúc phụ được tăng cường với các toán tử phương thức tiêu chuẩn, ví …

15 reference-request  lo.logic  proof-theory 

Như mọi người đều biết, cuốn sách nổi tiếng của Garey và Johnson (và nhiều cuốn khác) cung cấp một tài liệu tham khảo tuyệt vời cho kỹ thuật giảm thiểu trong bối cảnh cổ điển. Có bất kỳ khảo sát hoặc sách về chủ đề kỹ thuật giảm trong …

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Tôi đã hỏi câu hỏi này trên Stack Overflow trước đây: Vấn đề: Việc bán hàng của Bob . Có người đề nghị đăng câu hỏi ở đây là tốt. Ai đó đã hỏi một câu hỏi liên quan đến vấn đề này ở đây - Trọng lượng tối thiểu …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

Định lý điểm cố định của Banach nói rằng nếu chúng ta có một không gian số liệu hoàn chỉnh không trống , thì bất kỳ hàm hợp đồng thống nhất nào nó có một điểm cố định duy nhất . Tuy nhiên, bằng chứng của định lý này đòi …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

Giả sử chúng ta đang làm việc với một ngôn ngữ lập trình có hỗ trợ cho các loại tuyến tính (thuật ngữ của loại tuyến tính có thể được sử dụng nhiều nhất một lần, có thể nói). Điều này cho phép xử lý một số hiệu ứng tính …

15 pl.programming-languages  type-theory  linear-logic