Khoa học máy tính time-complexity

2

Tiêu đề của câu hỏi thể hiện những gì tôi đang tìm kiếm - điều này là để giúp tôi hiểu rõ hơn các điều kiện tiên quyết cho Định lý phân cấp thời gian không xác định Chẳng hạn, cuốn sách Arora-Barak giải thích định lý bằng cách sử …

7 complexity-theory time-complexity asymptotics landau-notation

3

Mối quan hệ lặp lại cho độ phức tạp thời gian

Tôi đang tìm một xấp xỉ của ΘΘ\ThetaT( n ) = T( n - 1 ) + cn2T(n)= =T(n-1)+cn2T(n) = T(n-1) + cn^{2} Đây là những gì tôi có cho đến nay: T( n - 1 )T( n )T( n - 2 )T( n )T( n - 3 )T( n …

7 time-complexity algorithm-analysis proof-techniques recurrence-relation

2

Có ai tìm thấy thuật toán đa thức về đẳng cấu chu kỳ Hamilton không?

Như tiêu đề đã nói, có ai tìm thấy thuật toán thời gian đa thức để kiểm tra xem hai đồ thị có chu trình Hamilton có phải là đẳng cấu không? Vấn đề này đã hoàn thành NP chưa?

7 complexity-theory graph-theory time-complexity

4

Độ phức tạp thời gian của chức năng này là gì?

Đây là một ví dụ trong bài giảng của tôi. Hàm này có độ phức tạp thời gian không? Bởi vì trường hợp xấu nhất là chức năng đi vào nhánh và 2 vòng lặp lồng nhau với độ phức tạp thời gian là và , vì vậy nó là …

7 complexity-theory time-complexity algorithm-analysis runtime-analysis

2

Có bao nhiêu chuỗi gần với một chuỗi các chuỗi đã cho?

Câu hỏi này đã được nhắc nhở bởi các cấu trúc dữ liệu hiệu quả để xây dựng trình kiểm tra chính tả nhanh . Với hai chuỗi , chúng tôi nói rằng họ -close nếu họ Damerau-khoảng cách levenshtein ¹ là nhỏ, tức là cho một cố định . …

7 algorithms time-complexity strings word-combinatorics string-metrics

2

Kết nối giữa khả năng đúc và độ lồi

Tôi tự hỏi nếu có bất kỳ kết nối giữa đa giác lồi và đối tượng castable? Chúng ta có thể nói gì về khả năng đúc của đối tượng nếu chúng ta biết rằng đối tượng là đa giác lồi và ngược lại. Chúng ta hãy tập hợp một …

7 complexity-theory time-complexity computational-geometry

2

Bất biến cho vòng lặp lồng nhau trong chương trình nhân ma trận

Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …

7 algorithms loop-invariants correctness-proof formal-languages regular-languages pumping-lemma logic logic programming-languages lambda-calculus term-rewriting operational-semantics complexity-theory time-complexity computability proof-techniques reductions digital-preservation distributed-systems storage algorithms dynamic-programming check-my-algorithm reference-request cryptography quantum-computing formal-languages regular-languages context-free formal-grammars algorithms graphs network-flow algorithms data-structures randomized-algorithms lists computability proof-techniques undecidability terminology distributed-systems parallel-computing artificial-intelligence heuristics search-problem algorithms computational-geometry algorithm-analysis asymptotics recurrence-relation mathematical-analysis master-theorem algorithms algorithm-analysis runtime-analysis computability reductions turing-machines formal-languages context-free

3

Sự phức tạp của việc tìm kiếm lớn nhất

Điều gì sau đây là thuật toán của tôi để làm điều này trong những gì tôi tin là O(n)Ôi(n)O(n)thời gian, và bằng chứng của tôi cho điều đó. Giáo sư của tôi không đồng ý rằng nó chạy vàoO(n)Ôi(n)O(n) và thay vào đó nghĩ rằng nó chạy trong Ω …

7 algorithms time-complexity runtime-analysis

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