The Ivory Tower

« first day (2827 days earlier) ← previous day next day → last day (1623 days later) »

Research-Practice Questions on Theoretical CS

7:57 AM

Q: On the complexity of existential and universal quantifiers

I'm trying to analyze the time complexities of the two former kind of quantifiers, I need help figuring out if I'm following the right path or if I'm making mistakes, here's what I've produced so far: Let $D$ be a random distribution over the natural numbers, Let's proceed with defining two Turi...

3 hours later…

Captain Bohemian

10:41 AM

Bombarder is a philistine who looks like s fool.

I have never seen a person who deplores others studying besides Bombarder.

she herself even doesn't know the common sense a general person knows.

very deplorable person Bombarder is.

I don't like a person who keeps constantly innocent.

4 hours later…

Captain Bohemian

3:09 PM

it's difficult to make real friends on web.

but there is nobody talkable whenever I go back this home.

talking with Bombardrer is vain

home is the worst in that if it lacks people there is hardly a way.

1 hour later…

Martin Sleziak

4:22 PM

Would cross-referencing be a suitable tag for Referring to a result that comes later?

Also, I suppose that "later in the same later" is a typo and it is suppose to be "later in the same paper".

(I do not have sufficient rep to edit directly and I did not find anything else to edit - so this change is below the 6 characters limit for suggested edits. That's why I mentioned this here instead.)