From 68bfda707781b5ad78a0de7d9b6ea081036d000e Mon Sep 17 00:00:00 2001
From: hal8174 <henning.lindemann@pm.me>
Date: Sat, 9 Nov 2024 20:33:25 +0100
Subject: [PATCH] Initial commit

---
 .gitignore                   |    4 +
 vertex_cover/Cargo.lock      |  237 ++++
 vertex_cover/Cargo.toml      |    7 +
 vertex_cover/graph0.in       |  176 +++
 vertex_cover/graph1.in       |  300 +++++
 vertex_cover/graph2.in       |  398 +++++++
 vertex_cover/graph3.in       |  255 ++++
 vertex_cover/graph4.in       |  521 +++++++++
 vertex_cover/graph5.in       | 2114 ++++++++++++++++++++++++++++++++++
 vertex_cover/graph6.in       |  670 +++++++++++
 vertex_cover/src/filtered.rs |   71 ++
 vertex_cover/src/main.rs     |  162 +++
 vertex_cover/validator.py    |   37 +
 13 files changed, 4952 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 vertex_cover/Cargo.lock
 create mode 100644 vertex_cover/Cargo.toml
 create mode 100644 vertex_cover/graph0.in
 create mode 100644 vertex_cover/graph1.in
 create mode 100644 vertex_cover/graph2.in
 create mode 100644 vertex_cover/graph3.in
 create mode 100644 vertex_cover/graph4.in
 create mode 100644 vertex_cover/graph5.in
 create mode 100644 vertex_cover/graph6.in
 create mode 100644 vertex_cover/src/filtered.rs
 create mode 100644 vertex_cover/src/main.rs
 create mode 100755 vertex_cover/validator.py

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..fe44c22
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+*/target
+*/flamegraph.svg
+*/perf.data*
+*/*.out
diff --git a/vertex_cover/Cargo.lock b/vertex_cover/Cargo.lock
new file mode 100644
index 0000000..062fb2e
--- /dev/null
+++ b/vertex_cover/Cargo.lock
@@ -0,0 +1,237 @@
+# This file is automatically @generated by Cargo.
+# It is not intended for manual editing.
+version = 3
+
+[[package]]
+name = "anstream"
+version = "0.6.18"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "8acc5369981196006228e28809f761875c0327210a891e941f4c683b3a99529b"
+dependencies = [
+ "anstyle",
+ "anstyle-parse",
+ "anstyle-query",
+ "anstyle-wincon",
+ "colorchoice",
+ "is_terminal_polyfill",
+ "utf8parse",
+]
+
+[[package]]
+name = "anstyle"
+version = "1.0.10"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "55cc3b69f167a1ef2e161439aa98aed94e6028e5f9a59be9a6ffb47aef1651f9"
+
+[[package]]
+name = "anstyle-parse"
+version = "0.2.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "3b2d16507662817a6a20a9ea92df6652ee4f94f914589377d69f3b21bc5798a9"
+dependencies = [
+ "utf8parse",
+]
+
+[[package]]
+name = "anstyle-query"
+version = "1.1.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "79947af37f4177cfead1110013d678905c37501914fba0efea834c3fe9a8d60c"
+dependencies = [
+ "windows-sys",
+]
+
+[[package]]
+name = "anstyle-wincon"
+version = "3.0.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2109dbce0e72be3ec00bed26e6a7479ca384ad226efdd66db8fa2e3a38c83125"
+dependencies = [
+ "anstyle",
+ "windows-sys",
+]
+
+[[package]]
+name = "clap"
+version = "4.5.20"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b97f376d85a664d5837dbae44bf546e6477a679ff6610010f17276f686d867e8"
+dependencies = [
+ "clap_builder",
+ "clap_derive",
+]
+
+[[package]]
+name = "clap_builder"
+version = "4.5.20"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "19bc80abd44e4bed93ca373a0704ccbd1b710dc5749406201bb018272808dc54"
+dependencies = [
+ "anstream",
+ "anstyle",
+ "clap_lex",
+ "strsim",
+]
+
+[[package]]
+name = "clap_derive"
+version = "4.5.18"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4ac6a0c7b1a9e9a5186361f67dfa1b88213572f427fb9ab038efb2bd8c582dab"
+dependencies = [
+ "heck",
+ "proc-macro2",
+ "quote",
+ "syn",
+]
+
+[[package]]
+name = "clap_lex"
+version = "0.7.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1462739cb27611015575c0c11df5df7601141071f07518d56fcc1be504cbec97"
+
+[[package]]
+name = "colorchoice"
+version = "1.0.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "5b63caa9aa9397e2d9480a9b13673856c78d8ac123288526c37d7839f2a86990"
+
+[[package]]
+name = "heck"
+version = "0.5.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea"
+
+[[package]]
+name = "is_terminal_polyfill"
+version = "1.70.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7943c866cc5cd64cbc25b2e01621d07fa8eb2a1a23160ee81ce38704e97b8ecf"
+
+[[package]]
+name = "proc-macro2"
+version = "1.0.89"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f139b0662de085916d1fb67d2b4169d1addddda1919e696f3252b740b629986e"
+dependencies = [
+ "unicode-ident",
+]
+
+[[package]]
+name = "quote"
+version = "1.0.37"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b5b9d34b8991d19d98081b46eacdd8eb58c6f2b201139f7c5f643cc155a633af"
+dependencies = [
+ "proc-macro2",
+]
+
+[[package]]
+name = "strsim"
+version = "0.11.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7da8b5736845d9f2fcb837ea5d9e2628564b3b043a70948a3f0b778838c5fb4f"
+
+[[package]]
+name = "syn"
+version = "2.0.87"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "25aa4ce346d03a6dcd68dd8b4010bcb74e54e62c90c573f394c46eae99aba32d"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "unicode-ident",
+]
+
+[[package]]
+name = "unicode-ident"
+version = "1.0.13"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e91b56cd4cadaeb79bbf1a5645f6b4f8dc5bde8834ad5894a8db35fda9efa1fe"
+
+[[package]]
+name = "utf8parse"
+version = "0.2.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "06abde3611657adf66d383f00b093d7faecc7fa57071cce2578660c9f1010821"
+
+[[package]]
+name = "vertex_cover"
+version = "0.1.0"
+dependencies = [
+ "clap",
+]
+
+[[package]]
+name = "windows-sys"
+version = "0.59.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1e38bc4d79ed67fd075bcc251a1c39b32a1776bbe92e5bef1f0bf1f8c531853b"
+dependencies = [
+ "windows-targets",
+]
+
+[[package]]
+name = "windows-targets"
+version = "0.52.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9b724f72796e036ab90c1021d4780d4d3d648aca59e491e6b98e725b84e99973"
+dependencies = [
+ "windows_aarch64_gnullvm",
+ "windows_aarch64_msvc",
+ "windows_i686_gnu",
+ "windows_i686_gnullvm",
+ "windows_i686_msvc",
+ "windows_x86_64_gnu",
+ "windows_x86_64_gnullvm",
+ "windows_x86_64_msvc",
+]
+
+[[package]]
+name = "windows_aarch64_gnullvm"
+version = "0.52.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "32a4622180e7a0ec044bb555404c800bc9fd9ec262ec147edd5989ccd0c02cd3"
+
+[[package]]
+name = "windows_aarch64_msvc"
+version = "0.52.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "09ec2a7bb152e2252b53fa7803150007879548bc709c039df7627cabbd05d469"
+
+[[package]]
+name = "windows_i686_gnu"
+version = "0.52.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "8e9b5ad5ab802e97eb8e295ac6720e509ee4c243f69d781394014ebfe8bbfa0b"
+
+[[package]]
+name = "windows_i686_gnullvm"
+version = "0.52.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0eee52d38c090b3caa76c563b86c3a4bd71ef1a819287c19d586d7334ae8ed66"
+
+[[package]]
+name = "windows_i686_msvc"
+version = "0.52.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "240948bc05c5e7c6dabba28bf89d89ffce3e303022809e73deaefe4f6ec56c66"
+
+[[package]]
+name = "windows_x86_64_gnu"
+version = "0.52.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "147a5c80aabfbf0c7d901cb5895d1de30ef2907eb21fbbab29ca94c5b08b1a78"
+
+[[package]]
+name = "windows_x86_64_gnullvm"
+version = "0.52.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "24d5b23dc417412679681396f2b49f3de8c1473deb516bd34410872eff51ed0d"
+
+[[package]]
+name = "windows_x86_64_msvc"
+version = "0.52.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"
diff --git a/vertex_cover/Cargo.toml b/vertex_cover/Cargo.toml
new file mode 100644
index 0000000..f3fd536
--- /dev/null
+++ b/vertex_cover/Cargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "vertex_cover"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+clap = { version = "4.5.20", features = ["derive"] }
diff --git a/vertex_cover/graph0.in b/vertex_cover/graph0.in
new file mode 100644
index 0000000..7a8750c
--- /dev/null
+++ b/vertex_cover/graph0.in
@@ -0,0 +1,176 @@
+50 175
+24 30
+39 46
+11 28
+28 41
+7 25
+31 44
+12 31
+34 35
+17 25
+3 7
+19 40
+10 18
+17 23
+13 20
+34 36
+7 41
+18 35
+29 30
+3 23
+22 48
+6 23
+2 47
+8 38
+7 22
+22 42
+35 46
+17 18
+16 38
+31 38
+2 28
+34 41
+25 44
+12 50
+26 43
+39 42
+5 27
+10 29
+29 40
+31 37
+14 50
+24 46
+14 33
+15 43
+43 46
+25 47
+15 36
+13 41
+4 37
+28 42
+8 32
+40 42
+4 48
+29 43
+12 24
+17 24
+9 50
+20 44
+23 49
+14 19
+21 33
+24 28
+45 47
+27 44
+13 19
+16 45
+4 11
+9 13
+17 40
+5 10
+19 38
+1 47
+32 49
+6 20
+28 33
+10 20
+8 39
+27 43
+30 36
+11 25
+1 30
+22 30
+3 15
+2 29
+23 31
+12 32
+36 37
+2 8
+14 26
+21 39
+5 23
+8 36
+32 33
+5 36
+35 44
+6 43
+42 44
+15 42
+37 46
+19 47
+18 38
+21 48
+12 48
+3 16
+26 45
+27 32
+34 50
+6 33
+13 15
+1 4
+14 44
+30 49
+2 3
+11 50
+35 49
+8 26
+9 27
+4 40
+20 24
+21 29
+1 18
+33 37
+16 27
+6 34
+17 26
+3 4
+18 33
+12 47
+11 49
+25 36
+14 30
+9 22
+39 50
+5 19
+45 49
+16 21
+9 37
+16 24
+32 40
+13 21
+11 38
+3 14
+6 47
+7 46
+11 43
+2 9
+29 31
+26 41
+8 20
+13 49
+2 35
+1 41
+15 18
+6 22
+22 38
+9 17
+7 10
+23 39
+7 32
+5 48
+34 40
+42 45
+37 45
+19 46
+10 50
+1 39
+5 28
+4 20
+21 25
+12 15
+31 41
+10 45
+1 27
+16 34
+35 48
+26 48
diff --git a/vertex_cover/graph1.in b/vertex_cover/graph1.in
new file mode 100644
index 0000000..2ee8b92
--- /dev/null
+++ b/vertex_cover/graph1.in
@@ -0,0 +1,300 @@
+300 299
+121 131
+202 119
+242 181
+265 20
+300 63
+217 23
+80 234
+69 55
+277 73
+167 217
+230 247
+240 208
+298 26
+2 246
+207 65
+112 153
+291 141
+260 271
+169 81
+62 90
+5 228
+209 135
+18 92
+37 180
+258 144
+43 81
+270 38
+73 92
+83 220
+106 38
+297 74
+39 9
+43 252
+7 63
+233 9
+212 209
+137 50
+185 84
+251 113
+206 140
+295 225
+241 17
+222 4
+209 72
+162 274
+183 143
+42 199
+242 104
+110 119
+125 112
+69 173
+35 114
+284 260
+105 95
+255 264
+104 147
+20 174
+56 32
+225 142
+16 287
+104 284
+218 277
+63 11
+4 192
+40 134
+243 127
+248 24
+244 134
+175 99
+235 276
+204 89
+195 168
+58 4
+134 175
+113 236
+25 27
+223 212
+176 182
+12 266
+140 188
+249 82
+202 90
+76 189
+283 233
+200 250
+103 295
+272 296
+140 45
+53 26
+209 23
+27 78
+150 135
+3 300
+139 223
+257 224
+3 148
+30 107
+74 156
+213 169
+221 258
+33 199
+205 147
+203 229
+136 50
+60 287
+130 290
+5 145
+110 158
+212 220
+38 92
+285 241
+251 187
+172 85
+146 186
+197 231
+34 210
+23 86
+74 143
+71 5
+149 295
+27 24
+56 225
+199 93
+245 80
+77 104
+69 38
+28 244
+152 40
+92 119
+162 124
+177 93
+5 138
+104 92
+254 18
+193 131
+166 284
+27 151
+85 219
+191 44
+227 212
+212 232
+142 129
+165 295
+87 279
+178 284
+216 90
+155 166
+117 285
+38 212
+160 162
+44 5
+265 289
+82 73
+92 3
+170 123
+69 130
+179 124
+195 100
+176 37
+218 75
+3 50
+149 196
+182 159
+170 157
+124 273
+288 212
+91 162
+189 102
+64 220
+23 108
+70 177
+173 6
+8 189
+219 104
+265 49
+83 12
+249 238
+190 109
+256 280
+74 34
+114 59
+189 10
+26 115
+133 79
+80 128
+235 18
+92 97
+9 80
+154 138
+262 279
+199 239
+86 253
+67 57
+112 91
+116 275
+47 173
+299 37
+76 65
+143 197
+260 120
+97 286
+36 173
+199 226
+257 192
+74 285
+70 203
+98 73
+18 21
+293 233
+126 152
+3 162
+170 93
+271 263
+88 258
+242 169
+179 20
+113 237
+161 192
+175 14
+262 45
+264 267
+111 272
+211 83
+19 104
+185 31
+275 198
+249 66
+141 234
+65 193
+247 79
+47 68
+258 240
+213 281
+105 132
+209 101
+280 65
+98 204
+92 109
+296 22
+214 44
+203 278
+7 51
+143 115
+259 73
+144 54
+184 60
+243 282
+299 286
+268 26
+60 104
+30 294
+82 52
+261 215
+41 188
+295 140
+147 122
+209 282
+93 104
+29 184
+66 1
+209 164
+2 131
+171 106
+46 219
+200 69
+243 215
+186 280
+193 113
+292 131
+27 189
+225 97
+272 286
+207 105
+78 275
+94 173
+69 118
+193 48
+39 168
+119 15
+80 3
+44 74
+18 257
+65 59
+201 111
+244 162
+118 133
+194 276
+65 97
+269 162
+18 67
+30 257
+163 258
+96 286
+13 123
+124 84
+280 255
+285 258
+119 74
+61 8
diff --git a/vertex_cover/graph2.in b/vertex_cover/graph2.in
new file mode 100644
index 0000000..8b013a6
--- /dev/null
+++ b/vertex_cover/graph2.in
@@ -0,0 +1,398 @@
+200 397
+157 99
+18 69
+133 129
+74 126
+38 132
+81 60
+37 3
+100 77
+107 65
+107 135
+194 139
+189 131
+61 107
+174 21
+37 5
+87 20
+86 57
+63 60
+99 88
+198 150
+157 53
+57 108
+28 121
+85 10
+86 165
+121 29
+121 48
+115 20
+162 69
+62 147
+49 37
+78 152
+132 99
+53 11
+102 132
+188 158
+98 110
+195 69
+74 61
+195 140
+200 72
+31 91
+60 11
+23 164
+107 52
+49 3
+59 57
+90 175
+116 117
+69 167
+91 131
+41 130
+3 181
+106 152
+155 38
+181 89
+40 117
+176 88
+7 48
+82 28
+12 17
+168 98
+79 180
+82 116
+9 16
+34 191
+68 178
+95 94
+78 92
+161 45
+17 153
+182 171
+195 41
+3 91
+2 30
+155 57
+40 15
+17 117
+96 67
+22 26
+79 6
+88 20
+139 102
+115 149
+167 115
+13 182
+106 59
+106 65
+108 199
+30 127
+100 132
+149 1
+145 161
+109 80
+81 182
+25 28
+11 90
+172 86
+55 99
+60 123
+180 23
+49 190
+190 14
+44 181
+95 91
+113 5
+101 189
+137 105
+114 100
+69 187
+44 158
+138 134
+91 157
+199 61
+28 191
+67 181
+72 144
+144 80
+33 55
+151 110
+37 189
+158 19
+42 110
+18 61
+196 104
+1 163
+117 41
+73 59
+105 174
+50 81
+103 197
+118 47
+170 98
+90 141
+5 57
+19 42
+123 195
+184 99
+54 124
+87 189
+138 147
+31 165
+49 65
+27 57
+107 110
+71 86
+4 114
+157 70
+19 150
+33 138
+20 107
+2 59
+168 199
+40 157
+20 193
+11 26
+67 52
+60 49
+199 15
+180 195
+98 124
+136 57
+22 175
+81 61
+106 9
+62 157
+107 12
+189 133
+60 196
+108 104
+145 112
+46 166
+13 92
+33 200
+186 97
+177 65
+17 174
+19 199
+17 121
+185 51
+105 31
+65 196
+84 23
+81 31
+79 70
+20 144
+167 125
+81 171
+189 197
+63 57
+156 57
+102 58
+144 62
+57 173
+51 167
+32 176
+64 91
+83 138
+153 93
+108 20
+179 135
+56 77
+62 89
+6 20
+108 65
+198 57
+162 86
+132 56
+138 65
+113 49
+49 9
+99 145
+141 139
+157 4
+177 181
+100 61
+112 71
+91 15
+120 134
+180 143
+194 129
+183 37
+26 178
+33 150
+172 60
+61 169
+129 76
+140 1
+119 190
+110 155
+136 165
+110 182
+68 126
+174 124
+166 157
+127 129
+173 135
+178 15
+47 19
+75 8
+26 110
+107 69
+66 130
+34 140
+178 95
+11 163
+29 33
+83 182
+182 160
+183 118
+95 111
+144 100
+19 170
+24 96
+51 169
+7 8
+95 180
+19 61
+184 146
+174 66
+122 143
+114 104
+57 17
+153 61
+154 37
+50 138
+63 122
+39 153
+181 66
+156 65
+100 159
+64 43
+86 167
+61 65
+47 22
+37 13
+188 190
+37 9
+48 115
+93 35
+111 78
+149 75
+176 193
+33 160
+151 148
+189 36
+157 49
+110 100
+26 68
+27 26
+60 161
+160 166
+7 11
+129 100
+49 108
+144 129
+3 139
+135 186
+120 178
+60 61
+189 26
+14 63
+193 10
+189 145
+108 151
+61 49
+84 99
+43 17
+36 109
+164 179
+75 157
+168 90
+50 21
+76 39
+142 91
+114 82
+124 94
+118 153
+190 172
+85 9
+35 170
+86 104
+37 65
+46 113
+139 22
+80 169
+16 73
+11 176
+85 182
+97 194
+10 112
+17 26
+142 88
+9 110
+125 89
+76 144
+82 199
+114 25
+26 179
+107 174
+179 95
+74 7
+129 140
+101 41
+88 138
+100 154
+194 24
+33 93
+50 34
+148 133
+66 96
+158 20
+176 111
+4 192
+181 69
+32 180
+30 22
+52 33
+61 128
+57 9
+100 99
+108 192
+54 165
+66 73
+189 78
+163 26
+185 196
+49 103
+9 58
+124 187
+64 19
+86 69
+109 66
+9 140
+170 120
+52 11
+157 100
+142 164
+98 139
+9 72
+53 122
+73 184
+185 186
+184 137
+119 20
+139 65
+60 7
+83 146
+3 11
+46 128
+169 99
+56 3
+45 96
+98 2
+19 197
+173 159
+79 132
diff --git a/vertex_cover/graph3.in b/vertex_cover/graph3.in
new file mode 100644
index 0000000..36ccdac
--- /dev/null
+++ b/vertex_cover/graph3.in
@@ -0,0 +1,255 @@
+136 254
+47 109
+39 59
+3 52
+77 101
+16 130
+33 111
+28 111
+34 118
+111 132
+25 136
+42 124
+133 136
+86 126
+62 123
+34 80
+109 117
+49 83
+122 123
+16 112
+18 56
+53 130
+39 135
+41 74
+56 88
+24 76
+21 81
+28 108
+56 117
+91 131
+66 113
+71 78
+27 121
+110 135
+38 96
+63 111
+105 106
+34 64
+1 101
+79 136
+5 21
+44 61
+2 47
+83 106
+38 122
+90 115
+69 129
+76 99
+81 134
+77 120
+44 91
+86 113
+3 74
+4 26
+36 122
+76 87
+95 97
+6 39
+10 42
+76 96
+84 120
+56 69
+26 73
+23 84
+59 135
+3 73
+3 28
+9 113
+87 96
+62 127
+42 119
+123 127
+67 112
+25 98
+46 52
+48 113
+104 110
+76 84
+23 112
+22 86
+95 100
+11 72
+2 85
+6 32
+19 69
+102 116
+9 61
+52 74
+51 77
+101 123
+15 132
+30 114
+18 97
+55 83
+26 116
+35 86
+77 88
+30 67
+13 57
+12 76
+68 113
+32 39
+5 83
+105 112
+36 85
+42 128
+33 43
+58 83
+42 99
+75 76
+68 93
+108 111
+48 101
+20 54
+119 124
+133 135
+68 123
+10 82
+38 116
+40 83
+48 123
+79 104
+58 106
+81 90
+107 111
+10 99
+18 77
+60 63
+49 70
+89 100
+40 55
+20 117
+1 77
+17 43
+23 93
+36 123
+113 127
+56 109
+12 75
+75 111
+38 58
+5 23
+9 44
+31 43
+39 78
+11 81
+95 125
+63 75
+81 106
+5 49
+17 33
+51 57
+45 83
+8 134
+7 14
+22 34
+35 109
+7 129
+58 96
+21 23
+69 88
+23 105
+24 57
+48 91
+50 82
+72 81
+3 71
+70 76
+15 111
+73 103
+26 46
+65 76
+29 51
+12 77
+18 120
+16 67
+37 70
+39 71
+12 88
+13 71
+43 78
+67 134
+27 136
+2 66
+121 136
+19 129
+63 94
+1 65
+26 52
+110 133
+60 94
+89 95
+24 103
+37 76
+80 118
+21 134
+33 107
+22 64
+116 122
+8 67
+81 115
+87 133
+29 93
+1 76
+84 99
+17 42
+24 51
+31 78
+3 65
+113 126
+66 127
+14 129
+45 92
+26 107
+4 108
+37 79
+62 74
+56 97
+3 103
+79 110
+26 102
+57 118
+23 120
+37 136
+35 47
+83 92
+81 105
+3 13
+23 29
+87 136
+10 50
+67 114
+73 107
+28 65
+29 77
+9 68
+97 125
+38 49
+26 108
+44 131
+2 36
+22 35
+13 118
+38 70
+98 136
+76 103
+17 128
+8 53
+91 113
+41 62
+16 53
+59 104
+39 104
+54 117
+93 123
diff --git a/vertex_cover/graph4.in b/vertex_cover/graph4.in
new file mode 100644
index 0000000..7abc848
--- /dev/null
+++ b/vertex_cover/graph4.in
@@ -0,0 +1,521 @@
+100 520
+64 40
+2 86
+42 45
+46 48
+52 95
+56 64
+65 13
+1 62
+14 13
+43 94
+8 23
+59 6
+50 59
+32 68
+88 84
+65 20
+80 16
+8 41
+31 51
+94 7
+52 18
+64 67
+43 63
+18 12
+66 44
+22 77
+15 39
+96 55
+48 86
+44 56
+26 57
+40 24
+52 78
+11 25
+18 2
+69 75
+85 19
+14 30
+25 2
+8 32
+5 34
+59 29
+59 92
+63 9
+21 25
+86 43
+32 3
+73 1
+52 73
+24 30
+40 14
+76 35
+93 61
+39 44
+90 77
+48 76
+18 23
+81 98
+52 2
+25 44
+54 53
+51 76
+95 38
+29 88
+29 58
+24 25
+1 36
+98 89
+26 53
+78 99
+17 89
+96 75
+41 11
+34 30
+94 40
+32 39
+72 91
+10 68
+22 76
+68 40
+11 27
+53 11
+42 1
+81 89
+29 75
+88 61
+35 38
+44 54
+36 16
+66 16
+43 56
+19 59
+37 21
+67 45
+82 92
+56 38
+58 19
+2 5
+69 37
+95 41
+52 17
+43 4
+15 44
+35 89
+66 4
+44 98
+51 44
+68 99
+23 44
+28 85
+80 69
+95 31
+94 17
+51 81
+20 95
+100 11
+73 87
+86 8
+75 93
+76 68
+34 90
+33 61
+2 10
+96 6
+48 1
+51 39
+78 65
+47 28
+39 82
+74 30
+79 23
+22 66
+14 28
+54 93
+56 92
+97 6
+19 54
+39 38
+38 17
+62 40
+40 61
+61 24
+33 25
+59 55
+35 95
+38 86
+78 31
+73 65
+39 75
+43 74
+82 79
+68 97
+41 91
+18 9
+42 15
+96 87
+31 94
+27 10
+69 96
+32 81
+82 41
+51 93
+92 83
+59 48
+2 61
+85 14
+26 96
+66 93
+76 97
+29 93
+8 63
+89 4
+41 100
+25 70
+10 22
+54 81
+93 2
+69 38
+18 70
+62 31
+57 34
+41 74
+13 86
+4 84
+79 21
+62 34
+21 84
+5 46
+66 39
+20 71
+30 17
+7 92
+5 13
+44 71
+67 8
+61 6
+15 88
+76 26
+73 79
+74 35
+43 39
+40 20
+98 41
+32 52
+17 48
+82 75
+93 1
+47 64
+14 76
+22 19
+24 38
+65 58
+8 56
+12 10
+21 18
+6 70
+55 8
+86 74
+90 12
+98 39
+73 26
+73 95
+59 3
+90 44
+40 8
+51 46
+72 93
+63 85
+11 30
+90 85
+69 1
+58 63
+56 70
+47 57
+13 27
+20 25
+97 66
+7 70
+50 41
+39 13
+3 98
+59 7
+36 91
+61 51
+92 55
+12 71
+92 3
+11 12
+88 91
+23 78
+11 51
+100 90
+49 14
+49 86
+94 3
+2 9
+51 100
+43 72
+60 20
+19 14
+2 41
+55 67
+90 17
+70 67
+57 92
+39 48
+78 67
+3 9
+35 22
+67 26
+36 21
+43 14
+11 10
+91 33
+28 59
+66 87
+62 27
+92 36
+63 16
+17 20
+50 44
+37 10
+72 35
+4 71
+29 39
+53 82
+87 56
+63 100
+74 45
+88 30
+53 19
+24 69
+15 79
+94 97
+62 97
+47 74
+35 75
+33 4
+39 2
+5 14
+82 6
+56 53
+48 55
+39 5
+92 22
+88 62
+91 68
+49 87
+5 40
+87 34
+50 19
+5 65
+71 54
+72 81
+4 27
+95 19
+30 100
+23 33
+31 14
+62 78
+47 60
+29 99
+85 23
+19 28
+6 45
+53 28
+51 57
+5 86
+57 53
+14 35
+5 42
+24 31
+43 68
+72 68
+67 35
+36 60
+22 28
+59 12
+32 53
+5 28
+33 45
+67 59
+68 86
+84 30
+25 39
+85 13
+28 56
+84 92
+58 66
+94 61
+99 36
+74 17
+74 32
+91 89
+15 63
+41 32
+69 49
+40 85
+83 28
+44 93
+31 26
+5 29
+23 93
+35 20
+66 11
+30 53
+41 4
+100 72
+24 87
+39 57
+33 65
+7 36
+54 50
+20 85
+51 45
+20 89
+38 49
+55 62
+51 86
+12 72
+43 60
+84 41
+39 41
+64 26
+57 100
+34 33
+50 84
+24 95
+39 88
+2 82
+12 70
+44 73
+80 49
+24 15
+46 56
+100 25
+24 83
+85 41
+25 77
+86 3
+64 44
+96 81
+71 6
+55 100
+22 6
+48 43
+28 25
+7 9
+58 44
+25 54
+25 5
+24 34
+55 76
+88 9
+41 26
+83 79
+52 42
+38 63
+10 98
+60 81
+61 38
+70 100
+29 19
+72 1
+12 46
+67 96
+98 61
+80 82
+89 7
+46 100
+93 82
+97 88
+29 44
+25 16
+25 53
+68 20
+10 96
+95 34
+16 44
+95 79
+3 50
+83 34
+91 76
+88 57
+32 6
+38 57
+59 61
+62 15
+11 52
+96 59
+7 79
+30 9
+1 92
+67 23
+33 11
+97 54
+61 39
+62 38
+4 38
+48 44
+54 18
+41 65
+40 97
+10 15
+72 85
+15 58
+98 31
+42 60
+51 19
+72 10
+90 28
+45 84
+96 61
+66 67
+12 74
+81 1
+93 21
+74 20
+22 71
+61 22
+31 77
+21 43
+26 23
+54 14
+40 77
+64 52
+4 67
+20 82
+12 80
+83 71
+42 31
+1 12
+33 77
+3 70
+46 65
+11 14
+16 31
+50 4
+54 67
+1 68
+50 31
+58 60
+95 10
+88 80
+96 27
+93 64
+13 30
+46 82
+13 79
+84 78
+41 61
+25 38
+22 8
+60 45
+37 63
+33 63
+41 12
+12 87
+71 1
+9 13
diff --git a/vertex_cover/graph5.in b/vertex_cover/graph5.in
new file mode 100644
index 0000000..890a865
--- /dev/null
+++ b/vertex_cover/graph5.in
@@ -0,0 +1,2114 @@
+92 2113
+39 70
+63 76
+11 90
+16 47
+73 82
+1 64
+2 78
+78 86
+15 30
+17 64
+19 91
+20 75
+76 88
+41 74
+13 20
+20 58
+32 77
+14 77
+1 40
+57 59
+4 35
+48 77
+11 83
+16 38
+54 87
+1 89
+2 73
+61 63
+12 50
+17 57
+20 82
+76 87
+25 58
+14 84
+70 81
+1 33
+57 60
+21 46
+4 42
+11 72
+33 59
+16 29
+1 82
+2 64
+41 43
+79 82
+26 74
+12 41
+17 50
+20 89
+76 78
+77 88
+24 28
+5 70
+10 19
+66 84
+49 52
+85 89
+32 91
+70 72
+71 90
+1 58
+57 69
+21 55
+4 17
+26 34
+29 55
+12 81
+11 65
+33 60
+2 91
+22 30
+26 85
+9 59
+27 65
+12 32
+17 43
+37 56
+77 81
+67 71
+30 89
+31 85
+13 63
+8 76
+32 82
+14 38
+71 83
+57 78
+4 24
+11 70
+73 78
+36 70
+2 82
+5 39
+26 92
+9 60
+27 70
+30 49
+52 70
+17 44
+42 60
+30 64
+31 82
+55 72
+71 72
+1 52
+57 87
+58 79
+4 7
+26 52
+12 71
+36 77
+37 89
+58 62
+22 40
+5 32
+61 67
+62 83
+34 39
+17 37
+52 77
+6 65
+31 91
+38 59
+40 81
+33 86
+1 13
+58 86
+4 14
+46 58
+19 20
+37 66
+2 36
+5 41
+62 90
+9 46
+15 64
+17 30
+42 46
+10 55
+40 88
+11 28
+14 59
+18 70
+43 82
+46 61
+19 29
+2 63
+5 18
+9 87
+17 23
+10 62
+50 89
+13 35
+74 83
+55 87
+64 69
+18 65
+1 31
+21 84
+22 66
+5 27
+27 34
+34 48
+55 63
+24 70
+49 66
+18 41
+38 44
+40 70
+64 92
+65 66
+1 16
+43 64
+44 82
+83 89
+46 79
+69 86
+19 43
+2 49
+22 52
+62 79
+47 52
+24 77
+23 47
+75 81
+40 77
+4 83
+8 22
+64 83
+65 91
+28 73
+22 92
+44 73
+7 87
+46 86
+47 76
+19 48
+2 8
+27 48
+30 31
+87 90
+34 66
+24 84
+50 66
+13 78
+18 27
+74 76
+75 86
+40 52
+4 90
+8 29
+7 63
+65 92
+28 64
+39 53
+47 85
+16 92
+24 44
+10 67
+20 24
+59 79
+6 31
+28 40
+32 43
+13 71
+35 38
+65 85
+11 49
+53 65
+39 50
+44 63
+7 69
+47 82
+12 16
+16 83
+17 91
+2 26
+20 39
+60 78
+25 84
+6 22
+28 39
+32 34
+38 72
+4 72
+60 61
+8 11
+28 86
+29 64
+16 59
+53 74
+54 72
+36 54
+39 43
+44 54
+48 49
+47 91
+12 15
+16 74
+17 92
+56 81
+24 58
+35 71
+20 46
+82 86
+28 62
+40 41
+39 83
+4 55
+8 50
+7 42
+48 89
+29 89
+11 47
+16 50
+53 83
+36 61
+44 45
+16 65
+17 85
+19 76
+20 70
+42 87
+27 28
+35 76
+20 53
+59 82
+28 53
+32 48
+4 62
+7 35
+63 70
+29 82
+11 36
+16 41
+53 92
+54 90
+1 78
+15 16
+17 78
+20 77
+41 64
+66 72
+20 60
+23 65
+8 81
+14 75
+39 65
+8 32
+7 24
+63 79
+29 43
+1 71
+2 79
+78 87
+12 52
+17 71
+20 84
+76 89
+5 83
+20 59
+60 82
+8 88
+45 77
+14 82
+1 47
+4 44
+8 39
+7 17
+11 82
+12 92
+16 39
+73 90
+36 42
+54 84
+2 70
+1 88
+61 62
+26 64
+37 53
+20 83
+5 92
+66 90
+49 50
+45 70
+33 73
+70 86
+1 32
+21 45
+7 14
+11 75
+12 91
+33 58
+16 30
+72 75
+1 81
+2 65
+5 52
+17 49
+20 90
+76 79
+77 87
+42 75
+10 16
+66 85
+8 70
+85 88
+32 92
+33 66
+70 73
+1 57
+11 64
+12 82
+2 88
+22 31
+5 61
+79 90
+26 82
+9 58
+51 70
+17 42
+77 80
+67 70
+13 62
+31 84
+91 92
+8 77
+32 83
+71 82
+1 50
+57 77
+58 69
+4 25
+73 77
+54 57
+36 71
+2 83
+61 73
+9 35
+88 89
+17 35
+67 79
+30 65
+13 55
+55 75
+71 75
+18 85
+1 11
+58 76
+26 53
+46 48
+12 64
+36 78
+37 88
+2 42
+58 63
+22 41
+5 47
+61 66
+9 36
+17 36
+37 41
+6 70
+40 82
+18 76
+1 12
+58 87
+43 92
+46 59
+19 23
+2 37
+37 65
+22 32
+5 40
+30 32
+52 85
+17 29
+18 52
+40 89
+64 79
+11 31
+1 5
+43 85
+46 66
+37 74
+19 28
+2 60
+5 17
+61 84
+62 66
+9 86
+30 43
+52 92
+17 22
+6 48
+10 63
+18 47
+55 86
+38 42
+40 64
+64 70
+11 20
+1 30
+21 83
+43 74
+44 84
+46 69
+15 32
+19 37
+2 55
+22 50
+5 26
+62 69
+27 37
+10 87
+52 91
+15 81
+24 71
+6 43
+10 38
+49 65
+50 81
+31 49
+74 91
+43 50
+8 16
+11 13
+1 23
+44 83
+83 88
+46 76
+47 70
+2 14
+22 53
+62 76
+24 78
+6 34
+10 33
+13 84
+35 59
+8 23
+28 74
+7 86
+2 9
+24 38
+5 12
+9 73
+35 83
+59 73
+25 73
+6 37
+50 67
+13 77
+31 39
+74 77
+40 53
+8 30
+7 62
+65 83
+28 65
+29 77
+11 59
+14 20
+39 52
+26 27
+7 79
+69 71
+19 56
+59 78
+6 28
+28 41
+13 70
+18 19
+75 78
+38 86
+39 92
+4 66
+7 55
+28 88
+11 48
+29 70
+53 64
+44 56
+12 17
+16 84
+17 90
+19 65
+2 27
+10 75
+34 85
+20 32
+59 71
+23 53
+6 23
+82 92
+28 32
+35 46
+38 73
+39 85
+60 62
+8 12
+7 44
+63 83
+28 87
+11 41
+16 60
+36 55
+54 73
+44 55
+48 50
+16 75
+17 83
+19 70
+2 18
+24 59
+35 70
+20 47
+60 70
+23 50
+82 87
+28 63
+39 82
+8 51
+11 46
+29 88
+53 82
+36 62
+44 46
+9 20
+16 66
+17 84
+56 89
+20 71
+42 84
+35 79
+20 54
+28 54
+32 49
+4 63
+48 81
+11 39
+29 81
+16 42
+72 87
+53 91
+1 77
+17 77
+20 78
+66 73
+13 25
+20 61
+25 46
+23 64
+8 82
+14 72
+39 64
+4 38
+63 78
+11 92
+16 33
+54 82
+1 70
+36 44
+78 84
+26 70
+12 53
+17 70
+20 85
+76 90
+42 70
+5 82
+60 83
+25 55
+23 89
+8 89
+14 83
+70 92
+1 46
+8 40
+7 16
+11 85
+16 24
+2 71
+79 87
+26 65
+17 63
+37 52
+20 92
+76 81
+5 91
+6 91
+66 91
+8 64
+32 70
+33 72
+14 90
+70 87
+1 39
+57 66
+4 20
+8 47
+7 9
+48 70
+11 74
+33 57
+16 31
+72 76
+36 82
+12 43
+17 48
+20 91
+77 86
+6 82
+10 17
+66 82
+70 78
+71 84
+57 75
+26 32
+29 53
+12 83
+16 22
+37 85
+2 89
+22 28
+61 79
+26 83
+9 57
+12 34
+17 41
+77 79
+5 77
+6 85
+10 24
+67 73
+55 77
+33 90
+14 36
+71 77
+18 91
+1 49
+57 76
+58 66
+26 43
+12 74
+73 76
+54 62
+22 23
+5 37
+52 64
+17 34
+37 47
+30 70
+13 54
+31 92
+33 83
+18 82
+1 10
+58 77
+21 71
+26 50
+12 65
+58 60
+34 37
+17 27
+37 40
+55 67
+38 57
+40 83
+50 52
+33 84
+14 54
+18 77
+58 84
+19 22
+2 34
+37 64
+5 23
+61 90
+9 44
+15 66
+17 28
+42 44
+50 92
+31 66
+18 53
+11 30
+14 57
+1 4
+21 73
+46 67
+51 52
+19 31
+2 61
+5 16
+61 83
+27 47
+30 40
+23 27
+6 49
+10 60
+13 33
+40 65
+11 23
+1 29
+22 64
+43 77
+68 83
+2 52
+27 36
+10 84
+55 57
+24 72
+6 40
+49 64
+13 90
+31 48
+18 39
+75 90
+4 86
+43 53
+8 17
+28 76
+11 12
+1 22
+22 91
+43 66
+44 76
+83 91
+46 77
+47 65
+15 40
+2 15
+62 77
+9 71
+86 87
+15 89
+24 79
+23 41
+25 71
+10 46
+13 83
+35 58
+18 30
+75 83
+64 85
+65 89
+28 75
+22 82
+44 75
+46 84
+12 28
+19 50
+5 11
+9 72
+10 70
+27 50
+34 64
+35 82
+59 72
+24 86
+6 26
+81 91
+50 64
+13 76
+8 31
+7 57
+65 82
+28 66
+11 58
+29 76
+14 21
+53 70
+22 85
+44 66
+7 78
+12 27
+69 70
+24 46
+34 91
+20 26
+6 29
+81 92
+28 42
+13 69
+4 67
+28 89
+14 28
+44 57
+7 71
+47 92
+12 18
+69 79
+16 85
+17 89
+19 64
+2 24
+41 83
+34 82
+20 33
+59 70
+60 72
+23 52
+81 85
+6 20
+28 33
+38 78
+60 63
+63 82
+11 40
+16 61
+54 78
+69 72
+16 76
+17 82
+56 83
+2 19
+24 60
+35 73
+20 40
+60 71
+23 77
+6 15
+82 84
+28 56
+39 77
+7 36
+11 33
+16 52
+53 81
+36 63
+1 75
+17 75
+20 64
+27 30
+66 79
+35 78
+20 55
+59 84
+23 74
+28 55
+32 50
+14 70
+39 74
+48 82
+11 38
+16 43
+36 38
+1 76
+78 82
+9 28
+15 18
+17 76
+20 79
+41 70
+66 70
+13 24
+20 62
+25 45
+8 83
+14 73
+70 90
+8 34
+63 73
+29 41
+16 34
+73 87
+54 83
+1 69
+2 77
+15 27
+17 69
+19 92
+20 86
+76 91
+42 71
+5 81
+13 17
+23 88
+84 90
+32 64
+4 46
+8 41
+48 64
+29 34
+11 84
+79 86
+9 14
+17 62
+76 82
+77 92
+42 78
+6 88
+66 88
+30 82
+23 81
+8 65
+33 79
+70 84
+1 38
+4 21
+11 77
+12 85
+72 77
+36 83
+1 87
+22 26
+5 50
+9 55
+27 77
+17 55
+77 85
+42 73
+6 83
+66 83
+30 85
+70 79
+1 63
+4 28
+29 52
+12 76
+16 23
+36 90
+2 86
+22 29
+61 78
+27 66
+17 40
+77 78
+5 76
+6 74
+10 25
+30 92
+13 60
+55 76
+32 85
+14 37
+71 76
+18 88
+1 48
+57 83
+58 67
+21 61
+26 40
+54 63
+2 81
+61 71
+9 33
+27 91
+30 52
+88 91
+34 43
+17 33
+52 65
+42 59
+6 77
+49 91
+55 69
+33 82
+14 44
+18 83
+1 9
+57 84
+21 70
+43 89
+46 54
+12 66
+36 72
+37 70
+2 40
+22 47
+62 86
+9 42
+17 26
+10 11
+49 92
+13 46
+55 66
+64 74
+11 24
+50 53
+18 74
+1 2
+58 85
+21 79
+4 9
+46 57
+29 31
+2 35
+5 22
+27 41
+9 83
+15 77
+17 19
+31 77
+18 50
+40 91
+25 28
+64 65
+11 17
+1 27
+15 37
+19 30
+2 58
+5 31
+61 82
+9 84
+30 41
+86 90
+34 52
+15 74
+17 20
+24 66
+40 66
+11 22
+1 28
+22 65
+43 76
+44 86
+83 85
+46 75
+19 39
+2 53
+22 48
+62 75
+27 39
+15 83
+59 61
+24 73
+6 41
+10 36
+4 87
+43 52
+8 18
+28 77
+11 15
+22 88
+83 90
+46 82
+69 83
+15 43
+2 12
+24 33
+9 70
+47 49
+34 70
+15 88
+23 40
+6 32
+25 70
+50 70
+13 82
+35 61
+18 31
+75 82
+40 48
+38 90
+65 88
+28 68
+22 83
+26 30
+47 73
+16 88
+15 48
+2 7
+27 53
+10 71
+9 79
+34 65
+20 28
+59 75
+24 87
+25 79
+6 27
+28 44
+50 65
+13 75
+18 22
+3 77
+65 81
+11 61
+89 91
+7 73
+12 20
+56 70
+2 30
+10 78
+34 88
+20 27
+25 80
+6 18
+81 83
+28 43
+38 84
+4 76
+63 84
+28 90
+11 50
+89 92
+39 47
+44 58
+7 70
+12 19
+69 78
+16 86
+17 88
+41 82
+24 54
+10 73
+34 83
+20 34
+81 84
+82 90
+28 34
+32 37
+38 79
+7 46
+28 81
+11 43
+16 62
+54 79
+9 17
+48 52
+16 77
+17 81
+2 16
+41 91
+24 61
+35 72
+20 41
+23 76
+6 12
+82 85
+28 57
+38 70
+39 76
+8 53
+63 90
+48 92
+11 32
+16 53
+72 82
+54 70
+1 74
+15 20
+17 74
+19 81
+20 65
+41 92
+42 82
+66 76
+20 48
+59 87
+28 48
+4 57
+7 28
+48 83
+29 47
+11 89
+16 44
+53 89
+41 52
+78 83
+12 56
+15 29
+20 72
+66 71
+20 63
+60 86
+23 66
+32 74
+14 78
+70 91
+1 43
+39 66
+63 72
+48 74
+29 40
+16 35
+73 86
+36 46
+2 74
+78 90
+15 26
+20 87
+76 84
+67 84
+13 16
+8 91
+32 65
+70 82
+1 44
+57 63
+48 65
+11 87
+16 26
+2 69
+9 13
+17 61
+37 50
+76 83
+77 91
+42 79
+5 89
+6 89
+10 20
+66 89
+30 83
+8 66
+45 67
+28 29
+85 92
+32 88
+33 78
+70 85
+1 37
+11 76
+33 63
+16 17
+72 78
+1 86
+41 47
+22 27
+9 54
+27 76
+17 54
+77 84
+42 54
+5 66
+33 71
+14 35
+70 76
+71 86
+1 62
+57 73
+11 69
+12 77
+37 83
+2 87
+61 77
+26 81
+30 50
+17 47
+13 59
+31 81
+55 79
+14 42
+70 71
+71 79
+18 89
+1 55
+57 82
+26 41
+36 66
+37 92
+2 46
+54 60
+61 70
+26 88
+30 53
+88 92
+52 66
+34 40
+17 32
+6 66
+62 63
+1 8
+58 75
+43 88
+54 55
+36 73
+2 41
+27 83
+49 83
+40 85
+38 63
+11 27
+58 82
+4 10
+43 81
+46 62
+29 30
+2 32
+22 39
+9 82
+27 40
+30 39
+15 76
+17 18
+23 28
+13 38
+31 76
+55 90
+38 54
+40 92
+3 80
+64 66
+11 16
+14 63
+18 66
+1 26
+2 59
+5 30
+49 77
+50 85
+31 53
+55 83
+65 77
+1 19
+21 80
+22 70
+44 87
+83 84
+46 72
+2 50
+22 49
+62 72
+10 82
+34 76
+15 82
+55 59
+59 60
+49 70
+50 76
+31 50
+35 55
+18 37
+40 74
+8 19
+65 70
+28 78
+11 14
+1 20
+22 89
+44 78
+7 90
+46 83
+69 82
+19 47
+2 13
+9 69
+47 48
+15 91
+20 22
+23 43
+10 44
+35 60
+18 28
+40 49
+8 26
+28 69
+14 16
+26 31
+7 83
+44 69
+46 90
+12 30
+16 89
+56 64
+19 52
+2 4
+9 78
+27 52
+35 84
+20 29
+23 32
+32 40
+31 32
+18 23
+38 82
+4 70
+7 59
+28 92
+29 74
+11 60
+39 49
+44 60
+7 72
+15 56
+2 31
+10 79
+34 89
+20 36
+6 19
+81 82
+28 36
+32 47
+31 41
+13 67
+35 42
+39 89
+4 77
+63 87
+28 91
+11 53
+53 77
+44 59
+69 77
+16 87
+19 66
+2 22
+41 81
+24 55
+35 66
+3 45
+82 91
+28 35
+38 76
+8 15
+28 82
+11 42
+29 92
+16 63
+54 76
+9 16
+48 53
+16 78
+56 85
+2 17
+24 62
+35 75
+20 42
+28 58
+7 38
+63 69
+29 85
+11 35
+16 54
+72 83
+36 57
+54 71
+1 73
+41 50
+16 69
+15 23
+17 73
+20 66
+42 83
+66 77
+20 49
+59 86
+28 49
+84 86
+32 52
+4 58
+63 66
+11 88
+72 90
+53 88
+1 66
+15 28
+17 66
+19 89
+20 73
+42 90
+60 87
+8 85
+45 80
+14 79
+70 88
+1 42
+4 33
+7 20
+63 75
+11 81
+33 44
+16 36
+1 91
+2 75
+9 11
+17 59
+76 85
+41 77
+42 69
+13 15
+25 52
+8 92
+32 66
+14 86
+70 83
+1 35
+57 62
+8 43
+7 13
+48 66
+11 86
+29 32
+12 88
+16 27
+36 86
+2 66
+26 76
+12 47
+17 60
+37 49
+77 90
+42 76
+5 88
+10 21
+66 86
+25 61
+23 83
+28 30
+85 91
+32 89
+33 77
+70 74
+1 36
+57 71
+7 10
+11 79
+16 18
+72 79
+1 85
+5 48
+17 53
+77 83
+42 55
+5 65
+6 81
+10 28
+66 81
+30 91
+8 74
+33 70
+70 77
+1 61
+58 70
+21 50
+26 47
+29 50
+54 58
+37 82
+2 84
+61 76
+9 62
+52 68
+17 46
+42 62
+5 74
+30 66
+55 78
+71 78
+1 54
+54 61
+2 47
+61 69
+26 89
+51 83
+17 39
+10 14
+49 89
+18 81
+1 15
+57 90
+43 91
+26 49
+2 38
+58 59
+5 43
+62 84
+27 82
+52 74
+15 70
+17 24
+49 82
+30 76
+13 44
+31 70
+38 60
+64 76
+11 26
+50 51
+58 83
+21 77
+4 11
+46 63
+19 27
+2 33
+37 77
+5 20
+61 87
+27 43
+52 81
+23 31
+50 91
+18 48
+74 85
+3 83
+11 19
+14 60
+58 90
+22 76
+46 70
+15 39
+19 32
+5 29
+62 70
+9 90
+27 32
+30 47
+34 50
+52 88
+55 61
+6 52
+10 59
+49 76
+50 82
+31 52
+18 43
+74 92
+55 82
+43 49
+65 76
+1 18
+83 87
+46 73
+5 6
+62 73
+10 83
+34 77
+55 58
+59 63
+24 75
+25 67
+6 47
+13 87
+35 54
+18 34
+8 20
+28 79
+44 79
+83 92
+47 66
+15 53
+2 10
+24 35
+10 90
+20 23
+24 82
+35 63
+18 29
+75 84
+40 50
+3 70
+4 88
+43 47
+8 27
+7 61
+28 70
+14 17
+22 81
+26 28
+7 82
+44 70
+12 31
+69 90
+15 50
+2 5
+24 42
+5 8
+9 77
+10 69
+52 53
+35 87
+20 30
+59 77
+25 77
+28 46
+32 41
+13 73
+35 36
+75 77
+38 83
+4 71
+7 58
+14 24
+39 48
+44 61
+7 75
+48 56
+12 22
+16 81
+2 28
+10 76
+20 37
+59 66
+60 76
+6 16
+28 37
+13 66
+31 40
+39 88
+4 78
+63 86
+28 84
+29 66
+11 52
+16 57
+53 76
+39 41
+69 76
+16 72
+2 23
+34 81
+35 69
+20 44
+3 44
+23 49
+82 88
+28 60
+32 39
+38 77
+39 81
+8 48
+16 48
+54 77
+16 79
+17 87
+19 74
+41 89
+24 63
+20 43
+3 21
+60 66
+82 83
+28 59
+14 66
+4 60
+7 33
+11 34
+16 55
+72 84
+36 58
+1 72
+9 24
+16 70
+17 72
+15 22
+19 83
+41 66
+66 74
+13 28
+20 50
+60 89
+84 87
+32 53
+14 69
+4 59
+63 77
+48 85
+11 91
+33 42
+16 46
+73 83
+1 65
+15 31
+17 65
+19 88
+20 74
+66 69
+13 21
+20 57
+23 92
+25 50
+32 76
+14 76
+70 89
+1 41
+8 37
+48 76
+33 35
+16 37
+54 86
+1 90
+2 72
+26 66
+9 10
+12 49
+17 58
+20 81
+76 86
+41 76
+42 66
+13 14
+23 85
+33 75
+70 80
+1 34
+57 61
+11 73
+12 89
+33 36
+16 28
+72 73
+36 87
+1 83
+79 83
+26 77
+27 73
+12 40
+20 88
+76 77
+77 89
+42 77
+66 87
+30 81
+23 82
+8 68
+28 31
+33 76
+70 75
+1 59
+57 70
+4 16
+29 56
+33 61
+16 19
+1 84
+2 90
+51 68
+17 52
+77 82
+5 64
+30 88
+32 81
+33 69
+18 92
+1 60
+57 79
+58 71
+29 49
+11 71
+33 54
+54 59
+37 81
+2 85
+5 56
+61 75
+9 61
+30 48
+51 77
+34 47
+42 63
+31 83
+55 73
+71 73
+1 53
+58 78
+21 58
+12 70
+36 76
+2 44
+22 43
+62 82
+9 38
+27 92
+52 76
+17 38
+37 43
+6 64
+49 88
+30 74
+55 70
+38 58
+1 14
+58 73
+21 67
+4 13
+2 39
+22 34
+27 85
+30 34
+15 65
+17 31
+10 54
+49 81
+30 77
+31 65
+38 61
+64 77
+11 29
+14 58
+1 7
+22 74
+43 83
+46 60
+19 26
+2 62
+37 76
+22 37
+30 37
+52 82
+23 30
+6 50
+49 74
+50 88
+13 36
+18 49
+74 82
+55 84
+65 74
+11 18
+14 61
+18 64
+1 24
+22 77
+44 90
+51 56
+2 57
+5 28
+52 89
+55 60
+24 69
+6 53
+18 40
+43 48
+64 91
+1 17
+43 65
+83 86
+46 78
+69 87
+15 47
+19 40
+2 48
+62 78
+27 56
+47 53
+34 74
+15 92
+59 62
+24 76
+10 35
+50 74
+35 57
+4 82
+8 21
+64 82
+28 72
+43 70
+44 72
+7 84
+47 77
+68 70
+15 52
+19 49
+2 11
+24 36
+27 49
+9 75
+47 50
+24 83
+23 37
+6 39
+10 42
+31 37
+13 79
+35 62
+18 26
+74 79
+75 87
+4 89
+7 60
+28 71
+11 57
+26 29
+44 71
+7 77
+68 77
+16 91
+9 76
+10 66
+34 92
+35 86
+20 31
+59 76
+24 90
+23 34
+6 30
+28 47
+31 34
+13 72
+75 76
+11 62
+14 25
+53 66
+44 62
+47 83
+16 82
+2 29
+10 77
+20 38
+59 69
+60 77
+6 17
+28 38
+31 43
+35 44
+38 75
+28 85
+11 55
+29 65
+16 58
+54 75
+39 40
+16 73
+2 20
+24 57
+59 90
+6 8
+82 89
+28 61
+38 66
+4 54
+8 49
+48 88
+11 44
+16 49
+16 64
+17 86
+19 77
+20 69
+41 88
+27 29
+35 77
+20 52
+59 83
+28 52
+14 67
+38 69
+40 47
+4 61
+63 71
+29 83
+11 37
+16 40
+54 69
+1 79
+36 59
+41 48
+78 79
+16 71
+15 17
+17 79
+19 82
+20 76
+41 65
+66 75
+60 90
+23 70
+28 51
diff --git a/vertex_cover/graph6.in b/vertex_cover/graph6.in
new file mode 100644
index 0000000..aa29c60
--- /dev/null
+++ b/vertex_cover/graph6.in
@@ -0,0 +1,670 @@
+177 669
+15 172
+68 138
+54 153
+32 54
+3 35
+131 149
+1 64
+49 78
+65 84
+113 114
+20 109
+41 160
+74 94
+47 119
+43 63
+8 107
+76 88
+32 113
+70 162
+23 97
+13 20
+74 139
+115 144
+65 154
+26 54
+35 65
+61 107
+94 132
+119 132
+84 154
+8 12
+131 160
+37 44
+97 168
+26 109
+17 176
+58 110
+62 143
+109 144
+115 153
+80 85
+84 102
+101 150
+28 154
+71 93
+100 129
+74 156
+94 143
+118 152
+21 129
+24 80
+25 70
+116 138
+59 145
+122 177
+20 115
+113 155
+17 50
+35 152
+51 157
+6 92
+51 100
+21 99
+86 147
+26 30
+50 51
+42 84
+99 169
+32 101
+35 105
+10 125
+96 130
+98 115
+60 93
+142 153
+53 151
+22 175
+28 143
+98 109
+143 168
+40 168
+33 60
+6 27
+14 107
+60 145
+36 37
+63 164
+14 141
+5 79
+13 136
+26 144
+159 171
+12 20
+67 109
+117 123
+89 152
+77 133
+21 169
+96 102
+124 148
+67 115
+19 32
+22 63
+36 70
+70 127
+117 157
+110 166
+72 94
+40 62
+4 76
+36 44
+94 165
+109 115
+38 177
+11 50
+17 155
+80 135
+37 168
+55 82
+44 58
+32 115
+80 157
+54 110
+24 153
+30 106
+50 63
+24 54
+55 102
+68 94
+18 84
+65 152
+55 133
+84 89
+44 110
+127 146
+19 176
+78 147
+71 102
+18 110
+137 150
+56 153
+94 138
+8 40
+19 150
+153 175
+29 35
+43 153
+51 85
+28 81
+17 156
+24 113
+75 95
+51 123
+8 20
+17 63
+29 119
+8 157
+77 93
+40 81
+63 158
+12 131
+115 117
+59 120
+36 110
+30 144
+54 131
+29 60
+143 173
+132 134
+113 135
+17 30
+54 165
+141 155
+28 168
+25 110
+113 153
+39 170
+4 88
+108 119
+15 110
+107 147
+40 88
+54 120
+57 127
+17 74
+84 111
+30 155
+71 84
+124 159
+52 172
+1 56
+66 102
+80 100
+26 32
+98 107
+9 87
+33 50
+107 114
+104 112
+69 168
+12 34
+39 163
+36 168
+20 98
+26 125
+27 121
+11 63
+54 115
+13 61
+19 86
+60 120
+66 71
+35 118
+5 113
+71 77
+16 119
+56 174
+93 119
+2 54
+91 107
+124 140
+80 113
+2 80
+131 153
+14 112
+19 147
+119 139
+54 80
+63 175
+28 84
+60 128
+3 90
+52 110
+26 153
+81 168
+1 153
+61 147
+12 13
+13 153
+60 119
+16 72
+26 131
+35 127
+46 79
+11 155
+12 107
+126 153
+8 91
+76 151
+36 97
+49 143
+94 102
+71 96
+5 46
+32 176
+20 147
+4 53
+155 159
+23 166
+81 143
+32 150
+60 159
+104 141
+157 169
+122 156
+3 105
+83 131
+2 153
+155 171
+158 164
+92 115
+12 98
+96 143
+127 133
+1 174
+52 167
+3 156
+115 131
+45 93
+131 135
+77 96
+33 63
+72 78
+30 33
+32 173
+79 161
+35 156
+7 63
+13 40
+32 131
+119 173
+53 120
+8 99
+20 67
+40 96
+18 94
+21 51
+15 173
+53 54
+132 143
+38 127
+28 40
+41 159
+74 119
+30 50
+42 156
+23 146
+44 168
+35 133
+2 113
+113 115
+63 142
+33 155
+54 113
+105 156
+149 163
+8 147
+32 86
+62 96
+84 94
+75 131
+40 147
+172 177
+43 142
+54 60
+80 115
+35 47
+119 133
+34 147
+73 84
+51 80
+34 40
+148 159
+17 32
+106 115
+20 107
+58 162
+17 159
+41 170
+110 127
+23 127
+58 97
+16 74
+137 176
+24 131
+31 130
+24 32
+9 71
+28 62
+43 126
+91 147
+30 60
+38 172
+75 83
+12 40
+108 116
+31 71
+55 93
+45 48
+64 75
+115 121
+50 171
+30 123
+12 149
+49 134
+113 161
+56 164
+46 155
+2 32
+54 135
+50 159
+38 122
+102 110
+59 151
+107 113
+72 173
+17 137
+40 54
+12 39
+82 133
+77 82
+12 61
+35 111
+127 166
+42 94
+40 98
+70 168
+67 106
+62 130
+30 159
+119 122
+17 122
+13 107
+97 127
+20 26
+114 141
+71 110
+72 119
+30 46
+54 59
+50 123
+8 169
+40 61
+142 175
+28 89
+60 133
+29 127
+2 131
+134 173
+21 80
+92 121
+40 143
+116 119
+21 157
+82 93
+80 117
+7 17
+13 126
+22 43
+59 60
+110 168
+27 92
+20 144
+73 90
+63 171
+60 63
+54 84
+8 13
+131 163
+78 94
+32 147
+47 127
+103 114
+135 153
+71 133
+149 170
+26 106
+33 125
+63 159
+31 102
+80 169
+11 159
+10 115
+25 57
+15 42
+128 145
+20 40
+93 102
+12 91
+119 156
+23 162
+112 155
+17 150
+7 159
+35 60
+60 155
+103 107
+16 173
+71 130
+12 163
+112 113
+28 69
+18 54
+83 124
+13 142
+39 159
+27 30
+56 64
+120 128
+84 110
+111 118
+119 127
+74 132
+80 99
+93 127
+94 119
+50 100
+35 84
+98 106
+78 134
+50 157
+69 143
+129 157
+39 160
+11 60
+32 135
+83 140
+159 170
+136 153
+60 127
+21 85
+35 119
+71 82
+146 167
+66 96
+35 93
+99 157
+62 71
+132 139
+23 57
+8 34
+110 167
+31 55
+40 69
+33 159
+31 93
+98 147
+40 107
+50 60
+143 147
+64 158
+52 177
+84 90
+140 148
+13 98
+54 151
+40 151
+94 139
+131 159
+74 122
+84 165
+113 141
+115 161
+94 173
+15 122
+40 76
+106 144
+33 144
+42 173
+49 94
+62 168
+33 115
+13 147
+63 153
+54 102
+96 168
+83 95
+40 120
+15 52
+34 107
+101 147
+71 94
+68 108
+5 161
+54 128
+70 110
+9 45
+131 170
+14 103
+48 93
+132 173
+3 73
+54 71
+97 166
+7 60
+95 131
+26 115
+42 73
+39 131
+136 142
+10 30
+8 98
+158 174
+23 110
+66 77
+32 94
+71 87
+50 129
+79 155
+45 87
+167 172
+70 97
+62 66
+50 155
+6 30
+8 61
+32 42
+26 80
+53 88
+54 94
+49 72
+13 34
+32 153
+10 144
+80 131
+58 127
+127 162
+42 90
+80 153
+162 166
+64 153
+8 85
+73 105
+86 101
+15 32
+140 159
+78 143
+94 134
+14 113
+110 165
+84 152
+60 171
+63 174
+17 33
+7 50
+148 158
+14 155
+13 91
+85 157
+103 113
+134 143
+72 132
+122 146
+70 167
+127 177
+6 121
+17 119
+30 115
+4 40
+15 94
+97 110
+77 102
+110 172
+113 131
+30 63
+10 33
+66 130
+106 125
+31 62
+17 60
+17 171
+164 174
+63 155
+28 96
+108 138
+51 129
+159 160
+67 98
+94 110
+146 177
+122 127
+47 60
+75 148
+15 167
+68 116
+93 133
+95 124
+16 139
+17 19
+7 155
+40 53
+31 77
+37 58
+28 65
+26 113
+104 155
+40 91
+38 146
+11 17
+126 136
+30 125
+12 147
+89 154
+37 110
+65 111
+32 80
+85 100
+58 70
+21 50
diff --git a/vertex_cover/src/filtered.rs b/vertex_cover/src/filtered.rs
new file mode 100644
index 0000000..55ca7c1
--- /dev/null
+++ b/vertex_cover/src/filtered.rs
@@ -0,0 +1,71 @@
+use crate::Graph;
+use std::collections::HashSet;
+
+pub fn binary_edge(graph: &Graph, k: u16, v: HashSet<u16>) -> Option<HashSet<u16>> {
+    let edge = match graph.get_edge_filtered(&v) {
+        Some(edge) => edge,
+        None => return Some(v),
+    };
+
+    if k == 0 {
+        return None;
+    }
+
+    let mut v1 = v.clone();
+    v1.insert(edge.0);
+    match binary_edge(graph, k - 1, v1) {
+        Some(s) => Some(s),
+        None => {
+            let mut v2 = v;
+            v2.insert(edge.1);
+            binary_edge(graph, k - 1, v2)
+        }
+    }
+}
+
+pub fn binary_vertex(graph: &Graph, k: u16, v: HashSet<u16>) -> Option<HashSet<u16>> {
+    let vertex = match graph.get_vertex_filtered_with_degree_grater(&v, 2) {
+        Some(vertex) => vertex,
+        None => {
+            return {
+                let mut v3 = v;
+                let mut c = 0;
+                while let Some(vertex) = graph.get_vertex_filtered_with_degree_grater(&v3, 1) {
+                    v3.insert(vertex);
+                    c += 1;
+                }
+
+                if c <= k {
+                    Some(v3)
+                } else {
+                    None
+                }
+            }
+        }
+    };
+
+    if k == 0 {
+        return None;
+    }
+
+    let mut v1 = v.clone();
+    v1.insert(vertex);
+    match binary_vertex(graph, k - 1, v1) {
+        Some(s) => Some(s),
+        None => {
+            let mut v2 = v;
+            let mut c = 0;
+            for o in graph.get_edges(vertex) {
+                if !v2.contains(&o) {
+                    c += 1;
+                    v2.insert(o);
+                }
+            }
+            if c <= k {
+                binary_vertex(graph, k - c, v2)
+            } else {
+                None
+            }
+        }
+    }
+}
diff --git a/vertex_cover/src/main.rs b/vertex_cover/src/main.rs
new file mode 100644
index 0000000..c6a6fb9
--- /dev/null
+++ b/vertex_cover/src/main.rs
@@ -0,0 +1,162 @@
+use clap::{Parser, ValueEnum};
+use std::{
+    collections::HashSet,
+    path::{Path, PathBuf},
+};
+
+mod filtered;
+
+fn parse(filename: impl AsRef<Path>) -> Graph {
+    let content = std::fs::read_to_string(filename).unwrap();
+
+    let mut line_iter = content
+        .split('\n')
+        .map(|l| l.trim())
+        .filter(|l| !l.is_empty());
+
+    let first_line = line_iter.next().unwrap();
+
+    let (nodes_str, edges_str) = first_line.split_once(' ').unwrap();
+
+    let nodes = nodes_str.parse::<u16>().unwrap();
+    let edges = edges_str.parse::<u16>().unwrap();
+
+    let mut g = Graph::new(nodes);
+
+    let mut c = 0;
+    for l in line_iter {
+        let (from_str, to_str) = l.split_once(' ').unwrap();
+        let from = from_str.parse::<u16>().unwrap();
+        let to = to_str.parse::<u16>().unwrap();
+
+        g.add_edge(from - 1, to - 1);
+        c += 1;
+    }
+    assert_eq!(edges, c);
+
+    g
+}
+
+/// Datastructure is 0 indexed
+#[derive(Debug)]
+struct Graph {
+    edge_list: Vec<Vec<u16>>,
+}
+
+impl Graph {
+    fn new(num_vertices: u16) -> Self {
+        Self {
+            edge_list: vec![Vec::new(); num_vertices as usize],
+        }
+    }
+
+    fn add_edge(&mut self, from: u16, to: u16) {
+        self.edge_list[(from) as usize].push(to);
+        self.edge_list[(to) as usize].push(from);
+    }
+
+    fn get_edges(&self, vertex: u16) -> impl Iterator<Item = u16> + '_ {
+        self.edge_list[vertex as usize].iter().copied()
+    }
+
+    fn iter_edges_filtered<'a>(
+        &'a self,
+        v: &'a HashSet<u16>,
+    ) -> impl Iterator<Item = (u16, u16)> + 'a {
+        self.edge_list
+            .iter()
+            .enumerate()
+            .filter(|(i, _)| !v.contains(&(*i as u16)))
+            .flat_map(move |(i, s)| {
+                let from = i as u16;
+                s.iter().filter_map(move |&to| {
+                    if !v.contains(&to) && from < to {
+                        Some((from, to))
+                    } else {
+                        None
+                    }
+                })
+            })
+    }
+
+    fn get_edge_filtered(&self, v: &HashSet<u16>) -> Option<(u16, u16)> {
+        self.iter_edges_filtered(v).next()
+    }
+
+    fn iter_vertices_filtered_with_degree_grater<'a>(
+        &'a self,
+        v: &'a HashSet<u16>,
+        min_degree: u16,
+    ) -> impl Iterator<Item = u16> + 'a {
+        self.edge_list.iter().enumerate().filter_map(move |(i, s)| {
+            let i = i as u16;
+            if !v.contains(&i) && s.iter().filter(|&o| !v.contains(o)).count() as u16 >= min_degree
+            {
+                Some(i)
+            } else {
+                None
+            }
+        })
+    }
+
+    fn get_vertex_filtered_with_degree_grater(
+        &self,
+        v: &HashSet<u16>,
+        min_degree: u16,
+    ) -> Option<u16> {
+        self.iter_vertices_filtered_with_degree_grater(v, min_degree)
+            .next()
+    }
+}
+
+fn vertex_cover(graph: &Graph, k: u16, method: Method) -> Option<HashSet<u16>> {
+    match method {
+        Method::Edge => filtered::binary_edge(graph, k, HashSet::new()),
+        Method::Vertex => filtered::binary_vertex(graph, k, HashSet::new()),
+    }
+}
+
+#[derive(Debug, Clone, Copy, ValueEnum)]
+enum Method {
+    Edge,
+    Vertex,
+}
+
+#[derive(Debug, Parser)]
+struct Args {
+    filename: PathBuf,
+    method: Method,
+    k: Option<u16>,
+}
+
+fn main() {
+    let args = Args::parse();
+
+    let graph = parse(args.filename);
+
+    let result = if let Some(k) = args.k {
+        let start = std::time::Instant::now();
+        let r = vertex_cover(&graph, k, args.method);
+        eprintln!("{}: {:?}", k, start.elapsed());
+        r
+    } else {
+        let mut k = 0;
+        loop {
+            let start = std::time::Instant::now();
+            let r = vertex_cover(&graph, k, args.method);
+            eprintln!("{}: {:?}", k, start.elapsed());
+            if let Some(r) = r {
+                break Some(r);
+            }
+            k += 1;
+        }
+    };
+
+    if let Some(solution) = result {
+        println!("{}", solution.len());
+
+        for n in solution {
+            println!("{}", n + 1);
+        }
+    }
+}
diff --git a/vertex_cover/validator.py b/vertex_cover/validator.py
new file mode 100755
index 0000000..7fe26c3
--- /dev/null
+++ b/vertex_cover/validator.py
@@ -0,0 +1,37 @@
+#!/usr/bin/env python3
+
+"""
+    usage: python3 validator.py path/to/graph path/to/vertex/cover
+"""
+
+import sys
+
+graph = sys.argv[1]
+graph_file = open(graph, "r")
+
+sol = sys.argv[2]
+sol_file = open(sol, "r")
+
+n, m = map(int, graph_file.readline().split())
+
+lines = graph_file.readlines()
+edges = list(map(int, l.split()) for l in lines[1:])
+
+lines = sol_file.readlines();
+vc_size = int(lines[0])
+vc = set(int(s) for s in lines[1:])
+
+if vc_size != len(vc):
+    print("Printed size does not match")
+    quit()
+
+for v in vc:
+    if v < 1 or v > n:
+        print("ID {} not valid".format(v))
+
+for a, b in edges:
+    if a not in vc and b not in vc:
+        print("Edge {} {} is not covered".format(a, b))
+        quit()
+
+print("Valid vertex cover")