Câu hỏi được gắn thẻ «ds.algorithms»

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 

Bổ đề Johnson-Lindenstrauss nói đại khái rằng với bất kỳ tập hợp của điểm trong , tồn tại một bản đồ trong đó sao cho tất cả : Người ta biết rằng các tuyên bố tương tự là không thể đối với số liệu , nhưng liệu có biết cách …

11 ds.algorithms  approximation-algorithms  cg.comp-geom  metrics  embeddings 

Hai nhóm ( G , ⋅ )(G,⋅)(G,\cdot) và ( H, × )(H,×)(H, \times) được cho là đẳng cấu khi và chỉ khi tồn tại một đồng cấu từ GGG đến HHH mà là song ánh. Vấn đề đẳng cấu nhóm như sau: đưa ra hai nhóm, kiểm tra xem chúng …

11 ds.algorithms  gr.group-theory 

Tôi đã tự hỏi danh sách các vấn đề tính toán tự nhiên hiện tại là gì mà không có lợi thế phức tạp nào được biết đến trong việc sử dụng máy tính lượng tử. Để bắt đầu, tôi nghĩ tính toán khoảng cách chỉnh sửa là một trong …

11 ds.algorithms  quantum-computing  big-list 

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 thuật toán gần đúng có thể cung cấp đầu ra lên đến một số yếu tố không đổi. Đây là một chút ít thỏa mãn hơn các thuật toán chính xác. Tuy nhiên, các yếu tố không đổi được bỏ qua trong sự phức tạp thời gian. Vì vậy, …

11 ds.algorithms  big-list  approximation-algorithms 

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 

Có một thuật toán sắp xếp dựa trên so sánh sử dụng trung bình so sánh l g ( n ! ) + o ( n )lg(n!)+o(n)\mathrm{lg}(n!)+o(n) không? Sự tồn tại của thuật toán so sánh trường hợp xấu nhất l g ( n ! ) + o ( n …

10 cc.complexity-theory  ds.algorithms  sorting 

Động lực : Trong khi phát triển các công cụ để tạo phiên bản dữ liệu, cuối cùng chúng tôi đã xem xét các thuật toán để "tìm" hai bộ số nguyên, bằng cách đưa ra một chuỗi các phép biến đổi lấy một bộ số nguyên khác. Chúng tôi …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

Các bộ chuyển đổi được xem xét ở đây là những Wikipedia gọi là bộ chuyển đổi trạng thái hữu hạn . Hành vi của một bộ chuyển đổi , nghĩa là, mối quan hệ mà nó tính toán, được viết : một từ là một đầu ra cho iff …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Đặt là hằng số cố định. Cho một số nguyên , chúng tôi muốn xây dựng một hoán vị sao cho:k>0k>0k>0nnnσ∈Snσ∈Sn\sigma \in S_n Việc xây dựng sử dụng thời gian và không gian không đổi (tức là quá trình tiền xử lý mất thời gian và không gian không đổi). …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

Với hai polyhedra và Q , P và Q là là equidecomposable nếu có bộ hữu hạn của polyhedra P 1 , ... , P n và Q 1 , ... , Q n mà P i và Q i là đồng dư cho tất cả i , P = …

10 ds.algorithms  computational-geometry  polygon 

Chúng tôi biết rằng sự bình đẳng beta của các thuật ngữ lambda được gõ đơn giản là có thể quyết định. Cho M, N: →, liệu có thể quyết định được cho tất cả X MX _β≃β≃β≃_β NX không?

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

Tôi có vấn đề sau: Đầu vào: hai bộ khoảng và T (tất cả các điểm cuối là số nguyên). Truy vấn: có một mệnh đề đơn điệu f : S → T không?SSSTTTf:S→Tf:S→Tf:S \to T Các song ánh là đơn điệu wrt tập để phát trên và T . …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Thuật toán nào chúng ta có thể sử dụng để tìm tất cả các số nguyên của một đa thức với các hệ số nguyên?f( x )f(x)f(x) Tôi quan sát rằng Sage có thể tìm thấy rễ trong vài giây ngay cả khi tất cả các hệ số của là …

10 ds.algorithms  na.numerical-analysis