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

Là vấn đề sau NP-cứng? Cho một tập của số thực (mục tiêu) x 1 , ... , x N và một "đinh ba" được xác định bởi hai quãng đường một , b từ trung tâm của chiếc đinh ba, số lượng tối thiểu là gì K vị trí …

8 cc.complexity-theory  np-hardness  set-cover 

Tôi biết các biến thể sau của các vấn đề SUBSETSUM: ( Elberfeld tại. Al., 2010 ), NP- và NEXP-hoàn thành ( liên kết ).S U B S E T S U M S U C C I N C T - S U B S E T S U …

8 cc.complexity-theory  reference-request  np-hardness  polynomial-hierarchy  subset-sum 

Tôi đang tìm kiếm một giải pháp cho vấn đề sau đây và tự hỏi liệu có ai có thể chỉ cho tôi một số nghiên cứu hiện có về chủ đề này không. Tôi đến từ một ứng dụng đồ thị trong thế giới thực, vì vậy hãy đồng …

8 ds.algorithms  graph-theory  dynamic-algorithms 

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 

Hãy và Y được bộ, và B là một phân vùng của X × Y . Tôi muốn chứng minh rằng tồn tại phân phối D trên X × Y có biên độ đồng nhất trên X và do đó phân phối trên B gây ra bởi D có entropy …

8 cc.complexity-theory  co.combinatorics  communication-complexity 

Khi học các vấn đề tối ưu hóa, chúng ta thường coi lập trình tuyến tính (hay nói chung hơn là: tối ưu hóa lồi) là ví dụ đơn giản nhất. Nó có thể giải được trong thời gian đa thức, và có các thuật toán tương đối dễ hiểu. …

8 cc.complexity-theory  optimization  linear-programming 

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 

Giả định DiffieTHER Hellman , hay nói ngắn gọn là DDH, là một vấn đề nổi tiếng trong ngành mật mã. Giả định DDH giữ trên một nhóm tuần hoàn của thứ tự (nguyên tố) , nếu cho một trình tạo và cho \ mathbb {Z} _q $$, các cặp …

8 cr.crypto-security  randomized-algorithms 

Một vấn đề quyết định có đặc tính tốt nếu nó nằm trong . Nhiều vấn đề đồ thị tự nhiên có đặc tính tốt. Ví dụ, Định lý Kuratuwski cho đặc tính tốt của đồ thị phẳng. Định lý của Konig đưa ra đặc tính tốt của đồ thị …

8 cc.complexity-theory  graph-theory  proof-complexity 

Định lý điểm cố định của Tarski nói rằng các điểm cố định của toán tử đơn điệu trên một mạng hoàn chỉnh là một mạng hoàn chỉnh. Do đó, chúng tôi có một điểm cố định lớn nhất và điểm cố định nhỏ nhất duy nhất cho một toán …

8 algebra  lattice  order-theory 

Tại sao người ta cần định giá để xác định ngữ nghĩa của logic thứ nhất? Tại sao không chỉ định nghĩa nó cho câu và cũng xác định thay thế công thức (theo cách anh ấy mong đợi). Thế là đủ: M⊨ ∀ x . φ⟺cho tất cả d∈ …

8 lo.logic 

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 

"Tốt", ý tôi là thuật toán cung cấp một ràng buộc tương đối chặt chẽ hoặc nó có thời gian chạy tương đối nhanh. Bất kỳ tài liệu tham khảo đều được chào đón.

8 ds.algorithms  np-hardness  approximation-algorithms  approximation-hardness  subset-sum 

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