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

Có bất kỳ giới hạn thấp không tầm thường nào về thời gian chạy của thuật toán đồ thị trong RAM / PRAM / mô hình tính toán không? Tôi không tìm kiếm kết quả NP-Hardness ở đây. Sau đây là kết quả mà tôi có thể tìm thấy [xem …

8 cc.complexity-theory  reference-request  graph-algorithms  lower-bounds 

Sắp xếp bằng cách sử dụng so sánh 2 yếu tố có độ phức tạp trong trường hợp xấu nhất không có triệu chứng là (đạt được bằng cách sáp nhập, heapsort, chèn nhị phân, ít nhất là ford-johnson), là tối ưu.nlog2(n)nlog2⁡(n)n \log_2(n) Nếu chúng ta sắp xếp bằng cách …

8 cc.complexity-theory  ds.algorithms  reference-request  sorting 

Tôi quan tâm đến con trỏ đến các thuật toán (thuật toán gần đúng là tốt) cố gắng phân vùng đồ thị thành hai tập con sao cho tổng trọng số cạnh trong mỗi tập con là (xấp xỉ) và tổng trọng số cạnh giữa hai tập con tập con …

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

Tôi đang xem xét ML để tạo mã hiệu quả hơn (tức là biên dịch thời gian và chạy heuristic). Tôi có một phd (trình biên dịch, hpc), nhưng rất ít kinh nghiệm ML. Tôi sẽ đánh giá cao bất kỳ tài liệu tham khảo cho công việc hiện có. …

8 reference-request  optimization  machine-learning  compilers 

Có các thuật toán dễ dàng để tính đường bao trên của sự sắp xếp các đường trong mặt phẳng. Xem ví dụ phần 2.3 trong khảo sát trình tự Davenport-Schinzel và các ứng dụng hình học của chúng . Có bất kỳ thuật toán / cấu trúc dữ liệu …

8 ds.algorithms  reference-request  ds.data-structures  cg.comp-geom 

Những thuật toán / kỹ thuật toán học nào có sẵn cho chính xác / xấp xỉ số lượng các bộ độc lập? Là / Có một tài liệu tham khảo tốt / tài liệu tham khảo tốt về chủ đề này? Tôi quan tâm đến đồ thị thường xuyên.

8 ds.algorithms  reference-request  graph-theory  approximation-algorithms  counting-complexity 

đây là một bản viết lại của một câu hỏi gần đây khác của tôi [1] không được nêu rõ (nó có một sự đơn giản hóa rõ ràng, mea culpa) nhưng tôi nghĩ vẫn còn một câu hỏi không cần thiết ở trung tâm của nó. đã thấy những …

8 cc.complexity-theory  reference-request  circuit-complexity  lower-bounds 

Ý tưởng về MST bị giới hạn đường kính là bạn giữ tất cả các đỉnh được kết nối và trong một khoảng cách nhất định với nhau. Nhưng tất cả các giấy tờ tôi từng thấy đều yêu cầu bạn sản xuất một cây, khi cho phép các chu …

8 cc.complexity-theory  reference-request  graph-theory 

Chúng tôi đang nghiên cứu một bài báo trình bày một số thuật toán để tìm các hình tam giác và họa tiết mạng (sơ đồ con kích thước không đổi, còn được gọi là biểu đồ) trong một thiết lập phân tán. Chúng tôi mô tả sự đánh đổi …

8 reference-request  graph-theory  graph-algorithms 

Trong bài báo "Chữ ký ngắn từ cặp Weil" của Boneh, Lynn và Shacham, tôi đã trải qua bằng chứng bảo mật giống như bất kỳ chữ ký nào khác. Nhưng kỹ thuật được sử dụng trong bài báo này là khá độc đáo. Thay vì sử dụng các đối …

8 reference-request  cr.crypto-security 

Gần đây tôi đã tham dự một Hội thảo về giả danh tại Viện toán học Chennai về giả danh. Venkat Guruswami đã đưa ra tuyên bố đẹp sau đây trong suốt cuộc nói chuyện của mình (về lý thuyết mã hóa): Điều đáng chú ý là người ta có …

8 reference-request  polynomials 

Đóng cửa từ vựng là một kỹ thuật triển khai trong các ngôn ngữ với các chức năng hạng nhất. Tôi quan tâm đến một mô tả hoạt động đơn giản của việc đóng chức năng. Có ai biết mô tả như vậy?

8 reference-request  pl.programming-languages  semantics  compilers 

Chúng tôi được cung cấp ngăn xếp chứa "vật phẩm" có màu khác nhau và một cỗ máy có thể xử lý nhiều vật phẩm cùng màu trong một lần. Ở mỗi bước, chúng ta có thể xóa một mục khỏi đầu mỗi ngăn xếp và đưa nó vào máy …

8 ds.algorithms  reference-request  scheduling 

Các tài liệu tham khảo tốt nhất để tự học trong DATALOG là gì? Tôi đặc biệt quan tâm đến sức mạnh biểu cảm, kết quả phức tạp, phương pháp đánh giá, phần mở rộng của DATALOG với phủ định, v.v ... Có cuốn sách hay bài báo nào đề …

8 reference-request  lo.logic  db.databases  logic-programming 

Tôi đang tìm kiếm công việc trên các hệ thống tương tự các trình tự bậc cao của K. Dosen ("Hệ thống tuần tự cho logic phương thức", JSL 50 ). Công trình duy nhất mà tôi biết là công trình gần đây của Iemhoff và Metcalfe ("Lý thuyết chứng …

8 reference-request  lo.logic  proof-theory