All Questions
619
questions
1
vote
1
answer
31
views
What is "research-level" question? (again) No place for beginners?
This is in response to my first experience on TCS stack exchange.
The most complex language?
For context, I have a deep love for TCS since undergraduate studies, have a professional background in ...
- 117
0
votes
0
answers
24
views
Communication complexity of median of two sets [closed]
I am working on exercise 1.6 of the textbook Communication Complexity and Applications by Anup Rao and Amir Yehudayoff.
Alice and Bob get sets X and Y in {1,2,...,n} respectively and they want to ...
0
votes
0
answers
3
views
2023: a year in moderation
It’s that time of the year again! As we wave goodbye to last year and welcome the new one, we have a tradition of sharing moderation stats for the preceding calendar year.
As most of you here might be ...
- 101
0
votes
0
answers
11
views
Tag for constraint theory
I was wondering whether there are any tags for the following thing:
Constrained thinking, under constrained, language. (and, constrained considerations).
For example, this field, of science, focuses ...
0
votes
1
answer
144
views
Is asking to verify my P=NP proof appropriate?
Is providing link to my (8 pages) proof of P=NP and asking to check my proof appropriate for a CS Theory question?
The proof is on professional mathematician level (uses advanced logics) and does not ...
- 101
1
vote
0
answers
48
views
Should the main chatroom be unfrozen?
I have noticed that the room theory salon was recently frozen for inactivity.
As far as I can tell, among the rooms associated with this site, this is the room that got the most activity - so perhaps ...
- 131
0
votes
0
answers
28
views
What should I do when I asked a poorly phrased question that got a very good answer?
I've asked the following question on CST:
Is there an efficient algorithm to check for duplicator-invariant equivalence on symmetric interaction combinators?
I had the honor of having the paper author ...
- 3,137
0
votes
0
answers
33
views
Middle Sidebar Advertising
As you all know, advertising is an important source of revenue for Stack Overflow and it helps us support all the sites across the Stack Exchange Network and the resources that go into maintaining and ...
- 1
3
votes
0
answers
27
views
New SE site for Programming Language Design
The Programming Language Design proposal, which has begun with a very healthy start is one that I think a lot of people here might find interesting.
If you are excited about the launch of a new site, ...
- 541
2
votes
0
answers
17
views
2022: a year in moderation
As we say goodbye to the old year and welcome the new one, we have a tradition of sharing moderation stats for the preceding calendar year.
As most of you here are aware, sites on the Stack Exchange ...
- 101
-5
votes
1
answer
477
views
Why has no one noticed that I am correct about this? [closed]
Every "rebuttal" simply ignores this key fact
computation that halts… “the Turing machine will halt whenever it enters a final state” (Linz:1990:234)
⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by ...
- 61
2
votes
0
answers
36
views
Auto-update Complexity Zoo references?
Since the complexity zoo is such a common resource on this site, but it moves around its URL every few years it seems, it'd be nice to have an automated or semi-automated way to update references to ...
- 37.3k
2
votes
0
answers
23
views
New interface / theme
Perhaps it's not the right place to ask, but
Do you like the new interface / theme of cstheory main page (the list of questions)?
In my opinion it's more UNreadable and UNclear on a standard PC/...
- 23k
5
votes
0
answers
46
views
New stack exchange! For interactive theorem provers and automatic theorem provers!
Stack Exchange will soon create the Private Beta site for Proof Assistants and Automatic Theorem Provers. If you want to see what a StackExchange site is like in its initial beginnings, want to help ...
- 541
1
vote
0
answers
13
views
2021: a year in moderation
As we say goodbye to the old year and welcome the new one, we have a tradition of sharing moderation stats for the preceding calendar year.
As most of you here are aware, sites on the Stack Exchange ...
- 101
2
votes
1
answer
101
views
So many questions with negative votes: what does it mean?
I would like to ask a question on this forum, on quantum computing. It seems to be perfectly on topic, according to what is declared in the help center. However, I see that many of the questions are ...
2
votes
2
answers
47
views
What to do with lengthy partial progress
I currently have a question on TCSSE that has not gotten an answer yet. I have been working on the question myself in the meantime, and have already added a first update with partial progress. ...
- 1,214
5
votes
3
answers
245
views
Renaming this forum
Following the number of off-topic questions, maybe we should consider renaming this forum?
Perhaps something like: "Research topics in computer science" or alike.
- 1,606
4
votes
0
answers
38
views
2020: a year in moderation
As we say goodbye to the old year and welcome the new one, we have a tradition of sharing moderation stats for the past 12 months.
As most of you here are aware, sites on the Stack Exchange network ...
- 101
8
votes
1
answer
160
views
Is this question about the PCP theorem appropriate here?
I am a mathematician who is working toward understanding a proof of the PCP theorem. I am reading Arora and Barak's book Computational Complexity, and I've noticed what I think are a few errors (in ...
- 265
15
votes
1
answer
622
views
A decade of CSTheory
I believe August 16, 2020 is the 10th anniversary of CSTheory, also known as TCS.se.
What are some Questions and Answers (and Comments?) that you remember fondly, or want to bring attention back to, ...
- 4,485
5
votes
0
answers
75
views
Short name for this site?
What's the right way to refer to this site, except the full name "Theoretical Computer Science Stack Exchange" or the URL "cstheory.stackexchange.com".
Personally I've been using &...
- 9,269
4
votes
1
answer
54
views
Hiding bad (closed/downvoted questions) on front page?
I'm concerned by the fact that the main page of Theoretical Computer Science is usually filled with many (around 50%) "bad" questions, i.e., questions that have received many downvotes or ...
- 9,269
4
votes
1
answer
90
views
Community Promotion Ads — 2020
2020 has come! But… oops, where did the time go? It’s already March! Belated as it is, it’s time for a refresh of Community Promotion Ads!
What are Community Promotion Ads?
Community Promotion Ads ...
- 101
4
votes
0
answers
43
views
2019: a year in moderation
It's New Year's Day in Stack Exchange land...
A distinguishing characteristic of these sites is how they are moderated:
We designed the Stack Exchange network engine to be mostly self-regulating, ...
- 101
2
votes
0
answers
37
views
I cannot flag a problem as off-topic and belonging to CS.SE
I find relevant discussions here: Migration path from cstheory to CS.SE.
Though, I still think that the frequency we need this function is not that low as stated in the answer.
——————————————
...
- 395
5
votes
0
answers
109
views
Lemons and lemonade
With regards to this recent question:
A sandwich function
I do think there's a disconnect when the question gets -4 and the answer gets +3. It encourages people to answer.
Over on MathOverflow we ...
- 4,485
1
vote
1
answer
70
views
Suspicious deletion of a comment
I wrote a comment on this question and after a while it has been removed.
On planar $4$ regular graphs
There is a 1% chance of accidental deletion of that comment by me. Other than that it should ...
- 3,440
0
votes
1
answer
168
views
Should I just quit? I honestly believe this the best question I asked here and its still downvoted?
I have a question about my Theoretical Computer Science Stack Exchange post: Generating n^2 x n^2 valid and pre-solved Sudoku's in $O(n^3)$ time is inconsequential?
Should I quit this question?
- 159
0
votes
0
answers
37
views
Would it be off topic to promote the "topic challenge" here?
I am referring to this at the CS Ed site?
- 101
1
vote
1
answer
62
views
Community Promotion Ads — 2019 [duplicate]
2019 is here! And with the new year, as usual, comes a new iteration of Community Promotion Ads! Let’s refresh these for the coming year :)
What are Community Promotion Ads?
Community Promotion Ads ...
- 101
3
votes
0
answers
48
views
2018: a year in moderation
It's New Year's Day in Stack Exchange land...
A distinguishing characteristic of these sites is how they are moderated:
We designed the Stack Exchange network engine to be mostly self-regulating, in ...
- 101
3
votes
1
answer
60
views
Can I ask for recent research papers?
Suppose I am a novice student in a field of theoretical CS.
Is it allowed to ask for recent research papers from reputed journals to study?
- 101
3
votes
0
answers
33
views
6
votes
0
answers
122
views
Theoretical Computer Science updated site theme is ready for testing!
As part of implementing the new unified themes across the network, we're gradually rolling out updated site themes for each site. As of today, we have enabled your updated site theme for testing.
If ...
- 101
1
vote
0
answers
16
views
Ultra-low contrast submit button in flagging dialog [duplicate]
The flagging dialog here on meta looks like this:
Note that the button is hard to notice in the first place (worse before selecting an option), and the text is almost illegible.
- 4,565
-4
votes
3
answers
221
views
The big question: does P=NP?
I figured it was a shame that one of the biggest open questions in theoretical computer science was not listed here as a question. True, nobody has an answer (probably), but still.
Some might argue ...
- 101
5
votes
0
answers
47
views
Help vote on answers to good questions
Sometimes a question gets asked, someone takes the time to respond, but the answer never receives any votes. Sometimes those answers can be quite good, and it would be nice to reward those answers ...
- 4,485
9
votes
0
answers
77
views
Broken button design
The colour scheme for buttons on the main site seems to have changed recently:
It makes them nearly unreadable, and they have a disabled look.
- 17.4k
5
votes
2
answers
114
views
Let's get MathOverflow's “Citation Helper” here, as well!
MathOverflow and Math.SE have a citation helper that adds a new button to the post editor to allow references to journal articles (and conference papers?) to be added to posts quicker and easier.
Of ...
- 4,485
12
votes
0
answers
133
views
2018 Community Moderator Election Results
Theoretical Computer Science's 3rd moderator election has come to a close, the votes have been tallied, and the new moderator is:
He'll be joining the existing crew shortly — please thank him for ...
- 101
4
votes
1
answer
54
views
Tags for Sipser questions?
If I've taken an undergrad Sipser-based theory course, and that's basically the extent of my knowledge, what tags should I follow to maximize the number of questions I can meaningfully answer on this ...
5
votes
2
answers
136
views
2018 Moderator Election Q&A - Questionnaire
In connection with the moderator elections, we are holding a Q&A thread for the candidates. Questions collected from an earlier thread have been compiled into this one, which shall now serve as ...
- 101
5
votes
0
answers
119
views
2018 Community Moderator Election
The 2018 Community Moderator Election is now underway!
Community moderator elections have three phases:
Nomination phase
Primary phase
Election phase
Most elections take between two and three weeks,...
6
votes
4
answers
130
views
2018 Moderator Election Q&A - Question Collection
After successful evaluation in our interest check, CSTheory has been scheduled for an election next week, June 25th. In connection with that, we will be holding a Q&A with the candidates. This ...
- 101
9
votes
2
answers
207
views
2018 Potential Moderator Election Community Interest Check
Since the last election, the Community Team's noticed that the bulk of the flag handling's been mostly done by a single moderator.
We have systems in place to remove inactive moderators, but since ...
- 101
1
vote
1
answer
118
views
Who is George A Duckett? Can anyone just create a book out of our questions and answers?
I just noticed that there is a book titled "Computer Science Theory: Questions and Answers" by George A Duckett, which includes some of our questions and answers on http://cstheory.stackexchange.com
...
- 2,598
6
votes
2
answers
54
views
Community Promotion Ads - 2018 [duplicate]
It's almost February in 2018, which isn't supposed to be the proper time to cycle these, but for this year it'll be once again, so we'll be refreshing the Community Promotion Ads for this year now!
...
- 101
5
votes
0
answers
75
views
Looking for a collaborator in tree-automata, tree-grammars field
It can be very useful feature for science-oriented stackexchange forum to have a separate sub-site to post there advertisements about project collaboration.
In particular, I have a big issue with ...
- 635
13
votes
0
answers
272
views
2017 Moderator Election has been cancelled
We regret to inform that due to insufficient nominating candidates, we are currently terminating the ongoing election here on Theoretical Computer Science Stack Exchange. Thank you to Bjørn Kjos-...
- 101