Khoa học máy tính arithmetic

9

Tại sao bổ sung nhanh như các hoạt động khôn ngoan trong bộ xử lý hiện đại?

Tôi biết rằng các hoạt động khôn ngoan bit rất nhanh trên các bộ xử lý hiện đại, bởi vì chúng có thể hoạt động song song trên 32 hoặc 64 bit, vì vậy các hoạt động khôn ngoan bit chỉ mất một chu kỳ xung nhịp. Tuy nhiên, bổ …

73 computer-architecture arithmetic circuits cpu digital-circuits

3

Thuật toán nhân tố hiệu quả hơn phép nhân ngây thơ

Tôi biết cách viết mã cho các giai thừa bằng cách sử dụng cả lặp và đệ quy (ví n * factorial(n-1)dụ: ví dụ). Tôi đọc trong sách giáo khoa (không được đưa ra bất kỳ lời giải thích nào nữa) rằng có một cách mã hóa thậm chí còn …

38 algorithms efficiency arithmetic

6

Toán học đằng sau việc chuyển đổi từ cơ sở nào sang cơ sở nào mà không qua cơ sở 10?

Tôi đã xem xét toán học đằng sau việc chuyển đổi từ bất kỳ cơ sở nào sang bất kỳ cơ sở nào. Đây là nhiều hơn về việc xác nhận kết quả của tôi hơn bất cứ điều gì. Tôi đã tìm thấy những gì dường như là câu …

35 algorithms arithmetic number-formats

2

Tại sao loại khoảng trống của C không giống với loại trống / đáy?

Wikipedia cũng như các nguồn khác mà tôi đã tìm thấy voidloại C là một loại đơn vị trái ngược với loại trống. Tôi thấy điều này khó hiểu vì dường như với tôi voidphù hợp hơn với định nghĩa về loại trống / đáy. Không có giá trị cư …

28 type-theory c logic modal-logic coq equality coinduction artificial-intelligence computer-architecture compilers asymptotics formal-languages asymptotics landau-notation asymptotics turing-machines optimization decision-problem rice-theorem algorithms arithmetic floating-point automata finite-automata data-structures search-trees balanced-search-trees complexity-theory asymptotics amortized-analysis complexity-theory graphs np-complete reductions np-hard algorithms string-metrics computability artificial-intelligence halting-problem turing-machines computation-models graph-theory terminology complexity-theory decision-problem polynomial-time algorithms algorithm-analysis optimization runtime-analysis loops turing-machines computation-models recurrence-relation master-theorem complexity-theory asymptotics parallel-computing landau-notation terminology optimization decision-problem complexity-theory polynomial-time counting coding-theory permutations encoding-scheme error-correcting-codes machine-learning natural-language-processing algorithms graphs social-networks network-analysis relational-algebra constraint-satisfaction polymorphisms algorithms graphs trees

6

Điều gì là hiệu quả nhất cho GCD?

Tôi biết rằng thuật toán của Euclid là thuật toán tốt nhất để có được GCD (ước số chung lớn) của danh sách các số nguyên dương. Nhưng trong thực tế, bạn có thể mã hóa thuật toán này theo nhiều cách khác nhau. (Trong trường hợp của tôi, tôi …

26 algorithms recursion arithmetic

5

Số đã ký và không dấu

Làm thế nào ALU trong bộ vi xử lý sẽ phân biệt giữa một số đã ký, -7 được ký hiệu là 1111 và số 15 không dấu, cũng được ký hiệu là 1111?

17 arithmetic binary

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

3

Làm thế nào để 0 có hai giá trị trong phần bù của một người?

Người ta nói rằng trong phần bù 2 của 2 chỉ có một giá trị, trong khi phần bù của 1 có cả +0 và -0 có các giá trị riêng biệt. Họ là ai?

12 arithmetic

3

Độ phức tạp của thời gian bổ sung

Wikipedia liệt kê độ phức tạp thời gian của phép cộng là , trong đó là số bit.nnnnnnn Đây có phải là một lý thuyết cứng nhắc thấp hơn ràng buộc? Hay đây chỉ là sự phức tạp của thuật toán được biết đến nhanh nhất hiện nay. Tôi muốn …

11 algorithms algorithm-analysis arithmetic

9

Đại diện cho một số thực mà không mất độ chính xác

Điểm nổi hiện tại (ANSI C float, double) cho phép biểu thị xấp xỉ một số thực. Có cách nào để biểu diễn số thực mà không có lỗi không? Đây là một ý tưởng tôi có, đó là bất cứ điều gì nhưng hoàn hảo. Ví dụ: 1/3 là …

10 binary-arithmetic arithmetic floating-point real-numbers number-formats

2

Định nghĩa xây dựng tiêu chuẩn của số nguyên, hợp lý và thực tế?

Số tự nhiên được xác định theo quy nạp là (sử dụng cú pháp Coq làm ví dụ) Inductive nat: Set := | O: nat | S: nat -> nat. Có cách nào chuẩn để xác định số nguyên (và có thể các tập hợp khác như số hữu tỷ …

10 arithmetic dependent-types coq

1

Tại sao độ chính xác mô đun điểm nổi quan trọng?

Hầu hết các phương ngữ Smalltalk hiện đang thực hiện một mô đun nổi không chính xác ngây thơ (fmod / phần còn lại). Tôi chỉ thay đổi điều này để cải thiện Squeak / Pharo và cuối cùng là tuân thủ các tiêu chuẩn khác của Smalltalk (IEEE 754, …

9 arithmetic floating-point

4

Làm thế nào tôi có thể nhân một biểu diễn nhị phân với mười bằng cách sử dụng cổng logic?

Vì vậy, tôi hiện đang làm việc trên một cái gì đó và tôi đã chuyển đổi tất cả các chữ số thập phân 0-9 thành nhị phân. Nhưng bây giờ tôi muốn nói 6 ở dạng nhị phân và tăng thứ tự độ lớn của nó lên cơ số …

8 arithmetic binary

1

Cơ sở tối thiểu để thiết lập các vectơ nhị phân sử dụng XOR

Tôi sẽ ngạc nhiên nếu đây không phải là một vấn đề được nghiên cứu kỹ lưỡng, nhưng tôi không chắc chắn nên tìm kiếm điều gì khác vào thời điểm này: bạn được cung cấp một bộ -vector nhị phân . Vấn đề là tìm một tập hợp nhị …

8 complexity-theory arithmetic matrices linear-algebra

4

Tính toán căn bậc hai bằng cách sử dụng (bit) bổ sung và dịch chuyển như nguyên thủy

Câu hỏi: Cho một -bit số tự nhiên , làm thế nào để tính toán chỉ sử dụng (bit) bổ sung và thay đổi?nnnNNN⌈N−−√⌉⌈N⌉\lceil \sqrt{N} \rceilO(n)O(n)O(n) Mẹo là sử dụng tìm kiếm nhị phân. Tuy nhiên, tôi không thể đạt được độ phức tạp cần thiết (tôi có ).O(n2)O(n2)O(n^2) Nó …

8 algorithms arithmetic binary-search

Câu hỏi được gắn thẻ «arithmetic»