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

Tôi đang giải quyết vấn đề "trộn" các tập hợp hình ảnh chồng chéo. Các bộ này có thể được biểu diễn bằng đồ thị có trọng số vô hướng như cái này: Mỗi nút đại diện cho một hình ảnh. Hình ảnh chồng chéo được kết nối bởi một …

9 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph  parallel 

Bây giờ tôi đang cố gắng để hiểu rõ hơn "diễn giải trừu tượng" trong các ngôn ngữ lập trình là gì. Tôi tìm thấy một chương sách hay giải thích ý tưởng mở rộng miền với một yếu tố ít cố định nhất, bốn tiên đề mang lại một …

9 pl.programming-languages  program-analysis 

Giả sử tôi có điểm trong R d . Chúng tạo ra một sơ đồ Voronoi. Nếu tôi gán cho mỗi điểm k một nhãn ± , thì chúng tạo ra hàm nhị phân trên R d . Câu hỏi: kích thước VC của tất cả các hàm nhị phân …

9 cg.comp-geom  machine-learning  lg.learning  convex-geometry  high-dimensional-geometry 

Đỗ Tự Nhiên Giấy tờ chứng minh , Relativization và Algebrization cũng ảnh hưởng đến tách các lớp phức tạp khác như vv?L≠NL≠NP≠coNP≠PH≠PSPACEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Ví dụ chứng minh tự nhiên rào cản ảnh hưởng đến bất kỳ bằng chứng về vì nó sẽ tách P …

9 cc.complexity-theory  barriers 

Tôi đang cố gắng tìm một biểu đồ với các tính chất đó cho các nghiên cứu của mình, nhưng tiếc là tôi không thể tìm thấy biểu đồ đó. Có ai biết nếu có đồ thị đó, hoặc tại sao nó không thể tồn tại?

9 graph-theory  graph-classes 

Có những vấn đề có thể quyết định được, có một số vấn đề không thể giải quyết được, có khả năng bán được, v.v. Trong trường hợp này, tôi tự hỏi liệu một vấn đề có thể là siêu không thể giải quyết được. Điều này có nghĩa (ít …

9 computability  decidability  undecidability 

Tôi biết về công việc của Shannon với entropy, nhưng gần đây tôi đã làm việc trên các cấu trúc dữ liệu cô đọng trong đó entropy theo kinh nghiệm thường được sử dụng như một phần của phân tích lưu trữ. Shannon đã xác định entropy của thông tin …

9 reference-request  shannon-entropy  succinct 

Thuật toán Berkowitz cung cấp một mạch kích thước đa thức với độ sâu logarit để xác định ma trận vuông sử dụng công suất ma trận. Thuật toán ngầm sử dụng hủy bỏ. Là hủy bỏ cần thiết để đạt được một mạch có kích thước đa thức với …

9 circuit-complexity  algebraic-complexity  permanent  arithmetic-circuits  determinant 

Nash Equilibria nói chung là không thể tính toán được. Một -Nash trạng thái cân bằng là một tập hợp các chiến lược ở đâu, cho chiến lược của đối thủ, mỗi người chơi có được trong vòng của phần thưởng dự kiến tối đa có thể. Tìm một trạng …

9 reference-request  gt.game-theory  ppad 

Giả sử P! = NP. Chúng tôi biết rằng chúng tôi có thể thực hiện các trường hợp 3-SAT dễ dàng bất cứ lúc nào. Chúng tôi cũng có thể tạo ra những gì chúng tôi tin là trường hợp khó (vì thuật toán của chúng tôi không thể giải …

9 np-hardness  p-vs-np 

CÁC THIẾT BỊ DIOPHANTINE LINEAR (cho các số tự nhiên , có các số tự nhiên và sao cho ?) Có thể giải được trong thời gian đa thức.a , b , cmột,b,ca, b, cxxxyyya x + b y+ c = 0mộtx+by+c= =0ax + by + c = 0 THIẾT …

9 reference-request 

Người ta biết rằng sự tồn tại của các hàm một chiều là cần thiết và đủ cho phần lớn mật mã (chữ ký số, trình tạo giả ngẫu nhiên, mã hóa khóa riêng, v.v.). Câu hỏi của tôi là: các hậu quả lý thuyết phức tạp của sự tồn …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

Hãy để là một gia đình của tập con -element về một vũ trụ hữu hạn của các đối tượng. Một họ gồm các tập con của , với , là một - tập hợp của nếu với mỗi tồn tại ít nhất một tập như vậy rằng .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

Xin thứ lỗi cho sự căng thẳng của tiêu đề, tôi có thể đã hy sinh sự rõ ràng trên bàn thờ của sự súc tích. Người ta có thể thấy rằng việc chèn các phần tử của một mảng vào cây tìm kiếm nhị phân và đọc lại chúng …

9 ds.algorithms  ds.data-structures  sorting 

Trong phần giới thiệu của bài viết này Đối tượng chia sẻ tuyến tính hóa cuối cùng (PODC'10) , các tác giả đã trình bày tuyên bố sau mà không cần tham khảo: Tuy nhiên, tính tuyến tính có thể đạt được nếu và chỉ khi có thể giải quyết …

9 reference-request  dc.distributed-comp