Khoa học máy tính

Với: phân đoạn (mảng) của số nguyên ra lệnh, số nguyên có thể là từ để .NNN- K-K-KKKK Thí dụ: Segment 1: [-2,-1,0,1,2,3] Segment 2: [1,2,3,4,5] Segment 3: [-3,-2,-1,0,1] Bạn có thể biểu diễn chúng dưới dạng [min, max] --- tương đương: Segment 1: [-2,3] Segment 2: [1,5] Segment 3: …

7 algorithms  time-complexity  arrays 

Tôi đang xem xét mức tái phát mô tả thời gian chạy của một số thuật toán không xác định (trường hợp cơ sở không được cung cấp).T(n)=T(n/2)+T(n/3)+n,T(n)=T(n/2)+T(n/3)+n,T(n) = T(n/2) + T(n/3) + n, Sử dụng cảm ứng, tôi thấy rằng , nhưng đã được thông báo rằng điều này …

7 asymptotics  recurrence-relation 

Số lượng các phép toán dấu phẩy động cần thiết để thực hiện lũy thừa (sức mạnh của) là gì? Giả sử phép nhân của hai số float sử dụng một FLOP, số lượng thao tác cho sẽ là . Tuy nhiên, có cách nào nhanh hơn để làm điều …

7 algorithms  arithmetic  floating-point 

Tôi đang cố gắng hiểu độ phức tạp thời gian của hàng đợi được triển khai với cấu trúc dữ liệu danh sách được liên kết. Cuốn sách của tôi nói rằng chúng ta có thể thực hiện một hàng đợi trong thời gian O (1) bằng cách: enqueue ở …

7 algorithms  time-complexity  linked-lists  queues 

Quay trở lại kỷ nguyên Windows XP, khi thiết lập lời nói / chính tả tích hợp sẵn cho hệ điều hành Windows, tôi đã phải nói ra một loạt các mẫu văn bản được lập trình sẵn cho công cụ chuyển văn bản thành giọng nói để cá nhân …

7 algorithms  machine-learning  speech-recognition 

Giả sử chúng ta có một lời sấm giải quyết các vấn đề về hình thức maximize subject to cTxAx=b,x≥0maximize cTxsubject to Ax=b,x≥0\begin{align*} \text{maximize} ~~ & c^T x \\ \text{subject to} ~~ & A x = b, x\geq 0 \end{align*} khi (tất cả các hệ số trong mục tiêu tối …

7 linear-programming 

Hình thức hành chính thông thường là một đại diện trung gian của chương trình, trong đó mỗi lệnh ngay lập tức có một tên. Nó được sử dụng trong GHC và OCaml . Biểu mẫu K-chuẩn hóa là một biểu diễn trung gian trong đó mỗi lệnh bao gồm …

7 programming-languages  compilers 

Ở một vài nơi khác nhau ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf và https: //books.google.com/books?id=qYYKBwAAQBAJ&pg=PA21&lpg=PA21&dq=np-hard+completing+hadamard+matrix&source=bl&ots=8sKv9bAtc8&sig=ITZSmtD2p2xr6Q4RDqhbQQk0NDI&hl=en&sa=X&ved=2ahUKEwiotuLdvfzdAhWBKHwKHUF9AO0Q6AEwB3oECAMQAQ#v=onepage&q=np-hard%20completing% 20hadamard% 20matrix & f = false , để đưa ra hai) người ta khẳng định rằng việc xác định "sự tương đương" của hai ma trận Hadamard (theo nghĩa là cho phép lật dấu và hoán vị trên các …

7 np-complete  reference-request  graph-isomorphism 

Chúng ta có một hàm lấy một mảng làm đầu vào. Nó chia một mảng thành các phần với kích thước bằng nhau trong đó là kích thước của phân đoạn. Nó tiếp tục phá vỡ từng phân đoạn cho đến khi chỉ còn hai yếu tố trong đó. Độ …

7 complexity-theory  time-complexity  asymptotics  recursion  mathematical-analysis 

Tôi đang tham gia một lớp lý thuyết máy tính và giáo sư của tôi đã nói với chúng tôi rằng một máy tự động đẩy xuống không thể sử dụng các cấu trúc dữ liệu ngoài một ngăn xếp (như một hàng đợi hoặc nhiều ngăn xếp). Tại sao …

7 automata  pushdown-automata  computation-models 

Có ai biết máy Turing đầu tiên hiệu quả như thế nào không? Ý tôi là có bao nhiêu động tác đã làm trong một giây hoặc lâu hơn ... Tôi chỉ tò mò. Cũng không thể tìm thấy bất kỳ thông tin về nó trên web.

7 turing-machines 

Tôi đang đọc các bài giảng về lý thuyết loại hình khối trong repo github này . Trong bài giảng 1 , tác giả định nghĩa mở rộng chức năng theo cách sau: funExt (A B : U) (f g : A -> B) (p : (x : A) -> …

7 type-theory  homotopy-type-theory 

Tôi muốn một thuật toán có thể xác định các phần lặp lại của dấu vết ngăn xếp lớn như thế này: java.lang.StackOverflowError at transform.Erasure$Eraser.typed1(Erasure.scala:789) at typechecker.Typers$Typer.runTyper$1(Typers.scala:5640) at typechecker.Typers$Typer.typedInternal(Typers.scala:5672) at typechecker.Typers$Typer.body$2(Typers.scala:5613) at typechecker.Typers$Typer.typed(Typers.scala:5618) at typechecker.Typers$Typer.$anonfun$typed1$38(Typers.scala:4752) at typechecker.Typers$Typer.silent(Typers.scala:700) at typechecker.Typers$Typer.normalTypedApply$1(Typers.scala:4754) at typechecker.Typers$Typer.typedApply$1(Typers.scala:4801) at typechecker.Typers$Typer.typedInAnyMode$1(Typers.scala:5586) at typechecker.Typers$Typer.typed1(Typers.scala:5603) at transform.Erasure$Eraser.typed1(Erasure.scala:789) at typechecker.Typers$Typer.runTyper$1(Typers.scala:5640) at …

7 algorithms 

Tôi đang tìm kiếm một cấu trúc dữ liệu để lưu trữ một tập hợp sao cho hai trường hợp kích thước O(n)O(n)O(n) được biết là có giao lộ không trống, yếu tố tối thiểu của giao lộ có thể được tìm thấy trong O(logn)O(log⁡n)O(\log n)thời gian. Điều này có …

7 data-structures  heaps 

Tôi đang đọc cuốn "Cẩm nang thiết kế thuật toán" của Steven Skiena, và trong một trong những Câu chuyện chiến tranh của ông ở trang 155, ông nói: Hiệu quả là một thách thức lớn trong Mathematica, do mô hình tính toán ứng dụng của nó (nó không hỗ …

7 arrays