2
行列乗算プログラムの入れ子ループの不変式
Hoareロジックを使用して2つの行列を乗算するためのプログラムの正確性を証明することについて、卒業論文を作成しています。これを行うには、このプログラムの入れ子ループの不変式を生成する必要があります。 for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end end 私は最初に内部ループの不変式を見つけようとしましたが、今までは本当のものを見つけることができません。上記のプログラムの不変式を見つけるのを手伝ってくれる人はいますか？
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