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

Tôi cần chứng minh rằng TAUT hoàn thành coNP. Tôi đã chỉ ra rằng bằng cách giảm thành . Tuy nhiên, tôi không thể tìm ra cách chứng minh rằng mọi vấn đề trong coNP có thể được giảm xuống thành trong thời gian đa thức. Để làm điều đó, …

7 complexity-theory  np-complete  proof-techniques  co-np 

Tôi đã nghe một số tuyên bố rằng tính toán của các công trình không có loại quy nạp không đủ mạnh để thể hiện bằng chứng bằng quy nạp. Đúng không? Nếu vậy, tại sao mã hóa Giáo hội không đủ cho điều đó?

7 proof-techniques  functional-programming  automated-theorem-proving  curry-howard 

Vì câu hỏi của tôi liên quan trực tiếp đến một phần của văn bản từ cuốn sách năm 2004, Logic trong Khoa học máy tính: Mô hình hóa và lý luận về các hệ thống (Ấn bản 2) của Michael Huth và Mark Ryan , để cung cấp bối …

7 reductions  logic  proof-techniques  undecidability 

Tôi đã cố gắng chứng minh rằng ngôn ngữ sau là đệ quy: for , một số nguyên dương: L_k = H _ {\ mathrm {TM}, \ varepsilon} \ cap \ Sigma ^ k trong đó H_ { \ mathrm {TM}, \ varepsilon} = \ {\ langle M \ rangle …

7 computability  turing-machines  proof-techniques 

Đưa ra một vấn đề, liệu có thể chứng minh hiệu quả trong trường hợp xấu nhất của thuật toán để giải quyết vấn đề này là gì? Ví dụ, hãy giải quyết vấn đề sắp xếp một mảng. Nhiều thuật toán sắp xếp đơn giản hơn có hiệu quả …

7 asymptotics  proof-techniques  efficiency 

Tôi xin lỗi, nhưng ngay cả sau hai bài đăng khác: ở đây và ở đây tôi vẫn gặp khó khăn trong việc hiểu các TM tiên tri và thuyết tương đối hóa. Câu hỏi này xuất phát từ vấn đề từ một góc độ khác: Tại sao các bằng …

7 complexity-theory  proof-techniques  oracle-machines  relativization 

Định lý của Ramsey nói rằng mọi đồ thị với nnn các nút chứa một cụm hoặc một tập độc lập với ít nhất 12log2n12log2⁡n\frac{1}{2}\log_2 n điểm giao. Tôi đã cố gắng tìm kiếm nó ở một vài nơi (bao gồm cả Sipser) nhưng tôi không thể hiểu được nhiều …

7 graph-theory  proof-techniques  combinatorics  discrete-mathematics 

Là một bài kiểm tra về các thuật toán và độ phức tạp, tôi hiện đang giải các bài tập cũ. Một khái niệm tôi đã phải vật lộn khi lần đầu tiên bắt gặp nó là khái niệm phân tích khấu hao. Phân tích khấu hao là gì và …

7 algorithm-analysis  proof-techniques  amortized-analysis 

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 

Giải quyết mối quan hệ lặp lại . Cuốn sách mà ví dụ này là, tuyên bố sai rằng bằng cách đoán và sau đó tranh luận T(n)=2T(⌊n/2⌋)+nT(n)=2T(⌊n/2⌋)+nT(n) = 2T(\lfloor n/2 \rfloor) + nT(n)=O(n)T(n)=O(n)T(n) = O(n)T(n)≤cnT(n)≤cnT(n) \leq cn T(n)≤2(c⌊n/2⌋)+n≤cn+n=O(n)⟵ wrong!!T(n)≤2(c⌊n/2⌋)+n≤cn+n=O(n)⟵ wrong!!\qquad \begin{align*} T(n) & \leq 2(c \lfloor n/2 \rfloor ) …

7 proof-techniques  asymptotics  recurrence-relation  landau-notation  induction 

Để cho G = ( V, E)G= =(V,E)G = (V,E)là một đồ thị có đỉnh, không có đỉnh nào bị cô lập và cạnh, trong đó . Chứng tỏ rằng chứa ít nhất hai đỉnh bậc một.nnnn - 1n-1n−1n ≥ 2n≥2n \geq 2GGG Tôi đã cố gắng giải quyết vấn …

7 graph-theory  proof-techniques 

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 

Tôi có một câu hỏi chung về giảm bản đồ. Tôi đã thấy một số ví dụ về việc giảm các hàm thànhATMATMA_{TM} trong đóATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle …

7 computability  proof-techniques  reductions 

Tôi đã phát triển mã giả sau đây cho bài toán tổng của các cặp: Cho một mảng MộtAA số nguyên và số nguyên bbb, trả về CÓ nếu có vị trí tôi , ji,ji,j trong MộtAA với A [ i ] + A [ j ] = bA[i]+A[j]=bA[i] + …

7 algorithms  proof-techniques  loop-invariants