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

Bất kỳ mặt phẳng tương ứng, đồ thị ngoài cùng thỏa mãn , tương ứng, , cho mọi sơ đồ con của . Ngoài ra, đồ thị phẳng (bên ngoài) có thể được nhận ra trong thời gian đa thức.| E ′ | ≤ 3 | V ' | - …

16 reference-request  graph-theory  graph-algorithms 

Tôi tự hỏi, có bất kỳ bài báo hay nghiên cứu nào liên quan đến automata đẩy xuống rõ ràng, nhưng cho phép các từ, thay vì các chữ cái đơn lẻ, được đẩy lên ngăn xếp. Cách khác, một công trình mà cho phép cho các ký hiệu được …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

Điều nổi tiếng là trong Hệ thống F, bạn có thể mã hóa các sản phẩm nhị phân với loại Sau đó bạn có thể xác định chức năng chiếu và \ pi_2: A \ B lần \ đến B .π 1 : A × B → A π 2 …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

Với một đồ thị vô hướng đỉnh , thời gian chạy được biết đến nhiều nhất bị ràng buộc để tìm một sơ đồ con là -biclique là gì? Có thuật toán tham số hóa nhanh hơn thuật toán về "đoán" một mặt của biclique và xem liệu có ít …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Trong khi đọc blog của Dick Lipton, tôi tình cờ thấy một sự thật sau đây gần cuối bài viết Bourne Factor của anh ấy : Nếu, với mọi , tồn tại một mối quan hệ của mẫu nơi , và mỗi , và là có chiều dài chút, sau …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

Lấy đồ thị có hướng trong đó các cạnh được trang trí bằng số tự nhiên. Chúng tôi muốn tập hợp tất cả các đường dẫn P nằm giữa hai đỉnh v 1 và v 2 sao cho mỗi cạnh liên tiếp trong đường dẫn được trang trí với một …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

Là bản thảo sau đây có sẵn công khai? Dana Scott, 1969, Một lý thuyết về các chức năng tính toán của loại cao hơn . Ghi chú hội thảo chưa được công bố, 7 trang, Đại học Oxford. Có một cuộc thảo luận về bài viết này trong phần …

16 reference-request  lo.logic  type-theory  domain-theory 

Người ta biết rằng các công thức -CNF ngẫu nhiên trên biến có mệnh đề là không thỏa mãn (nghĩa là chúng mâu thuẫn) với xác suất cao, cho hằng số đủ lớn . Do đó, các công thức -CNF ngẫu nhiên (đối với đủ lớn) tạo thành một phân …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Cho các điểm trong R d và khoảng cách l tìm tập con lớn nhất trong số các điểm này sao cho khoảng cách Euclidian của không có hai điểm nào vượt quá l .p1, Lọ , pnp1,Giáo dục,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}tôitôiltôitôil Sự phức tạp của vấn đề này là gì? Trong biểu …

16 ds.algorithms  reference-request  cg.comp-geom 

Giả sử bạn có hai người tham gia mạnh mẽ tùy tiện, những người không tin tưởng lẫn nhau. Họ có quyền truy cập vào cam kết bit (ví dụ: phong bì dán kín có chứa dữ liệu mà một người chơi có thể trao cho người khác nhưng không …

16 reference-request  cr.crypto-security 

Đồ thị không có X là những đồ thị không chứa đồ thị từ X dưới dạng sơ đồ con cảm ứng. Một lỗ là một chu kỳ có ít nhất 4 đỉnh. Một lỗ lẻ là một lỗ có số đỉnh lẻ. Một lỗ chống là sự bổ sung …

16 reference-request  graph-theory  co.combinatorics  graph-classes 

Như trong, khu vực của các bài báo trong Tạp chí ACM về Thuật toán thử nghiệm JEA . Đó là những công trình nền tảng? Các kết quả chính là gì? Chúng được đặc trưng như thế nào? Bất kỳ kết nối thú vị cho các lĩnh vực khác …

16 ds.algorithms  reference-request  experimental 

Tôi nên đọc gì để hiểu vấn đề này? Sức mạnh của các mạch lượng tử độ sâu nhỏ. Là ? Nói cách khác, phần "lượng tử" của bất kỳ thuật toán lượng tử nào có thể được nén thành độ sâu polylog (n), miễn là chúng ta sẵn sàng …

16 cc.complexity-theory  reference-request  quantum-computing 

Điều này được viết trong mục wiki của Thi hành tượng trưng , nhưng tôi không thể tìm thấy bất kỳ tài liệu tham khảo nào cho nó. Bất cứ ai có thể chỉ cho tôi một con trỏ? Cảm ơn bạn.

15 reference-request  lo.logic  program-analysis 

Được biết, việc giảm thiểu kích thước của biểu thức chính quy là hoàn thành PSPACE ngay cả khi chúng ta có DFA làm thông số kỹ thuật của ngôn ngữ . Kết quả là gì nếu ngôn ngữ là hữu hạn? Người ta có thể xem xét vấn đề …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa