7:58 AM
Just posting a summary in case somebody wants later check when creation or removal or a tag was mentioned in this chatroom.
May 7 '20 at 11:40, by Martin Sleziak
new-tag deleted-tag A tag called upper-bounds was created, but relatively quickly removed: https://mathoverflow.net/posts/359612/revisions
Posts where upper-bounds was added/removed (with editors): data.stackexchange.com/mathoverflow/query/1105163/… data.stackexchange.com/mathoverflow/query/1038474/…
One deleted questions with upper-bounds (at the moment): data.stackexchange.com/mathoverflow/query/883845/…
Posts where lower-bounds was added/removed (with editors): data.stackexchange.com/mathoverflow/query/1105163/… data.stackexchange.com/mathoverflow/query/1038474/…
Most frequent taggers/removers for lower-bounds: data.stackexchange.com/mathoverflow/query/1146497/… data.stackexchange.com/mathoverflow/query/1038477/…
The tag lower-bounds was around for a long time - the oldest occurrence that I see is from 2009: mathoverflow.net/posts/4953/revisions
22
Do we know any problem in NP which has a super-linear time complexity lower bound? Ideally, we would like to show that 3SAT has super-polynomial lower bounds, but I guess we're far away from that. I'd just like to know any examples of super-linear lower bounds. I know that the time hierarchy the...
« first day (2760 days earlier) ← previous day next day → last day (1328 days later) »
Transcript for
Mar12
Mar '2113
Mar15
MO editors' lounge
Talk related to editing, tagging and related matters for the s...