Khoa học máy tính

3

Tôi đã làm việc về vấn đề sau từ cuốn sách này . Một ngôn ngữ xử lý chuỗi nhất định cung cấp một hoạt động nguyên thủy chia tách một chuỗi thành hai phần. Vì thao tác này liên quan đến việc sao chép chuỗi gốc, nên cần n …

16 algorithms combinatorics strings dynamic-programming

1

Tính nhất quán của bộ nhớ so với kết hợp bộ nhớ cache

Có đúng là Tính nhất quán tuần tự là một thuộc tính mạnh hơn so với Cache Coherence không? Dựa theo Sorin, Daniel J; Đồi, Mác D; Wood, David A: Primer về tính nhất quán của bộ nhớ và sự gắn kết bộ nhớ cache , Morgan & Claypool, 2011 …

16 computer-architecture cpu-cache shared-memory

6

Tại sao DFS không thể được sử dụng để tìm các đường dẫn ngắn nhất trong các biểu đồ không trọng số?

Tôi hiểu rằng sử dụng DFS "như hiện tại" sẽ không tìm thấy đường dẫn ngắn nhất trong biểu đồ không trọng số. Nhưng tại sao điều chỉnh DFS để cho phép nó tìm đường đi ngắn nhất trong các biểu đồ không trọng số như một viễn cảnh vô …

16 algorithms graph-theory shortest-path

5

Máy Turing + giãn thời gian = giải quyết vấn đề tạm dừng?

Có những không gian vũ trụ tương đối tính (ví dụ như tàu vũ trụ MH; xem Hogarth 1994) trong đó một thế giới của thời gian vô hạn có thể được chứa trong quá khứ của một người quan sát hữu hạn. Điều này có nghĩa là một người …

15 turing-machines halting-problem church-turing-thesis hypercomputation

1

Vấn đề NP-đầy đủ với một số đa thức của các trường hợp có?

Tôi có ấn tượng rằng đối với mọi vấn đề hoàn thành NP, với vô số kích cỡ đầu vào , số lượng trường hợp có trên tất cả các đầu vào có thể có kích thước , (ít nhất là) theo cấp số nhân theo .nnnnnnnnn Điều này có …

15 complexity-theory np-complete np-intermediate

2

Cấu trúc / khái niệm dữ liệu này là gì trong đó một biểu đồ các điểm xác định một phân vùng vào một không gian

Tôi đã gặp một thuật toán để giải quyết một vấn đề trong thế giới thực và tôi nhớ một lớp tôi đã học ở đó tôi đã làm một cái gì đó rất giống với một số cho một vấn đề bài tập về nhà. Về cơ bản, đó …

15 algorithms data-structures terminology computational-geometry

8

Cardinality của bộ thuật toán

Một người nào đó trong một cuộc thảo luận đã đưa ra rằng (ông cho rằng) có thể có ít nhất một số chiến lược liên tục để tiếp cận một vấn đề cụ thể. Vấn đề cụ thể là chiến lược giao dịch (không phải thuật toán mà là …

15 algorithms turing-machines combinatorics

2

Tại sao gán đơn tĩnh được ưa thích hơn kiểu chuyển tiếp trong nhiều trình biên dịch được sử dụng trong ngành?

Theo trang Wikipedia về phân công đơn tĩnh (SSA) , SSA được sử dụng bởi các dự án lớn và nổi tiếng như LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey và V8 trong khi trang về các dự án sử dụng kiểu tiếp tục truyền (CPS) là một chút thiếu so …

15 compilers program-optimization continuations

4

Độ phức tạp của Bằng chứng hoặc Không bảo vệ P = NP

Đã có nghiên cứu nào về độ phức tạp chứng minh của độ phân giải đối với bài toán P = NP chưa? Nếu không, do thiếu sự tiến bộ của vấn đề, sẽ không hợp lý khi phỏng đoán rằng bất kỳ bằng chứng nào giải quyết vấn đề …

15 complexity-theory np

1

Lưới bao phủ bởi hình chữ nhật

Chúng tôi có lưới . Chúng tôi có một bộ sưu tập các hình chữ nhật trên lưới này, mỗi hình chữ nhật có thể được biểu diễn như một -by- nhị phân ma trận . Chúng tôi muốn phủ lưới với những hình chữ nhật đó.N 1 N 2 …

15 complexity-theory np-complete set-cover

5

Điều gì làm cho một ngôn ngữ được tối ưu hóa cho một nhiệm vụ cụ thể?

Bạn muốn cải thiện bài này? Cung cấp câu trả lời chi tiết cho câu hỏi này, bao gồm trích dẫn và giải thích lý do tại sao câu trả lời của bạn là chính xác. Câu trả lời mà không đủ chi tiết có thể được chỉnh sửa hoặc …

15 programming-languages

9

Làm thế nào để tìm 5 giá trị lặp lại trong thời gian O (n)?

Giả sử bạn có một mảng có kích thước chứa các số nguyên từ đến , bao gồm, với chính xác năm lần lặp lại. Tôi cần đề xuất một thuật toán có thể tìm thấy các số lặp lại trong thời gian . Tôi không thể, vì cuộc sống …

15 algorithms arrays searching

4

Bất bình đẳng gây ra bởi sự thiếu chính xác

Ít nhất là trong Java, nếu tôi viết mã này: float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; giá trị của sẽ là . Tôi tin rằng điều …

15 arithmetic floating-point numerical-algorithms

1

Các lớp phức tạp liên quan đến việc liệt kê tất cả các giải pháp?

Tôi đã đọc một câu hỏi tại Stack Overflow hỏi liệu NP -hard có liệt kê tất cả các chu kỳ đơn giản trong biểu đồ có chứa một nút cụ thể không và tôi nhận ra rằng tôi không thể nghĩ ra bất kỳ lớp phức tạp nào phù …

15 complexity-theory reference-request complexity-classes enumeration

6

Điều gì phân biệt chính xác Khoa học máy tính với Toán học trong bối cảnh lý thuyết?

Tôi là sinh viên đại học ngành Khoa học Máy tính có niềm đam mê lớn để học Toán. Tôi có niềm tin vững chắc rằng Khoa học Máy tính hoặc Khoa học Máy tính Lý thuyết là một nhánh trực tiếp của Toán học và Logic và cũng có …

15 mathematical-foundations