![limit.jpg](https://cdn.steemitimages.com/DQmSSB5m5uidfQ9GHcPSfSyNmHMNjBsXyCSnY8cK1LgiJxM/limit.jpg) Dizzying eh @_@? Tau Meta Language is in the FO(PFP) range under PSPACE complexity. Image source and further reading on descriptive complexity: https://people.cs.umass.edu/~immerman/descriptive_complexity.html Ongoing work on TML: https://github.com/IDNI/tau/blob/master/tml.cpp
post_id | 68,827,019 |
---|---|
author | etherpunk |
permlink | descriptive-complexity-theory |
category | descriptive-complexity |
json_metadata | {"image":["https:\/\/cdn.steemitimages.com\/DQmSSB5m5uidfQ9GHcPSfSyNmHMNjBsXyCSnY8cK1LgiJxM\/limit.jpg"],"tags":["descriptive-complexity"],"app":"steemit\/0.1","format":"markdown","links":["https:\/\/people.cs.umass.edu\/~immerman\/descriptive_complexity.html","https:\/\/github.com\/IDNI\/tau\/blob\/master\/tml.cpp"]} |
created | 2019-01-15 05:02:18 |
last_update | 2019-01-15 05:12:39 |
depth | 0 |
children | 0 |
net_rshares | 13,033,807,423,181 |
last_payout | 2019-01-22 05:02:18 |
cashout_time | 1969-12-31 23:59:59 |
total_payout_value | 5.782 SBD |
curator_payout_value | 1.762 SBD |
pending_payout_value | 0.000 SBD |
promoted | 0.000 SBD |
body_length | 383 |
author_reputation | 417,937,279,208,403 |
root_title | "Descriptive Complexity Theory" |
beneficiaries | [] |
max_accepted_payout | 1,000,000.000 SBD |
percent_steem_dollars | 10,000 |
author_curate_reward | "" |
voter | weight | wgt% | rshares | pct | time |
---|---|---|---|---|---|
tombstone | 0 | 4,184,138,567,140 | 20% | ||
kevinwong | 0 | 7,914,782,533,792 | 100% | ||
mrwang | 0 | 1,026,808,348 | 50% | ||
arconite | 0 | 30,343,328,500 | 50% | ||
justyy | 0 | 111,871,583,892 | 4.98% | ||
voronoi | 0 | 34,250,898,414 | 50% | ||
resteemer | 0 | 3,511,674,972 | 100% | ||
awesomianist | 0 | 22,535,378,593 | 100% | ||
sacred-agent | 0 | 14,341,224,258 | 13% | ||
jassennessaj | 0 | 17,989,204,111 | 5% | ||
theywillkillyou | 0 | 30,408,050,748 | 50% | ||
aaronleang | 0 | 75,025,756,464 | 100% | ||
jadabug | 0 | 1,612,030,128 | 1% | ||
nurhayati | 0 | 4,633,820,670 | 100% | ||
calatorulmiop | 0 | 27,017,672,137 | 50% | ||
espoem | 0 | 1,761,276,891 | 1% | ||
steemmatt | 0 | 23,487,953,170 | 25% | ||
vinayakgupta | 0 | 24,635,027,429 | 100% | ||
wallacecarranza | 0 | 336,904,786 | 100% | ||
joannewong | 0 | 43,699,486,665 | 50% | ||
nokodemion | 0 | 4,525,843,436 | 100% | ||
classyjewel | 0 | 480,448,133 | 100% | ||
thunderbirdcomic | 0 | 736,252,867 | 100% | ||
cmmemes | 0 | 5,686,795,280 | 100% | ||
lastditch | 0 | 14,601,261 | 2% | ||
monoarc | 0 | 141,056,181 | 10% | ||
adejokeade | 0 | 121,229,126 | 50% | ||
sivehead | 0 | 19,551,599,268 | 50% | ||
enycproxde | 0 | 536,418,793 | 100% | ||
avpounquered | 0 | 537,354,306 | 100% | ||
nieloagranca | 0 | 3,294,106,953 | 4% | ||
jessicapyah | 0 | 530,696,548 | 100% | ||
katherine98 | 0 | 512,193,725 | 100% | ||
steemchoose | 0 | 22,026,263,529 | 1.14% | ||
anna1lp9 | 0 | 522,195,108 | 100% | ||
elizabethc7 | 0 | 525,905,876 | 100% | ||
rich.art.deluxe | 0 | 29,248,407,709 | 24% | ||
emma3l0 | 0 | 513,013,394 | 100% | ||
progsernaro | 0 | 512,312,211 | 100% | ||
prodobfqualbet | 0 | 526,175,615 | 100% | ||
palaceterc | 0 | 503,714,313 | 100% | ||
sesmocentpi | 0 | 537,832,879 | 100% | ||
allisonab | 0 | 535,397,169 | 100% | ||
merlin7 | 0 | 6,195,195,340 | 0.2% | ||
matahayati | 0 | 545,984,062 | 100% | ||
ayla-jane | 0 | 3,180,253,390 | 95% | ||
largeadultson | 0 | 1,840,060,752 | 15% | ||
whitebot | 0 | 24,708,762,760 | 11% | ||
ascorphat | 0 | 865,685,077 | 2.5% | ||
simonpang | 0 | 24,975,016,458 | 100% | ||
roanin | 0 | 547,784,829 | 100% | ||
goodshepherd | 0 | 4,915,425,633 | 25% | ||
i-c-e | 0 | 16,020,412,272 | 70% | ||
trailreward | 0 | 168,349,534 | 2% | ||
jobere | 0 | 251,672,615,545 | 29% | ||
atom-jp | 0 | 38,642,882,741 | 100% |