Khoa học máy tính

Trên trang wikipedia ở đây, nó mô tả khá tốt thuật toán CDCL (và có vẻ như các bức ảnh được chụp từ các slide được tạo bởi Sharad Malik tại Princeton). Tuy nhiên, khi mô tả làm thế nào để quay lại tất cả, nó nói là "đến điểm …

9 machine-learning  satisfiability  sat-solvers  backtracking 

Tôi có một bộ điểm được xác định trong một không gian số liệu - vì vậy tôi có thể đo 'khoảng cách' giữa các điểm nhưng không có gì khác. Tôi muốn tìm điểm trung tâm nhất trong tập hợp này, mà tôi xác định là điểm có tổng …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

Vì vậy, có một thuật toán để chuyển đổi các thuật ngữ tính toán lambda sang logic kết hợp bằng cách sử dụng các tổ hợp SK. Nó tạo ra những thứ phát nổ kích thước. Tôi muốn biết thêm về vụ nổ kích thước này. Tôi dường như không …

9 lambda-calculus  functional-programming  combinatory-logic 

Tôi nghĩ về các ngôn ngữ đơn nguyên LkLkL_k , trong đó LkLkL_k được tập hợp tất cả các từ có độ dài là tổng bình phương kkk . Chính thức: Lk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}Lk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}L_k=\{a^n\mid n=\sum_{i=1}^k {n_i}^2,\;\;n_i\in\mathbb{N_0}\;(1\le i\le k)\} Thật dễ dàng để thấy rằngkhông thường xuyên (ví dụ như với Pumping-Lemma). Hơn …

9 formal-languages  regular-languages 

Hãy xem xét vấn đề sau. Đưa ra: Một đồ thị hoàn chỉnh với trọng số thực không âm trên các cạnh. Nhiệm vụ: Tìm một sơ đồ phẳng có trọng lượng tối đa. ("Tối đa" trong số tất cả các sơ đồ phẳng có thể có.) Lưu ý: Đồ …

9 algorithms  graph-theory  optimization  combinatorics 

Tôi dường như nhớ lại từ một lớp đại học rằng đối với một máy Turing có băng hữu hạn sẽ luôn tồn tại một Máy chủ trạng thái hữu hạn tương ứng, nhưng tôi không thể tìm thấy xác nhận này ở bất cứ đâu trên internet. Đây thực …

9 turing-machines  finite-automata 

Theo hiểu biết của tôi, không tồn tại thuật toán trường hợp xấu nhất để giải quyết vấn đề sau:O(n)O(n)O(n) Cho một chuỗi có độ dài bao gồm các số nguyên hữu hạn, tìm hoán vị trong đó mọi phần tử nhỏ hơn hoặc bằng với phần tử kế của …

9 complexity-theory  sorting  computation-models  lower-bounds 

Tôi đã nghe một số giải thích có thể, vì vậy tôi muốn một số tài liệu tham khảo đáng tin cậy. Cập nhật 05.19: Tôi quan tâm đến câu hỏi vì một trong những sinh viên của tôi đã viết trong luận án của mình rằng tên này xuất …

9 terminology  reference-request  history 

Tôi hiện đang đọc một số bài báo về việc nhảy chuỗi Markov và tôi không thấy sự khác biệt giữa chuỗi Markov và biểu đồ có trọng số theo hướng đơn giản. Ví dụ trong bài viết Tối ưu hóa không gian trạng thái trong chuỗi Markov, họ cung …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains 

Đây là phần tiếp theo của một câu hỏi khác ở đây và tôi hy vọng nó không quá triết lý. Như Raphael đã chỉ ra trong một nhận xét về câu hỏi trước đây của tôi, tôi thực sự không có định nghĩa về "tính toán", nhưng theo một …

9 computability  computation-models 

Trong các khái niệm về ngôn ngữ lập trình , John Mitchell viết rằng kiểm tra kiểu tĩnh nhất thiết phải bảo thủ (quá nghiêm ngặt) vì vấn đề dừng. Ông đưa ra một ví dụ: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Ai đó có thể cung cấp một câu …

9 programming-languages  compilers  type-checking 

Vì tôi đang học khóa học ngôn ngữ chính thức của mình, tôi tình cờ thấy những bài viết hấp dẫn này ( Một Hai ) mô tả cách tìm số nguyên tố bằng cách sử dụng biểu thức chính quy . Như tôi đã nói, một biểu thức chính …

9 regular-expressions 

Tôi là một học sinh năm hai trung học, người quan tâm đến khoa học máy tính. Tôi đã phát triển một thuật toán tuyệt vời cho #SAT và tôi đang thực hiện và thực hiện một dự án khoa học công bằng về nó. Cố vấn của tôi, giáo …

9 algorithms  satisfiability 

Tôi sử dụng một biến thể của bộ lọc trung bình 5 chữ thập trên dữ liệu hình ảnh trên một hệ thống nhúng nhỏ, tức là x x x x x Thuật toán thực sự đơn giản: đọc 5 giá trị nguyên không dấu, lấy 2 giá trị cao …

9 algorithms  efficiency  selection-problem 

Hãy xem xét vấn đề sau: Đầu vào : liệt kê của số nguyênX, YX,YX,Y Mục tiêu : xác định xem có tồn tại một số nguyên trong cả hai danh sách hay không.xxx Giả sử cả hai danh sách đều có kích thước . Có một thuật toán xác …

9 algorithms  complexity-theory  lower-bounds