Khoa học máy tính

2

'Chìa khóa' trong khoa học máy tính là gì?

Tôi hơi bối rối về ý nghĩa chính xác của 'chìa khóa' trong khoa học máy tính. Tôi hiểu các cặp khóa-giá trị, khóa chính, v.v ... Nhưng tôi không thể tìm thấy định nghĩa về thuật ngữ 'khóa' nghĩa là gì. Theo như tôi có thể nói nó chỉ …

14 terminology

1

Những loại vấn đề toán học có thể được giải quyết bằng cách xử lý định lý tự động?

Tôi có thể chứng minh các phát biểu sau bằng cách sử dụng các provers định lý tự động có sẵn không? .( a + b )2= a2+ b2+ 2 a b(một+b)2= =một2+b2+2mộtb(a+b)^2=a^2+b^2+2ab Nếu , thì .11 ∣ 2 a - 3 b11|2một-3b 11 \mid 2a-3b11 | 7 một - …

14 automated-theorem-proving

2

Có một khái niệm cho một thuật toán tính toán một hàm bằng cách trước tiên tìm một thuật toán khác không?

Nếu tôi hiểu chính xác, thuật toán tính giá trị của hàm thực có độ phức tạp tính toán O ( g ( n ) ) nếu sau đây giữ: Khi chúng ta tính f với độ chính xác δ yêu cầu theo thứ tự các bước g ( n …

14 complexity-theory

3

Khi nào danh sách kề hoặc ma trận là sự lựa chọn tốt hơn?

Tôi được cho biết rằng chúng tôi sẽ sử dụng một danh sách nếu biểu đồ thưa thớt và ma trận nếu biểu đồ dày đặc . Đối với tôi, đó chỉ là một định nghĩa thô. Tôi không thấy nhiều hơn thế. Bạn có thể làm rõ khi nào …

14 graphs data-structures lists adjacency-matrix

1

Là đạo hàm của một biểu đồ liên quan đến danh sách kề?

Một số tác phẩm của Conor McBride, Diff , Dissect , liên quan đến đạo hàm của các loại dữ liệu với "loại bối cảnh một lỗ" của chúng. Đó là, nếu bạn lấy đạo hàm của loại bạn còn lại với kiểu dữ liệu cho bạn biết kiểu dữ …

14 graph-theory type-theory

2

Đồ thị dư trong lưu lượng tối đa

Tôi đang đọc về vấn đề lưu lượng tối đa ở đây . Tôi không thể hiểu được trực giác đằng sau Biểu đồ dư. Tại sao chúng ta xem xét các cạnh trở lại trong khi tính toán dòng chảy? Bất cứ ai có thể giúp tôi hiểu khái …

14 algorithms graphs graph-theory network-flow

2

Tôi có thể có một loại sao chép phụ thuộc vào loại khác không?

Tôi đang đọc qua cuốn sách HoTT và tôi có một câu hỏi (có lẽ rất ngây thơ) về những thứ trong chương một. Chương giới thiệu loại hàm và sau đó khái quát hóa nó bằng cách làm cho phụ thuộc vào và đó được gọi là loại hàm …

14 type-theory dependent-types homotopy-type-theory

2

Giảm nhiều thời gian từ ILP xuống SAT?

Vì vậy, như đã biết, vấn đề quyết định 0-1 của ILP là hoàn thành NP. Hiển thị nó trong NP rất dễ dàng và mức giảm ban đầu là từ SAT; kể từ đó, nhiều vấn đề NP-Complete khác đã được chứng minh là có các công thức ILP …

14 np-complete reductions satisfiability integer-programming

2

Độ chính xác-Bằng chứng của thuật toán tham lam cho độ che phủ tối thiểu của cây

Có một thuật toán tham lam để tìm bìa đỉnh tối thiểu của cây sử dụng giao thức DFS. Đối với mỗi lá của cây, chọn cha mẹ của nó (tức là bố mẹ của nó nằm trong bìa đỉnh tối thiểu). Đối với mỗi nút nội bộ: nếu bất …

14 algorithms trees greedy-algorithms

2

Là ngôn ngữ của các từ có chứa số lượng tương đương 001 và 100 thường xuyên?

Tôi đã tự hỏi khi các ngôn ngữ có cùng số lượng phiên bản của hai chuỗi con sẽ là thường xuyên. Tôi biết rằng ngôn ngữ chứa số 1 và 0 bằng nhau không phải là thông thường, nhưng là ngôn ngữ như , trong đó = số phiên …

14 formal-languages regular-languages pumping-lemma

2

Tìm đường đi ngắn nhất và dài nhất giữa hai đỉnh trong DAG

Cho một DAG không trọng số (đồ thị chu kỳ có hướng) và hai đỉnh và , có thể tìm đường đi ngắn nhất và dài nhất từ đến trong thời gian đa thức không? Độ dài đường dẫn được đo bằng số cạnh.s t s tD = ( V, …

14 algorithms graphs shortest-path polynomial-time

7

Tại sao các chỉ số mảng âm có ý nghĩa?

Tôi đã bắt gặp một kinh nghiệm kỳ lạ trong lập trình C. Xem xét mã này: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Khi tôi biên dịch và chạy nó, tôi …

14 programming-languages arrays c

4

Tự học Khoa học Máy tính

Tôi là một nam thanh niên 16 tuổi, gần đây đã được một người bạn của tôi tặng một cuốn bách khoa toàn thư lớn về khoa học máy tính. Tôi thường không hứng thú với máy tính và công nghệ, nhưng khoa học máy tính đã bắt đầu mê …

14 reference-request education

5

Lý do để học logic mệnh đề & vị ngữ

Tôi có thể hiểu tầm quan trọng mà các nhà khoa học máy tính hoặc bất kỳ kỹ sư liên quan đến phát triển phần mềm nào nên hiểu về nghiên cứu logic cơ bản. Nhưng có bất kỳ nhiệm vụ / công việc nào đòi hỏi kiến thức rõ …

14 logic

1

Điểm tròn

Số hiệu dấu phẩy động IEEE-754 <1 (nghĩa là được tạo bằng bộ tạo số ngẫu nhiên tạo ra một số> = 0,0 và <1.0) có thể được nhân với một số nguyên (ở dạng dấu phẩy động) để có được một số bằng hoặc lớn hơn số nguyên đó …

13 numerical-analysis floating-point rounding