回答編集履歴
2
探索処理を追記しておく
test
CHANGED
|
@@ -89,3 +89,173 @@
|
|
|
89
89
|
【「細部がとりあえず版だけども全体が動く状態」を一旦作ってから → その後で「とりあえず」部分をよりマシな実装に置き換える】
|
|
90
90
|
|
|
91
91
|
という手順にした方が，一度に相手にする要素が減るので楽になるのでは？ という話です．
|
|
92
|
+
|
|
93
|
+
|
|
94
|
+
|
|
95
|
+
---
|
|
96
|
+
|
|
97
|
+
|
|
98
|
+
|
|
99
|
+
---
|
|
100
|
+
|
|
101
|
+
|
|
102
|
+
|
|
103
|
+
[追記]
|
|
104
|
+
|
|
105
|
+
|
|
106
|
+
|
|
107
|
+
The code example shown below finds the "minimum vertex cover" using the above method.
|
|
108
|
+
|
|
109
|
+
With this search process using queue, the "vertex cover" first found becomes (one of) the "minimum vertex cover".
|
|
110
|
+
|
|
111
|
+
|
|
112
|
+
|
|
113
|
+
```C++
|
|
114
|
+
|
|
115
|
+
//これは単に頂点群を表示するだけの作業関数
|
|
116
|
+
|
|
117
|
+
inline void ShowVtxs( const std::vector<int> &Vtxs )
|
|
118
|
+
|
|
119
|
+
{
|
|
120
|
+
|
|
121
|
+
std::cout << "{ ";
|
|
122
|
+
|
|
123
|
+
for( auto i : Vtxs ){ std::cout << i << " "; }
|
|
124
|
+
|
|
125
|
+
std::cout << "}";
|
|
126
|
+
|
|
127
|
+
}
|
|
128
|
+
|
|
129
|
+
|
|
130
|
+
|
|
131
|
+
//探索処理用のデータ
|
|
132
|
+
|
|
133
|
+
struct WorkData
|
|
134
|
+
|
|
135
|
+
{
|
|
136
|
+
|
|
137
|
+
std::vector< int > CurrVtxs; //頂点被覆か否かを調べる頂点集合
|
|
138
|
+
|
|
139
|
+
std::vector< int > RestVtxs; //CurrVtxが頂点被覆ではなかった場合にCurrVtxsに追加する頂点候補群
|
|
140
|
+
|
|
141
|
+
};
|
|
142
|
+
|
|
143
|
+
|
|
144
|
+
|
|
145
|
+
int main(void)
|
|
146
|
+
|
|
147
|
+
{
|
|
148
|
+
|
|
149
|
+
//とりあえず接続行列があるとして…
|
|
150
|
+
|
|
151
|
+
con_matrix M;
|
|
152
|
+
|
|
153
|
+
|
|
154
|
+
|
|
155
|
+
//--------------------------
|
|
156
|
+
|
|
157
|
+
//Queueを用いた幅優先探索
|
|
158
|
+
|
|
159
|
+
//
|
|
160
|
+
|
|
161
|
+
// 頂点個数が少ない側からチェックしていけば
|
|
162
|
+
|
|
163
|
+
// 最初に見つかった頂点被覆は最小頂点被覆(のひとつ)である
|
|
164
|
+
|
|
165
|
+
|
|
166
|
+
|
|
167
|
+
std::queue< WorkData > Queue;
|
|
168
|
+
|
|
169
|
+
{//Queueに探索処理のとっかかりとなるような最初のデータを入れる
|
|
170
|
+
|
|
171
|
+
WorkData WD;
|
|
172
|
+
|
|
173
|
+
{//最初のデータは｛CurrVtxsが空で，RestVtxsが全ての頂点の集合｝となるデータ
|
|
174
|
+
|
|
175
|
+
int n = M.get_vertex_num();
|
|
176
|
+
|
|
177
|
+
WD.RestVtxs.resize(n);
|
|
178
|
+
|
|
179
|
+
for( int i=0; i<n; ++i )WD.RestVtxs[i] = i;
|
|
180
|
+
|
|
181
|
+
}
|
|
182
|
+
|
|
183
|
+
Queue.push( WD );
|
|
184
|
+
|
|
185
|
+
}
|
|
186
|
+
|
|
187
|
+
|
|
188
|
+
|
|
189
|
+
while( !Queue.empty() )
|
|
190
|
+
|
|
191
|
+
{
|
|
192
|
+
|
|
193
|
+
WorkData &WD = Queue.front();
|
|
194
|
+
|
|
195
|
+
|
|
196
|
+
|
|
197
|
+
{//WDの中身を表示
|
|
198
|
+
|
|
199
|
+
std::cout << "Curr";
|
|
200
|
+
|
|
201
|
+
ShowVtxs( WD.CurrVtxs );
|
|
202
|
+
|
|
203
|
+
std::cout << " , Rest";
|
|
204
|
+
|
|
205
|
+
ShowVtxs( WD.RestVtxs );
|
|
206
|
+
|
|
207
|
+
std::cout << "\n";
|
|
208
|
+
|
|
209
|
+
}
|
|
210
|
+
|
|
211
|
+
|
|
212
|
+
|
|
213
|
+
//WD.CurrVtxsが頂点被覆かどうかをチェック
|
|
214
|
+
|
|
215
|
+
if( M.Is_Covering( WD.CurrVtxs ) )
|
|
216
|
+
|
|
217
|
+
{ //頂点被覆が見つかったらその時点で探索終了
|
|
218
|
+
|
|
219
|
+
std::cout << " Found !!\n";
|
|
220
|
+
|
|
221
|
+
break;
|
|
222
|
+
|
|
223
|
+
}
|
|
224
|
+
|
|
225
|
+
|
|
226
|
+
|
|
227
|
+
//WD.CurrVtxsが頂点被覆でなかった場合：
|
|
228
|
+
|
|
229
|
+
//｛WD.RestVtxs内の頂点の１つをWD.CurrVtxs側に移した形のデータ｝群 をQueueに入れる
|
|
230
|
+
|
|
231
|
+
for( auto i=WD.RestVtxs.begin(); i!=WD.RestVtxs.end(); ++i )
|
|
232
|
+
|
|
233
|
+
{
|
|
234
|
+
|
|
235
|
+
WorkData NextPtn;
|
|
236
|
+
|
|
237
|
+
NextPtn.CurrVtxs = WD.CurrVtxs;
|
|
238
|
+
|
|
239
|
+
NextPtn.CurrVtxs.push_back( *i );
|
|
240
|
+
|
|
241
|
+
NextPtn.RestVtxs.assign( i+1, WD.RestVtxs.end() ); //※以降の探索に重複パターンを作らないようにRestVtxsの中身を絞っておく
|
|
242
|
+
|
|
243
|
+
Queue.push( NextPtn );
|
|
244
|
+
|
|
245
|
+
}
|
|
246
|
+
|
|
247
|
+
|
|
248
|
+
|
|
249
|
+
Queue.pop();
|
|
250
|
+
|
|
251
|
+
}
|
|
252
|
+
|
|
253
|
+
|
|
254
|
+
|
|
255
|
+
std::cout << "END" << std::endl;
|
|
256
|
+
|
|
257
|
+
return 0;
|
|
258
|
+
|
|
259
|
+
}
|
|
260
|
+
|
|
261
|
+
```
|
1
誤変換修正
test
CHANGED
|
@@ -6,7 +6,7 @@
|
|
|
6
6
|
|
|
7
7
|
|
|
8
8
|
|
|
9
|
-
とりあえず con_matrix が持っている行列の値を外部から見る方法が設けられていない様子ですので， con_matrix に「ある頂点集合が頂点被覆か否かを調べる」というメソッドを追加することを考えて
|
|
9
|
+
とりあえず con_matrix が持っている行列の値を外部から見る方法が設けられていない様子ですので， con_matrix に「ある頂点集合が頂点被覆か否かを調べる」というメソッドを追加することを考えてみます．
|
|
10
10
|
|
|
11
11
|
例えば…
|
|
12
12
|
|
|
@@ -78,7 +78,7 @@
|
|
|
78
78
|
|
|
79
79
|
おそらくはこのコード例みたいな「最も愚直なチェック」よりも何かしらの意味でマシな方法論を考えておられる（配列はその話の中で出てくる）のだろうと推測しますが，
|
|
80
80
|
|
|
81
|
-
それをすぐに実装できないのであれば，**とりあえず今考えているその方法の実装は保留とし，このような「力業で効率悪そうだけどまずは動くんじゃない？」という代替実装を用意して，
|
|
81
|
+
それをすぐに実装できないのであれば，**とりあえず今考えているその方法の実装は保留とし，このような「力業で効率悪そうだけどまずは動くんじゃない？」という代替実装を用意して，先に全体の処理フローを完成させる** ことを行ってはどうでしょうか．
|
|
82
82
|
|
|
83
83
|
|
|
84
84
|
|