Evan ProdromouI don't think this is really rigorous -- it's just based on some handwavy idea that it's hard for wrong comparisons to line up and give good proofs, and it gets very, very hard the longer the paths get and the more paths there are. I should probably spend some time proving it, though.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.