Khoa học máy tính

1

Làm thế nào để thống nhất ngụ ý rằng một heuristic cũng được chấp nhận?

Hàm heuristic h(n)h(n)h (n) là ... Phù hợp nếu chi phí ước tính từ nút nnn đến mục tiêu không lớn hơn chi phí bước cho người kế nhiệm n′n′n' cộng với chi phí ước tính từ người kế nhiệm cho mục tiêu. Được chấp nhận nếu h(n)h(n)h(n) không bao …

12 algorithms shortest-path heuristics

3

Các vấn đề được phỏng đoán nhưng không được chứng minh là dễ dàng

Chúng tôi có nhiều vấn đề, như nhân tố hóa, được phỏng đoán mạnh mẽ, nhưng không được chứng minh, nằm ngoài P. Có câu hỏi nào với thuộc tính ngược lại, cụ thể là chúng được phỏng đoán mạnh mẽ nhưng không được chứng minh là nằm trong P …

12 complexity-theory polynomial-time

5

Goldbach Conjecture và Busy Beaver số?

Bối cảnh: Tôi là một giáo dân hoàn chỉnh trong khoa học máy tính. Tôi đã đọc về số Busy Beaver ở đây và tôi đã tìm thấy đoạn văn sau: Nhân loại có thể không bao giờ biết giá trị của BB (6), chứ đừng nói đến giá trị …

12 turing-machines number-theory busy-beaver

3

Mọi thuật toán tự sửa đổi có thể được mô hình hóa bằng thuật toán không tự sửa đổi không?

Nếu chúng ta có bất kỳ chương trình máy tính tùy ý nào có thể sửa đổi hướng dẫn của nó, liệu có thể mô phỏng chương trình đó với một chương trình không thể sửa đổi hướng dẫn của nó không? Biên tập: Tôi chưa quen với stackexchange nên …

12 computability computation-models turing-completeness church-turing-thesis

1

POSIX BRE có thể diễn đạt tất cả các ngôn ngữ thông thường không?

Dường như "Biểu thức chính quy cơ bản" như được định nghĩa bởi POSIX.1-2008 không hỗ trợ xen kẽ, a|b(mặc dù một số triển khai grep nhận ra phiên bản đã thoát, \|). Vì các ngôn ngữ thông thường được đóng theo liên kết theo định nghĩa, điều này có …

12 formal-languages regular-expressions

1

Sự khác biệt giữa logic động và logic thời gian

Để tìm sự khác biệt, tôi chỉ gặp phải các xác nhận bên dưới về logic thời gian trong Wikipedia : một biến thể khác của logic phương thức chia sẻ nhiều đặc điểm chung với logic động, khác với tất cả các logic đã đề cập ở trên bởi …

12 logic linear-temporal-logic temporal-logic

1

RAM có thể tính được số lượng Godel của chính nó không?

Bạn có thể lấy số lượng Gdel của RAM bằng cách biến nó thành một danh sách các lệnh và biến danh sách này thành một số nguyên. Vì vậy, những gì tôi nghĩ là một cái gì đó như "RAM sẽ trả về số Gôdel của chính nó (giả …

12 computability

2

Là trường hợp đặc biệt của một vấn đề lập kế hoạch có thể giải quyết trong thời gian tuyến tính?

Alice, một sinh viên, có rất nhiều bài tập về nhà trong những tuần tới. Mỗi mục bài tập về nhà mất cô đúng một ngày. Mỗi mục cũng có thời hạn và tác động tiêu cực đến điểm số của cô ấy (giả sử một số thực, điểm thưởng …

12 algorithms optimization randomized-algorithms network-flow scheduling

3

Các ngôn ngữ thông thường không thể diễn đạt chỉ với 2 thao tác regex

Tôi nghĩ rằng tất cả các ngôn ngữ thông thường có thể được biểu thị bằng các biểu thức chính quy (nếu một ngôn ngữ là chính quy, nó có thể được biểu thị bằng regex), nhưng tôi đã được thông báo rằng bạn cần cả ba hoạt động thông …

12 formal-languages regular-languages regular-expressions kleene-star

2

Tại sao YẾU TỐ trong Co-NP?

Tôi đang gặp khó khăn trong việc xoay quanh các vấn đề PRIME, COMPOSITE, FACTOR và chúng liên quan đến mức độ phức tạp như thế nào. Tôi hiểu rằng PRIME đã được chứng minh là trong bài kiểm tra tính nguyên thủy của AKS và tôi tin rằng điều …

12 complexity-theory factoring

2

Làm thế nào để chứng minh P

Tôi biết rằng đây có vẻ là một câu hỏi rất ngu ngốc (hoặc quá rõ ràng để nêu). Tuy nhiên, tôi bối rối ở một số điểm. Chúng ta có thể chỉ ra rằng P NP=== khi và chỉ khi chúng ta có thể thiết kế một thuật toán …

12 complexity-theory p-vs-np

2

Là vấn đề tương ứng bài trong NP?

Tôi vừa đọc một số trang trong cuốn sách của Sipser Giới thiệu về Lý thuyết tính toán về vấn đề tương ứng bài, và tôi nghĩ rằng PCP thực sự nằm trong NP. Các cơ quan chứng nhận là: cho một cấu hình đầu vào cọc concatenating t 1 …

12 complexity-theory decision-problem np

7

Làm thế nào để tìm phần tử giữa của danh sách được liên kết trong một lần?

Một trong những câu hỏi phổ biến nhất từ cấu trúc dữ liệu và thuật toán, chủ yếu được hỏi về phỏng vấn qua điện thoại.

12 algorithms data-structures linked-lists

2

Kiến trúc CPU có thiên vị đối với thời gian chạy thủ tục không?

Có bất kỳ thay đổi nào có thể được thực hiện đối với CPU để làm cho chúng hoạt động tốt hơn cho các thời gian chạy đồng thời như Rust không? Chẳng hạn, có những thay đổi đối với việc triển khai dự đoán nhánh hoặc kích thước bộ …

12 computer-architecture concurrency functional-programming

1

Sự khác biệt giữa biểu thức chính quy và ngữ pháp trong automata

Tôi chưa quen với automata và tôi đã được giới thiệu ngắn gọn về các biểu thức thông thường chỉ ngày hôm qua. Tôi đã đọc các quy tắc khác nhau để xác định một biểu thức chính quy. Nhưng tôi không thể phân biệt giữa các thành ngữ thông …

12 automata formal-grammars regular-expressions