Skip to main content
6 events
when toggle format what by license comment
Sep 13, 2012 at 19:37 comment added Kaveh @Suresh, I find the intent I perceived quite interesting (independent of whether it is suitable for cstheory or not), and as I see it, changing the intent is kind of ruining a nice and interesting question. :)
Sep 13, 2012 at 18:01 comment added Suresh Venkat Mod Given that this is the OP's first question, the better strategy might be to suggest how the question can be modified to make it in scope (as you have done), rather than assuming that the OP intent is fixed and unchangeable. Overall, I think the answer provided was definitely interesting.
Sep 13, 2012 at 0:50 comment added Kaveh @Artem, it might be possible to restate the question as research-level theory B question, however in its current form it doesn't look so, moreover I don't see any indication for that being the motivation/intention of the OP.
Sep 12, 2012 at 23:36 comment added Artem Kaznatcheev Mod I would consider formal methods to be theoretical computer science broadly considered. The question as asked can also have research theory B answers (by mentioning restricted programming languages where such bounds are possible to calculate). I agree that the question cannot be made both research-level and theory A, but the scope of cstheory is not just A.
Sep 12, 2012 at 20:01 history edited Kaveh CC BY-SA 3.0
added 260 characters in body
Sep 12, 2012 at 19:53 history answered Kaveh CC BY-SA 3.0