开发者 | Bjoern Kjos-Hanssen |
---|---|
更新时间 | 2013年10月13日 21:10 |
捐献地址: | 去捐款 |
PHP版本: | 3.5 及以上 |
WordPress版本: | 3.5 |
版权: | GPLv2 |
版权网址: | 版权信息 |
complexity
to the /wp-content/plugins/
directory[complexity string="0110"]
in any post and it will be replaced by 3
. Similarly for any binary string of length at most 23.As you may know, there are 16,777,216 binary strings of length 24. It takes time to compute the complexity of all of these, and upload the results to the database. In short, we had to stop somewhere and in the current version that somewhere is length 23.
It is not very useful yet, but I will probably add additional functionality such as shortcodes for drawing a diagram of a witnessing automaton for the complexity. The plugin is useful for blogging about nondeterministic automatic complexity.
First the complexity is computed in Python and saved to SQL files. These files are then uploaded to a database. The complexity of a string like 0110 is then available as JSON data from an API link. The plugin itself just uses a simple PHP script to retrieve that data.