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

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 

Có thể chỉ ra rằng nắp đỉnh tối thiểu trong biểu đồ lưỡng cực có thể được giảm đến một vấn đề dòng chảy tối đa? Hoặc đến bài toán cắt tối thiểu (sau đó tuân theo định lý cắt tối thiểu dòng chảy tối đa, yêu cầu giữ). Theo …

7 complexity-theory  graph-theory  reductions  network-flow 

Đâ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 

Tôi cần chứng minh rằng là tập con của liên kết cho tất cả .N PNP\mathsf{NP}D T I M E (2nc)DTIME(2nc)\mathsf{DTIME}(2^{n^c})c > 1c>1c > 1 Đặt là một vấn đề ngôn ngữ / quyết định trong . Sau đó có thể được quyết định được đưa ra một giấy chứng …

7 complexity-theory  check-my-proof 

Như vậy, làm thế nào để bạn chứng minh rằng SAT hoàn thành NP? Tôi biết ý nghĩa của NP-Complete là gì, vì vậy tôi không cần giải thích về điều đó. Điều tôi muốn biết là làm thế nào để bạn biết rằng một vấn đề, chẳng hạn như …

7 complexity-theory  satisfiability 

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 

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 

Xét một hệ phương trình tuyến tính , trong đó là ma trận với các mục nhập hợp lý. Giả sử thứ hạng của là . Số phức là gì để kiểm tra xem nó có giải pháp sao cho tất cả các mục của đều lớn hơn 0 (cụ …

7 algorithms  complexity-theory  linear-algebra 

Thường thì tôi thấy một câu như thế này trong khi đọc các văn bản về Độ phức tạp tính toán: "Đối với trường hợp đặc biệt này của TSPTSP\text{TSP}" hoặc là "Đây là một trường hợp đặc biệt của SATSAT\text{SAT}" hoặc là " - là trường hợp đặc biệt …

7 complexity-theory 

Hãy xem xét vấn đề sau. Cho một tậpSSS số nguyên , một hàmf:Z→Zf:Z→Zf : \mathbb{Z} \to \mathbb{Z} và k∈Zk∈Zk \in \mathbb{Z}, quyết định thời tiết có X⊆SX⊆SX \subseteq S như vậy mà f(∑x∈Xx)=kf(∑x∈Xx)=kf\left(\sum_{x\in X}x\right)=k. Đây có còn được coi là một vấn đề tổng hợp con ? Chẳng hạn, …

7 complexity-theory 

Có người nói với tôi rằng hàm đã được giới thiệu để làm cho phép tính dễ dàng hơn. Nếu chúng ta phải tính , chúng ta có thể tính thay thế kể từ . Làm thế nào điều này có thể làm cho việc tính toán dễ dàng hơn? …

6 algorithms  complexity-theory  reference-request  education