ハンドルされていない例外への対処方法

Question

前提・実現したいこと

生成した接続行列から行をランダムに取り出し、一つの行に組み合わせる。その後組み合わせた行は被覆しているかをチェックし、結果を「ture」「false」で出力する。
出力した後、取り出した行を一つずつ減らしていき最小頂点被覆数を求める。

0 0 0 0 0 0 1 1 1 1
0 1 1 1 0 0 0 0 0 0
0 0 0 0 1 0 0 0 1 0
0 0 0 1 0 1 1 0 0 0       → この行列から複数の行を取り出し、組み合わせて一つの配列にする。
0 1 0 0 0 0 0 1 0 0　　　　　　できた配列の全ての要素が１になっているかをチェックし結果を出力する。
1 0 1 0 0 0 0 0 0 0
1 0 0 0 1 1 0 0 0 1

発生している問題・エラーメッセージ

「ハンドルされない例外が 0x7A28FC66 (ucrtbased.dll) で発生しました: 無効なパラメーターを致命的と見なす関数に無効なパラメーターが渡されました」といった内容が出ます。

該当のソースコード

試したこと

以下の内容が115行目のint x = tem[gm];にて出ます。頂点数を10にしてみたり、100にしてみたりすると最後まで探索し実行できるのですが、頂点数を50とかにすると以下の出力をしてエラーが出ます。

頂点数 = 50
グラフの辺数 = 612

補足情報（FW/ツールのバージョンなど）

Visual Studio 2019で入力しています。

Comments

[int32_t]

「エラーとなっている」とは具体的にどういう状況なのでしょうか? 例: コンパイルできない、実行しても何も起きない、など

どこまで実行が進むか、Visual Studio 上でデバッグ実行してみてください。

[int32_t]

> debug assertion failedとなっている状態です。

そのダイアログに書いてある情報がとてもとても重要です。書き写して質問文に追記してください。

Visual Studio でデバッグ実行してみましたか?

[退会済みユーザー]

デバックで実行してみたところ、このような写真が出ます。
ダイアログはこちらのものになりますか？

Answer 1

vector subscript out of range

これは、std::vector の添字がサイズ以上になっているという意味です。
Cover_search() の中の ram2[gm] ram2[j]、Is_cover() の中の matrix[i]、Coalescence() の中のイロイロで添字がサイズ以上になっていないか再確認してください。

Comments

[退会済みユーザー]

以下のプログラムを入れると同じエラー内容がでるのですが、どうしたら良いでしょうか？
if (Is_cover(a, matrix, ram1, ram2) == true) {
for (int j = 0; j < ram1; j++) {
cout << ram2[j] << ",";
}
cout << "true" << endl;
ram1--;
}
else if (Is_cover(a, matrix, ram1, ram2) == false) {
cout << "false" << endl;
ram2.push_back(am);
}

[int32_t]

とりあえず、https://docs.microsoft.com/ja-jp/visualstudio/debugger/getting-started-with-the-debugger-cpp?view=vs-2022#set-a-breakpoint-and-start-the-debugger を読んでどこが悪いのか突き止めてください。

[退会済みユーザー]

読んだのですが、どの部分が原因でエラーと出ているのかわからないです。

[int32_t]

Cover_search()の先頭にブレークポイントを置いて「デバッグの開始」して、ブレークポイントで止まったらステップインを繰り返し実行してください。

[退会済みユーザー]

69行目にあるint e = r2[iV];にてエラーしました。

[int32_t]

> 69行目にあるint e = r2[iV];

ということは、
・ Coalescence() の引数 r1 が引数 r2 のサイズ以上になっているのが悪い
・Is_cover() の引数 r1 が引数 r2 のサイズ以上になっているのが悪い

Cover_search() で ram2.erase() で ram2 のサイズが減っているのに Is_cover() に ram1 を渡して大丈夫なのかな、とか、main() で ram1 がn以上になることがあるけどいいのかな、とかがぱっと見で気になりました。

[退会済みユーザー]

どこが悪いのか明確に分からないため、参考になるようなプログラムが見たいのですが、ありますでしょうか？

[fana]

> どこが悪いのか明確に分からない

You have to debug your code yourself before asking.
Check the progress step by step to find out what's wrong.