Khoa học máy tính

Tôi muốn đếm số chuỗi sss trên bảng chữ cái hữu hạn AAA , không chứa lặp lại và ý tôi là đối với bất kỳ chuỗi con ttt của sss , 1&lt;|t|&lt;|s|1&lt;|t|&lt;|s|1< |t| < |s|, không có bản sao rời rạc của ttt trong sss . Đối với exapmle, …

8 formal-languages  combinatorics  strings  word-combinatorics 

Giả sử tôi đưa ra một loạt các cố định chiều rộng số nguyên (tức là họ phù hợp trong một thanh ghi chiều rộng ), một 1 , một 2 , ... một n . Tôi muốn để tính tổng S = một 1 + ... + một n …

8 algorithms  arrays  integers  numerical-analysis 

Khi cắt tỉa Alpha-Beta, NegaScout tuyên bố rằng nó có thể tăng tốc quá trình bằng cách đặt [Alpha, Beta] thành [Alpha, Alpha-1]. Tôi không hiểu toàn bộ quá trình của NegaScout. Làm thế nào nó hoạt động? Cơ chế phục hồi của nó là gì khi đoán không thành …

8 algorithms  algorithm-analysis  search-algorithms 

Tôi biết đây là một câu hỏi đơn giản nhưng ai đó có thể chỉ cho tôi cách giảm xuống λ x . λ y . y .( λ y. λ x . λ y. y) ( λ x . λ y. y)(λy.λx.λy.y)(λx.λy.y)(\lambda y. \lambda x. \lambda y.y) (\lambda x. …

8 logic  lambda-calculus 

Xem xét một cây minimax cho một vấn đề tìm kiếm nghịch cảnh. Ví dụ: trong ảnh này (cắt tỉa alpha-beta): 3 B . max = 3 12 8 B . m a x = 3[min,max][tối thiểu,tối đa][\min,\max]333B.max=3B.tối đa= =3B.\max = 31212128số 88B.max=3B.mmộtx= =3B.max = 3 Nhưng tại sao B.min=3B.tối …

8 data-structures  trees  game-theory 

Chúng tôi được cung cấp một bộ của Fruits. Mỗi loại trái cây có giá và hàm lượng vitamin V_i ; chúng tôi đã liên kết trái cây f_i với cặp được đặt hàng (P_i, V_i) . Bây giờ chúng ta phải sắp xếp các loại trái cây này theo …

8 algorithms  arrays  constraint-programming  subsequences 

Hãy xem xét hai mảng 2D (mảng mua) và (mảng bán) trong đó mỗi phần tử được liên kết với một mảng các giá trị dấu phẩy động và từng giá trị của dấu phẩy động, lần lượt, được liên kết với một loạt các số nguyên.Btôi jBTôijB_{ij} Stôi jSTôijS_{ij}Tôit …

8 algorithms 

Đây là phần tiếp theo của Kiểm tra ngăn xếp hoạt động như thế nào? khám phá khái niệm chi tiết hơn Kiểm tra ngăn xếp là một cơ chế để đảm bảo an ninh trong ngữ cảnh của các máy ảo JVM và CLR khi các mô-đun mã được …

8 security  stack-inspection 

Đây là một câu hỏi tiếp theo của câu hỏi này . Trong một câu hỏi trước đây về các máy trạng thái kỳ lạ , Alex ten Brink và Raphael đã đề cập đến khả năng tính toán của một loại máy trạng thái đặc biệt: min-heap automata. Họ …

8 formal-languages  automata  closure-properties 

Tôi đã đọc trang web này với rất nhiều sự quan tâm, nhưng tôi thấy rất nhiều trong số đó đi qua đầu tôi. Điều này đã khiến tôi muốn tìm hiểu nhiều hơn về các thuật toán và CS nói chung. Theo như tôi có thể nói từ nghiên …

8 algorithms  education 

Tôi đã nghiên cứu Spiking Neural Networks trực tuyến từ nhiều bài báo khác nhau, chủ yếu là Maass (1997) . Tôi không hoàn toàn chắc chắn rằng tôi hiểu điều gì làm cho mã xung của SNN trái ngược với ANN trước đó được coi là mã tỷ lệ. …

8 terminology  artificial-intelligence  neural-networks 

Tôi đã nhận thấy trong cuộc đời học tập ngắn ngủi của mình rằng nhiều bài báo được xuất bản trong khu vực của chúng tôi đôi khi không có nhiều sự nghiêm ngặt về thống kê. Đây không chỉ là một giả định; Tôi đã nghe các giáo sư …

8 software-engineering  empirical-research  statistics 

Tôi đã tìm thấy vấn đề P vs NP một thời gian trước đây và gần đây tôi đã làm việc về vấn đề tổng hợp tập hợp con. Tôi đã đọc bài viết Wikipedia về vấn đề Tổng hợp con cũng như câu hỏi Thuật toán tổng hợp con …

8 algorithms  dynamic-programming 

Trong một video thảo luận về giá trị của các bộ lọc hạt để bản địa hóa, nó đã ngụ ý rằng có một sự mơ hồ về chi phí phức tạp của việc triển khai bộ lọc hạt. Điều này có đúng không? Ai đó có thể giải thích …

8 computational-geometry  knowledge-representation  reasoning  statistics 

Tôi đang làm việc với trình phân tích cú pháp cho ngôn ngữ kiểu C và đối với trình phân tích cú pháp đó, tôi cần biểu thức chính quy khớp với kiểu C / ** / nhận xét. Bây giờ, tôi đã tìm thấy biểu thức này trên web: …

8 compilers  parsers  regular-languages