Câu hỏi được gắn thẻ «reference-request»

Tôi đang cố gắng tìm các vấn đề mà độ phức tạp không gian trường hợp trung bình đã được phân tích. Cụ thể hơn, tôi muốn biết liệu có bất kỳ vấn đề nào với độ phức tạp không gian đã được chứng minh là giới hạn siêu tuyến …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Câu hỏi này được thúc đẩy bởi một câu hỏi được hỏi trên stackoverflow . Giả sử bạn được cung cấp một cây gốc (nghĩa là có một gốc và các nút có con, v.v.) trên n nút (có nhãn 1 , 2 , Cuộc , n ).TTTnnn1 , 2 …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

Đây là phần tiếp theo của câu hỏi trước đây của tôi về giới hạn giao tiếp thấp hơn cho các hàm boolean một phần . Ai đó có thể đề nghị bất kỳ tài liệu tham khảo về giới hạn thấp hơn cho giao tiếp nhiều bên không nhất …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

Đặt là phân phối trên các cặp bit / chuỗi { 0 , 1 } d × { 0 , 1 } và đặt C là tập hợp các hàm có giá trị boolean f : { 0 , 1 } d → { 0 , 1 } . Với …

11 reference-request  machine-learning  lg.learning 

Trong khi một sinh viên EE, tôi đã tham dự một số bài giảng trình bày một đặc điểm tốt đẹp của các mạch boolean về số lượng các vòng lặp lồng nhau mà họ có. Trong sự phức tạp, các mạch boolean thường được coi là dags, nhưng trong …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Trong biểu đồ, một tập độc lập là một tập hợp con đỉnh không chứa cạnh như một sơ đồ con cảm ứng. Vấn đề tìm các tập độc lập lớn nhất trong đồ thị là một câu hỏi thuật toán cơ bản, và một câu hỏi khó ở đó. …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

Rất dễ để tìm trong nhiều sách giáo khoa các bằng chứng về giảm chủ đề và chuẩn hóa mạnh mẽ cho Hệ thống F, đôi khi, có những định nghĩa về Hệ thống F với các cặp, trong đó (t, r) là một thuật ngữ, không chỉ là mã …

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

Tôi đặc biệt quan tâm đến việc sử dụng chúng trong các ứng dụng kiểm tra mô hình. Tôi có các mạng hàng đợi mở, đóng và hỗn hợp với các nhóm khách hàng khác nhau của Baskett et al. Bất kỳ đề nghị khác để đọc tài liệu? Cảm …

11 reference-request  markov-chains  queueing-theory  model-checking 

Biểu thị bằng mức độ tối thiểu trong và bởi mức độ tối thiểu.G delta - ( G )δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) Trong một câu hỏi liên quan , tôi đã đề cập đến phần mở rộng Ghouila-Houri của định lý Dirac về chu trình Hamilton , điều này cho thấy rằng nếu …

11 reference-request  graph-theory 

Theo cuốn sách Lý thuyết đồ thị tôpô của Gross và Tucker, đã đưa ra một tế bào nhúng đồ thị trên một bề mặt (bởi 'bề mặt', ý tôi ở đây là một hình cầu có một số và bên dưới đề cập đến hình cầu có chính xác …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

Đã có công việc nào trong việc phục hồi độ dốc của một đoạn đường từ số hóa của nó chưa? Dĩ nhiên, người ta không thể làm điều này với độ chính xác hoàn hảo; những gì người ta muốn là một phương pháp xuất phát từ một dòng …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

Tôi sẽ rất quan tâm đến các tài liệu tham khảo về lý thuyết về các hàm dưới (từ cơ bản đến nâng cao). Cụ thể, tôi đang nghiên cứu các xấp xỉ cho các vấn đề tối ưu hóa cứng và tôi muốn phát triển nền tảng của mình …

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Một trong những hậu quả thiết thực nhất của sự tương ứng "Curry-Howard-Lambek" là cú pháp của nhiều lambda-calucli / logic có thể được sử dụng để thực hiện các công trình trong một thể loại có cấu trúc đầy đủ. Ví dụ, Hình học vi phân tổng hợp có …

11 reference-request  pl.programming-languages  type-theory  ct.category-theory  constructive-mathematics 

Tôi tự hỏi liệu ai đó có thể cho tôi trực giác đằng sau lý do tại sao tính tích cực nghiêm ngặt của các loại dữ liệu quy nạp đảm bảo chuẩn hóa mạnh mẽ. Để rõ ràng, tôi thấy làm thế nào có sự xuất hiện tiêu cực …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

Tôi đang ở trong một tình huống mà tôi cần phải chứng minh rằng việc đánh máy là có thể quyết định đối với một phép tính phụ thuộc mà tôi đang làm việc. Cho đến nay, tôi đã có thể chứng minh rằng hệ thống đang bình thường hóa …

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus