Khoa học máy tính

Trong bài báo " Bữa trưa miễn phí hợp tác " David Wolpert và William Mac đã mô tả một tập hợp các ngoại lệ đối với các định lý Không ăn trưa miễn phí mà họ đã chứng minh trong một bài báo trước đó . Các trường hợp …

7 optimization  machine-learning 

Tôi đã tìm kiếm một ngôn ngữ nguyên mẫu cho các ngôn ngữ đệ quy (có thể quyết định) không có ngữ cảnh nhạy cảm nếu không thành công. Ví dụ, là nguyên mẫu của các ngôn ngữ thông thường, cho các ngôn ngữ không có ngữ cảnh và cho …

7 formal-languages  turing-machines  context-sensitive 

Sẽ L = {một*b*}L= ={một*b*}L = \{a^* b^*\} được phân loại là ngôn ngữ thông thường? Tôi bối rối vì tôi biết rằng L={anbn}L={anbn}L = \{a^n b^n\}không thường xuyên Ngôi sao kleene tạo ra sự khác biệt gì?

7 formal-languages  regular-languages  kleene-star 

Dường như có nhiều cách tiếp cận để đánh giá xem hai số dấu phẩy động có giống nhau hay không. Dưới đây là một số ví dụ tôi đã tìm thấy: fabs(x - y) < n * FLT_EPSILON * fabs(x) HOẶC LÀ fabs(x - y) < n * FLT_EPSILON …

7 floating-point  number-formats 

Tôi đã gặp vấn đề sau từ một ngân hàng có vấn đề trực tuyến: có tới 105 105 ~10^5~ truy vấn từng yêu cầu để tính tổng ∑k=LRσ(k)∑k=LRσ(k)\sum_{k = L}^{R} \sigma(k) Ở đâu σ(k)σ(k)\sigma(k) là tổng của ước của kkk. Nó được cho rằng1≤L≤R≤5⋅1061≤L≤R≤5⋅1061 \leq L \leq R \leq …

7 algorithms  number-theory 

Xem xét vấn đề lấy máy Turing đầu vào và xác định xem ô cuối cùng là hay sau khi dừng tính toán. Trong trường hợp nó viết một cái gì đó khác hoặc không dừng lại, bạn được phép đưa ra bất kỳ câu trả lời nào (nhưng bạn …

7 undecidability  decision-problem  halting-problem 

Tôi đang lập trình một thuật toán di truyền bằng cách sử dụng tiến hóa ngữ pháp. Vấn đề của tôi là tôi đạt được các giá trị tối ưu cục bộ (hội tụ sớm) và khi điều đó xảy ra, tôi không biết phải làm gì. Tôi đang suy …

7 optimization  genetic-algorithms  evolutionary-computing 

Tất cả các giá trị là từ một trường hữu hạn . Tôi muốn viết một hàm lớn hơn như thế nàyZtZtZ_t GT(x,y)={1,0,if x>y,otherwise.GT(x,y)={1,if x>y,0,otherwise.GT(x,y) = \begin{cases} 1, & \text{if } x > y, \\ 0, & \text{otherwise}. \end{cases} chỉ sử dụng phép cộng, phép nhân, phép trừ và tốt …

7 algorithms  linear-algebra 

Tôi hoàn toàn thích lớp thuật toán của mình nhưng tôi cảm thấy nó thiếu sự nghiêm ngặt. Hầu hết thời gian tôi có thể hiểu được bằng trực giác tại sao các thuật toán được trình bày hoạt động và tại sao chúng có độ phức tạp về thời …

7 algorithms  education  books 

Tôi gặp khó khăn khi so sánh hai mô hình nhất quán bộ nhớ này. Về cơ bản để thống nhất tuần tự tôi nghĩ về mã thực như thế này: int x, y; void ThreadA() { x = 20; //Write int a = y; //Read } void ThreadB() { …

7 concurrency  cpu-cache  threads  shared-memory 

Nếu tôi có mã giả này: for i=0 to n/2 do for j=0 to n/2 do ... do anything .... Số lần lặp là .n2/ 4n2/4n^2/4 Sự phức tạp của chương trình này là gì? Có phải là không?O (n2)O(n2)O(n^2) Trực giác chính thức / không chính thức cho sự …

7 complexity-theory  time-complexity  runtime-analysis 

Hãy xem xét chúng tôi có phân đoạn khác nhau và một điểm không nằm trên bất kỳ phân khúc nào. Tôi muốn tìm một thuật toán để kiểm tra những phân đoạn có thể nhìn thấy từ . Một bộ phận là có thể nhìn thấy từ nếu nó …

7 algorithms  computational-geometry 

Cho hai hàm đệ quy nguyên thủy là có thể quyết định liệu chúng có phải là cùng một hàm không? Ví dụ, hãy lấy các thuật toán sắp xếp A và B là đệ quy nguyên thủy. Trong khi có nhiều thuật toán để sắp xếp, tất cả chúng …

7 computability  decision-problem  primitive-recursion 

Tôi tò mò liệu có bất kỳ sự phát triển mới nào trong việc giải quyết vấn đề nhân viên bán hàng du lịch bằng cách sử dụng một cái gì đó như mạng lưới thần kinh tái phát Hopfield. Tôi cảm thấy như tôi đã thấy một cái gì …

7 np-hard  neural-networks  traveling-salesman 

Gần đây tôi đã biết rằng đối với bất kỳ trường hợp nào của bài toán k-SAT với mệnh đề và chữ, chúng ta có một phép gán nghĩa đen sao cho ít nhất mệnh đề được thỏa mãn.mmmnnnm(1−2−k)m(1−2−k)m(1 - 2^{-k}) Tôi đã tự hỏi nếu chúng ta có thể …

7 graphs  satisfiability  lower-bounds