Khoa học máy tính

3

giới hạn dưới của bộ nhớ truy cập ngẫu nhiên?

Dưới đây là một câu hỏi có lẽ ngây thơ mà đã được ngứa ran tôi: Có một hạn dưới tiệm cận để giải quyết ngẫu nhiên bộ nhớ lớn? Nguyên nhân niềm tin của tôi là con đường ngắn nhất tới bất kỳ bộ nhớ nào được lưu trữ …

8 algorithms

2

Có phải tìm kiếm ternary tìm kiếm một thuật ngữ thích hợp cho thuật toán tối ưu hóa một hàm không chính thống trên một khoảng thực?

Giả sử rằng tôi muốn tối ưu hóa một hàm unimodal được xác định trên một số khoảng thời gian thực. Tôi có thể sử dụng thuật toán nổi tiếng như được mô tả trong Wikipedia dưới tên tìm kiếm ternary . Trong trường hợp thuật toán lặp đi lặp …

8 algorithms terminology numerical-analysis numerical-algorithms

1

Tại sao quyết định tính đều đặn của một ngôn ngữ không ngữ cảnh là không thể giải quyết được?

Như tôi đã nghiên cứu, việc quyết định tính đều đặn của các ngôn ngữ không ngữ cảnh là không thể giải quyết được. Tuy nhiên, chúng ta có thể kiểm tra tính đều đặn bằng cách sử dụng định lý Myode của Nerode cung cấp một điều kiện cần …

8 formal-languages computability regular-languages undecidability

1

Đơn giản chỉ cần gõ logic kết hợp?

Vì có một phép tính lambda chưa được gõ và một phép tính lambda được gõ đơn giản (như được mô tả, ví dụ, trong các loại sách và Ngôn ngữ lập trình của Benjamin Pierce), liệu có một logic kết hợp đơn giản nào được gõ không? Ví dụ, …

8 logic lambda-calculus functional-programming combinatory-logic

2

Có phải luôn luôn có một sự phức tạp Big Oh giữa hai người khác không?

Tôi đang tìm hiểu về phân tích tiệm cận, và đã thấy một số phức tạp trông kỳ lạ sống giữa những cái phổ biến khác. Ví dụ: "log log n" nằm trong khoảng từ 1 đến log n. Nó làm cho tôi tự hỏi nếu một người luôn có …

8 complexity-theory time-complexity asymptotics

2

Phân đôi là gì? Liệu bản thân 2-SAT có phải là sự phân đôi của SAT không?

Gần đây, tôi đang đọc các bài báo về sự phân đôi . Tôi không hiểu điều kiện nào có thể được gọi là sự phân đôi ? Ý nghĩa của "một câu hỏi là trong P hoặc trong NP - hoàn thành " là gì? (giả sử P NP …

8 complexity-theory np-complete satisfiability

3

Chứng minh rằng DPDA được đóng dưới sự bổ sung của xây dựng

Tôi đã cố gắng trong một thời gian dài để tìm một công trình để tôi có thể chính thức chứng minh rằng một thiết bị PDA xác định được đóng lại dưới sự bổ sung. Tuy nhiên, điều xảy ra là mọi ý tưởng tôi có đều có thứ …

8 formal-languages automata closure-properties pushdown-automata

2

Tốc độ thuật toán của Shor

Tôi là một học giả khoa học máy tính còn non trẻ, và tôi được yêu cầu viết một bài báo liên quan đến yếu tố số nguyên. Kết quả là, tôi phải xem xét thuật toán của Shor trên máy tính lượng tử. Đối với các thuật toán khác, …

8 time-complexity quantum-computing factoring

2

Phần mềm kiểm tra biểu đồ đồng cấu

Tôi có đồ thị và H k với | V ( G k ) | = | V ( H k ) | 2 k = n 2 k với k ∈ N rằng séc vượt qua sự tỉnh táo như không đồng cấu Bổ đề. Có các công cụ …

8 complexity-theory graph-theory

2

Định lý của Courcelle: Tìm kiếm giấy tờ

Tôi đang tìm kiếm một bài viết dễ dàng và giới thiệu về bằng chứng của Định lý của Courcelle . Tôi cũng quan tâm đến mối liên hệ của nó với sự phức tạp được tham số hóa liên quan đến treewidth . Tôi chỉ là người mới bắt …

8 complexity-theory graph-theory reference-request discrete-mathematics parameterized-complexity

1

Là lỗi trên mỗi đỉnh trên một lần lặp PageRank giảm đơn điệu?

Dường như với tôi, chiếm toàn bộ biểu đồ, định mức của vectơ lỗi phải giảm đơn điệu, nếu không chúng tôi không thể đảm bảo rằng PageRank sẽ hội tụ. Tuy nhiên, điều này có đúng như vậy trên cơ sở mỗi đỉnh không? Tức là, từ lần lặp …

8 graph-theory algorithm-analysis error-estimation

1

Chuỗi đầu vào trong Machine Learning

Một số thuật toán học máy phổ biến như hồi quy Logistic hoặc mạng nơ-ron yêu cầu đầu vào của nó là số. Điều tôi quan tâm là cách bạn làm cho các thuật toán này hoạt động trên các đầu vào không phải là số (chẳng hạn như các …

8 machine-learning data-mining

4

Chu kỳ trọng lượng âm so với chu kỳ trọng lượng tối đa

Tôi gặp khó khăn trong việc hiểu tại sao dễ dàng phát hiện chu kỳ trọng lượng âm (Bellman Ford) nhưng khó tìm thấy chu kỳ trọng lượng tối đa trong một biểu đồ không xác định. Nếu chúng ta phủ định trọng lượng của mỗi cạnh, chúng ta có …

8 complexity-theory graph-theory

2

Thuật toán chuẩn hóa đồ thị đơn giản

Tôi đang tìm kiếm một thuật toán cung cấp một chuỗi chính tắc cho một biểu đồ màu nhất định. I E. một thuật toán trả về một chuỗi cho một biểu đồ, sao cho hai biểu đồ có cùng một chuỗi khi và chỉ khi chúng là đẳng cấu. …

8 algorithms graph-theory combinatorics

1

Toán cao cho lý thuyết trò chơi

Tôi là một tiến sĩ bắt đầu sinh viên ngành khoa học máy tính, và tôi đang cố gắng tìm hiểu một số bài báo lý thuyết trò chơi cổ điển, chẳng hạn như những bài của Nash, Kalai và Smorodinsky. Nhưng tôi thấy khó hiểu các phần toán học. …

8 reference-request game-theory mathematical-analysis