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

5

Lý thuyết tự động / Chủ đề luận văn ngôn ngữ chính thức

Xin chào, hiện tại tôi đang cố gắng tìm một đề tài luận văn thạc sĩ vững chắc liên quan đến một số nhánh của lý thuyết automata hoặc liên quan đến các ngôn ngữ chính thức. Tôi đang cố gắng tạo ra một số ý tưởng tốt cho một …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

---

2

Xáo trộn mã thông báo trên biểu đồ bằng cách hoán đổi cục bộ

Đặt là một đồ thị được kết nối không thường xuyên có mức độ giới hạn. Giả sử rằng mỗi nút chứa một mã thông báo duy nhất.G=(V,E)G=(V,E)G= (V, E) Tôi muốn xáo trộn đồng đều các mã thông báo giữa các biểu đồ chỉ bằng cách hoán đổi cục …

10 ds.algorithms  random-walks  dc.distributed-comp 

---

1

Tổng quát hóa FFT

Bản chất phân chia và chinh phục của FFT có thể được khái quát thành các biến đổi khác (z Transform, chirp, v.v.) không? Có thuật toán nào mô tả biến đổi (tôi không biết thông tin nào sẽ cần) và có thể tạo ra hàm FFT nhanh không?

10 ds.algorithms 

---

2

Mã hóa nhanh các vectơ cân bằng

Dễ dàng thấy rằng với mọi nnn tồn tại ánh xạ 1-1 FFF từ {0,1} n đến {0,1} n + O ( log n ) sao cho với mọi x thì vectơ F ( x ) là " cân bằng ", nghĩa là, nó có số lượng bằng 1 và …

10 ds.algorithms  ds.data-structures  encoding 

---

1

Đánh giá mạch boolean trên lô đầu vào tương tự

Giả sử tôi có một mạch boolean tính toán một số hàm f : { 0 , 1 } n → { 0 , 1 } . Giả sử mạch bao gồm các cổng AND, OR và KHÔNG có quạt vào và ra nhiều nhất là 2.CCCf: { 0 , …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

---

1

Tại sao sự chậm chạp bổ sung lại quan trọng?

Sự chậm chạp bổ sung (CS) thường được dạy khi nói về tính hai mặt. Nó thiết lập một mối quan hệ tốt đẹp giữa nguyên hàm và các ràng buộc / biến kép theo quan điểm toán học. Hai lý do chính để áp dụng CS (như được dạy …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

---

3

Có thể chứng minh rằng, đối với một vấn đề nhất định, không có thuật toán tham lam tối ưu nào tồn tại?

Tham lam là một thuật ngữ không chính thức, nhưng có thể (không chắc chắn, đó là lý do tại sao tôi hỏi) rằng đối với một số vấn đề nhất định, lòng tham có thể được hình thành về mặt toán học và do đó được chứng minh rằng …

10 ds.algorithms  greedy-algorithms 

---

1

Các hằng số ẩn trong độ phức tạp của thuật toán

Đối với nhiều vấn đề, thuật toán có độ phức tạp tiệm cận tốt nhất có một yếu tố hằng số rất lớn được ẩn bởi ký hiệu O lớn. Điều này xảy ra trong phép nhân ma trận, phép nhân số nguyên (cụ thể là thuật toán nhân số …

9 cc.complexity-theory  ds.algorithms  time-complexity 

---

2

Counterexample để thuật toán dòng chảy tối đa với trọng số không hợp lý?

Được biết, Ford-Fulkerson hoặc Edmonds-Karp với heuristic ống mỡ (hai thuật toán cho dòng chảy tối đa) không cần phải dừng lại nếu một số trọng số là không hợp lý. Trong thực tế, họ thậm chí có thể hội tụ vào giá trị sai ! Tuy nhiên, tất cả …

9 ds.algorithms  graph-algorithms  max-flow 

---

1

Hiểu về hiệu suất của bộ giải QFBV SMT

Các bộ giải SMT như Z3 hoặc Boolector sử dụng một bộ heuristic phức tạp để giải quyết các vấn đề. Tuy nhiên, điều này cũng làm cho việc dự đoán hiệu suất của một bộ giải như vậy cho một vấn đề nhất định rất khó khăn. Câu hỏi …

9 ds.algorithms  sat  heuristics 

---

5

Mạng lưới thần kinh có thể được sử dụng để đưa ra các thuật toán?

Sau những thành công mới hơn và mới hơn của mạng lưới thần kinh khi chơi các trò chơi cờ bàn, người ta cảm thấy rằng mục tiêu tiếp theo chúng ta đặt ra có thể hữu ích hơn là đánh bại con người trong Starcraft. Chính xác hơn, tôi …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

---

1

Thuật toán tính khoảng cách giữa các quyền hạn

Cho trước thời hạn , bạn có thể tính nhanha,ba,ba, bminx,y>0|ax−by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Ở đây là các số nguyên. Rõ ràng việc lấy x = y = 0 đưa ra một câu trả lời không thú vị; nói chung làm thế nào gần những sức …

9 ds.algorithms  randomized-algorithms  nt.number-theory  comp-number-theory 

---

1

Kết hợp mẫu với không quan tâm: nhiều mẫu

Bài báo SODA 2 trang của Kalai đưa ra thuật toán đơn giản và hiệu quả để khớp mẫu với không quan tâm (ký tự đại diện khớp với một ký tự). Về bản chất, nó dễ như tích chập. Nhưng điều gì xảy ra nếu chúng ta đang tìm …

9 ds.algorithms  reference-request  string-matching 

---

1

Làm thế nào là vòng trong được chọn trong thuật toán Schönhage Sàn Strassen?

Tôi đã cố gắng thực hiện thuật toán nhân số nguyên Schönhage, nhưng đã gặp phải một vấp ngã trong bước đệ quy. Tôi có một giá trị với bit và tôi muốn tính x ^ 2 \ pmod {2 ^ n + 1} . Ban đầu tôi nghĩ ý …

9 ds.algorithms 

---

2

Khoảng cách lớn giữa RAM và độ phức tạp của máy Turing

Nếu chúng ta chỉ xem xét các vấn đề trong P, liệu có bất kỳ khoảng cách lớn nào giữa thuật toán RAM-word được biết đến nhanh nhất và thuật toán máy Turing được biết đến nhanh nhất cho các vấn đề cụ thể không? Tôi đặc biệt quan tâm …

9 cc.complexity-theory  ds.algorithms 

---