E) <latexit sha1_base64="h2jVbgymdFJUZ8vxIitQgTJ80go=">AAAB8XicbVBNS8NAEJ3Ur1q/oh69LBahgpSkCnoRiiJ6rGA/sA1ls920SzebsLsRSui/8OJBEa/+G2/+G7dtDtr6YODx3gwz8/yYM6Ud59vKLS2vrK7l1wsbm1vbO/buXkNFiSS0TiIeyZaPFeVM0LpmmtNWLCkOfU6b/vB64jefqFQsEg96FFMvxH3BAkawNtLjLbpEpcYJujnu2kWn7EyBFombkSJkqHXtr04vIklIhSYcK9V2nVh7KZaaEU7HhU6iaIzJEPdp21CBQ6q8dHrxGB0ZpYeCSJoSGk3V3xMpDpUahb7pDLEeqHlvIv7ntRMdXHgpE3GiqSCzRUHCkY7Q5H3UY5ISzUeGYCKZuRWRAZaYaBNSwYTgzr+8SBqVsntartyfFatXWRx5OIBDKIEL51CFO6hBHQgIeIZXeLOU9WK9Wx+z1pyVzezDH1ifP4kyjt4=</latexit> - グラフ V 0 ✓ V <latexit sha1_base64="SdToDqHYcZ+P7CxthGcXcz7nkjg=">AAAB/XicbVDLSsNAFJ3UV62v+Ni5GSyCq5JUQZdFNy4r2Ac0sUymN+3QmSTOTIQair/ixoUibv0Pd/6N0zYLbT1w4XDOvdx7T5BwprTjfFuFpeWV1bXiemljc2t7x97da6o4lRQaNOaxbAdEAWcRNDTTHNqJBCICDq1geDXxWw8gFYujWz1KwBekH7GQUaKN1LUPmndeIpkA7Kk0UKDhHje7dtmpOFPgReLmpIxy1Lv2l9eLaSog0pQTpTquk2g/I1IzymFc8lIFCaFD0oeOoRERoPxsev0YHxulh8NYmoo0nqq/JzIilBqJwHQKogdq3puI/3mdVIcXfsaiJNUQ0dmiMOVYx3gSBe4xCVTzkSGESmZuxXRAJKHaBFYyIbjzLy+SZrXinlaqN2fl2mUeRxEdoiN0glx0jmroGtVRA1H0iJ7RK3qznqwX6936mLUWrHxmH/2B9fkDIJaVAg==</latexit> (u, v) 2 E <latexit sha1_base64="GToDNkoR8H2wW3Oem9O7c4dcUvs=">AAAB83icbVDLSgNBEOyNrxhfUY9eBoMQQcJuFPQYFMFjBPOA7BJmJ7PJkNnZZR6BEPIbXjwo4tWf8ebfOEn2oIkFDUVVN91dYcqZ0q777eTW1jc2t/LbhZ3dvf2D4uFRUyVGEtogCU9kO8SKciZoQzPNaTuVFMchp61weDfzWyMqFUvEkx6nNIhxX7CIEayt5JfNBRqdI58JdN8tltyKOwdaJV5GSpCh3i1++b2EmJgKTThWquO5qQ4mWGpGOJ0WfKNoiskQ92nHUoFjqoLJ/OYpOrNKD0WJtCU0mqu/JyY4Vmoch7Yzxnqglr2Z+J/XMTq6CSZMpEZTQRaLIsORTtAsANRjkhLNx5ZgIpm9FZEBlphoG1PBhuAtv7xKmtWKd1mpPl6VardZHHk4gVMogwfXUIMHqEMDCKTwDK/w5hjnxXl3PhatOSebOYY/cD5/AMaIkDY=</latexit> u 2 V 0 <latexit sha1_base64="FNGsBgmjuxninIQ7jBSqPYqLF3U=">AAAB9HicbVBNSwMxEJ2tX7V+VT16CRbBU9mtgh6LXjxWsB/QXUs2zbahSXZNsoWy9Hd48aCIV3+MN/+NabsHbX0w8Hhvhpl5YcKZNq777RTW1jc2t4rbpZ3dvf2D8uFRS8epIrRJYh6rTog15UzSpmGG006iKBYhp+1wdDvz22OqNIvlg5kkNBB4IFnECDZWClKfSdR69BPFBO2VK27VnQOtEi8nFcjR6JW//H5MUkGlIRxr3fXcxAQZVoYRTqclP9U0wWSEB7RrqcSC6iCbHz1FZ1bpoyhWtqRBc/X3RIaF1hMR2k6BzVAvezPxP6+bmug6yJhMUkMlWSyKUo5MjGYJoD5TlBg+sQQTxeytiAyxwsTYnEo2BG/55VXSqlW9i2rt/rJSv8njKMIJnMI5eHAFdbiDBjSBwBM8wyu8OWPnxXl3PhatBSefOYY/cD5/AI3NkfU=</latexit> v 2 V 0 <latexit sha1_base64="Qpy0oufOPgBYgTj0nReSeq9veGo=">AAAB9HicbVBNSwMxEM3Wr1q/qh69BIvgqexWQY9FLx4r2A/oriWbzrahSXZNsoWy9Hd48aCIV3+MN/+NabsHbX0w8Hhvhpl5YcKZNq777RTW1jc2t4rbpZ3dvf2D8uFRS8epotCkMY9VJyQaOJPQNMxw6CQKiAg5tMPR7cxvj0FpFssHM0kgEGQgWcQoMVYKxj6TuPXoJ4oJ6JUrbtWdA68SLycVlKPRK3/5/ZimAqShnGjd9dzEBBlRhlEO05KfakgIHZEBdC2VRIAOsvnRU3xmlT6OYmVLGjxXf09kRGg9EaHtFMQM9bI3E//zuqmJroOMySQ1IOliUZRybGI8SwD3mQJq+MQSQhWzt2I6JIpQY3Mq2RC85ZdXSatW9S6qtfvLSv0mj6OITtApOkceukJ1dIcaqIkoekLP6BW9OWPnxXl3PhatBSefOUZ/4Hz+AI9dkfY=</latexit> で ならば または A B C E D F G 解いてみて A B C E D F G 答え
A B C E D F G A B C E D F G 任意の辺を一個ピックアップ 隣接する辺を削除 辺に含まれる頂点を追加 -> -> 太枠が頂点被覆 O(V + E) <latexit sha1_base64="gTO4ycROLB9nFeOMRcuFlEuHTtE=">AAAB7XicbVBNSwMxEJ2tX7V+VT16CRahIpTdKuixKII3K9htoV1KNk3b2GyyJFmhLP0PXjwo4tX/481/Y9ruQasPBh7vzTAzL4w508Z1v5zc0vLK6lp+vbCxubW9U9zd87VMFKENIrlUrRBrypmgDcMMp61YURyFnDbD0dXUbz5SpZkU92Yc0yDCA8H6jGBjJf+27J9cH3eLJbfizoD+Ei8jJchQ7xY/Oz1JkogKQzjWuu25sQlSrAwjnE4KnUTTGJMRHtC2pQJHVAfp7NoJOrJKD/WlsiUMmqk/J1IcaT2OQtsZYTPUi95U/M9rJ6Z/EaRMxImhgswX9ROOjETT11GPKUoMH1uCiWL2VkSGWGFibEAFG4K3+PJf4lcr3mmlendWql1mceThAA6hDB6cQw1uoA4NIPAAT/ACr450np03533emnOymX34BefjGwy8jiA=</latexit> E0 <latexit sha1_base64="BeMpfNLDkFLZduKRKJ1U/BTaBAk=">AAAB73icbVDLSgNBEOyNrxhfUY9eBoPgKexGQY9BETxGMA9I1jA76SRDZmfXmVkhLPkJLx4U8ervePNvnCR70MSChqKqm+6uIBZcG9f9dnIrq2vrG/nNwtb2zu5ecf+goaNEMayzSESqFVCNgkusG24EtmKFNAwENoPR9dRvPqHSPJL3ZhyjH9KB5H3OqLFS6+ahEyseYrdYcsvuDGSZeBkpQYZat/jV6UUsCVEaJqjWbc+NjZ9SZTgTOCl0Eo0xZSM6wLalkoao/XR274ScWKVH+pGyJQ2Zqb8nUhpqPQ4D2xlSM9SL3lT8z2snpn/pp1zGiUHJ5ov6iSAmItPnSY8rZEaMLaFMcXsrYUOqKDM2ooINwVt8eZk0KmXvrFy5Oy9Vr7I48nAEx3AKHlxAFW6hBnVgIOAZXuHNeXRenHfnY96ac7KZQ/gD5/MH9QCP6g==</latexit> の表現に隣接リストを用いると