摘要：背景 我在执行rosdep update指令时总是读取失败，原因就是访问raw.githubusercontent.com的网速不行，虽然按部就班地查询ipaddress.com并更新了/etc/hosts/的dns缓存，但还是无济于事，我的rosdep源文件位置与内容在下面： $ cat /etc 阅读全文

摘要：子模的性质（submodular） 若 \(A \subseteq B \subseteq V ,e \in V - B\), 则对于集合函数f()，如果：$$ f(A \bigcup { e }) - f(A) >= f(B \bigcup { e }) - f(B)$$ 成立，则说f()函数是子 阅读全文